Principles of Model Checking (2003)

! "# $

! "# %
! "# &
' "# ()* +
' ,) +
,-

, .)/0
,- (0
$ () 1 0 $
.) , .)/0 2
() , .)/0 1 2

0) 3/

0 ) 4 5 .
$ 6-05)

7
2

() (5 0 +
15 0
8 "#

* 10
8 "# 1 10
(5 0 %

9 15 (5 0 2

1 ( &
:5/
&

1 ( $
89 (5 ;5 $
, .)/0<

#- " $
89= $%
$ " 1 ( $&
%
5 0 15 1 ( $+
% , >9 $+
% 8 . .) %
% 4 > %

$
2 ' %$
2 ; ) ' %$
2 ' >95 1 ( %%
& 1 ? 1 ( %+
+ 6-05) 2
>9 2

8 ' 3 22
70 00 22
'
8 2+
4 8 &
80) 8 ' 3 &
4= &

) 1 &$
45)'
) &$
.)/0 >5 &2
8 # 3 &&
70 00 &&
6@) 8 &+
4 6@) 8 +
;) 8 # 3 +
80) 6@) 8 +2

) 1 +&
%
.)/0 >5
45)'

)
$

% 6-05)
2 >9 %
! "#
$%
& '
$ /0 6@) 1 ( +
$ ' 1 ( 6@)
$ '
$
$ -0
*
$ 4#0 ) 8
$$ 1- ;5
$ ,)/0 1 (
$ 6 ,.)/0 1 $
$ %
$
&
$$ 6-05) &
$% >9 &
(

% +
%
9 .(
2
%
.(
% :5/

%
.( $
% 89 (5 ;5 2
% 89=
%$ >95 .( 1 (
%% ' .( 2
%2 1 .(
%& 6-05)
%+ >9
" $%

2 2
2 ' .( , .)/0 $
2 8 1 '9 1 $
2 '95 .)= .( $$
2 ; >Æ %
2 8 >Æ 5 %
2 ( .59 %$
2 , .)/0 ' .( %2
2$ A0 .95 %+
2% .( )/0 2
22 6-05) 2%
2& >9 22

&
) )!
& &$
& ( 8 &%
&
( 8 +
& ./ " +
& ( (
+
& .50 ( 8 +%
&$ 1)5B 6 7 1 +&
&$
) 671 +&
&$ ,0 ) 671 ++
&% 6-05)
&2 >9
'
' " $%

# $%

750 6 ' $
:5/
6 ' $
6 4 ( 2
7 ; 6 4 40
6 4 40
7 ;644

+
.0 7 ; 644 %
"- ;0 +
$ ;644 8 ' 3
;5 7;644
0
"- 70
6 ;5
75 - . $
$ 8- %
$
- , .)/0 2
% 6-05)
2 >9
"* !

# $
$ +,"-

,) C1 :

>)< () )

() )5 ) # ! !
)! ) )*
# ) 0< < )
)/0 - )*

; ) 0 .( .
()0 0!0 5 () -0
59 )0
/ - ) < )) 5< -
5) )0) ++$ ! ) !
!) - $ .( -
/
-/0 )550 ) - () ) D!
- ?
70) E ) 5 5
5 ) < )0)5
5 50 .(
5 () ) / 9)0 /< ) )
5) !)< )0<
/ ; - / )
- 5 0 5 6 F0 0 5
/ 5 50 5< ) - 0
) G *
- 3 !) - 5) <
!) 95 !0
() ! )! )) <
- ) - # * ) .

.( ) 5 4 95
/! () -0 B 1 D05 )
- 2$ ?
5 5<
0 B 5 - )5 ()
! -000 )0 55 ) 50 4 B
5 + )< ?
5 )
) !! / 0 5
5 ! -/5 -
'0 H () 8$ ) C < ++%I ) %
) ) %- D0 5 %- 0

- H - 5) () )
! ) 8$ '0 < ) , 1)#
) 5 ) 8- ) ) !55
) ! ! - !
! )
5 ) ) 5< 5!
5< Æ < 0 - .< -0
) ! ) * ' 95< !
D! ) 5 ) )5 ) ()$ )
) % 5 -! +&$ +&2 ) ! 95

() 0 55 50

H

() 0 .( 0! 9 < - ) 59 0!
5 .( 0 < - 5 -
0 9< 0 0 !) ) 5
() ) - ) - J ) -
0! 95 !) ) - 0 5
5< 5) ) )
$
0 0 < - ) )
!) )*< -) ! 00 )! 0
() 0!0 59< 0) !) ) 5
5 /< / ) ! .(
)00 59

# )* 55 0 .(

- ! ( 5 -< # -) ) )
0 5 5 55 () 55
- - * < 0< ) - -
) !)) 50 - / <
- ) () 5# 5
- !) ) ) !) < ) ) -
# 8 ) #
) 5#B 55 () -
!) # 55 - 5#

! 5#< - 55
8 ) ! # 5 '0

'0 H
) ! 5 #
() -/ !) # )*< )/0< )
5# 6 0 ) )*
0 ) 5#< ! -D ! ! )!
#
%

1 !0 0 ) G
! # )* 5
8 ! 5 -

! 0 ) 5 - ) - ) 5 )
! ! () 5 9< - =
5 >5 ) 5 ! 5
F )* ) ) -! + 5 ) !)
%E 3) 55 ) ) <
5 5 ! 5< 0< ) ) 5
# 0< F 45 5
< 5 ! ) ) )* )
50 ) 5 ! &E !
00 5G 4 < 95 ) )! ) -
) 0) ) ) 0 5
!
0# 5 ! 00 5G

6! E $E ) ! 5G 0
8 55 5 ! ) = !) 90 <
0 )* ) ) ! (0 /
) 5 ! 5 5 !)
5< . ) - 0 ) !
9 5)< * 5
0 ) ! 6 ) - 0 9<
) 5 ) ! 5 ) 5
) 5# 8)0) 0 9
5 - < ) 5 5 - ) -0
() 0 0 ) - 55 !
00 55 ! 0< - ! 5
50 8 9) 0 9 5) 5
-< 5 - ) 5) (0
) - 5 () < 0 )! ) 5
< ) - 8) 5- !) 0 !)
5 1< )< 5-< )
0 ) J ) 5 -

) 5 ) 5 ! 0 ) F
F 0 ) 5 () )
-) ( ) - !< ) !
# 55) 5 !) ! 5 5
)*< 0 5# ) ) ) ?#
,0 00 ) #0 0
2
' )* < ) )< -
J $E ! 5G () )*
) )5

0 5
! -0 () 0 H ) < ) - ()
50 ! D! 0 0) $ )0) )
#9 0 5)< '0
#
) ) / 5 0 ) 0 5
Analysis Conceptual System Testing Operation
Programming Unit Testing
Design
50% 12.5
introduced detected
errors (in %) cost of
errors (in %) 10
40% correction
per error
(in 1,000 US $)
30% 7.5
20% 5
10% 2.5
0% 0
Time (non-linear)
'0 H
! < 5
K%L
8- $E 0 500< ) 5)
!)) 0 / 5 3) G $E
) 0 0< 0 0 8 )
0< !)) 0 ) !
) / 5 ) < - 5 <
5 () ) - - %
5 ) ) 0< !)
) ) 5 ; )0 !
! < ) 5 5 ! -
5 <
> 5 ! ! J - ) )

< - &E )
- E ) J !) 0 ()
5 ) 5 0 - )
() 5 0# - < ?
5
5 0 9 - <$ ?
!) )
0 5 5
! ! " #$% &$
% ''' $ $ !%
() %* &$ $ )* %
&
/ )* ) # 5- ) ! 0
5H ) 5 ) - !< ) D
) ) 0 -

1 0 )!
0 ! -G )0) - < #90
Æ< * 95 )0) 3)
! - 5 - 5 0 !) 5) 5 J
! 5 5 ) J )! -0 #9
Æ * -
- () ) * () 5
) 1 5 - 2$ ?
,B ! J ) - 0 0 - &
) J ) 5 - 5 G - 50
)! >5 ) ) ) $E
8
. 855
5# 0 . !/ 55
0 - 50 ) )5
00 ) 0 0) ! # !-)
5 ) 0 5 () 0 F 5 )! 0
5 2E ) 5 ) )5I )
5

><
) G )* )! #
5 5# )* ) )<

0 < * )/0 ) - )
)
! / 0 8 #0- 0 )! )

#0 ) ) -) / )
) 9 / !) ! 0<
5 0 ) 50 ) 0 5
!) ) 95 5 ! ) )5 5# (
) < 5- 5 - 5- )
- 9 () 5 ) - -
0#< 0 5
3) < ) )
, 5 5 0 )! 5 00 )
"0 "4 ) -) = - >>> 6 < 9
5) ) )5 9 0 ()
- 5 - < - ) 0
+
8 ) -! ) B 5 ) 5 - )
5# ) 5
/ 0< -
55 F ) < )0)H ) -
- )/ 0 # 0 -
- - ) - 9 5
) 55 )! # )*

0 0< 0< 0 < 0
(5< - E ) # 5 < %E
%E 6 ) )
*<
# - 0
) - 5

! )! 0 59 < F
5 # ) ()* 0)
) # F !) 0 ) 0 ' )
F 0 5 - 0 # ) 0
5< 5 F # )*< )
# () 5 ) #
)*

# -D ) ) ( 5 )<

) - ) 55 ) 0
=0 .( () -) !)
) 0 () 0 5 ) 0 - 0
) ) # 59 ! )!
6< ) ) )0) #
)* ! 5 0
0< ) - 5 - ) >. >)
. - ) >
8 >5
5 80 ()
0 5 0 - ) '88 ' 8 8)
8
8 )8
5 80 - ) )
)
"#

$

%
&

40 ) < ) ) ) ) 5
50 # )* ) )
() )* 5 - 5! ! )
- # 5 0 ) )!
) # 5 ! ) ) 95
0< ) 8$ < , 1)#< B 1 5 )
()$ )5 )
70) 5/0< ! - # 55) -

0)H - )
3) )< ) - 55

) ) () 55 5 !) ) )0) 5-
5 0 ) ) 5 5 )/
'% )* - -0 ) 5- -
) ) 5 -0 ) J
5 # J ) 0
) 5< -0
5#
) 5- )
0 ) 0 () 5 - 0) )
95 ) () 5 ) -
!) 0 # )* 00 9) 95
)/0 95 !) )
< 0 4 0 5
0 0) 0) !) ) -
5 0 5 < - )* )
0 !/ 5 95< ! 55-
0 8 ) 05 ) )* )
< ! ) 0 )H
( %

8 0 - < ) !/! 5 #
)* () ! < ) < ! )
) -) () )55 - 0< ) - )
< )! ) ! 5#
() ) 5 - ) 0 - )
0
5 #< */

) * ) 55 0 < )! < # -
- 5- 0 5- <
) () - 0 )
' - 5) !) -< #
< ) 5 5< ) - !) 5 *
$ <<<< 5- () 9) 0
0 5<
- 5- 9 .*< )
/ ) - ) ?95 0)
)
6< 90 - < ) *

) 0 ) B M ) -
) Æ -< - )
5-- ) ) ! - !) ) 5
5< ) ) ) 5 5
!) ) 5G N

, )/0 # )* ) 95 5-

-
5 ) 50 )
)/ 5- < )/< ) ! ) 5 )
)/0< 9 5-
) !< - )! ) 0 #
55 )0 9 ) 0 5- 5 )
- !) < < 5
)
)/ ) 5 - J !) 95
5 ?0 0) <
0 5 5 - ) 5#
5- > ) - ) 0 <
0 5 - 0 )/0
(5 55 ) - )/ 0 )/0 *
H ) 0 /O< . ) ) / <
0< !) ! 50 !0 ) )
) ) ) O 6 0 55 - )/H .
/ !) ) O< 5 !
!) & O , )/0 * 5 -0
) 55 - 9 8 !) /0
< ) 5 ) -0
) ' < ) =
55 - )
4 5 5
) $$E N ) 0< * !

!%, "%

"% +#

-! %

'0 H
) ! ) )/0 55)
() 0 5

) 5# 555 500 00 / .
C )! 5 00 ) "0 "4 ) )
55 5# 5-
) ) < !) )
< !) ) 5
) -) ()
)/ 9 )/ !)) )
) 55 ) ) 55
< ) )/ 5 95 ) )!
) ) ) () 95 -
9 5) ) ) )
) 55 -0 # 3) ) )5 < ) 5
) 0 < ) ! -0 -000 <
5 ) ) 55 0< '0
, )/0 ) - 55 .( )
55 ' < / ) -
< 5 ) - #<
>>> )
55 ) 0# 5 ) 5#
' 5 ! # 9
) 45
5 5 '0 $< 0
G 0 D! 8 -0 - )/0 5
0 / 0 D0) 95 +% /
) ) )< )/0 )
0 D! ) ! 0 - ) 5 )
5 7 D0
!) ** '

)
+ %* %

'0 $H , 8

8B 45
5 5 ) ;-
++& ) - )0) 9 0 )/0

,

)

- . - .

P .$ & $ HP Q

P .$ & $ HP
P .$ & P $ HP
/
011
*

011

- . 1 0112 (

(

011 /

) 1

3

-3 %*.

)

-.
-! ).

3) # )* ) )/0

- 5 !)) 5- -
0< ) !-) # )* 0 55
- !) ) 0< 5) 5-
0< !) ) 55 - 3) 0<
5 5 ) -G )/ !)) )
555
8 5 5 0 ) 9 !)) )
) - -
) 0 )
5 - < !) )
0 ) 5 ) 5<
< ) 0 ()
0 0 - 55-< 5 # 5
() !-/ 5- <
9) 0 5 5- / < 0 )!
) 5 < ) -
, - 0 ) ) )
8 < 0 - < 5 )
0- 5< ) 0 5
55 -/ () 0
- 0< ) ! ) -
)=0 ) 0 ! ) 9 5) 8
0 )/0< ) 05 - 0 5<
-0 5 3) 0 ) ) -
- 6 ) 5#< 0 0)
0 5 - < < ) !) ) -
) ) (0 55 ) 0)< ) 5 0
< 5 0 ) !< 5
!)) ) ) * 5
5 - 5-< '0 %
,- 0 ) 5 0 7

0 0 )/0 ) -) #
90 () 5 ) 5<
5 90 - 0< # )
* 5 < !)) !
- 0
5< - 0 ) - 5 !
) 5! ' < /
- ) ) 9)0 -! )0)
".7< ) - )
$

"%

.

/0

'0 %H
) ! ) - 0
!) 0 )*
!

" #
3) )< ) # 5- 5 )

) ) 5 ) ) H
(0 -) )

55 ) 5 0< 5* ) ) 5#
) ) ) )< ) - -
) ?0 9 ) - )< ) 5 )
! ) 5 ) ) - 00
) 5 5< () 9 ) -
5 - ) () 5
() 0 5 ) ) 0 5 )
- 0 * 4F 9H
)0) < 055 5 < 50
!) 555 5-
/
)0) 5 ) *
!) ) () )/ - )/ !)) 5
5 00 () 5- 5 )/ 0
5 5 ! )
A55 5 5 ) 5

%
) ) ) 5 0< !) ) / 5
() ! - ! !) ) - 0 5
?< 5 )5 0 0 5 - /50 /
) )0 - - 5 0 ) )! ) 0
) - 5 , < ) 5 5
# (5 5 ) - /
5 )/ 5 () 0 !) )
) )0) () ) ) ) -0 )
) -G ) 0 ) 5 ()
) ) )< - )! < )
) 5 5 )/ * ) )
(5< ) -0 /5 5 5
0 !) ) 5 * ) 5 95
() 0 ) 5 0 ) !) #
5 0 5 55 )
) 55 - 5 () !-/
) ) # 5 !< 5 -
55 6< ) ) 0 - ) 5 *
) )0) 0 95 8)0) 55
) 5 0 ) - 5< / ) )0) #
!< ) ) ) ) )
!
4 0 - 5 #
0 ) - () 0 0 #
- 5 - 0 ()
5# ) - 0 5 - 8
) - ) !) -
. - ! 8
5 ) !) 5 -

# 5 0 ) 5<
0 - < 9 *#
0 ) < < 5 ) -<
5 - 5 ) 5 0< *#
5 ) ) -< ) - 5 ()
- * ) 5< !)) / ) 0 95 )
# 5 0 , ) 5

% 0H 5
# 0 !) - 0 5 5
5 () 9 )0) 0 "
F 9 >95 5 5
)0) 0 1"
< .*< ; -
, ) 5 )

5 () 0) 5 55 5
- ) 5 )* ) 55

2
0< ) R ) S !

) R S< < # 5 !))
) ! !) ) ) - 5 0 - -
!)) ! *< !0 !) *
- I * # < )
55 ) 0
() )* Æ # ) 5 0 )<
) 5 9 () ) 0 !)) -
)! 5 # 5
) 0 00 -/
!< 0 !) ) - 5 () 0
5 5 () 0 ) ) # 5
=
0 ) - ) 5 5 0<
0< - -)# 5)# ) 55

!
() -/ ) 55 )/0H
'

%

- .

() 9 )5 ) ) )/0 ()
- ) 5 )/0 )! < 5
0 !-/< ) 5

"

550 )/0 0 ) !0 F 5) -
0)H
' 5)H

/ ) 0 ) 5
00 ) )/ )
/ # )/ */ ) 5

/ ) 55 - )/ 0 ) 55 5#
00
&
5 5)H ) )/ )/ ) ) 55
)
( 5)H
/ 55 #O )/ 9 55
/ 55 O
0 95 -
# ) < 0< 55
5 ) 5
/ O ) 0
) 5< ) # ) - 5<

0= () 3 3 )
5) )/0 !) -!

() 5* 5 )/0 )
)= ) 55 - )/
, - ) -)
-0 ! () 95 0 % <
0 #
5
- ) -< ) 5 9
0< 50 < ) / ( - )! )
) ' < #
- 0 5 00 ) 555
9 .< C < "4 < ) / ,0 < 5
< ) 0) - )
I .)5
5 ) * ) < 5 )
)/0 / 5
- F 0 )
5 0 0 >0 ) 5 -
)0) )/0 / 5 )
0 # F
( / 0 # 5-< 55 ) - -

5 -0 () 5 0 55 5
# 00 3 5 )
55 5# 00< 0 ) 555
5 55 .( ) 0<
)/ ) ) 5 5 0 ()

+
95 ) )/0 (5 0 - 9

55 0 !) 5 ) ) -)
! ) 5# - 0
55 ) H )
!) 55 O< )- 5- 5 /
O< )0 - )55< )0 0 !
)55< < <
5O< 55 ) 0 O
8)0) ) 5 ! < 5
- 5- G0 !)) ) = 5-
Q 55 * 5 ) # 5-
() /! ) 5- () 59 )
! ) / 5 ) 5#
) B / ) ! ) *
"# ) - "#
)/ ) ) 0 # ) * ) ) - #<
< # )/ ) ! -0 ) )0 0) <
)/ !)) ) !) ) 5
) 0< < )/ ) ! 0 ) 0) )0

$ $%
() )/ # ) - - 555 0 )
5 ) - ) 9) #
-*< ) )/0 / 5 () -
0) 55) !)) ) ) 55
)/ )
0
$
() - ) 5- H ) 5# 55 )
) 0 < ) - 0 #
!) ) 5) ) 5
) 55 < ) !0 55 - )/< <
55 ) - )/< ) 5
55
3) 55 #< ) 0 ) F

() - < < 5 0 ) )
) D ) 0 ) () 5
) < # ) - !) ) 5 ()

# ) # ) 55 ) ! )/
- ) !) # - - )
N ) )! ) ) 5
-! ) 0 < ) ) ) - 95<
) / 5 0 < ) #
!) 0 < ) 0 0) !) )
- 5 - ) ) 5 0 ) 95
) ) 55 D ) * )
) - () 5 # ) 55< !
# ) ) - 8 ) )0<
# 55 ) ! )/ - ) / 5 ()
0 # 55 ) - )/ !) 5

3) ) 0 - ) J 5
- 0 0 ) !) - -
- J ) ! 5 8 5-
55 )* ) 95 5 0 ) )
>95 ) )* ) 5 5 0
- )* ) - 0 5
8 < 0 - ) 5
() - ) 5 ) ) 55 )
- )/ ; < - - - ) Æ
!) 5 0 55 ) < F -
- ) ) 8) ! 0 !) 0
5 0 5 ) 5 ) # () 5--
# 55) 95 5 ) 5 !) /0
00- # ) # 0 () 5
5 0 .)5 )0) )
-/

0
() )/0 5 ) - ! 0=< !
! 5 55 )/0 ) 5
) ) #0 0 5
40 ) # 5< < F 5
-0 F 5 ) < )
# - 0< - 5 #
5 0< )/0 5 0 <
- () -
0 5 )/0 5
! ) 5 ) 95 ) !

$

# 55) ) 55- ! 0

55 ) - < ! 00< )
! 0
55 #< < 55 - )/
< ) !0 ) 55 # 5
* 5#
- ) /) !) !)) 95I )
!) 0 ) 0 )
5--
5 55 I )
-000 55
5 "
%&
I ) )/0
* ) )0) 0 )0) 0 9
5
G 5 0 I )!
5 ) ) # -< G- F !) *
/ )/0 * 55< )/
- -
- 90 5 I 0
5< 5 )
) 5
)
I - )
05) 0)< < 0

555 % 55

55 5 0 #

55- -G I # <
0 - - 5 ) * -
- 0< )/0 0 F 5-
# < ) 5 5
5 I - ) 0 )
.5 )* ) 0 # -
)! 0 !

)/ < < ) 0 5

() 55 ) )/ - G0
F ) % ) 5-< < ) -
) 9 )
- 5 45 ) 5
) - ) 5- .)5 $<
- 0 #
0 * ) #0 555 -
- 55 ) 0

0 H < )/

! )/ 3 H 0< )/0

!) - - 5< 5=
- , )/0 < )! < 00 -
5 ) - # 0 5
3 - ) ) - 0

= 45 ) - ! )H
'
6

)
()< )/0 5 0# ) #
0
%

&
#
'
(
'%

3) ) - 95 5
< # ) - )! ) !
() ) () )0)* )!
0< 0) !) ) ) 0 0< )< 0
< 0< 5 ) 5
) ! ) ) )* ) )/0
) 5 0 6< ) )/0 )
5 ) 0 5< 0) !) ) 0 # )
- -# 6) ) 5 0 )/0< -
) < ) ) 5 ) )! 5 5 5
/ .< 'G< 6,< , () 5 0

! ) !%1# ) ( !%%* )
! ) !)

)/0 5)< 0 5 ) < !)
)/0 5 ) 0 )
0 D!< < - , )/0
! 5 )* ) 0 5) ) !) )
0 ) 0 8 ) < 5) /
< < 5 J 5 9
)/0 J 5 5 7< 6, 5 )
0 )/0 5 ) 0 G<
0 ) - ) 95 ) 5
) )/0 ! )
5 ) 5 0 () 0
- 5 6, )! ) E !
!) )/0< !) E ) ! / ) -
-
'%
, )/0 ) - 55
5 -) !< ) 5 5
) 5< / <
5 < ) 5) 9 ! -
5 - )/ ()0< /!
8(T(< 6, ) 5 5 ) 5 5
) # )/
5
) - 0 )/0 ; ) 5 95
5)5 ) ) ! 5 ) 55 )
) 5
5 ) 2
8 55 )! 0< ! 00 ) 95

# ! 5 ) 0 5 ' #
* 5 50 ! -0 ) - (0 )
0 ) 9 !) ) 50 !/ - ' 4
5 ) !< ) 0 #
)* ) - - 8)0) ) 0 #
55) 0 9 5 ) - 55 0
! 0< 5 / < < 5< 5
5 ) ) ! 00 )
) 55 0 - ! 00 5)5)< 5
5 ) 5# < ) !)) )
! 5 ) 5
; ) ) ! 0 !)
5 )/0 ) - ) 0 )
! ) - )/0 () - )
- 0 5 ) , < 8
8
.5* 0 5 50 !
500 00 ) < < C < ) / ' 95
!) ) )* 50 95 ) )/0

)* ! 5 - 5 ! - ! 0 )

80 =< ) 5 ) 0
)/0 < !) $ )/0
! 5
" #
$
! %
&
'
, )/0 0 ) 5 !/ !
5 ) 0)H ./ > K%L M
/ K$$L () )/0 ! - ./ >
() - 9 ) 5 )/0
- 9 5 )* -
G/ K&%L 3 K&2< &&L 3) ) )* !
)/0 ) - / /< )/0 !
) 9 - 55 55
)/0 - K$< &< $< &< +L () )/0
! - 85 := K$L , )/0
- ) -/ - = K+%L< ,, KL :
) K$L ) !/ - ./< 1 A-0 K$L< )
7 KL< 6U KL () )/0 G )
- - - 6/ 7 K$+L
>5 - ! 00 0)

- ) . >5 6
! >00
I
) - ! ) - -
6) 6 K$L () F ) # !
-0 ) )0 0)O ! 0 ) 0) )0O
0 6) K%L 8 ! ! 0 0 - 3)
/ K&+LI -/ - ! 0 - , KL 6= KL
(0 - 5# ) - 9 )
5 () )
0 KL () ! # )* - A
! ) - - 00 K%L 6/ -
K2L KL - )* 50

! ) # ) 9 7)- K$&L
) ) 50 ! ()
-/ 1 K+L 0 )*
! - ) 0< )/0 )
'%
,)/0 5 ) -
55 )0) ) 50 !/ - = K+%< +2L 8 0
5G 6 - !)) )/0 0
!/ ) 0 5 )
4 5 5 ) -
5 - = K+$L ) 0 < 0 D!
!"
# $
! !) )/0 $ 55 - < #
> - ./ K+L ) >>> '-Q
)/0 ) ) -
) 5 - >>> .) KL )/0 )
! Æ 5 7<
5
K2L ) 5 ) )/0
0 < ) 50 5 ! K2L
0 )/0 D! ) !/! )
)
5- / 5 0) () 0 ) )
)/0 ) ! 5 5
!) 4) ! ) 5 - (< 3G-
.) K2&L () 8
8B , 1)# ) 45
5 5 - < ! 19 K&&L< =
< G
)) K+&L< 5 () 0
- - )/0 50 ! 5
00 00 ) < < C ) - 5< <
- A K2+L< 4!< F !/ K&2L< , 7)
- 6< 1/ 7G K&L 8
8 7) -
1-0 K&+L
'%

8550 )/0 )! 0
6! KL =0 = *
55 - )/0 0 )!

) - # 5 - 6) K&L ) () =
) 55 559 ; !
)! # )* - !/ - A5 K&L< )
-/ - V K+L :5 KL () # )*
)! # ) - -< 0 )<
0
"< ,A
) K%L () 0 )/0
)* #0 ) )! 5 5 6, )
- - -
)5 K%L 8--" KL
() ) )/0 5! 9 )
# 5< 5

() 6, 5 M(, !
8. K+L # 0 ) - )! # -<
0 )< 6 ( KL 1 K$L 0) 0
) - 55 ) 55 3/! )0)
0 5 .* KL< ; K2L< - K&L< 5 K$2L<
1"
K2L 8 ! )/0 5 -<
) - 5 - A< , 1 K&L () 55
) 5 0 )/0 ! )
05) -
) K1L 8 0 ) 55
5 ) # < < 0< ) !/
- 1< 60 C- K$L 8 5 55 )
5 0 ) 5 < 0 - &< 5 -0<
%
) 5# ) 50 ,>(>;7

) # 1 K+L

) *
#
(

, )/0 555 )* ) # %

7 J ) ! - 1 +&$ J )
= - !) ) () 5
5 ) < !) *
) < ) 5 5 7
)< - 5 !)) )
5 ) 8 5
>95 50 <
< - < 5< 5
! ' < 50 ) 5 0
0< / - 5 5<
6 ) < ) 50
) )0 < !) F 55< ) / 8 0
5< 0< ) 5 ) / 9 ))<
) ! / 555 7
- 59H ) ) !) ) -
) 5 ) - 85
/ < - 5 5

2
&
$%

() )5 ) 555 5 0 5#
00 =0 55 () /
5 0 ) 55 # *
50 15 5 0 5< 0 -)
) 50 J 9< 9= J
5 55 5# 00
& % '!

7 )= - !) )

' < 50 F ) !)
< ) 5 < ) )0
# 50 F 8 )
) 8 0 50 50
< J J - (5< )
5 -) () )
F ) ! * 50
* 50 - 550 5

5 8 0 5< * 50 0 5
! # - 5 5< 5
5 5 ) 9 < ! -D 95
# * 50 0 ) ) F
* # ) 55) 5<
Æ 55 5 0 95 )
55 - 0 ) - 5 !) )
-! 0 ) 50 9
+
& # &

" ' +
15 * 50 - 95 % %

8 5 - ) 0 < < )
! 5< !) 5 - ) # < <
) * 5 8 5 5 5 ) 5# )
* 55 -) * 50 ' < ) 5
50 HP Q I HP Q -) ) 5 *
0 ) 5 * I ) )

< ) 50 .$ HP Q
-) ) 5 * !)
0 ) 5
() 9 < 00 ) ) -

5 0 5 5< # ! () -
< < ) - ) -/ !
8 55 ) ) -
() < 55 95 - )
) >95 55
* < ) 0 0 - ;)
95 0 ) ) )5
() 5- 5 # 55 -
<

5 - < 3 ! ! 5
5 #
) 5 5 9
) ) ) )

55 5 I
) - ) - 95 - ) 50
0 '90 )
) - 0 # 5
- < < ! 50 -
-
< ) 55 - ) )
-< * ) 55 - )/
>) 55 0 ) - 5
) 0 ) -/< ) ) )
< /! !)) 55 ) !))
() -) - 5 < -0
-
2 33 4 &

&" H 0 ) )
55 &" )
() &" !)) 55
! ) &" P ) 55
8 !)) ) 55 < < &" <
# &

8 < 550

- # !))
5 ) 55 < )
)
5
) 5 ) -0 &" !)
55 ) 5 55 ) 0 '
< 55 P -0 &" < )
55 P -0 &"
2 33 5 &

- 55 ' )
!0 H

R
R < )
R S < ) R S
8)0
< 0 G () -

G< 5 * # -H
R S
R S
R S
R S
R S
R S S R

R R

() 5 ) - 5 !H - ) 0<
! - < < 1) !) 555
' 95< 5 3 )
) < < 0) < 0< - !

() 0 55 0 # - %

P -! R R P
- ) !0 #9 H P R () 5 ) P R
R <
2 33 &

- 55< R S 55
& # &

0 () P # -H
P F &"
P R F P R
P R S F P R P S
) ) 0 5 ) 0)) #0 *
- 0) ) ) 0 5
55 0 P R ! ) # R
() 55 0 ) ) ) )
R - ) -0 ) ) 55
- ) 50 - () -0 ) )
R 0 I ) ! !)) )
) R ) < / ) 5 ) 9
) # - < 0< R R

< ) R R < < # -
' !) &" ! ) P I )! <
) 0
,

-
"
1 5 95 < -
9 55 0 !))
55 # 95 - 5 -<

< 5 -<
9 *# - !
' 95<

) ) < 5

) 0)
0 8 5 0 5 ) ) -/<
! 9
' 5 R 5 S< ) * 50

-H
R S
() 5 K+L () ! 5- 5
5H
# &

0 5 )

0 R< 0 S
5 )
0 R< #) 0 S
< ) 5 - 5
) 0< < ) )
)< Æ ) ) 50 < < !
0) -! 5 )
( 5 ) * 50 5 5<
%
0 9 5 (
) 55)< 5 5 * 5
0 ! - 0 () 50 0 ) 6'
0H
HHP % HP I & $ .$

!) % 5< HP ) 0 )
95 - !) - * 5<
I ) * 5 < ) !
5 !) - 95<
5 ' 5< ! -
!) 7*

HP I HP I .$ HP Q I HP

P

%
-! ).
8 5 95 500 00 0 (-
() 5 ) - !H - )
0) < ) ) -! ) ' !)
) I ) 5
9 89 ) 5 ) ! - 55
() 5 ) /5 ) <
R - ) < ) ! 80 )
9 0< !) ) 5 R -
- ) 5 RK HP L RK HP L 0) R !)
5 - () * 5
5 R ) )= ) # ) 0
() 5 ) - !)
& # &

89 % R % R

89 0 RK HP L HP R

* 5
R R R S
R I S
8
R S R S
R & $ S

R R
R .$ R
R R R S S S
.*
R S
(- H 1 5 * 50
!)) 9 () 5 )
5 R ) ) .$ < 5 R
0 ) 9 - < R
8 )%H 5 )

() F ) * !)) -)
) -! 50 # 0 () *
! ) 0)0 5 ) !/0 5
) !< ) 55 ) 5 ) -
< )0)< ) 5 0 5 / R R 0 -
() 5 5 ! 5 ) 5 5
0 !) 5 ) 5 5 - 0 50
5 () 5 0 ) 5 5
55 5 ) 50 ) ) # ) 5
) 50 - 5 ' < ) 5 *
5 ! ) ) 5 50 I - -
) - 0 ) 5 5 5
1 ) 9)- ) 55
,

"
"
! ) 9 5 '
) ) 5 5 ,G 550
# 5 50 - 5 ) H
# &
$
R S R S
R R S S
() 5 ! ! ) # 5 50 5
! - 0 ) 5 5< < 5 )
Æ 5 R S R S 4
-! < - ) ) -
- 9)00 0< ) 0 ,)
F ) - - 5 ) - ()
5 5 5 5 )
! ) - )< 5 - )
59 () )
1 ) ) % ()

) ) 5 50 !)) 0 )
- ) 55 -) 0 5 ) !)) )
) - ' <
HP Q<

HP Q I HP Q<
HP < )
- ) < !) )
- < () F 5 ) 9
) < < )0) ) 55
-) - ) J 0 - J )
0 ) ) 5 9 /
. 5 5 5 ) 9<

) -00 ) 5 )!
5 50 < Æ /! 55 )
# < 5 - - /< <
- !) )55 ) 5
< 55
) < - ) -!
0 9
() 5- 550 ) 55) ) # 5
) ) 50
5 5 5 () < 0 !
5< 5 5 ' 5 )
5 < ) -)
) < ) # 5 5
(5< ) 0- 55 5 50
- 55 )5
() Æ 550 # 5
H
) 5 * D ) 55 -) 50<
- ) # # 9
% & # &

#0 555 5 )

) 5 )
) - 5 -0 - 0
8 ) !-/< 5 ) 0)< < )
* - ) 6< ) 0= 5 )
59 5)- Æ ( ) !-/<
5 ) 5 - .)5 ()
# !-/ ) ) 55 5 0
< < ) 5 ) )
5 ) -) < )
-! 0 ) 9 -

' +
' < 5 ) 9 ) J
) 55 )5 5 J
(5 0 5 9 0 ) !
5 ! 95 55 - ) -! 0
9 () ) # - 0= - 1 K$L )
!5 5# )*
950 55 9 ) )0)
-
(5 0 - ) - 0 6 55
5 0 ) 0 5 5 8 5
5 0 R !)) ) R )
() 9 5 0 !) F
5 !) F 5 ) ()
0)0 5 H
- 55 5 0<

/ %
55 95 5 - ) )
# 5 0< 55 !
95 5 -<
*# !

() 5 /H
/ 5 5 5 <
) O
(% ( $ %%% ! % (%
) ( # %%% ! % %%
234
' # & # &
2
/ !) ) 5 )

) 9 5 ) <
O
/ J ) ) 0
J ) -)0< / < !)
5 O
# ' 5 )
)55 ) I 5 ) 5
) -/< ! 55 5 0 !))

5 5 5 () )5
5 0 ) - 5
J 5 0 1 ( .)5 % + -) !) -)0
5 0I .)5 % !) .( < .)5
+ !) (.( (- = ) 0)0
) 0
0 -)0
1 (

.(

(.(

(- H .# ) 5 0 ) -/
( ) *%

'
% '!

() ) - 55 5 0
1 ( < ) # !
2 33 5 &

- 55 ' 1 ( ) !0 H

R
R < )
R S < ) R S
R < ) R
$ R S < ) R S
% 8)0
& & # &

1 ( ) 9 55 0 !) ) 5 5 5

W 5 ? () 5
) 5 ! ' R ) ) <
R ) ) 9 ' R S ) ) <
) !)) S ) R )
)
() 5 ) 5 ! () 5 -
0 ) ) - - * 0 () 5
5 / 5 < < 1) !)
555< 0< ! ! R S R S ;5
0) < 0<
!) 70 4

P P

!) /44%
P
P P

( ) /44%

-!
).

*''
. '

() - # 5 5 ) 1 ( <

- 0 5 ) 5 () 0
5 0 # 0 ) :5/
2 3!3 6%

8 8 5 &" !)
- <

<
0
&" H 5
( P

!)) * - 5 >) ) )

5# !% ) !% % 264
&& +
< < ) !) ) !<
) ) 5< < P
- 5< ) *
) 5
!) 77
8 5

6

'0 H 8 5

-'5 # 7*. % %

-$.

$

#

" & %

P #

8
P
P
P

&" P &" P #

- . - .

8 # 70

&"

-! ).
$ & # &

'0 H 8 :5/ ) (,7
8 ) :5/ * )

< ! )! ) / <
< !)) 50 - () - <
- 0 ) :5/ 0)0 ) *55 !)
5 >) !)) 50 ) / 5 *55
!) ) !
2 3(3 $

8
# * ) )

8 5) ) # * ) ) -!
9 ' 5) P 0 ! KL
) Q) < < KL P ) Æ9
- - 0 # < < P
) KL P KQLI 5< P ' 5) !) 0<
) P P
P P () 5) )
< < P KL P
!) 79 ( )

8
'5
P
P :
) KL P KL P P P

P X P
P X P -! ).

"+ +
() 0 0 # -

- P -! 5) < 1 ( R () 5 )
&& $
P R R
2 33 &

- 55< 5) R S 1 ( ()
P # -H
P F &" KL
P R F P R
P R S F P R P S
P R F P R
P R S F P S P R
P R ! ) 5) # R () # ) ) -

# !) ) 55 0< 4#
() ) ) P # R Æ9
# R ) ) 55 5 ) '
R S # - ) Æ9 < < ) # S<
50 Æ9 R
) P !< )
Æ9 - * ) < ) G ) # )
- ) ) ) P 3
! ) 9
$ < P R S
S ! - ) ) <
50 R 0 ) () ) 0
)0 - ) R Æ9 < )0 -
) S < - ) R S
Æ9 !) () ) S )< )
R S -*
!) 7;

X
)

P # P
P # # P # #

P Æ) # <

#

( )

X P

-! ).
,/ (
' 0'

( ) 5# 55< 9 5 5
! () 5 # ) 5
- < )< 95 ) 00
1 ( () 5 5 5 ! A-
$ & # &

5 ' # -H
R
R
R
R
0< < < R ) R
) )
55 ) )
!)) R ) ()< ) 5 R ) ()
95 ) # R 8 H -
< < ) -/< ! ) <

() 5 ) 5 9 ) !0 !H

) 5 - * 0 0 ) )
- * 0
( =< !) 5 5 ) 5

) # 5)< ) R ) 9 < R
< R <
-
() 5 - - ) - )

= 4# 2 - 0) ! 3 )
RH
P R
#
P R

P R P

P R
() < R 5) )
KL< KL !) R
?0 ) ) R ! H

P R
#
P R
0 5

P R

R
P R
5
&& $
P R
() < 5) # ) R Æ9 0
R () 95 ) 95 ! R .-
* ) ) !0 0H R
# R ) < R

# R ) #
!) 7=

'5

# -

# . - %
.
# -

# . # -
# .

/

>%
# # # #

# #
#

#
# -! ).
() 5 5 < )

R S 5 ) ) 9 !)) S )
() < 5) # R S< ) # S ()
0< ! ) S ! - ) 8 !/
< ) 5 < ) R ) )
S ) ) # < )0) ) 5) () 5 #
-H
RS
R R S

* -H
RS
R R S

() # 9 5 ) ! ) ) 5<
I # !H
RS
R S

5 ! ' R S ) 5) S

! )< * ) R - ()<
) R R ! )< )
< 3 ) ) H
P R P R

$ & # &

!< R S - )! - 5) )

5) ) ) S - < ) 5
- R

1 ( (
.)5 < ! 0 # ) )/0 5-

A ) ) 5 ! ! 5 0
5 )= 3 # # !) :5/
1 (
2 3)3 & & & # 6%

' :5/ P &" 1 ( RH
P R P R
!< :5/ # R 5) )
R
!) 7?
8
'5

)

% #

%
8
#

%

#%

-!
).
() )/0 5- ! = !H

%
8
R
P R2
P R ! ) ) RI ) 95 )

)/0 () )/0 5- ) - !)
) #- 5- 0
() 5- H 0 R< ) 9 :5/
) ) P RO 3) )/0 ) :5/

% (* 7 ! *!(% $ ) !

% % 8

8
)% $) % (%!
%$* % $ 7 !% 9 (%$: 9 ;:

&& $$
0 < ) ) ) #- 5- ' 1 ( < )
#- 5- -< # 5 0 J !)
55 ) J ) 5- - 8 0 -
#- 5- - ' 55 0< )
#- 5- 15< < ) - /! 0) )/
#- 95 ) 0) ) ()
- - 0 ) !0 5 . 55
R 0) < < R 55 )/
#- R ) 55 )/ 5- <
() * - - )/ 55
() 5- H 0 55 R< ! ) :5/
H P RO " ) )/ !)) 0
() F ) #- 5- ) ) 5-
) )/ !)) P R 90 < ) )
) 9 ) 0 5/0< R R
#- )! ) 0 ) Æ
:5/ )
8 # 0) ) 5- - - J )
- F ) 0 !)) R
:5/ < ) ) # -
! < ) % 1 ( < Æ
!) # - () #
55 ) 1 ( #-< ) #-
!) #
!) 7@

P

<

P

$

P P

-. $

P P P

P P
A

-! ).
!) 7B
C

$

C

) 8

$% & # &

P

P -! ).
#- # 0 1 ( )

!0 . 5# 5< -)
= 1 ( < R R
< .)/0 !)) )
5 ) 5# - 5 H
R
R 1 ( ! )= )
5) ) < ) ) 5 ) - H ) 5)
) ! - ) 5 ! - ) 5#
R
R #-< < :5/ 9 !)) )
)< ) ) -! ) 5 5#
- = ()< ) 5 -
5 ) 5#
+)

,

() 1 ( ) R S - 0 )

4# 2 - 5 0 5) H
P R P S
() ) - /< ! ) - )

) # ) :5/ <
< )H
RS S R R S
) 5 H ) # 5) S )<

) - R S ) - R< S - ) 5)
0) ;)!< R ) ) # ) 9 R S
)< ) R S ) ' ) 5 ) ) <
0 55 () 0 # 5 ) -
!) 0 ) -! 3 H
P S R R S

P S P R P R S
(') $2

P S P R P R S

P S P R P S P R
0 P
P S P S P R P R
0 P
P S P S Q P R
0 P
P P S P R
P S Q P R
5
P S P R

P R S

8 ! ) < 5

5 8 F ! )/ ) )
9 ) ) ) ) () 5 #
9 ) ! ) 5 1 ( -
* 1 ( 0 () )
9 - )3
5- 9 1 ( - ) 0 )

) () 9 5
(- 05 ) 05 ) - 0 <
55 ?0 ) 5 ) -5 9 5
* - ) < < < ()
) 9 - -) 0 ) 5
! ) 95# ) # 95 9 () F ) !
) 5 ) 5 I ) ) 9 -
55< < 0 ) 55 - < )
S R R S - 5 - R S<
) ) ) 95 9 !
) ) 95 9 < 0 ) # )
)/ )
8 9 - '< ) 9 R

S
< 5) H
P R P S
8550 9 ) ) )
)0H ) 9 )0 ) )
$& & # &

4 9H R
R
R
R
R
R
5 9H R
R
R
R
R R S
RS
R S S
RS
8-5 9H R
R
R
R
. 9H R S
R S
>95 9H R S
S R R S
R
R R
R
R R
(- H
9 1 (
) * R S 5- )

* 0 9 ) ) 9= - ()
9 0 - 1 ( < - 5 8
5 9= 1 ( 9 K2&L< - ) 5
) -/ ' # 5 0< ) 5 9=
9< - 55 0 ) 0<
5 9 0 - 0
"
*''
% ) ) Æ9

) 5) 0 ) 5)
5 ) < < ) # )
5) < 5 )
() < X < - # - X R
R () <
X ) ) !) 0 )0 -

)

< ! ) ) )
# - X R
R R X S
R S )
/ ) 0) -! 5
() # )! ) ) 5 - #
) 5 ' ) ! ) H
R
R XR
R
R XR
#
# && $+
RS
S R R X S

() # ! * 95 0 ) - # X
X () ) * G# - ) 95 9 ) 5
H ! - R X S
R S ) ) * !
- ) 95 9 (- 8 < )
) 5 * H ) )
9 ) 95 ) < 3 !
5 ) 5
/ 8 5 1 ( ) 0 )

.*< 5 /! 5 1 ( <
)! < - 9 !) 5 () - 5
0 55 55 95
) 5 ) ) ' < !
) 5 J ) 5 J ) !
) 5 ) 5 ) )
) ) 5 )
) ) 5 < ) 9 8 5<
5 5 5 - 0 ()
0 5 5 5 ) 55 5#
I ) 95 5! 1 ( - ) 5
5 KL !) /< ! ()<
55 !)) 5 5< 1 ( !)
5 5 9 950 ) )0
- %
(
! *%

*''
0 ) )! 55

1 ( < ! 5 95 () # 95 !)
5-< 9 0) ) 95 !
= 55 5 () ) 95
!) 5 - !)
5 ) -< < )=
2 3/
() !0 50 9 5 ! 5

1 / K%L () 55 0 ) 0)
5I ) 55) ! =0 55 * !
55- ) 9 0) 1B 5
) 0 ) - !)) ) < *
% & # &

6< ) 5 ) - - ) *
() 50 9 5 P !H
H .$

H
H HP
H . P P
H .
H HP
H
< ) HP 5 0 !)) )
0 HP HP 5 0< 5

. - 95 - --
.$ %
() -) ) 5 ! () -
- ) 5 0 ) ) 5 0
) ; 0 ) < 5 !
- ! ) - )
() 0- - -!
) 5 0-/ !)) ) 5 )
- 0 ) () )
) * J 50 ) 5
0 J F J 50 )
) 5 5 5 0 0

3 = ) !0 * ) 9 5

3 55 Y ) ) 9 5
P 2 55 P P
5 ) 50 - !) - P
, 9 0< < ) 5 5 )

?0 ) )
!)) 5 5 < ! -H
Y Y
) Æ Y Y ) !
* 9 ) ) ) 5)<
)0 - ) 0 5 ) 5)
8- - /0< < !) 5 !
< ! - - () 55 )
) !0 H

#
# && %
!) 55 5 !

55 5
< <
Y 8 5 !
95 - ) ) - * < ) ! -H
P Y P Y

) ) ) 0

P Y P Y

>) 5 ! # 5 ()
95 -H
Y Y
95 ) 5 # <
) ) 55 5 () ) -
!)H
Y Y
) 95 ) # 50 )
< ) !) ! ! 95

<
Y Y
) ) ! /0 < ) 95 ) #
) ! 5 50 ()
55 ! - # - < 9
9 0) !)) G 5 ! 0
!) ) ) 5 0

) -) !< )! < 55
2 ,

. ) -! ! 0 5H

*55 !) 5 -F
5 !) 5 -F 6) -F ) # 5
0 ) 0 5 -F
() 5 -F ) 5 -F
) () 0 - 0 0
5 -F 3 ) 0 *
#<
P < !) 0<
- ) 55 3 ) 55 5
% & # &

0 < < *# ()
F )/0 ! ) )
# 0 < ! ) ) -F
-) !< < ) 5 0<
0 -F # 8 ) ! )
H

3 = ) !0 *H
8 0 - -) -F )

() ) 0 () ) 0 )
! - H

) # 55 < ! * ! H

- )
() ) 5 0 () ) F # -
5 -F -* < ) ! -
- - H

) ) 5 ) G
5 ) 5 !
9 ) ) B -F !) 0
) 0 !) ) 0 !)
) # ) 5 -

< $ ! ! ! % Æ 1
, * < $ ! %* %
* ) %%* ) $ % * ) ! % = !
! !1 * ! !%
% 2'4
#
# && %
() ) 5 0 0< <

< ) - 5 - ?0 ) 5 5

) - = -H

) - 5 5 ) - 95 -H

2 &( +

3

- F -

5 ) .< 95< 0 0
< * - - < / -
< / 0 / / 0 !/<
50 5 - !/< -0< ) ?
5 ) 5 5- 5 0 )
! < ) )
5 ! 5 0 () 5 J
) J
Æ -
5< - ) 5 ) 5 !)
) - 5- 5 0 ) ! - 5#
5- /0 - 5 () )
) ) )0) ) 5B < ) - 5-
8 ! ) # - 5

() -! 5 )<
) 5 95 1<

>) 5 ) * < ) 0 9
) 1 -) ) ) )
< < 550 ) < - <
< 550 ) < - )
50 ! ) 5 - #I < )
5 - ; 5 55
< < - ' 0
% & # &

5 ! - I 5 - < !
/ 5 ) 5 ) )0) ) )
3 ! 5 ) 55 -

< !) ) 5
< ) 5 < )
) ) 0 )
8 5 -
() -! 5 KL 9 *
# ) 5
5/0< ) *#
5 1 (
! !) # - 5 )
*# < !) 55 5 <
- 95 < ! 95
() *# ) 5 --

() ! () = -H

P
8)0) ) 95 ) 55< !
- # - 5 ; ) 5
- < ) 0 9
6< - !) )
!)0 ) ) -
<
! ) 5 - 8 #
5 < ) - H
P
1-< )0)< ) ) ! ) - )
5 J ) # ) )
- 9 < - - )
!)) ) ) ' ) 3
) ) !0 ! 55
() ! - H
P
() ! - 0) H

() 55 5 ) ) ! - #
) ) # !)) 9
%$
() * ) 5

)
) 5 ! # ) 5
*< - -
) 5 5 !) )0) ) !
0 H

' Æ - - )

0 5 5 ) 55
/! ) () ! * -
5
8 ! ! - 5 ) 5 ()
55 * ) ) 0

) ) * 5 ) 5 ) 0 < !
-
.

4 0
5

8 5 5 3 ) 5

- * 5-
!) 7*1

%

%
)

(
% 3

D

A

%

# %

) -
% .

-! ).
%% & # &

3) 0 5)
!)) - 9
%< < ! 9 0) !

5 5 ) - < )
!)) 5 ) ! ) ! #
0< ! ! 9 ) 5) !)) ) 5 5 !
-0 9 () 5 /!
< ) )0 ) 9 5
! ! 5) !) 5 0 ) -
! ! < ) ! 9 0
0 !)) 5 ! 0< ) /
50 ; 0) 0 ) ) 0 )
-
1 5 0< 5

5 55< 55 ) 5 )0 0
! )55 () 5 ) :5/ -
)/ ' ) !) 0
) ! ) - 0
5- 5 ) - 95< ) )0 5
H ) ) ) 9 5 - 9 )
! 5 ) - 5 - 8) 95
!) * 50 !) /H

! 6) ! - 8 )
0) ! ) - 9< *<
55 ) -) - 90 8
) 5 95 !)
0 5 - 0 0
* 0 ) 9 ! 5 5
- 0 ) 5- !)) ) 5
- 9 .)5
0< 5) H 5 )= - ) )
#
4
3/'

"+ +
' 5 )
- - ) 1 ( <
- 95 5 ) 55 5# () 0
%2
55 5# H
##

3 ! ) F S - ) 55<
) - < R - )
< / 5 ) ) 0 () !
0) -! ) !0 H
, 8 5) !) 5 S

#H
S
' < S 5
5 0 < ) 5) !) 5
) 55 ) ) # < < ) 5
# < < ) ) < 5 0
# ) ) R )
< 0< ) 5 - 95
!)) 5 0 # () -
- 0 S -H
S
?
: 8 5) !/ !) 5 S
R #H
R S
' < 5 !/ * H
" '
3/ ) ) < 0<
5< - " < ) ) -
9 # ' 8 5 !/
!) 5 ) ) ! -
- 5 !) -0 / - ) 5 3/
$
8 5) 0 !) 5 S
R #H
R S
%& & # &

() F !/ ) ) 5 R 5 -

R
0 ) -
J - !< < ) - 5 0 !)) R
J ) ! - 9 # 8 5) 0
!) 5 ) ) #
- !) -0 / - 5
0

8 5 * ! H 0 # 5-< !))
O ? < ) ! ) * 4F
9 J ) - G < )0) 5< 0
5- J ) 0
' # 55< < )0) 7 )
- 5 )
0< 5 -
- # :5/ < 0) ! - )
) - 5 )
- ) < ) ; ) ) )< )
!/< ! 5 55
- 5 )
!) 7**

1
P .$ HP Q
P HP
5

-

. +

2 :

)
P
)

-! ).
* && %+
0 5/0< ) )5 -! ) -
!H
S R S R S
R S
8 0 5)< ) ! -
) 5) ! - !/ () )) -
95 ) 555 ) !0 (
# 5 ) 55 ) ) !/
) 55 - < ) 0
1 0 ) # 55
J J 5 )
/ *
0 *''
() ) )5 !) 5

0 55< -) ) 5 55
# 55 9I ! 5 ) !0 )

8
55 95 ) 5 - )
>95 )- 55 H 5 <
) F ) 5 ) )< ) !
;
55
< 950 ) ) / -
) 7)- 55 ) 5 ) 9 5) ) )
- ) () 55 ) 1 ( <
1 ( - # 0 5) 4# &
) ) - 5) .*< 0 )- 55
- 95 < 0< Y ) 5
5 () 5 9 0 )- 55
R !) R )= ) - 7)- 55
/ ) ! - 95
1 (
8 55 95 )< < )0

(5< 55 )
8 0 )- 55 55 ) 0
55 )- 55 8 95 55 )
F ) ! 5 ) * F<
) ) ! 5 5 ) ()
5 - 55< 0< Y Y 95 )
5 5 ) '
950 55 ) 5 5<
2 & # &

0< ) 55 0 ) 5 $ < ) F
) !B F F 95 - + () ) -
) ) 5 F )
) 7 ) ) * ) + +
) ) + 95 < )
* ) ! - < ) 50
-) !)) 5
8 55 95 )< < )0 !
55 50 55
(5
< 55 - ) ! )
>95 55 ) F) ! 5
F< 0 ) F !) ) -
55< ) Æ 0) ! - 0< < ) Æ
0) ! - 0 () ! 55 1 ( -H

3) ) 5
- 55< ) 5

55< R S S ! ) < S
)= ) 0 !) R - ) !))
) 0 ) - ) ) ! ) H
RS
SR S

!) ) 55 R S - 5 )
55 S ) 55 R S
8 % 55 95 ) - )

!)) 50 5- () 5
< ) 5 9 # ; 5
/ 0 )- 5-H ) /
)- ()< )! < * 95 )= )
/ < !)) ! KL
8 55 95 )< < !
! # ' ) - 9
) 5
8 # 55 < - )0)

5 ' < - * 5#
) ) - - )/0 !)
) 55 !) 55O
< ) )5
) ) 55 1 ( ) 0<
) F 0 00 J - * - J

$) ! ! * > ! $%%
%#? * % ( ! $
( !
!"
# 2
() 5 - ) 9 - 0

< < 0= 5 0
* ) - 5) ) 5=- ) 5
) - 5 - 1 ( < )0)
/!0 1 ( 5
5 0 - (- )
5# 5 1 ( < - ) 5< 55
0 ) 5 -) 5 - 0

!
!
"
!
#
(- H , 5# 5 1 ( K%%L
1 #
$
! %
&
(5 0 -0 ) 0 !)
0 0 -/ ) # 5)5) 8)0) ) 5 )
0 !/< ) ) !/ - ! KL 1 K$L !
) # 0 0 0 )
!) () ) !
:5/ KL () 5 ! ) 9 -
:5 K2L !) )! ) ) 5 95 )
() 5 0 5 - 1
) ) 55 K$L
) 5 0
5 ) !/ - , 1 KL< > K%2L<
A=) K&L 6 ) 5# # 55
5 < 5 0 # 0
- ) /!0 0 () //I -
- K< .)5 $L
/44 A--< 1<

))
K2&L 5 5 9
= 1 ( 5 ) - #- 5-
() 59 0 ) #- 5- 1 (
) ) - 5 -
./ K%&L A--< 1<
))
K22L )! ) ) 5 5 J )
0 55 - :5 J 0 ) 95 1 ( -
2 & # &

50 0) ) 1 ( !) 5 5

* - 0 1 ( ()
.( )< 1 Z/ K$L 0 )
5 5 )5 5# 0
7< < ,/
)- KL ) )! ) 1 (
!) 5 5 95 ) 1 ( ()
< ) 9 55 ) - 95 51 (
0) < !)) * 1 ( 0)

( >-)0 ! ) - 0#

) # ) 50 () 0
) 55) ! 50 - -/ (
0 ++ K2+< L ) +% - )
) 0 D!) K2L<
50< J ) !/ - K+L J 0 !)
50 () !/ < 5
) - 5 ) 500 00
A= ) 55) 5 50 )
- 5 - ;!/ A K%L 5 K%L< !) !/
# - 50 ) / 5 -
) ) 0)< ) 85< '= 7 KL
; ! 5 - ) 55 -
85 K< L () -/ - 85 ;0 K%L 0 9
# * 5 - 50
() !/ - 4G/ K%L< A K&L ) ) )! ) ) 5
5 # * 50 *
50 5 () ?55) - .) , KL
5 ) 55) 5 50 0 5 5
0
(

44 ?0 5 5 0<
# - ) ! ) #
* 50 0 5 0 () ! 0 55 -
1 K$L< ) - / 5 -< 0 )< 5 K&$L )/
50 8 0 -
5 0 0 - ?
)/ K%L 8 9
# 55 ( -
, 1 KL () 0 ) 5 # )
) )/0 5 H 5 0)< <
< ) * - < * -
8 55) !)) 55
-< 5B ( 8 (5 0 8 K&L () 55)
! 5 * -) )
/ () # 55

' 2
55 5 K%L 1 5 0 K$L )
5 55 * 5# 00< ) 5
0< - = () )= 55
5 0 ) * ) I
!/ ) - -
K%%L< )= ) -
0 - , 1 KL ' !
#< , 1B -/ K< .)5 L ) !
-
K%2L ' ) - 9 - - '= K2%L ()
5 5# F 5 55 1 ( !
-)0 5 0 ) - - - 6U KLI
! ) 0 5 ) 5 55
&
KL 8 5- 55) ! ) 5# 55
5 0 ) - 55 - 4!< 8 .- K%$L ()
) 5 -) K%%L< - 0 $$ 95 55
5# / < ) ) 55
) 5 , - H

2 3)

$ % & '
% ( (

) % *+,+-( %
(
.

!

/

$ % & '
, % ( . 0 %0 '
, ( Æ ' %
2 & # &

1 2 % *+,+-(
% (
.

!

#

/ !
3 %

% 0
0

4 (
'0
% %

3 0
5 ( 3 %
% (

.

..6
2 7

..6
7

..6

8 ( 9 3 *+,+ % .
: " 0 0 (
! 8 ( 0 0 9 ( (
;

0 0 % ( 0 <

; ' 0 0 % 2
:

; 0 0 (
$' % *+,+-( % 90
<
.

!

' 2$

*

% 2 =-
% 9 0

"(
$' % % *+,+-( 2

( ) 0 ' % (
) (
0
"( & '
(

!

$' % % *+,+-( 2

( ) 0 ' % (
) (
0
"( & '
(

!

$ (

# > ( #
, > % -
% ) -
> ( % > 8
( 6 * ( ? ( ( @
( ? %
( *+,+-(
*+,+-(.
, AB0 0 >

>
! ; 2 > %
( (
; > #
2% & # &

C > 20

((
%
, ( ( 2
+ *+,+-( $ % %
*+,+.
A; "B . " ( % 0

! AC B .
A4B . ( (0
3% *+,+ "
*+,+0
0 9
( 2
*+,+-(

8 5 0 )/ 1 ( - #
) 5 # ! () )5 # !<
) )5 0 00 )
() 5 ) )5 6@) <
# !< 0) ) )
)/0 1 (
+

4
8 5 - ) -
) () ) )
) - 8 - -
-) ' < Æ 0)
) ) 0)
< * 5
50 ) 50 - 0) !) )
) 50 ) ) 9 -
9 ( 5 )! )
) ) Æ 0) !)
)< !) ) * 50 5
5 ) 9
*
+

[ -
< < # - 0 - < < !<
) ' 0 # * 5)-< 0<
! [ P " ) 5 !< 8 !
22
2& (
5)- < 0 - 5

-5 )
5 5 ! 5 %

/ ! ! 0 ) 0) ! !
- G95 ' < ) ) !
) ! () ! !) -
*0< 0< * I ) 0 0) !
- - < 0<
* < < )
! $ ! 5 - ) : !
00< < ! !)) = - #

5 '< ! ! ) P ' <
) " ) ) 5 ! "
() 5 ) F
!) ) 0) ) :
< < # - P < < * < P " '
< )
. 00 ! 5! 9

! () 55 5 ' 00
! ) P P !)
()< < P
P " ! ) ) * ) 00
!) P
5 5 00 () -

! 8 0 00 5)- - -
) 5 < ) 0 ) 5 *< ) 0
0 - ) 5)- 0 ) 5 <
5 : '< 0 00 5)- [
) !0 H
" 0 00 [

0 00 [< [
0 00 [< ) <
)0 0 00
' < P 0 00 [ P

) ! ) ) -! 70 00
- - )< 0< - - ) 0
95 !) ) ) ! )
-0 ) 5- 5 !
- < ) ! < 5- 5
! -
( , 2+

,
) ) -/< ! ! 0 95 - 0
00 8 ! - ) 00 #

2 33 7"

8 # '
8
5 [ # !)H
[ 5)-
#

[ - <
#
[ # ) - !)) ) # () 5- 5
# ) !)) ) H ! !
() - 5 ) )
) < ) !) * -
) 5 - ) 5)- [ 8 0 5
-< ) )0 0 )
<
) )
5 - 3) 5 ) - < )
) ) # < ) 5
!) 9* ( ) #( # 9*

[P
! P P

# P

#(
(

-! ).
!

'0 H 8 95 '
8
& (
2 33 . & 7

8 '
8
P [ # # * P
) ) [ 7
-
#
8 # ! $ P [ -

) 9
50 P ) )
() 00 5 -

<
< ) # ! 5
-
< <
P $ [ $ 5 -

() < # * < 0 )
) ) ) * - ) )
5 ) * 8 50 5
# P ) 50 < )
P )
8 '
8 - 5 ) 00 ) )
! - 50 ) - # '
8
5 !) ) 00
) - !) ) 5 - () <
!) 5 - ) ) -
) 00 ) < ) /
) 50 - () - 95 - 0
9 / ) '
8< *550 ) !)
) ) 5 - ) 0
!) 90 !)

# 9*
(

! !!
!!

!! -! ).
>) 5 ! - 95 '0 =
- !< ) < ) ) 5
() 5 !< < - 5 # -
) 0 ! '< ) 00 5 - )
)= - ) 0 95 ! !
- ) ) 00 5 - )
- 0 00< : )! )H
$ 33
4
) #(

P

( , &
() 0 95 !)) - 0 00< )

9 # ) 5 ) 0 95
)0 A 0 95< ) -
" < 0) 9 ) 0 #
) 0 00 5 8 )
5 ) !)) 9)- ) 5 ) !
) ) () 0 00 - 5 /0
) ) !
8 * ) - )< 00 5 - #

* 95 0 00 () )! )
'
8< ) 0 00 ) < 0<
< ) 9 '
8 ) 5 < )
50< - - 0 ) 00<
- - ) - - - ) -
) ! () 0 00 9
00< !) 95 !) 5)! < 9
'
8 !) *55 !) / 5 -
&

,
8 '
8 - < < )
!0
F< ) 5
5- 0 0 5 - '
< ) 95 '0 )
* # ) 5 -
) < ) )
5 ) 50 !< 5 -/
) 5 - < <
P

2 33 2 7

'
8
P [ # P
- [ ;)!<
%

!< '

8 ) 0
) - ) ) * # ' )
5 ! - '
8 ) 9 ) 5
) ! 8 # 0)< ) 0) ) 95
< - ) ) H 0 00 ) 9
) 5
70 00 9)- 0 55< 0< )

& (
! 0 00 0 00 () 55 <

: 5 ) )5 ! !
5 ) 5 ) 5 ) )
00 ) 5 0 0)< 0 00
5< < 0 5)- [< ) P [
0 .5 0 00 5 )
!0 5 ' '
8
P
[ # < ) '
8
P [ # 5 ) 0 00

()< 5 ! G )
5 ) 5 8
) 5 !
9 50 5 6 ) ! ! -
5 -
) ) !/
H ) 0) ) ) 5 0 5 !<
Æ )
G < 5 ) !< -
) ) ) 5- ) 5
< # /
!) 97
#( # 90-.

'0 H .50 '

8
! # !
%

# 90-. A
!

%
#( # 97-.
# 97-.
%

-! ).

'0 H 50 '

8
(
( , &
+!
+

4
() 5 0) # 8 ! !
.)5 $< # ) 0) #
! )/0 1 ( 80) =
'
8< ) ) 5 ! '
8<
5)# )< )/ 5
&

6
8)0) # 0)
- ) F J '
8 ) 0
5 ! !) ) 9 J
) ) 0 )5 -! ) 6 0 0
5 ) ) )5 ! ) !0 5 (!
* ) 5 ) 00H
2 33 89 & 7

'
8

<

<

P

() * ! 95 ) )5 -!
) !0 !H
$ 33
#
% #(

) #(
-

.

!) 99
) #( # 9*
%
!

!
'0 H 4 '
8 ) * ) '
8 '0
%

#( # 99 )
& (

. . 7
D .
83; E
D

. 0

. 0
. 7

.6 7
6
7 D ' " % D
.6 7
E D ( - D
.6 7
.6 7
.6 7

D % D

.6

7
D D
7
7
.6 6 7 D ( % D
E
7
D .
6 E
( 83;

D

(- H
- 0)

#( # 9*

- .

-! ).
() 9 ) 95 '

8 *
) 050 0 ) - ) -
) 5 - ) !< ) !<
- - ) 0<
() J 0 7-
J )
/! )
() 0) !) )
) ) 0)< / ) ) -
< 0 - ) 5)-
[ () 0 ) !
() < - < )
) ) ) 0
8 55 -
) 0 !) <
) ! < ! ) - )
0 '
8 - 95H 5< )! <
) ) 55-
70 00 '

8 ) ) 95 5!< <
) 0 00 '
8 - 0 ) 5 5
(
( , &$
< < < ) 50 00 - '
8
0 () 5 ) ) 9 * '
8 )
5 0 0 00 0< ) - *
'
8 ! < ) 0 00 ) 9 *
'
8 5 5) ) 5 () 0)
0 '
8 !)
* '
8 - 5#
/ 0 ! () ) 0)
) 5 ) )5< - ) -
0) ) .)5
( "
8 - < 0 00

0 00 5 5 < <
5 5 '
8 !)) -) )
- 6) '
8 ) ) () # -H
2 3!3 $ & 7

' '
8
P [ # < !) P < )

P
[ # # !) ) # -H

! ) ) 5 5 )
) 50 00< <

P

() - ! '

- 50

()<
# # ) - 5- )
) !)) 50

#
<
50
!) # ()< 50

50
!) 5G
P
' ) < <

) 0
0) ! - 50
-
50
) ) ) 50 5 !
6 4# $ ) ! ) 50

) ) 5 !
&
'

' 55< ) 0 !)) 0

50 5 < ! 0
&% (
)

) 0) 0)
' ) 55 0) '
8
P [ # 05) !) )

) 0 < < ) 0 )

5 - [
8 5 ) 0) ) !))

8 *
% I ) 5
0 ) 0) 5)# ) () - 5)# )
0 !) )0 ) 05) -
0 ! ) */ 5-
3) ! 5 ) - < ) )
0 5 ) () !0 95 )!
)! 5)# ) !/

'0 $H 8 95 #
!) 9;

#( # 9;
(

%# &'

%

%
) # %'&

%

# )

E

& #

# &

% ) $
-!
).
() 5 ) 5)# ) 0) 0 (-

8 0 5 ) # ) *
< )/ !)) P P

) - - < ) *
- ) < < )
;)!< ) ! 5 -)
-< ) ) )
)
(
( , &2
. . 7

D . D

. D (
" D
. 7 D

D

.6 7
6
.6 7

.6 7

7

.6

7
7
7
D .
0
! 2 ( D

(- H 45)# ) 5

3'

8 # ) 0

'
8
!)) < < !))
P O () /! )
' ) 5 < ! )
5 ) ) 5 '
8
5 ) 5 !)) )-

- 5 - ) 5 )-H

) * ) ) P
P 5 -
F<
)- < !) ) D9

() 5 5- ) 05) )- 5- 80

) ) ) !)) '
8
5< !
5 ) ) )-
- 5)# ) 0)< )/ ) 5
# )
$ 33
# #(
P [ #
P
)
#

&& (
+

4
' 5 # !< < * - #
0) () '
8 ) - 5
! # 0)
*
+

[ - 5)-< < # - - () 5

# 5 ! ! 9 -
() # 5 ) # ! < < *
# 0 ) !
# 3 ) - !) ) #
# ) ) # 5 ! 00<
< !< !) # 5 !
!
00 # 5 - 00 !
' 00 ! P < < ) 5! 9
! () ) 00 ' ! <
) - ) # ' < P
! ) P P !! ! ) P ! )
# ! ! ) P H 5 - )
# < ) 5)- !))
# -
8 5 00 ) 00 8 0

00 95 ) # !)
0 00 '< P ' <
0 00 / 0 00< 0
00 - - 0 95
0 00 5 - 0 55 ' <

[ 0 ) 0 < [ 0<
) ) 0 ')< 0 00
5 55H ) <
5 () 5 ) ')
) )5 ! ! !) ) 0 00
5 .5 ! - !) -D .)5
% 59 6@) )
)/0 5 1 (
( . , &+
78
,
8 5 5 )/0 1 (

!
5 0 55 # -) < 50
- #< - ) #< !) 0 # )0)
5 () ) )/0 ! # -)
) 5 ) 5
8 !) ) )= 50
>F
8 6@ ) 68< ) '
8
) 5 # ! ) ) # ! ) )
H 68 # - #
8 68 ) ) ) 5 '
8<
) F 5 < ) 6@) 5
3) 5 5 # ! 0 6@)O ()
# !H
2 3(3 . & ,

8 68
P [ # # * P
) ) [ 7
# P
() # ! $ P [ -

) 9
50 P ) )
() 00 5 -

<
< ) # !
5 -
< ( # 9= A

!

'0 %H 8 95 6@)
+ (

#( # 9* ( )
>(

#

!!

>( ! ! "
>(

!

!

-! ).
() # 00 5 - ) 95 68 0 / )
0 )5 -! '
8 0 00< ) )5
-! 68 0 00< ) !0 - 6@) )!H
$ 33
4 %
) >(

P

()< 0 95 !)) - 0 00

) 9 6@) ) 5 ) 0 95
)0
(! 6@) * ) 5 ) 00H
2 33 89 & ,:$

68

% <

( 4

4

P
%
*

) %

( . , +
:

P
P
P

P

0

)

)

:

P
P
P

P

7

)
-! ).
&

78
,
8 5 F -! # 6@)
) 95 5! 8
! ) - < '
8 95
'
8 ! < % >( )

>( () < ) 9 68 !)) )
9 * 68
) F< ! ) )
00 5 - 68 0 - )
) )H ) 9 0 00 !)) ) 9
68 50 8 95 ) 0 00

3 < < ) 68 ) 5

) 00 J - () ) ) 9 J *
68 0 ) - '
8 8
+ (

'0 2H 8 68 !)) ) 9
* 68
68
) 5 5 '0 2 ) )
5 - ) ) ) 5- )
5 < ) 550 ) -
0) ) 68 ) 68<
< 5 '0 &
8)0)
<

* ' < )
# ! 5 -
< - -
( - 5< ! )
)
P < 5
() ) F
)
! - 0= - < ) 68
!
- # - ) 5 <
0= - )

'0 &H 4 68 - - 550 ) -
0) '0 2
) 5 ) ) ) - !/
68 F 95 ()
00 5 - 68 G - ) 0
00 () ) ) 9 68 ) 5
- ! () 0 -
55 ) ) 68 9 ) ) #
* - ) - 0 ) )
9 5 - 8 ) 68 ) G ! 5-
) ) ) ! ! <
50 5 !)) ! - - 0=
() < )! < 555< ) ! - -
0 ) 5 ! 8 < ) 68
- - ! ! 6 ) J ) 68 J
) 0 - 5 < < ()
0 < )! < ! ) - - 5< <
) # !
( . , +
6< ) 68 !)) ! !<

) / - ) ) 5 ! 8 ) 5-< )
! 0 )< ) - 0 6
)00 ) 5 6@)<
# ! - # ) )= ) 0 00 (!
/ ) < , 7- < )
68 -!
!) 9@ -
) G*@1H.

'0 +H () 68

-
!)

>(
# 9B-. (

>(

P D
>(
- # 9B-..

P

%

>(I

>(

-! ).
0
, %
$
() 6@) 5 # 5-
# !) 0) - 50 8)0) 6@)
)/0 1 ( < ! -D ) )
) 5 # ! 4 )
! !)) ) 5 # ! - #< F
# ! 9 () ) 0
) ) 55 ) 5 H 7- , ()
5 ) ) 5 5 #
! (- ) * ) ! -D
) 8 0 6@) ! 5
)/0 1 ( ! ) 9
+ (
8 85 85

6@) # # P
A 6@) P # # # P
!) #
, # P #
7- P # ' # ' # P
!) # < ' ' P
(- H ,G 5 # !
; ,:$
2 3)3 ; ,:$

8 3 >F
A68
5 [ !) )
# 5 ) 68
8 A68 / 68 95 ) 5 # #

!) # ) ) 0 5 7 P
50 A 68
H
# P
()< 50 ) 0 # )0)
) 5 # ) P 0 #
)0) 5 < 50 )
!) 9B
E>( # 9*1 :

#

(

"

'0 H 8 95 0= 6@)

E>(

( . , +$

-!
).
8 0= 68 - * 68 (

0= 68
!) 5 68
< 5
<
5 5 5 >) ) 68 ) - 5 !)
8
!)

) 5 )
< !) ) J -
J 95 ) !) 5 # ) ) ) 5<
) ) !) ) Q) 5
2 33 7 ;, ,

' A68
P [ !) P # # < ) 68 (
P
[ # # !H
P
P
) # -H
/ # H

/ # H Q

# P #
) # ) 5

-
F - )< )
*
! ) A68

68
P (
* () -
! '
- 50 )
# < !) 5 # ) A68
8
) ) < ) 68
) Q) 5 ' )
Q) 5 ) 9 5 - ) - 0 Q !) #
0 )0) 5 () 5-
) 5 ) 5 ) ) 55
) 9 5
< # )
5 ) 5 # A ) 5
) )

(

!) 9*1
3 >( # 9**-.
%
# P # P ( + 9B

+% (
9 :
9 6:

9 : 9 6:

9 : 9 6:

'0 H 8 0= 68 !) 50 68

>( )

>(

#

#

#

#

#

$

(
>( # 9**-.

(

>( - # .

#

>( # #

-! ).

8 ' # / 0 6@) 95 )
5 0 # )0) # <
, 68 ) ) 95 5!H ) -)
)= 0 00 8 0 55 )
, ) 0 00< < 00 0
0- - , 7
) 68 ) ) 95 5! ) 0
00 ) - 0= - 68 ()
(
!/ ( +2
68 [ # * ) , [

!) - !) # P () 5
, [ ) , [
?/ 6@) < 5 , ) )
0) !
#
8 5 ) 5 5 H
[< < < - 0) !) # ' # '
8 5 ! ) )
# # < !) ) ) -
' ) # 7- ) ) 95
55 , H 0 00 - 0= -
) 5- 7- -
' 68 !) ) * 7-
!) 50 5 # '
!) 9** 5

>(

%

5 # 9*0

%

5

$ (
C 5

C

-! ).

'0 H 8 7- ) 5
+!
#5

+
() 5 0) 6@) )
)/0 1 ( 80) ) ) 5
! 68< A68 * 68< )/ 5

+& (
( "
0 00 < < 0<
) () 50 5 68 ) 5
' 6@) ) 5 # 4# $
< )! < 555 ) 5 '
8< )
5 * ) 5 5 # # ' 68

) )

5 # ! $ ) 50

$< !) -) 0 #
)0) 5 () * 0 0

!)) ) () - ) !0 95
!) 9*0
>F

>(
P
P #

+ 9;
>(

P P

)

"
&

A

P

P

P P

-! ).
(
!/ ( ++
() # ) 5 6@)

) 5 0 00
2 3'3 $ & ,:$

P [ # P - ! 68 ()

P [ # # !H
P
P

)

# )

# )

) P

# P #
() -) ) ! ()

P

-)

) 5 ! () ) -
) ! /<

-0 ) ) / ) # ! 5 <
) 5 ) 5 ) / ) ) 5
3) / 0 )0) 5 < ) 5
) / , 5< 0 )0) 5

!) 50 / < )0 / Q
() 5 0 ) -) / 5
# < 5 0 )0) #
# () ) ) # / # 5
!) ) 5 50 ) # / 3) ) # /
5
!) ) 5 50 ) # /< ) /
)0 < ) 5 ) ) / () 5
) # / ) / 5
()
5

< -)

)
5 # ! )

P

!) 9*7
>F

)
>(

P &

)
(

#

#

#

-.
-.

-.
$

9 : 9 6: 9 : 9 6:
9 : 9 6: 9 : 9 6:

%

-! ).

3'

() 5- 68 ) ! ) H 0 68

)!
!))
< < !))
P O () /! )
' ) 5 < ! )

5 ) ) 0 # )0)
5 8 68
) 5 ) 5
!)) )- )-
5
05)) )

)- ) ) ) 5
7 ) )- ) * )
) P P 5 -
$ 3!3
4
P [ # >(
P
)
#

() - 95 !

5 Æ
) ) - )- ) 5 )
) ) 0 0)
55 )
# ) ) )- )-
)- ) * < <

(
!/ (
. . 7

D . D

. D
" D
. D D
. 7 D

D

.6 7
6
.6 7

.6 7
.6

7

.6

7
7
7
D . ( - D

(- H 80) 0 )- 5
* - ) ) P < ) *

<
< )-
) * * -
) ) P P < < 6<
# ) 50
) 5 !
()
50 !<
)< 5
<

% Æ

) )-
J < 0 J 9
0 5
() 0) ) )/ !))
) )- ) 5 ! 5 '
< )
) 0 < < P
) # 5 5 ) )- )
' < ) 5 ()
5 - ) $(# !)) (-
) 5 )/ !)) 5 5
) # 5 -0 () 5 - )
- !)) (- $
() 50 ! - $(#

)< ) 0) $(# !/ ! () 05) 5
0 ) 6@) 5)# )
0
(
. . 7

D . D

.
.
. 7

.6 7
6
.6 7

.6 7
6
.6 7

.6 7

.6

7

.6

7

7

7
7
( (( D

D .

(- $H 80) 0 ) 9 5
) < ) 5 ! ) 9
) )- ) 95 3) 5)
0 ) - 95 < <
< 50 55 ($< ) *
5 )- () 0) !) 5-
5) 0 ) - 95< < !) )-
) - ) 5 I
) 5 /
() 0) - 5)# ) 0

5 )- 5 ($
) - )/ 5 ) - )
) ($ < !) ) !
- $(# ) -/I ($ 5
# # *
5

&
'

7) ) 50 $(# - ! 5 5)<

5- )/ !)) 5 - )D<
) !) 0 5 )- 3 ) -

%
H ) ) 5 #
!)) )- < !) ) )
(
!/ (
. . 7

D . D

.
.
. 7
.6 7
6

.6 7

.6 7

.6 7

6
.6 7

.6 7

.6

7

.6

7
7
7

7

.6

7
7
7
(

D . D

(- %H 80) )/0 ) 9 5
!)) ) - () 0 50 )!

(- %
! ! 55 ) 0) )

8 0 5
) 50 ) ) 5 <
) 5) ) - 5 H * (
) 5) ) < !) *
) 7 0 ) *
0 ) ) 5)
() 59 ) 5)# ) 0) (- %

55 ) - 5 ) - ) 68
< < Q
(
" (
5 - # '
8 5

'
8 5 0 00< ) 0 00 '
8 9
) 5
'
8 ) 9 *
'
8I ) 0) ) - 0)
95 -!5 ) -
) 5 5- '
8 - 05) )-
5 - 6@) 0 )0) 5
#
68 5 0 00< ) 0 00 68
9 ) 5
68 F '
8 5H
/ 68 95 ) I
) 9 0 00 !)) 68 9
) 5
/ ) 00 * 5 * < )
/ )/0 5 05) )-
5 - 0= 68 0 )0)
5 #
) 0= 68 ) 9 * 68
, 7- 68 !))
* 95 I 5
) ) 0) ! 55 68
- #
$
! %
&
#% () * 0

00 5 00 # ! -) -
: K+L " 0) 9 '
8 0 0
00 () - ()5 K22L - 5 -/
5 '
8I ) 0) - ,0)
V K$L 0 '
8 ' 0 0 95
0) < ) - 50
'
8 9 () !)) ! 0)
!"
# $
5 ' ) 59

#0 < 5 () 0
) 5< - 0= 0 5 !
.0 ) 0 - ) '
8<
/ \!<
- 3/ KL ) 5 ) ) 9
= I ) 0) 0 0
0
(
% () - 0) )
*
0 - 7-
K$%L +$+ () 55
'
8 < 5 0 00
0 ) 55 , ') K+L )! )
) 95 -!5 ) - ) -
) - 5 < < = - !)
95 0!) ) - 45)# ) 0)
) 05) 0) ) - - (G K2L ()
) 5 5- '
8 05) )-
7-
K$%L () )! ) 5 -
C K%L )! ) 05) )- J ) '
8 5 J
;A
18.> 5 () 5- )/0
'
8
< < !))
P [ < * 5
>F

() 5 68 .)/ KL
' # ! ! ) ! -
() K2$L 8 ! )/0 0 68 )
) - 0 - " K&L () )= 0 00 -
, ,0) KL () 0)
68 !) , !)
5 5
K%L ()
- ) 5 5- 68 > K2L !)
)! ) - 05) )- " 35 K&L )!
) )/0 5 ;A
18.>5 ()
5- 68 ) - -
< " 35 K%+L )
95 59 1
18.>5 () 5)
# 0) (- % 0 .-< "< 35
V// K%L 5 ) )/
1 ) -
5 - = 1 V// K++L 8 0)
! - # 5 ) 9 0 5
..
) 05) ) 68< ) )/ ) )
.. !)) )
5 < # )/ )- )

% (
. 3)

$ %

9 %
-( # (
;( ( ( 8 0 6 %

%
$ -( 83; % ( F

! =( @ 83; ( G -
( ( 83;

$ ( 4; ((
0 0 -% % 9

+ E 6 $ 4;

9
%
E 9 ( ( % %

(
+ E 6
$ 4;
9 %
E
9 ( ( % %
(
( H % %

%
! I
" 0 % 9
( (
$ ( ( 9 " % % -

( ( (
3( " 0 " % ( (
( % %
(
, 4J (

( 9 % ( % 4;

0 0 6 =9 @ (
%- ( %
=9 #
;
9 % 4;
9 @ 4; =9

9 -2
=9 #
' 2
$ @ 4;

% E 6 0 6 0
6 0
0
0

6 6

$ 4;0 0

G % 4; -
2

$ % @ 4;.

% % 6 6 $ 4;
K4;0 0
5 % 4; -2

$ ( : (
G %. % : ( L

& (

() )5 5 ) -0 -! ) 0 1 ( .)5
< 6@) 5 ) 5 )5 95 )
)5 -! ) ! J # 0)< ) F J
) - 6@) - )/0 0) 1 (
" '

! #5

*''
3) 6@) ) !) 1 ( O

)< 55 ) ! - ) 68 !) 55
0
55 ' <
P < ) ) )

) 5 95 < < !) )

< !)

) 5

) ' ) ! ) !
) -) ) -0 - )0 ) 0) 5)- [ !)) )
68 I ) 5 ! - 0 ' 55
)
< ! ) J 0 6@)B 5 J )
) ! ) ) 5 ) 50
) ) < ()< ! ! # *
55
() / 5 H 1 ( R #

68 )
5 # !< < * 55 < )
R ' < ) ! 5 5 !))
! ) ) ) () ! ) # )

< ) ! 5
+
("

&&
5 !)) ) 5 () ! # )
() !0 95 )
!) ;* 4

P
'0 $H 8 68 ) 5 * 0 )

>( # ;* (
>(

/44%

P -! ).
!) ;0

P

'0 $H 8 68 ) 5 * 0 )

>( # ;0

D
>(

D

3

(

>(

-! ).
!) ;7 (

) %

'0 $H 8 68 ) 5 * 0

P
>( # ;7 (

%

&
!/ &&

-! ).
() 95 )! ) ) 9 68 ) 5 * 0<
< ) ) 1 ( R 68 9
) 5 9 ) # * ) R ) *< ! !
!) ) ) )/0 5
1 ) ! ! ) ! !)) - - 55

'< ) 5)- [ P ()<
- !) 55
' ) 95 ! )

P < ) 55
< ) 55
!)) *
55 )
55 , 5< - 0

55 55
'<

< ) )
< )

!)) ! -- - K

L ) / ()

!) ! ) 55

K
L P K
L

K
L

) 55 - 5
!) ;9
P

#

/ (

*+*
!)
) * ! ! - 68 !) 55

0
55
) ) 1 ( 55

# 50 6@)
$ !33
# /44% R >F

%
("

&&
[ P

R
() 35< "

+& () 68 50
R -
A ) / ! 5 ) - )
)/0 1 ( 8 5 )/0 !)) ) 1 (
55 R ) 0 0 (- $ 6@)

>F

R

>F

(- $H 5 )/0 1 (
) 55 R ) ) ()
50

5 ) 5- -) ) < !)
) 50
5 ) -) )
5- -) -< !)

< ) !
) ) # R
" *'' #5

! 5
68 0 1 ( R< R #

() ) R ) ) 5 <
) 0 R G 55 ;
) - 0 ) # S
S
S
S ( /5 ) 5 5 ! )
5 - ) # / 5-

0 < ) 9 5 5
' .)5 ! ) ) 5 # -
R S
R S

5 ! ' R S ) 5) S

! )< * ) R - ()<
< ) R R ! )< )

2 !33 < "& "&

' 55
< ) 1 (
&& !/
# -H
R HHP R R R R R R R R R
() !0 * 1 (

H
R S
R S
R S
R S
R
R
R S
R S
R S
R S
) ) ) *< 0 ) 0)< )
0 5) ) 8550 ) <
! 5) 0 ) G 55
!) ;; ( )

%

R R

( ) )

-! ).
) ) ) ! 59 0 R

) 0) R< - R () 0)
R - # - ) R< 0 P <
R P Q R R S P Q R Q S ' ) / - !
0 ) # )
("

&&
!
2 !33

' 1 ( R< ) R< R # )
0H
R R
S S R S S R
S S R S S R
S R S R
S S R S S R

S S R S S R

!) ;=
-! ).
! +

-

! &

,
!! "
0'
"
! *''
() - 5- 55) ! < ) 5- 00
6@) 1
18.>5< Æ 5
15-
;- )

P
-@+/1!% (%! (% * (%! %% ( %)
%*!% !!* %*!% , (%! 9
!( A ! :
(%!
)* %#%* % ! ) 0 % ! !%0 *

&& $
!)
) 5
) 5 [
00 ()

68
< )! < * 95H
)
)
) ! < ! () ) )
0 0 ' 68 0) 9
) 5 ) =
< - 68
95 ) 68< ) )
?0 ) - ) ) 5
* )
) 0 RH

P

! ) !0 Æ ) )/0 1 ( !))
Æ () )! (- $ ()

>F

R

>F

P
(- $H 6 5 )/0 1 (
68 ) 0 ) 55 R () )

) 5 ) ) ! ! )/
) 50 ) 50

) )
95 ) R< ! ) R 55

) ) < ) R # () 95 5 )
) > +&$ ) 5 ) ) ) 5 -
< ) ) 15-
) * ! ! ) )

0 () 5
500 5# 00 68 5 ) )
00 < ) Æ ) 9
! 5 0) 5 ) ) ) )5 !
95 )! 5 5
! 7

"

2 !33 7 6% ,:$

' :5/ P &" !) &" H < ) 68
0" # [ # !) [ P < P !)
< P < # P ) 0H
) P &"

("
%
&&
) P &"
() - -) ) ! 8 <

) 5)- ) 68 ) 5! ) 55
8 ! ) - )
) 68 ' ) < 0
) :5/ () ) )
8 - !) ) 55 ) 0
) 8 0" 5
!
8 ! ) F 5 )/0 1 ( )! '0

$ () ) 6@)

!)) 50 () 55 - )/ 5#
1 ( ] 0 R ]< 0< -*
6@)
() 5 ) ! 5
5- 5 ) R 6 )/0 ) 5 )
< ) !)) R # - )

8)0) ) 5 ) 0) 5 *
< ) < 0 ) ) 9 5 - 5 < )
5 5 #)< 5 - %
%J '
< 0 ) 05) - 5
!) )/0 ) 5 ) 5

)
! ) 05) H ! 9
50 ) - ) 5 5
3) ) 9 ) 05) <
) ) ) ) ) )
) ) 5- () 5- ) 50
R !) 50 95 !) )
00 ) 05) !< )
- - - 0 )/0 5
) 5 () ) -# 5 )D
)/0< ) 5 ) 0< 0 )
) ) 5 *
0#
3 - 0 ) ! 59 ) )/0

5 1 ( R - ) - )/ )
) () 5 )
1 ( 05)
) 9 ) 05)
- !) - R< ) - ) 05)

&& 2
3( H
: ( -(

H(-( (
K
K 4J (
4J (

4J (

* (

$' (
M1N MHN -"(
'0 $H ; ! )/0 1 (
55 ) - - R< )
) ) 5 ) R 68 F
) ! 59< ) 0 68 ) 5 ()
! 5 59 ) 5

)

!)

) ) 68

)
59 )/0 ) 5 68 ) -
! - )

% )

%

/44% R

! ! )

)
) ) 59 )/0 1 ( ) =
) ) ) * 95 ) = )
- )/
() ) ) 59 95 ) 0) ) 1 (

- G - ) 55 ) 0)
5 >95 ) )! ) ) 5
0#< ) 0) ) 55 - )/ ) )
() G# - =< <
) ) ) 5
("
&
&&
3 - -D 0 ) 5 59 )/0 1 (
() )/0 5- 1 ( 1
18.>5< 5
) 5 ) = ) )

./< +&$
" (
"" #
$
! %
&
"- 3)

() )5 .5 ( 0 .( < 5 -)0
5 0 5 0 55 5< 55
.( 5< 0 9< -D 9
=< 5 55 ( < -
5 0 55 5# 00
-

1 K$L ) 5 0 ) 5
) 5# # .)5 <
! ) 5 / 5 0< 55
( 1 ( () 5 0 < - ) J *
J ! - H ) )
5- ) ) ) * 5-
() 5/0< ) ! ) ) ) 5
5 0 - ) P #
5< < * 4 ) - *<
) 5 5 < < - ) 0
0 5)< < 5
1) ) < )0)< - :5/ ) ) -)
0H ) ) < <
) 5 () 5 1 (
) - *0 ) , )
5- 5 ) , ()
*# 5 ) - 95
+
# &

) < H
P , P , 5) 0
!) , 1 ( !) 5 # )

) 5) 5 0< ! ) 55 5
- 5 ) < - - )
5 ( 9 ) - - 950 )
-! 9 *# ' < )/
!)) ) 9 5 0 ) # , !
)/ !)) P ,I ) # - < ) ) -
5 ) ,< )! ) ) ,
' 5 55< / 5 ! 5

- ) < ) < )! < 5- 8 5
! - * 5< K%L () ) / 5 0 -
J # * J -

J # 6)0 ) )
) ) - F 5- >)
) 5 5- 4 ) -)0
< ) 5 0 /!
5
0 () 0 ) -)0 5 0
) ) * >) 5) )
5 0 5- 5 () ) 5
5- 5< - :5/ -
0 ) ) ()
) 5 5- # 5 ) :5/ )

() 5 5 -)0 5 0 ! ) 95

55 5 ) ( ) <
55 9 5) *# 5) *
# ' < ) 55 R ) ) 9
5 0 !)) R ) () < ) )
5- 5 !)) ) # R )
() < )! < 9 ) ) ) - 5
!)) ) 55 )< < 5 !)) R
! () 55 R< < ) 5
' &
) 55 R , 5 55 - 95 -

0 9 5) *# ' < )
55 5 ! 5- )
- ) 95 - H
5- 5 < ) 5- )

() 9 ! 5 5 0 J -)0 5
0 J ) ) 5 ! )/0 )<
- - -)0 5 0 8)0) )
- - ) F ) 555 -)0
5 0< ) ! ) G )
)/0 - ) F 0H
() 95 -)0 5 0

5- () ) 55 ) 95-
5 0 - 95 -)0 5
0<
() )* )/0 -)0
5 0 * F () < < 0#
F 5 59
) )5< ! .5 ( 0 .( < 5 0
- 55 0 !) <
.( 5 -)0 5 0 ) Æ
95 ) 5 55 !
0 - ./ > K%L 0) F
- M
/ K$$L )/0 , 5< 0
!)) Æ< J ! ! .)5 2 J 0 5<
)/0 0) 9
- ( ) '
() - ) / .(
55< ) # 1 ( () #
55 -
< !) 5 < < 3 #
) 9 .( ) !0 !H
2 (33 5 &

- 55 ' .( )
5)
) !0 H
! ! * )%! # % 234
# &

R
R < )
R S < ) R S
, 5) < ) , ,
$ 8)0
1) ) !0 H
R < ) R 5)

R S < ) R S 5)
8)0 5)
.( 0) -! 5) <
95 55 < !) 5) 95 55
5)< < # * () 5 5
) ) 0 1 ( 5)5 ' R )
5) R ) ) 9 ) 5)< R S ) 5)
) 0 ) 5) !)) S )< R )
5 ) 1) - -
5#90 ) !) ) ) 5)*# 5 5)
) 5)*# 5 5) ) )
5 5 * - 5 -
- 0 ' , ) ) 9
5) 0 , ) ) 4< , )
5) ) ) , / 9
*# # 0< ! ) ,
,< 5)
,
!) =* 4

P P
!) 4%
P P P

)

P P

B $) +
81! % %% 1! %

&

4% P
%

4%
P
%

%

A

P P

4% -! ).
() 9 .( * ) ) 5 5 < < <
5 - 5) *# )
55< ! ! - 1 ( - 5 -

< ) ) 95 -)0 5 0 .( K%L -
' < .( < -
.( .( ) -
-)0 5 1 (
) 1 ( - - .( () 5
)5 -! 1 ( < .( .( ! - -
%$
3 )/0 .( - 59H
) )/0 5- ) 0 1
18.>5 ) =
) 5# K2L < ! .( !)) Æ
)/0 0) 9 8)0) .( 5 )
95 5! .( < ) - 5 )
Æ 5! 95 55
-
'
2 . '

8 1 ( < ) 5 .( # :5/

3 ) !0 # H
2 (33 6%

8 8 5 &" !)
- <

<
0
&" H 5
# &

#

7'
7'
! !

7'
7 7 '

'0 %H 8 95 :5/ - 5#9
# 5
2 (33 $

8
:5/ P &" # *
) )
8 5) ) # * ) ) -!
9 ' 5) P 0 ! KL
) Q) < < KL P () 5) )
8 ) :5/ *
) < ! P 8
!)) &" () 5)
5)
' :5/ P &" ) #

5 !) - ) ) )
() - - 0 ) :5/
() 0 ) 0 - ) -
00 ) :5/
!) =0
8 # =*-.

( )
%
# =*-.

8 #

8

/

!)

(
& $
D

P
-! ).
2
+
() .( # - ! -)

- PH ) ) 5) '
) < P -! :5/ <
< R 3 ! P R ) ) R P
() 5 H P R R )
' ) 5) < P -! :5/
< 5) < 5) , 3 ! P R
) ) R P () 5 H P ,
5) # 5) , ' < !
) 9
2 (33 &

- 55< P &" - :5/
< < R S - .( < , - .( 5) ()
P # -H
P F &"
P R F P R
P R S F P R P S
P , F P ,
P , F P ,
' 5) ) P 5) # -H

P R F KL P R
P R S F KL P S KL P R
() 5 55< 0 G
< !) ) - ) .( ) 5 <
!) 1 ( ) 5 5)
,
) 9 5) 0 ) # ,
< , 5) 0
, () ) 5) )0) 0) F
) 1 ( ' < R
) 9 5) 0 ) ) ) 9 ) 5)<
KL< ) 55 R ) R S
% # &

/ #3 4

1- ) 0 !
) 0 !
! 5- ! #
() 0 ! !) 5 # #

(- %H
55 ) (,7 ) = .(
5) 0 ) # 5#9 5- 0 )
) S ) ) ) 5#9 R ) ) 0
) 5#9 R S ) 9 5) 0
) # R S 8 1 ( < ) .( )
) ) ) R S ) # S
!) =7
8
'5

'0 %H 8 :5/ ) (,7

7 - # =0. 5

- .

- P . :
'5

4 =*
:

%

% ( )

#

( )

# #

& 2

4%
#

)

-A

# .

=*

)

% # #

# #
-! ).
2 ,/ (
' 0'

() 6 5 < < < # )
! .)5 ' < R S P R S A )
R P R ! # ) !0 -- H
R
R
R
R
R 5 R ) 5 R 5 R

-
R
R ,
, ! ) H
R
R
R
R
R
R
R 5 5 ! R< R 5
R R 5 5) 9 R () 5 -
* 0 ) ) )0) 5 0 ) 5
() -0 5! ) ) 5 ) )
5 0 1 ( ()< 95< 5
- < ) - !)
() 5 ) 5 5 R< R< R< R R

- 0 ) .( < 4# % ( )
! RH
P R
#
P R
#
& # &

P
R

P R

KL P R KL P

P I 5
KL P R
() R ) 9 5) 0
) ) ) ) 5) ) R ) !
) R 5)
0 ) R ) () R
R ) 0 5) ) < R
) 55 ) 5) ) ()
) 5 ) 5 5 )
8 ) ! ) < < 0
'0 %< !) -/ ) 5 " < !) )

'0 %H >95 0 ) - .(
!) =9 ( 8

# =9-.

4%

-#
. (

& +

'0 %H 5 .( :5/

# )

-

.

&"

#

-

.

- .

# &

# %

#

%

% #

&" &" &" #

%
-! ).
' R S R S 0 ) )

5) S ) () )
0 * 8 !/ < ) 5 <
) R ) ) S ) ) # < )0)
) 5) () 5 # -H
R S
R R S

* -H
R S
R R S

!< ) !) 9 5) *# - #
< ! ! ) 5 ) 5
- +)

,

.)5 5 0 ! ) ) ) ) 0

) - ) < 9 - 5 ) *
() 9 # ) 9 5
) - 5 8 5 9 1 ( )
95 9 H
RS
S R R S
' .( < 9 ) 95 9 9 8 ) 5
5 - 5#9 !) ) 9 5) *
#< ! ) 9 R S R S () 9 )
! ! (- % () ) 9 - 5 0
) .( () 5 ) 5 ) 95
9 1 ( .)5 < ) 8
5 9= .( 9 K< %&L< - ) 5
(')
) -/
R
R R
R
R R

R
R R
R
R R
R S
S R R S
R S
S R R S
(- %H >95 9 .(
() # 9 (- % - ) ! 9 '
95< ! RH
R
#
R
9 R S
R R
5 I #
R R
?0 ) < ! RH

R
#
R
-
R R
5
R R
#
R R
#
R R
- 5 ) 9

# &

() - -) ) 9 95 ) -
- ) !) ) 5 5
- ) ) 0 )
50 !)) 9 *#
' < R R

- ) R ) 0 5) 0
- )
() ) ) 95 9 1 ( 9 .(

9 00 ) 9 1 ( - .( () <
)! < .< 95< ) !0 H
R S
R S

!)) 5) () H
R S
R S
() - ! 3 # ) 5 0) <
) )
R S R S 8 ) P

R S ()< !) 0< ! )
P R () ) ) 5- P <
)- < ) ) P R 6 ) P R S ()
) ) 9 )- !)) # R S
6 ) .( ! ! P R S
R S R S - -
) ) P R S () ) 9 5-
P ) ) P R S 3) 0 !
) P R 6 ) ! P R< )-
() ! ) P R S
! < R S
R S R S R S
)! - ) !0 :5/ H

¼¼
¼

' ) 5) ) ! ) ) R S )< P

R S () ! ) ) ) 5) )
'#% & &&
< P R S ) 55
! < R S ' < 5) P
R -
P S ()< P S 6 0 55
5) ! P R ()< P R S

!<

) ) 5 ) )
R ) ) ) S
-" 3)%
6 ' *''
; ) F -! .( 1 ( ) 95

, 5< ) 55 ) 95 .( < - )
- 95 1 ( < ' 5/0< ) 95
.( 1 ( 8 9 .( < .( <
# -) 0 () 95 .( 5 ) -) .(
1 ( ) 5 55 !)) .( 1 (
F< ! ) 9 .( 0 )=
) 9 1 ( < - =0 !) ) - )
) )5 () 9 0) -! 1 (
1 ( 5) < ) ! - .)5
() 5) ) 1 ( 8
) , 5) , () - ) P ,
5) ) , ()< 1 ( /

) -)0
() 5
*# 5- 5 5
!) 50 -)0 5 0 K%+L , < )
) 5 ) 1 ( ) )
5 ) ) (0) !) ) 9 .( < )
9 # 1 ( ) ! .( =
(- %
.( 9 .( ! 5) *# - -

!) 5 5 ) <
.( ) 5 5 - 5 - 5)
*# ' 95< 0 .( - -0
.( () 55 ) .(
.50 ) 95 0 - G 0 ) 9
Æ< )0) ' 95< ) .(
) .( < - 95 ) )0N 8
# 5 0 # )0)
) 5 ) !)) !
)< < ! ! 5 #
0< ! ) ) !)) R
0 < < ) 9 * S J )
# &

1 ( R HHP ,

5) , HHP , , , , ,,
.( R HHP R R R , ,

5) , HHP R R R
.( R HHP R R R , ,

5) , HHP R , , , , ,,
(- %H
9 1 ( < .( .( - 0)0 5)

F R J ) ) 0 6 *

! 95 ) )0 ) !0 #<
! # !) * 5
2 (3!3 89 & &
R S :5/
H
P R P S
) ) # * R S - # 0 )
P J !) ! ) ! ) - # - !
5O 3 ! 5 # !)
! 5 0 - * 95
2 (3(3 & 5

(5 0 ) 5 0
R ! ) H
S P R P S

95 95 < )
- )
95 < - ) )< )
95 ) '0 %$ ! 5 ) )5
-! ) ) 0 " 0 !) ) 5 5
) ) - 95 0 3 ) .(
'#% & && $
95 ) -) 1 ( .( < !) 1 ( .(
5- 6!< 95 0 ) )! ) F
95 ) ) 0 '0 %$
.(
1 ( .(

'0 %$H 7)5 -! 1 ( < .( .(
4 = # 3 1 ( !)) )
9 * .( () 5 ) -
K%+L ) 5 ) !/ () 95 ) )
5) ) 5 !)) ! )
() - .( 95 )
55 () # !/ < -< !)
) 0 <
( )< ) :5/ 5
'0 %% ) 3 ) P < 5)

0 !)) ) - )
5< ) ) ) 5 ; ) ) )<
)! < P ) 5) )
) ) ()< !/
! ) :5/ 5 '0
%% ) 0) - 8 5) ) ) 5#9
.< ) 5) < < P
; ) ) )< )! < P ) 5)
H )
()< 0
8) 95 1 ( !)) *

.( 9 !)) ) ) #
< ) ! - () 0 55
) * # ' < 5 55
5 - )
% # &

(a) (b)

'0 %%H :5/
) 0 -0 # <

!
4 = # 3 () .(

!)) ) 9 * 1 ( () 55
5 95 ) ) 5- )
!)) ) 5 ) )= !)
5< ) 95 ) ) ! 5-
) < ! 5 ) 95-
1 ( 8 /) ) 5 ! KL R - 1 (
) ) R *
P ) )
#0 -! < ! ) P R - R *
) 5) # < ) ) 5)<
# - ) - )! ) 0)) 0
- () 5) 0 5) 0 < !
) P R ! < ) ) P <
0 ) 5)

-
$ #. 3 () )5 -! 1 (

.( - 95 ! K$LH .( R - 9
5 1 ( R * ) 1 ( 10# R
!) 10# R - R - 0 5)*# '
< R * ! ) 10# R P 8 # )
- 0 - ) 9 .( <
) ) ) ) - 95
& 2
1 ( 10# R P *
8 # 95 ) F 95 1 ( < .( .(

) 1 ( < !)) # Æ
) 5#90 ) !) 9 5) *
# .( H -) .(
* ] ) ) !
] ) * .(

9< .( ' < )! < *
.( 9 () - - 0 ) !0 <
!) 5 55

3 ) P ) 5)

)- ) ) ) ! # ) ) )
< )0) ! < P ) 5) 0
) ) #
--
'
7 ) 5

2
5 ) - ) ()
- 5 ) I ) 0 5
) ) )/0 1 ( 0 )
R ) 5 - 50 9 5
R () < 5 ) - )/ )
< # ) 0 # 1 ( 8 )
F < - 5H
< !/ 0 ' .( < ) 55)
!/< 55 - 95 .(
() < 55) /
( !) .( < ) .( 0)

# ) ) ) , , 5
5) ) ) 5- 5) 8 5) 5) ) #
8 # - 0
' < )/0 -
9 0) ) - 5
50 ) 5)
) 5) ) # !) 5
& # &

:5/ *55 !) ) !0 !H
2 (33 7 6%

8 :5/ *5 P &" !)
&" :5/
2 (3)3 7 $

8 5) P #
) # ) -0 #
) ) ) 50

0= 6@) .)5 < :5/
:5/ ) 9 !) 0= 6@)
5 ' P ) * ) #
# < 5) ) ()
:5/ &" ) ) ) 5) :5/
&"
() .( :5/ )

0 4# %< 95 ) *#
5) 5 5) ) ) 5)

- ) 5) ) .<

5) ) # # < !)
! 5) )
P 5) 0
# # () 5 .( #
) P -5 P R
R :5/
2 (33 7 &

- 55< P &" - :5/
< < R S - .( < , - .( 5)
() P # -H
P &"
F
P
P R F P R
P R S F P R P S
P , F
P ,
P , F
P ,
' 5) < ) P # 5) -H
P R F KL P R
P R S F KL P S KL P R
& +
() ) 55 0 )
0 95 55 ) P
5< - ) ) ) - - - < !))
5) ) 9 ' ) .( )
) :5/
5) 9 ) 0 ) ' )
5) *# ) F ) *# )
5) ) ) 5) () 95 .(
5 ) 4 0 ) ) .( <
/ .( - .( 8 .( < ) 95 .(
5- ) 1 (
!) =;
8 # =? -
P .

P

%

(

%

>

P
,

'0 %2H 8 95 :5/
:
8
# =? P
# #
# P # P

4

P +

#
#

/

)

P
# &

8
P
)

P
-! ).
3) 1 ( 5# 5 ) -

)/< .( 5 ) 0 )
< < ) :5/ ?0 !)
95 0 / .( ! < )! < 0 0 )=
) / :5/ () !/ !
55
R R ) S )
- )/ :5/ - * !) ) 95
) :5/ !) ) R R
= - 555 5 # < < ) 5
# 5 0 RH # P P R () )/0 S
) )/ R S )
H
P S P R S
) R S .( J )! !
) 5 ) ) R 1 (
J - .( () ) ) R 9 )
= ) 5) ) # #
-. *
'
() ) 5 0 .( 0 5
55 3 - 0 ) 55
0)
& !)) 5 KLH )-< <
< 55
7)- 55 95 ) 5 - )

7)- 55 ) 5 ) 9 5) ) )
- )< - 95 .( - R !)
R )= ) - ) 8 0 )- 55
95 ) ) / - )
) 55 - 95 - R< < * < - R ()
0 )- 55 5 ) 5)
) )0 ) 0 I ) R
R )- 55 ) 5) )

- )0 ) 0 8 95 ) 55
!"
#
5- ) ) ! 0 ! - ) 0 ! 5
-0 5 5 ) 5 . )- 55 -
95 .( - < < # # 95
) 55 ) (,7 3) )- 55
< ) .( 5 5 ) 5)
5 )- ' < ) 55 !
5- ) ! = - # ()

- 55 )- 55< !))

) 55 - 95 1 (
55 95 )< < )0

- () 5 5 55< 0<
Y Y 95 ) 5 5
) / 1 ( < 55
- 95 - ) 5 ' < )
55 0 ) 5 $ < ) F )
!B F F 95 - +
55 95 )< < )0 !
(5< ) 55 95 .( -
- ' < ) 55 < )
Æ 0) ! - 0 95 -
()
5 55< R S
S ! ) 8 ! ) G - < )
)- 55 # - 95 1 (
' 55 95 )< < !
! #
) 55 - 95
.( .( 5)- ) 0 !) 5) *
# -! () 55 ) - 95
.( R< - ) ) .( * R
R S ) ) 0 .(
(- % ) 5# 5 .( < -
) 55 0 ) 5 -) 5
-/ #
$
! %
&
>
" 5 -)0 5 0 ) -
55 ) () - F 95 < < ) 5
) ) 0 3 ! 5
0 95 5!H , 0 , K+L< ?#

6)0( 0 KL< .5 ( 0 .( K%L< >9
.5 ( 0 .( K%L< , . KL ()
# &

!
!
"
!
#
(- %H , 5# 5 .( K%%L
) 95 0 ) 00< , )
95 () ) ) ) 95 0
) R 95 ) 0 <
* S ) - 0 .( )
95 55 .( ) - 9 !)
- > 5 K%+L - > K2L

4 4 > K%2L ) )! ) )/0
.( #-< < )/0 !)) 0 .(
9< ) 59 >W1(,> () ) ) 59
)/0 .( #- 95 ) 0) )
' .( ) 5- - 95 K2L< < ) 59
)/0 .( #- - 95 ) 0) )
8 5 9= .( ) - 0 - 68< 1
, KL > 5 K%&L
!)

() )
-)0 0 0 -/ )
+& 1 K$L -) ) -)0 5 0
- ! " 55 K$< %+< 2L )! )
) 95 1 ( .( 5- 8 !)
5 ! 50 ) 1 ( .( !
0 - " K&L () 0 .( ) 5 1 ( .( !
# - ./ > K%L
-1 3)

+ ( ) %
( % $,+-(.

'
!

$ % & ' .

#
! #

=( % -( % & '
:
%

!

$ % ( 5

, % ( . 0 %0 '
, ( Æ ' % 1
2 % $,+-( %
(

!

#

/ !
*
% $,+-( 9 <
0

"(.
# &

!

*
% $,+-(

"-
(.

!

$ (

# > ( #
, > % -
% ) -
> ( % > 8
( 6 * ( ? ( ( @
( ? %
( $,+-(
$,+-(.
, AB0 0 >

>
! , > > 2 ,
0 ( 0 2
(( @ 9(

,
2 > (
%
2
; 2
9
,

( 9
$,+ , 0
9
$,+-( % ( O .
3% $,+ 9 ( 0 0

$,+-(
( 2 9 %
! = ( 0
K
& ' % *+,+-(
" $,+ -( $,+-( 2

' $

+ 6 ! 0 % 0
! ( ( 3 % (
% .
)
))
P 0 % 9 ( (
0 9
2
O .
K

) ))
! $' % % ) )) :
%
!

! ! !

I 9 2 N0 9

( 2 N
) *+,+ %
( (
2
$' % $,+-(

= " 2

( $,+-(
( ( *+,+L K
2
*+,+-
( 5 % 2
0 0 % 0
-"(
% 2
( "

$ 0 %
(' %
9 , %
( 9 . A
"
0 ( B ,0
2 % %
, % 2 2 (
( $,+ 3 %
%
% % # ( (
# ) ( 2 %-
0 0
( 2
O . % 2 ( $,+.
;

% # &

! , (

, (

() )5 !) .( )/0 '< )
0) 5 ) - -5 ) 5
R () ) ) 0)
Æ 5 ) 0) () 0
95 ) * 5
)/ .(
.

() )/0 5- .( 0 :5/

< < .( R !)) P R () < !
-) !)) ) R ) )5<
! ) ) 5 :5/ -
.)5 %< - # () ) #
() - 5 .( )/0 ) 0) !H
) R 0 R 5 <
! ) P R R
' :5/ !) ! ) R P P R
) - 50 R 0 5- ) G )/0
!)) P R < )/ !))
P R< G 0 < R 5
! - 0 - < ) S
- S R 5< ) P S - )/
!
2
&
&
() 5 - - ! -5
) ) R ' ) ) 5 < < )
- S R< ) S 5 !)) S )
() 5 !< 0 ) ) 5
J ) ) 5 ) 55 J #)0
) < ) ) 5 ) 5 R 8
< ) ) 5 )
- 555 ! -) )
- () 5 5 ) 5 ) 5
0< < ) ) 5 ) - 6
!0 ) -5 5< - ) !)) )
* R ) ) ) 5
6 5 0 5 5 ) 0)< ! # - )
F 5 .( ) Æ
- 5 ) ) .( - #
- ) - 5 8 95 ) -
5 H ) 55 5 ' !
- 5 () !0 *
.( ) - 5H
R
R
R S
S R S
S
() ) - 5 0 ) )
.( 9 .)5 % 9 )
7 )< - #< ! ) H
R
R

R
R
R
R
?0 ) # < ) )! ) .( -

* ) ) - 5
() !0 < - < ! H
P R P R
R P R R P S
R S P R S R P R
R P R R P R
R P R R S P R S
R S P S R S S
) Æ 0 5 ) )/0 0)
. +
) - 5 I ) # 5 ) ) 5
! )
3 ! 5 ) ) - .( -

() - R - "R
# !
2 33 #"& & "&

< R S - .( ()
" P
" R P "R R
"R S P "R S R S
" R
P "R R

" R
P "R R

" R S
P "R S R S

) ) -
5< ) 5) R S - )
R S
! # ) 0) R - ) ) "R< )
) - /) 0) ) 5 R -
5 ! ; !) ) - 0)
< < ) 55< < ) Q)
) 0)< - 0) Q () )
5 < 0< ) R S ) <
) 5 ! ) ) R S ) ()
0) - 0 ) - 0) R < < )
R
() 0) 0 (- 2 95 ) !0

() 5 R - 0 )
R ' R P ) 50 G < ) 5 <
) 80< P < !)
' 55< ) -0 &" ) :5/ 5
) H 5 ) ) - - &"
!) ' ) 0 R ! 5 R / 5 !)
5 4G ' R ) R
5 ) )
R - 0 0 ) )
) < < P
$
&

.
. 7
D . $,+-( D

.
6
6

!
6

6

6
6
6
"#
6
"$
D .
6 6 6 D

(- 2H () 0) )/0 .(
! 5- 5 6 550 )
- 0)< - ) ) R
) () -
) # 8 - Æ 5 )
0 - 0< - 5
' , P R S ) 5# #*< (- 2< /

) 5 ) 5 ) , 7 ) #
, ) 9 5) 0 ) ) S - 0 R
5 ) < ) #* !/ ! 8
) S - # ,< R
, 8 5 -* ) -
)/ ) 5 -/! )
< R ) - 0
) !)) ! /! , ()< ) )
) 5< R ) S
5 ) # ) 0 )
) ) ) ) Q + -H
# # P R
!) ) (
) 0) !< ) - ) :5/
# ( ) 5 R ) <
9 -< #
!) ?*
8 # ?*

R
R P P
P
5
R P R
R
. $

"# .
. 7
D . $,+-( D

. 7
.6

7
6
.6 7
.6 6
7
7
D .
"# 6 6 D

(- 2H 80) ) 0 R S

'0 2H 8 95 :5/
#* R

%

P P
(

R

#

#

%
# ?0-.

# ?0-. +%

# ?0-. (

#

R% -!
).
< 0) )/0 ) R - - - 0

) )H
R
R R
5 0 0) ) 5 #* )
)5 ! ! 5 Æ 0) )/0 R () )
0 5 (- 2 < ) #2
!/ - -/! ) 5< - ) 0
$
&
(a) (b)
(c) (d)
'0 2H >95 0 0) #* P P
/ R #* ) )
5 ) R
) ) 0) ! /5 ) ) R
) 00 )
( ) 0) 0 0 - ) # )
5

"$ .
. 7
D . $,+-( D

. 7
.6
7
6
.6 7
.6 6
7
7
D .
"$ 6 6 D

(- 2H 80) ) 0 R
!) ?0
8 # ?*

#2

# ?7-.

% # ?7-. +%

%

%

%
- . %

% "&
# %

?7-. >

%

)

% (

#
&
$

# ?7-. -! ).
(a) (b)
(c) (d)
'0 2H >95 0 0) #2
8)0) ) 55 ) 5 0) -

5< -)0 ) )
-
5
.
'
!
4 , "
/
"
() -D 5 # -

) ) )
)/0 .( ' ) < < K&<
+L
- #
2 33

8 - !

< D9 <
() <
H
! D9
! ! P
! ! !
() 5
! 5 < )< ! !
) - 5- ' < <
$
&
! ) < !) ) 5! )
-< 5
2 33 #

! - 5

H !

55 - -
< ! "
<
55 -

-
55 -
!
() 5 ) ! -

< ) 0 !
-< #
< - # )
!
- 5
2 33

! )

< "
#
9
8 5 ) * #
P $ * 0
"
P %
!) ?7 4 P

Æ

) #

# "

)
-! ).
2 3!3 &

' # H

)
! ) !
# ! #
' # ) 5 ) 0 ! ' < )

# P < ! )
) # #
2 3(3 75

' # H

<
) # # P
) #9 5 #
) ) # P ! )
! () 0 #9 5 # #
&
$$
$ 33
!
)

) ) #9 5 0 F )
!)) ) # () !0
* :B # ) K&L
$ 33
! #
!

) "# $ ) ## %

## P " # $ P #

$
## P # # % P #
%
() #9 5 # ) 5

!
) - 5 - ) - ) $ # $ # # $ ()
!< ) < # $ ! # $ () !
) ) $ ! # $< $ ) ) < )
) # $ ! # # $< # ) 55
) / 5 5 - ) # $ ! # $ () 0
#9 5 - 5 - ) 0- ) % # % # # % <
* ) - # % ! # %
) * ! .(

) 5 < )
5 ) * 0 #9 5
() 2 () #9 5 - 5 () 2
) 5 ) / ) #*
#2
4 /
'
6 +
() ) 50 ) #* #2

- #9 5 )= .( < ) )*
)= R S ) 0 #9 5
.( < 55 0) J 00 - () 2
J 5 ) #9 5 ( ) - ! -
H
8 5 .( - # ) ) )

9 * 0 #9 5 0
() - ) 5 .(
$%
&
, .( ) - ) )

R S R S - )= 0 #9
5 ) ' ) 55 9= .(

() 0 ! - ) )
, '

+
+
() 5 ! .( # - 0 !) )

R ) !)) R ) () R # !) )

K R L P P R

5/0 K L !< < K L ! -
< - /! ) 9 !
) -5 () ! ! # -H
R ! S K R L K S L
! ) 5 < ) !/! - )
K R L K S L * R S .< 5< 0 )
! - < #< !
) 5 < ) ! - )
55 - () $ )
) 0 % * < )
! 5 < ! ) ) 5 &- . !

5 () ! - ) GH
K RL K SL P K R SL
) 55 - 5 GH
K RL K S L P K R S L
) .( G G<

! ) R S ) 55 - ! - 9 ()
$ ) &- . ! < K L P < !))
) -
< ) 0 &- . !
K L P
&
$2
+
/
"
7 .)5 % (- % ) 95 9H
R S
S R R S
9 ) R S S

) < ) # R< 9
# R S () ) 95 00
) R S #9 5 ) # ) 5
.( .( < # -H
# / P S R /
' 5< ! 5 S R 95 5 #

0) ! ) # R S * R S 0 )
95 9
() ) ) 5 5 -
! 95 ) )/0 0) 0
5 ! ) ) 5 #
) 55) ) - 5 KL , 5< K R S L
#9 5 ) # H < !) # # -H
# 0 P K S L KK R L 0 P

() !0 )! ) - - )
) 5 5H
$ 33
# 4% R S

* K R S L

0 K R S L
# 0 P K S L KK R L 0

7 K R L
# 0 P K R L 0 P
9 K R L
# 0 P K R L 0
; K R L
# 0 P K R L 0 P
= K R L
# 0 P K R L 0
Æ )/ 0 ) 9 (- % 50 )
) ) .( #9 5 )
$&
&
( !)) ) 0 #9 5 0)
6) 5 -0 ! - !) ) !0
" /
"
6
3 ) 5 () 2 - )/0 ) K R S L I

) 5 ) ) !
) () 5 ! 5H ! # 5 ) )
# 0 < ) ! 5 ) K R S L
) #9 5 #
33 ' # 0
/ 0 0 ) ) 0 0 - 5 ) # 0

# 0 3 H
# 0
P # #
K S L KK R L 0 P
0 0I
K S L KK R L 0 P
P # #
# 0
() ) - S R ! ) ) # 0 # 0 <
) # A ) ) )
5 < ! - () 2 ) # ) 5
#9 5< 0 * 0 #9 5
33 K R S L ) #9 5 #
/ 7 ) ) ' () 2
) # < ! ) ) 5 # * # !)
Q 3 ! 5 )
K R S L P # -
6 # ! ) # P ' #

! H
#
P # #
K S L KK R L P
&
$+
P
K S L KK R L
P
K S L
() # P K S L < ) ) ) K S L 5 !
#

P # #
K S L KK R L # P
P # P K S L
K S L KK R L K S L P
() # # ) ) ) K S L 0 5)
0) !) 0 K R L 6 )
- 5 ) # ) ) ) K S L 0 5)
)0) K R L 0) 6 ) ) ! ) H
K R S L
P - ) - 0

#
P # #

#

(
3) ) .( )/0O 3 ) -

95 . , P R S
K R S L ) 5

) 5- 50 , -! 50 ) #9 5
# < !)) * #
# 5 -
H < # < # # () 5 ! <
- ()2< ) 9 ) ) # P # ()<

P
# #

< ) 5 - !H
!) () 5 ) 559 !)) )
!) < # P () ! #
!))
K S L 5 - < !)) S ) ) 9
! # ) ! ) #9 5
%
&
) () 5 !) ) #*
#
8 ) -00 ) Q) ! ) P
# P # () !) P #< ) < !)
#
P #
#
' R< !)) J R S J #9 5< )

5 0) F 7 )
# 0 P K R L 0 P

< !)) 5 -
A #9 5 * #
# # # !) & # & # # &
< ) ) - 0 )
)/ ) ) *
K R L - () 5 5 0 # P 3
) # !)) *
K RL #

P
) < K R L ) 9 < #

< < )
!)) 5) 0 S 0) 9H
K RL K R L P
) ) !)) 5) 0
() #
R 0) 9 () 5 ) *
#9 5 K R L ) () 5 !) ) #2

!) ?9
8 # ?* :

K P P L

#* )
R

# # # )
(

?7
0 P K P P L
# #
0 P
:

# P K P P L P P

$

#* # ?0-. #

# #
P #
Æ %
K P P L # P
P # P
P K P P L

P
P
<

P

P P

# %
?0-.

)
#

P
P

P P

# ?0-.

#

# P#

)

# ?0-. -! ).
. 7 3Æ
(
() 59 )/0 .( ! 8

) ! ) :5/ P . !) 1 <
< P P 1 ) 1 * ) ! !)
) ) )
' ) 5 ) 0) # !
) 5 ) - R< < "R 8 )
= "R # ) 0) R< ) ! 59
# ) = ) .( R () 59
) 0) #* !
! < 0 0 ) 5 (
) ! < ) ()
5 ) 1Q ' ) 0) #*
%
&
0 55 ( < ) ! 59 #
R Q 1
!< # 0) )/0 .( *

) = ) :5/
4 , 3Æ
( %' #

() 59 - - - !0

< Æ< 5 )/0 #
#* ; # - ) Æ )
) ) # ) 5 <
) 5 6 0 < 0
)/ 9 / ) 95<
- + ) 0) #* (- 2 ) /5 / )
F -! # () ) 0) 5 (- 2
Æ ) ) 0) 5 9 R S
6 ) # 5 ) 5
) () 5 -/! -)# ) ) :5/

"# .
. 7
D . $,+-( D

% . 7
.6

7
% .6 7
% 6
.6 7
.6 % 6 7
% .6 7
7
7
D .
"# 6 6 D

(- 2H 7 0) ) 0 R S
< < 55) / #2 ()
5 -) ) )/ R P .
!H
'< ) R< ) <
) () -05)
0 RH KRL P . !)
Æ %
P R< P < P < . P .

< # )! () G# ) 5
) ! R J ) R
) J ) - 0
()< 0 5
..
) 05) - KRL< < ) 05) !)
0 8 ) )
.. R<
)- ) < J - J
R
'< )/ !)) ) )
.. ) )-
KRL -0 ) )
9 ) 5) ) J - KRL J ) 55 R
#I )!< () ) - -/!

() 0 0) 5 (- 2$ < ) 0)

5 KRL 5I ) 0 0) )
5 ) !) 59 ) ) =
() 0) 5 )
.. ) 05)
- KRL () ) 05) 0) - 5)
# ) ) < K$&L Q 1
) -/! ) 5 0 )
R ) R ) 5

5 ) )
- () 0) 5< 0 )
) -/! ) )
!) ?; (
8 # ?*
KL

# ?9-.
%

# ?9-.

-
.
( %
(
%

%

# %
?9-. -!
).
() ) - 0) - ) !0 H

@ %* ! 9-++: !0!%
( - C %* -++ )% % )
> ! %%* (%? % @ 1 )% -++ -++
%
%
&

"$ .
. 7
D . $,+-( D

. 7
. 7
.6
7

QR
.6 7 7
6

7
.6 7

7

& .6
7
7
7
6 6 D

D .
"$

(- 2$H 7 0) ) 0 R
$ 33
# 8 4% R
P R
KRL
) % KRL

/ H 55 P R .< KRL95 0 0) #2

Æ %$
H 55 KRL ) 9

.. KRL )-
- )
.. 8 )
.. < )-
- * 0) 2 - ) 5) 6
2 P R () 5) ! - 2 ! # R
()< P R
4
'
/(
() 59 ) 0) Q1 ()< !

)H
$ 3!3
# 8 P &"
P P 1
4 % R
% %)

# R Q1
< ) 59 )/0 .( ) 0) )

) = < - )
:5/
5 ) 59 - !) 1 ( )/0< .)5

$ 7 ) )/0 1 ( 95 ) = )
8)0) ) F 59 !) 5 ) 0) )
< ! / ) '<
1 ( 0 )< ) )< ) *
.( () ! ) ) )
- .( 1 ( < ) 1 ( * -
- 0 5) *#< ) .)5
% < ) :5/ ) 9 1 ( R
) ) .( J J * R R ) 95
0)N () - ) !0 95< !)) ! 5
KL
< 55 ) - 5# -) .( 1 ( < )

) 5- 1 ( 0 ) ) .( <
- 95 ) ()< ) 0 ) .(
)/0 ) 0) ) < !) 1 ( )/0
95 ) 0)< ) 5 -
) ) 0 55 ) 0 .( )
1 (
!) ?=
A/%

' P 3
3

3 3

4 3 P 4 4
%%
&
(
-.

)
-

.
:

/44

' 8 P &"

P3 $ $ 3

P3
P $
&" 4 P &" $ P
( '

8 ( $

- $ . # ?;

-. )

<
8 # ?;-.

(a)
(b)
'0 2$H >0 ) 5) 5- :5/

)

%
/44

P 5 P

4 - $ . A

Æ) $

$%%1! 8
81! % 8
8
$) D $ D * 9 0!%: $
# )% D $ D $%%1! 8
81! %

(%

& %2

E
'

/44%

4

: 4% (

)

( P
>

4
%

4 )

4 ^

)%

'

4%
6 ^ (

>
)

)

)
4%

)
A/%
4%
-! ).
.

!
'
- - 0 5< .( -

5 !) 5 :5/ 7 .)5 % )H
2 33 7 6%

8 :5/ *5 P &" !)
&" :5/
' ) 5 8 5)
) # # ) )
5 ) ) # 8 ! - ) 9< !
/ ) 5 95 ) < 0< ! 5 !
) )
%&
&
.( < ) 5 5) ) )
5- 5) 1) ) # # )
) ) ! ) !
5 # -5 )/ .( O '< -
) 55 5< ) 5 !) )
.(
< ) 5 # ) -
) 0) () 5 -
- ) !0 !H
R S
R S
R
R
< 9 5) *# 5) () *

- G# - ) ) # 5)
Æ9 () ) * - 0 )
G < ) *0 ) ) 0 5) -)0 R
0 # )0) ) 8 )
# * 4 ) *< R S R -
)/ 0 ) 55) - 0 5 0 !)
R
() 0) ) 5 R - ) <
Æ< 0) - (- 2$ 80< )
KRL < )
.. 05) ()
KRL # # # !) )
0 R () F ) )
.. )
# < # < - 0< !) )
..
5) ! () 0) ) ! -
5 ) )
.. () 5 5 <
< - 0 !) .)/0 !)) 0
..
- ) 55 ) = )
.. ' )
0
.. -/! )
!)) )
.. )-
() ) 0) ! ) !0 H
$ 3(3
# 8 4% R
P R
KRL
) % KRL

/
) 5 () 2 - 950 ) ) 5)
) Æ9
() ) - 5 )/ .( < #< ) ) !0
2
'# %+
59H
$ 33
# 8 P &"
P P 1
P 4 % R
% %)

# R Q1
)/0 .( 95 ) )/0

.( < !) ) - () ! 59<
)! < -) ) 0) ) ) = )
:5/
." 8
! ) %
8 G 0) )/0 ) 0 95

) < ! ) 0
95 .( )/0
8 95 - # # * )

!) ) ' <
) ) 0 95 ()
< 5- 95 5 '0 2%<
) ) ) 5#9 5) 0
< < ' ) R< 95 )
* ) !)) R )
< 95
R * 0 R 8 95 R S
! S R S S 0< 95
*# ! 9 *#
) ) , 5- 0 *
95 ) # H ,
) 5) ) # , ! < #<
! , -
() 0 5 ) ) 0 !

R () ! - 5 .( < !) ) )
P # # !)

# < ) 0) ! R
- 9 ) 0) ! ! 0 !
8 ! P R 5) 0 ) )
R ) 0 8 ) 5) < ) 5 #
#
:5/ #< 5) ) # 5#9
! - 5 # *< 50 ) #
() ! ! - 5 # !
2
&

'0 2%H 8 95
!) ?? ) # ?* %

# P

P
!)

(

P
-! ).
' 0 R ) 9 ! 1 -< )
) ! 5 -/ ) ! < ) 5-
#0 ) ) ! 5 / 15<
) ! ! - ) )< - 0
0) 7 ) 1 ( )/0 ) 9
5 - 0 - 0 -)# )
8 ! P R - 0

# * () 5 !) ) *
0 < 40
) 5) - ) 5) ()
0 - 0 ) R () )
5-5 ) ! ! - ) !0 #9
5 ) K R L ) 0 5 ) !0 H
# 0 P K R L

K R L P

!) 55 ) )

¼
!) I ) 5 ) ) K R L
¼
) 5 () 2< K R L )

0 #9 5 < R ) # R
) 9 5) 0 !)) R ! ) !))
) # #
) 5 K R L () # -

) K R L # -
2
'# 2
5 0 ) 5 0) #* ()
* 559 !) !) )
!)) 0 # - ) 5
!) 0 R ) ) 0 5< < !) 0
* K R L < ) * 559 )
# () ) 05 ) 5 ) !
55 P R 4 ) #95 ) 0 - <

) K R L )
- ) !< ! ) ) # ) -
) , 5< # !)
) )
P P 2

55

559 ) K R R L < !
) 0 ) 9 R5) K R L
0) 6 ) ) 0 2<
) ) ) 5) ) 5 # 8
) ! R< ! ) P R
() ! < !) ) ! <

< # ) 9 5< )
-! - () ) !0 !
)! 6 < ) 9
80< ! - )
) () 5 5 <
)< < ) # ) 8 < ) !
5 ! ) )

!) ) P P #

7 ) P P () 5#9 )
! ) ) 5 # !) ) )
< ) - 5 ) - 5 ) 0
< ) ! )
0 ) !)) ) 0 )
- - 5< ) ! 2 ) !0 H
2 P

() 5 50 ) ! ) #
) ! < 0 !)) R )
2
&
) !< 0 ) ) ! ) 5 # #
< ) ) ! 5) * ! # R5)
) # 2 O ' 5<
55 ) !) < 55
'0 ) * ) 0
! ) H
R
! ) ! 5- H ) -0 )

.. KRL< ) < ) 9 5) )
) 0 !)) R )< ) 5) - )
< < 5 ) ! 2
!) ?@
8 # ??

'0 22H 8 95 :5/

# P # P

# ?@-.

#
)%

#
P K L K
L K
L

# P #

)
# K
L
P P P
P A

"
& P K
L

P P P P

"
&
P ( P P
#
"
&
)

# ?@-.
#

(

-

P
. C
2
'# 2
P C
) # ?@-.

)

#

# ?@-. A

) -! ).

(a) (b)

(c) (d)
'0 2&H
5! 0 !
) -0 )

..< !)
55) / () - ) 0 55) )
05) KRL
) 05) # !H
2 3)3

$
- )
.. ) 05) :5/
P &" < < ' P () 05) ' )
05) !) ) 4 4 ) ) ) 0
-! 4 4 P ) 0 ' -!

) !<

.. 0 9 4
Æ ) 05) 05)I
)! )
..
9 -05) < 5
) :5/
..< ) < 5 -
0 9 ) 05)
!) ?B

#
?*

8
2
&
4 P $ P
$
4 -! ).
) )

..< ! )
05) KRL< < ! G5
.. ) 9 ) !<
)
..< 5 )

..< <
.. ) - )
)
.. 0 9 ) 05)
8 )
.. < ) R
; ) 0 < )/ !)) )

9 5) 0 -/ )
.. -
) #< 5- 5 )
( ) < ) K R L )
; 0 ) 0 ) ! <
/! ) ) - 5< ) !
5 ) # ) )
.. ()
5#9 ) - # ! ) 0
) -
.- '

!
7 ) .( -) .( 1 ( .)5 %< ) <

) .( 1 ( ) 9 * .(
< .( H 95 ) ) - 9
5 1 ( .( 0 0)< )/0 0)
) 0 - - - 50 )/0 0)
1 ( ) -5 5 _ .( 9
5 ) - 5 -) ) 0 - ! )/0
0)< ) 9 .( H
R HHP R R R , ,

5) , HHP R , , , , ,,
3) .( ) 5 5 ) -
5 - 5) *#< .( ! 5) *#
- - !) ) 5
.( ) !0
* )H
,
R

Æ 0) ,

&
2$
/ .( < ) )/0 0) .( - -5

) 5 ) - )/
55 ) 0
) 5 ! ) , , 0 .(
< ) )/0 5 .( 5 55 ;)!<
) 1 ( )/0 0) 8 , 0 -
1 ( < ) )/0 0) 1 ( -
55 ( ) < 550 , 5
( ) 550 5)< ) !0 5

7 ) "R ) - R 8 - R
- - F R ()
55 - R ) 5 "R R 8 -
) 55 - ) -
!) ?*1 ,

, P

4 %
% ,

% % ) %

-!
).
3 ! )/ , 4 ) -5 )
0)< ) !)) ) - , )<
/! () ) 5 ) 55 - ) ,
() - 5 5 9 - , ) <
, , < - ) 55< < () 55
, ) ) ) ,
) ' < 550 ) 5 , !) , P
() 0 1 (
)/0 0) 1 ( 7 ) ,
,< !))
1 ( < ) 9 1 ( .)5 % 80
) ) 0) ) !)) ) )< )
#) ) # , () 0 0) 5 (- 2%
$ 3)3
# 8 P &"
P P 1 4

% R %

) R

$ +
8 ( %* ( +
8
£
2%
&

" " .
. 7
D . " $,+ -( D

" !

"7
(" ( -( " "

" "7

.6 " 7

7
D " ( D

*+,+' " 7
D .
"" 6 6 " D

(- 2%H 80) ) 0 .( ,
.. #
$
! %
&
4
() # 0) .( )/0 ! 5
- ./ > K%L 0 .( - M

/ K$$L< -) +& () 0) - ./ > !
5 -) ) = ) :5/ ) 0) )
< ) ./< >
K2L 5
Æ 5 0 ) 0 5
-/! -)# )< 0 0) ) -)
) = ) :5/ ) 0) ) .(
)/0 - ! ) ) - 55 - !)< /
KL > K2L )! ) .( < ) - 1 (
.( < - )/ !) ) 59 1 ( 0
- ) 0) 1 ( .( () )
K2L .( )/0 - 5 1
5 .( )/0 ) - 5 - 6)< .
A-0 KL< < - " 60 K&L .

F K$%L ) )! ) ) 0 )
J !)) 95 ) .( J - )/ !) )
59 .( < ) = ) ) :5/
8 0) ) 0 ) - 55 -< 0 )<
8 KL 80) 00 95 ! 0
) !/ - ./ K$L G< 6 :) K+L
, 5 ) #- # 9
5 5 0)< 55 - ./ KL< )
/ 95 55 - ./ K$L
E

() 0) 5 ) )5
5 0 R ) ) R -5
( < - )/ )
)/0 55)< - )/
- 8 < )/ !)) R ) 5
' 22
<
) 55) 5 5 5!
- 0 ) - ) L ()
950 ) 5 ) :5/ !)) )
- )/ )/0 0) .( ) # - 5
5 - "0! K&L ) - 5 - G/ K+L
() ! 59 )/0 0-
)/0
(% 4
8 )/0 55)
.( # _ #
! 1 ( () K2L 0 )0) ) )5
-! .( 0 00 8 .( -
# < - ) = ) 0
95 ) 0) ) < 0 ) Æ
0) ) ) #95 5 5 ) )5 7
!/ - :5 < " 35 KL 0# 5 )
- 0 !/ 0
) 0
- !0 0 !
0 ) -) ) 6 ,<

)55 KL< )! ) ) .( 0

) = ) () 5 59
) 0) 50) ) = ) :5/ () 5
5) - 0 .( ) ( /!0<
5 - ) 55) ) - 5
4
./ > K%L 5 ) # .(
)/< >,. 8- ) < M
/ K$$L
.>
87 )/ -)0 0 .(
>,. ! 5 K2L ) -
,"
- ,
"#< Æ .( )/ - ,, - -
5 ) 5 KL 7
,"
," KL
5 - ) . <
," - ,,
. 6/ - ) 5 6)
- ) 8) - .( )/
"
KL
! ) 55 95 -)0 5 0
) ) () K+L ) . 3/-) K$$L
./ 3)

$ "( 8
0 ( Q R 9"

+ & ' 0 0 0
2&
&
$,+-( 6 =9 6 Q R Q R *

% (.
6 6
+ # 6 Q R

# $,+-(
O .
*
( ( !

! *
9"
+ # 6 Q R
# 6 $,+-(
O .
*
( ( !

! *
9"
*
Æ"
$ % -. (
-

-
( $ $ O .
K
9"- -(
! K
( (-' -(
9"-
3 & '

( " 0 0 % & 6 # % 0

% % 6 # % K

( ' % (

%

;( ( (

0 ( O .
8 Æ %

( ( 0 5 %

! ;( (
(0 0

( % #0 0 !0 ' ' ' (
P%
9

( A-->B ( ' L
' 2+
$ % & ' %
6 6

=( % -%
3 3% ( %
, % ( ( " %
* ' ( Q/!R ,
% #
0 2 4 0

2 # , ( " % 6 # %.

#.

. H-
!. .6 %7
6 %7

. 6 #
. $

. .6 #

P0 ( .6 %

%
.6

.6 % 0 (

, % ,

S
- 0 %

) ( %
# ,

% )

' %
( ( ,
( 2 # ? (
( ? T (
# ? ( ( ( (

O ( " .
: 3: 0 ( ( " $,+

'
! $' % * N
' 0 0
&
&
% % 0

%
*
"( "

;
9
3: ( ( " (0 '

' $( %

2 %
U" $,+ % 9
$'

; ( % ( " -
( ( (

! : " % ( (
( ,0 2
%
@ ? % (
( ( ( ? ( "
I (( 0
"( "
$( % " ( %
"
"

) " % - "( ( '
, " ( '
(
( , (

'' ( -( ( @
@@ , " % +N @@ (
% ( ( ' ,
@@
( , 9
9 6 ( 6 %.
! /

/ !
initial configuration final configuration
H " ( ( V (

@@ 8 6
( 6 ( # 9
O +N @@.
$( ( +N @@ 3:

% )
(0 ' ' @
' &

, '
*

% @@

! "##$ #

! % &''( ) *'' ! !+ "# # ) #
% &''( ) *'' '''' ! , "# #
--. ! !+ , "# # ) #
/!0&12 * /0&12
/!0*12 3 /0*12
/!0312 /0312
/!012 * /012 3
/!0412 3 /0412 3
/!0512 /0512 3
/!0612 * /0612 *
/!0712 3 /0712 *
/!0(12 /0(12 *
--.
! 8 "# # ) ! $ 9
8 /!0&12 !+ "# ) ! $ 9

,#
"# :!
"# )
* !0&1 9" ! # !+ "#
#,
8 /0&12 , "# ) ! $ 9

,#
"# ;
"# "
* 0&1 9" ! # , "#
#,
! 8 "# # ) $ 9 #
8 /!0*12 !+ "# ) *

,#
#,
8 /0*12 , "# ) *

,#
#,
# ) : #

&
&
; % %.

8 0 (
' 0 '
H ' (

, ( (
%0 %%
, 9 (
,
( %
(
W0 3: "

, (
(
! =9 ( 9
@@ ; 9 H3: 9
% H3: (.

% 9
8 @@ ( $,+-(
H3: 9 0 ( ' (
, " ' ( Q R
$ ( " ( = ((
='' , % 0 % -

%
0
$ % ( '
!
%
, %- %6 ! ( %0
% & " .

.6 7

6 &
$
.6 7
$ 6 & 7
.6
7
7
$ .6 & 7
.6

O .
: =''N ( 3:

! % ( 9 % .
: " . % (
(
' &
;

. % 0

' (

( 3: 9

" (

2 (

) ( " = 5' / 0
= (( 0 ( ! 0

. Q ' ' ' R $ ) (

$ ! ' ' ' , %- (
%.
. 7
&

Q%R .6 7
) . $ 6 % Q%R .6 7

Q$ R $ .6 %7
)
7
Q%R .6 7
& .6
& 6 % Q& R )
7

Q%R .6 7
Q%R .6

O .
: ( 3:

! $' ( " (
( % T %. ( $,+-(

, ' 6!
6 0 ( ( @
( % %

( "
$'

. %
0

) 9 0 *

% + *Q ' ' ' R * O + Q ' ' ' R + ,0
% % # 0
,
% &
% % ( , %
%.
&
&

.6

&

*Q%R .6 & 7
+ Q& R .6 %7
+ Q& R 6 % $ 6 %' *Q$R &
7
7

*Q%R .6 #

O .
: *N ( 3:

! % ( 9 % .
: "
;

() )5 < 50
-< < #< ! () 0
< ) # <
) 5 5 8 95
)
/

() 0 ! ) 5 :5/

() - )!
) (0 5 < )! < () <
0 - )! 0 ! < ) 5-
5 )< < - /
5 5 ! < ) < F
)< 5 )<
J ) () -) 5
-G ) 0 0 ' 0
) ) 55) < !)
- ) 5 Æ - )
) ) 0 ' ) ) 5 0 !))
5 -G )0) 9 5I
9 ) 5 0 ) 5B )
( 5 )H
%

&$
&% (
8 5 < ) )

0 ) 0 - .)/0 !))
0 ) -G )/0
() 0 )/0

5 00 ) < 55 5#
00< )/0 0) () )5 !)
< 5 00 (
9 # !) / )
) 5
) 5< )
- ) 5# 5 < 00
5 <
5! )/0 ) - 5 .)5
+ 9 ) -)0 5 0 .( <
.( < 5 0 55 .)5 !)
0) )/0 0 .(
() )5 0= !

&
& # ) 5

-
& !) ) 5 5

&$ 5 # 5 0
!/
/
+
( # 8

# *55 !) #
< / )
2 )33 %
8 / - 00 7
) * ! ! / / 8

) ) 5 )
/ -
./ - = = !) ) / ;

=< ) 0 ) 5 8 / 5
) , 5< !) 0 < /
! ) 50 - 0 () / )
) ) ) - 5 ) - = ./
) 5 !) )
B %( ( $ !%* %
( &2
() ) - 5!) ) -
)/ 5 ) )< - ) ) 0-
< 0- /
() - 0 !) 50<

) - /0 (
/ < < .
) / -0 H
) / #< ) -< -
/I )!< ) -/ ' 5< ! )
-0 5 /I 55< )0)< )
5 ) - ) /< )

&$ / ) )
- 5 >-0
/H
2 )33 %

& - / !) & ! - - ()
& ) !0 H

! ! /

) / < ) ) /
) 7 / < ) ) 7 /
8)0 /
() / & - &
()0) ) )5 ! -- ) ! !

P ! ! !< () ) 0 /
5 ; < < ! / !Q8
8 !) 5-< - / - / Q <
! / ) )/0 5- - 8 ! -
- / 9< ) )/0 5 0 )
5 J .( J - -
() < ! * - 4- ) )/0
5- F ) 9 ) ) ! ! -
- ) ) ) -
- - 0 ' < ) /
- )0 - 50 -0
) - 0< ! 5
) - ) 5
550 ) -0 )
&& (
2 )33

8 ' 5 . & &" 4 !)
.< 5< #

.< )
&< # /
. & .< )
&" H . < 5 .
4 H . &< 0
8 :5/ *55 !) & /

( - !) 5 ) & !) ) / )
/ ) < & & / ' : ) & :
! ! : : () 5 : : ) )
¼ ¼
: : !) / ) )

6< !) 0 : : < / & ! -
() &" ) ) :5/
) 55 ) ) 8
! ! ) 9 )5< ) #0 )
55 .( '< 4 0
) ) 5# )! 0 )
) ' :< 4: ) )
- 5 : () < ) 4: - < )
: - ) 5- J )
00 - J ) 50 5- 8 50
5-< ) /!
() 5 5 ! - # 3 #
0 5 95
' 50 ! 5 ) !0 .
5 - !
< ) * `B< < 5
0 8! *55 !) - ) 5 /
5 / - < 5 - 0)
)= ) / * `B ) /
- < ) ! - () )=
) ) / `B ) / - 3 !
) -0 &" ) )5 () ! 5 !)
0 ) )/0 0) < 5 )
) 5 -
( &+

,
, ! !
- ,
! / #
(

,
, ! !
- ,
,
! / #
(

,
!, !
- ,
! / #
(

'0 &H
!) 0 / )
!) @* # @*-.

:
%
%

0

1 # @*-. ) )

!

1
: :
+
K :

:

:
# . P P : & P :

: 4: P

# @*-.

:
6

5
- . -.

# @*-.
-.
+ (
D

6

# @*-.

K
:

C
C
:

# @*-. - . -! ).
' ) 95 ) / 5!
!) !) /<
'0 &-<
4F / - F < ) ) !
- ) F () < < 5-
< !) ) F -! ! / ! 5
0 5 / ) ! 5
() 95# ) !0 95
!) @0 # @0-.

1 %

#

% (

Æ

6
( )

-.
-! ).
/
/

/

% &

-
'0 &H 8 !) ! / 5
!) @7 # @7

+ ( 3 1

+
# @7

6 ) B %

( +

Ó« ÓÒ
P+

'0 &H 8 95H ) !)

6

%

+

6 -! ).
/

+
() 5 95 00 ) )
- ) /
< 5 - !) #
< 5- # 00 < #
-)0
9
() / # -
2 )33 %

8 4 & / 4 H & 7 < 00
) / & 4
":& ) / & 8 ' 5
: 4 !) : ' 4 &< ) / '
!) @9
# @7

+ 4

4 P 4 P
+ 4

4 P
4 P
4
4 P 2 4 P
A

-! ).
4 - / / & ' 5 8< /
+ (
4Q8 ) / - 8 !) 5 4
# - 4Q8 P 4Q8 / & ./ 4<
4 !) / < # -

4 P 4 P
P
5 -- ' <
4 5 4
!) @;
4 4
)
L 4Q+ 4Q+ P 4Q+ P +
4Q+
1 B 4

4Q+ Q -! ).
3 ! # !) / -

() ! )=0 ) 5
0< - #0 ) )
P -! / / & /
&
2 )3!3 8 & %

' &< 4 &< ! ) 7 & ! ) H
4 P ! F 4 !
4 P ! F 4 !
4 P ) F 4 P )
4 P ) 7 F 4 P ) 4 P 7
' 0 G< ) ) 55
0 )/ !)) ! 4< 5 )/ !))
4 ! () 55 !
!) @= 4 4Q+ 4 Q +

)

) P $
4 P ) 4 P 4 P :
4Q+ P ) 4Q+ P +
$
4Q+ P ) -! ).
9
(

() 5 # #

!) < 5 /
( +
< ) ) # )!

) () ) - !) )
) N () ! 5- ! !))
5H - 0 ) <
- 0 50 !) 0 ) ()
< ) 8 0 -
I ) - * ( !)
- !) 5 - 0 )
) ) 5
2 )3(3

' P . & &" 4 - () -
'< K ' L < # !)H
P : 4 . & 4 P 4:

P : 4 : !) 4 P &
) 7 ( )
# - ) H
: 4 : & 4 ) !0 )H
: :
¼
- 4 P )<

& 4 P 4:
: 4 : 4Q8< 5 8< ) !0 )H
!
8 8 4Q8 P 4:
() ) 5 : 4 ) ) : '
4 / &< ) / '< ) ) 4
) : ) ) )
)- ' ) 5 0 *
) - ) - 4 # ) /
: : )! ) -< ) ! / <
¼
) - - 0 / & 4< # ) )
0 : )! ! - : 0
5 ! )
5 !) 50 ) Æ *
4Q8 P 4:< ) ) 8 8 '
< 4: P : 4 !) 4 P $
) - ! 5 !) H )0) ) 0
4Q P 4:< ) < 0< 4Q< )
4:
+ (
' : 4 ) ) 4 P 4:< ) # 00
) : 4 ! 8 -
8 9 5 5) )0)

2 )33 $

8
# * ) )

() 5) 0 0 # - 7 *

a < 5 -
) ) 5 5)< ! H
2 )3)3 8 $

' 5) P
< ) 5 <
b < # -H
b P

b Q P b Q P (
7
b ) ) ) ) 5
) / 5
!) @? 5

!) @7

Ó« ÓÒ
P+

( ) )

P + 4 + 4 4 4 4

4
4 4 + 4

4 P 4 P 4 P 4 Q 4 P 4 4 P 4 Q 4 P
4 4
P 4 Q 4 P 4
Q 4 P 4 Q 4 P 4

( +$
3

4 4 4 4 4 4
4 4 4
) 1 7 1 9 1 * 7 ; 1
1 7 1 9 9 ; ? B B

+ 4 4 -.

+ -. 4 P 4 P -. 4 P 4
:
b P 2 b % P
(

+ (

4

4+ P 4 P

4+ +
4

+ C

C
6 B %

+ -! ).

¼

'0 &H 8 95 Z
5- ) -* 5) / 5 )
' < ) 5 '0 & !
5) : 2 : : " : 9 !) 0 :
: -/ / 5 = 8)0) ) -
55< 0< !) 00-< 5 !
5 < 5-
=< 5) !)) 50 () < 5) /
: : : : - 8
) ! ) -) M
1) % b P ) () 0
5) 0 8 95
0 5) 5) ) # - -
+% (
' < ) 5)

0< # - ) -
K L Z ) 5) 95 9
2 )33 <">

8 ' %M
0 5)
/ %
!
+
( - ) 5 ! 0) )0 )

< ! J - -0
/ - J - 8
- / 5)- [ ( ! ) -
- 5 ) & !) < -0 ) /
& () - ! 5
5 () 5 )
! J / - J 5 5
2 )3'3 &

' - ) [ . & &" 4 P !)
& & P () 5 ' ' < ' ' < )
[ [ . . & & &" 4 !)
) # - ) !0 H

/ [ [H
: : :
:

: :
: :
/ [ [H
: :
: : : :
/ [ [ H
:
:

: :

: :
#
( +2
&" : : P &" : &" :

4: : P 4 : 4:
() 5 5 ) G )

5 8 ! / ) I )
) 5 # 0) ! (!
0) ) 5)- -) <
) - / !) -)
- () < ) 0 -
0 - ) G ) -0 )
-) - - ()
- ) # 6< ) / )
8 < ) ) 5)-< ) )
/ ) - < < !) )
)= !) ) ) () [ [ [ [
- ) !
!) @@

6

'

7

'0 &$H 1 5 !

# @;

%

-! ).
+& (
/" *

%9 # :

*
( ) ! ) 5 0

5 7.% ) ) - 5 -
1)5 ) K+L
3 ) 9)0 5 !))

-/ # ) (9 50 -! *5

) )
-< - < 0< - 5 )
) ) 95
#< # )55 < )/ ()
)/ # ) - /!0
/ - /< ) )/ ! -
0) )/ ! )/< 0 - 5
) )/ () ) 0 5
)/ ) - ) ) / )
- 9 ))< ) )
5-< ) - )
) # 4 ) - - < ) 5
) > 5 / 671< )
() 0 ) 671 ! H )
)/ / ) - < )
) ) ) - - - )
95 )/
9!
#

7*"
8 5< ) - ) 671 -)
/ -F< < - )
() ! ) / ) -) 5 ) 5
-F '< ) 5 !)) *< !))
)/
< )
) )/ - < ! 0
) 0 < )/ ! - 0-
) ! - )0 ()< ) 5 ) #
) !) # 6) - !)) )
# ) -
() # 5 5 * )/ 8 8 '0

&% 3 ) < < ) 5 #
< ) 8 ) 5 5 >) )/
5 - ()< 5 8 )/
#3 ! $ ++

'0 &%H
) ! ) 9 ! ) 671
() - ) < < <
8 ) ) #<
) # 8 ) )/ 5 -
< 95 ) ;: !)
)0 0 !0 ) ) 0
;: - ) # )/ )

() 0 ) !) #<
!) ) ) - - 1- ) <
< 8 < ) - <
) ) ) ) 50 8 B /!
) )/ ) - /!0 ) < )
) )/ - < ) / ) )/ ! ()< )
! /! !)) ) )/ 8 ) -
9!

7*"

'0 &2H
) ! ) ) 671
() 671 0 )0) )
) . '0 &2 () )=0 )
5 # < '<
() 0 ) 5 )
9)0 )= !H
(

)=
0
8 8
#$%

#$% 8 8

# ' 8 !)

/

$ $
.) . * 5 !) 5-
0 () ) ) 5 '0 &&
.) ) 0 / ) < )/ )
- - )=0 !) ) # (!
5- ! H ) ) 55
5 ) ! ()
9 ) ) < #9
6 ) 0 ) -
) 9 ) 95 .) . 0 !
K
K LL
0<u<=TD
0<u<=TD 0<v<=TD
0<v<=TD
in_transit
in_transit in_transit
in_transit
(u<=TD)
(u<=TD) (v<=TD)
(v<=TD)
F?(fst,lst,abit,d)
F?(fst,lst,abit,d) A?ack
A?ack
start
start start
start v:=0
v:=0
u:=0
u:=0
0<u<=TD
0<u<=TD 0<v<=TD
0<v<=TD
G!(fst,lst,abit,d) B!ack
B!ack
G!(fst,lst,abit,d)
'0 &&H ( ) .

$
() - ) 5 '0 &+
) -H / /5 / ) !0 /<
0 - 5 ) 9 )/ - < ) -
5 ) )/ 5 - < ) - !
! ) )/ .
) 9 ) !0 ! /<
) 9 - !
< ! # ! - ; 5<

/ () 0 ) )/ -
#3 ! $
Sender
Sender
rc<MAX
rc<MAX
init
init x==T1
x==T1
Sin?(d1,...,dn)
Sin?(d1,...,dn) next_frame
next_frame wait_ack
wait_ack F!(i==1,i==n,ab,di)
F!(i==1,i==n,ab,di)
ab:=0
ab:=0 i:=1
i:=1 (x<=0)
(x<=0) F!(i==1,i==n,ab,di)
F!(i==1,i==n,ab,di) (x<=T1)
(x<=T1) x:=0
x:=0
idle
idle x:=0
x:=0 rc:=0
rc:=0 rc:=rc+1
rc:=rc+1
i==n
i==n i<n
i<n xx << T1
Sout!I_OK
Sout!I_OK i:=i+1
i:=i+1 T1
B?ack
B?ack
x:=0
x:=0
ab:=1-ab
ab:=1-ab
x==SYNC
x==SYNC
ab:=0
ab:=0 rc==MAX
rc==MAX
success
success rc==MAX
rc==MAX x==T1
x==T1
(x<=0)
(x<=0) x==T1
x==T1
i==n
i==n i<n
i<n
Sout!I_NOK
Sout!I_NOK
Sout!I_DK
Sout!I_DK
x:=0
x:=0 x:=0
x:=0
error
error
(x<=SYNC)
(x<=SYNC)
'0 &+H (
)=0 # ) 8 8

) - P )/ 6 !)) )/ 8
) # )/ ) # < P I - !)) )
) ) # < P () !
) # 8 ) ! 5-H
!) < )
) !) D550

95 < P I )
/ ! < ! <

!) ) 0 - !

/ ) 9 - ) - ) <
! P < ) )
50 !)) 8 )
)/
' 5< ) ) 95 /

/ ) )/ ) - /!0<
0 )
) # - 0 ;)!< !) 0
' !)) ) 9 )/

! 6 E Æ $ Æ !

)
(
) ) ' <
! () -) - 0 /
0 < 50 )
< ! / )
-0 ) # <
5 ()
) 0 ! # - ) )
55 ) - - ) 0 - )

$
() 5 '0 &
- '# "
) 95 0 - ./ / /5 / ) -!
) 5 < 9 / $ 0
./ / - ) ) ) !
) # ) - 5 - )
Receiver
Receiver
first_safe_frame
first_safe_frame
G?(rb1,rbN,rab,d)
G?(rb1,rbN,rab,d) (w<=0)
(w<=0)
z:=0
z:=0
new_file
new_file
w:=0
w:=0 rab==exp_ab
rab==exp_ab
rbN==1
rbN==1
Rout!(I_OK,d)
Rout!(I_OK,d)
z==TR
z==TR z==TR
z==TR exp_ab:=rab
exp_ab:=rab
rbN==0
rbN==0 rbN==1
rbN==1
Rout!(I_NOK,*)
Rout!(I_NOK,*)
z<TR
z<TR rab==exp_ab
rab==exp_ab frame_reported
frame_reported
G?(rb1,rbN,rab,d)
G?(rb1,rbN,rab,d) rb1==0,
rb1==0, rbN==0
rbN==0 (w<=0)
(w<=0)
w:=0
w:=0 Rout!(I_INC,d)
Rout!(I_INC,d)
idle
idle
(z<=TR)
(z<=TR)
frame_received
frame_received
(w<=0)
(w<=0)
rab==exp_ab
rab==exp_ab
exp_ab<>rab
exp_ab<>rab rb1==1,
rb1==1, rbN==0
rbN==0
A!ack
A!ack Rout!(I_FST,d)
Rout!(I_FST,d)
A!ack
A!ack
exp_ab:=1-exp_ab
exp_ab:=1-exp_ab
z:=0
z:=0
'0 &H (
< !0 ) # )/ ! #

) 5 ) )/< '# " ) G
0 - ) % ) 95
0 - 0 !) ) G 0 - !))< )
0 '# " ! ) ) # )/ ) 5
55 ) 0 <
< '# "
00< / / ! ! ) 9
) < / ) )
% ) - - 5 5I
/ 95 < / P ) G ) )/
# 5 !) - )/ (
0 < G ) )/<
!"
#
5
< ! () ) )
/ < ) )
) - ) ' 95< ! !
! - % ) )
0 / 0 / !)
/ 0 - 5-
/- #
$
! %
&
( 50 5 0 )

* ) - ) ! ()
-! / )00 <
!)) ) 50 < 0 9 5
0- ) .
1 K%L< ..
K+L 8(1 KL ()
0 !5) -) !)) 5) J )0
J 5) J 50 J ) - 5 -
8 4 ) 0 55 ++ K$L G
5-) K%L =0 K+L )
)
) - -
8< .- 4 KL ) )- 55
- )/ - .)5 +< ) -
) 5# # 55)
" 9 ) - ) < 0<
!) 0 *55 !) 55
) !) - 6
/ K&L<
!) 0 / J 0 ) / ) 5# )
5 !) 5 9 / J - ; <
/
V K$L< )- -0 9
-) 0 K&L - ,< , 1
.0 5#< < 4B80 6/ K%L #
5 !/ - 5 0- -0

5 / ) / -! #
00 ) J ) 95 5! # * 0
95 J ) 0 -!
00 ( 00 ! ) # *
- !) ) - 50
8 4 K%L 5 ) ) 00 5
- 5< ) 5
0 ) ) 9 8< '9 =0 K&L
- < 0 < )
(
6 5 0 5 8

0 ) /
) ) ) ) (!!
K+L< ) -/ ) 0 !<
) ) 5 - - #
6 5 7< 8< .5
, K2L # ) 5 )< _ :B )
# < 95 5! *
) K%L< < !) 0<
0 5 0 95 -
) 8 )< )
95 ) 0) !< !) ) ) <
95< ) 8 9 )
0 95 8 4 K2L 5 0) )/
) 5 ) 00 5 -
/. 3)

$ ( ( -( (( (
0 % 0
0 ( 8 " %
((
( )

(0 (0 ( (
, - , ( " (
: (
- ( %
( %' ( (.
A ( B (0
( 9" # ( (7
! A 5 B (0
( ( (

! ( # ( 0
( ( 7
A- 5 B (0
( ( ( %
%
(
%
( 7
( A- 5 B % ( (

2 0 % (
(7
:

' ( A ( B
' (
9" 0
> % ( ( ' (
' $
(" ( ' ( $(

(
%
( A- 5 B
/ %

(( '%

(0 '% (
7 0 (
A ( B0 A 5 B
A- 5 B ,
( ( (

( # ( 5 K

- ( ( ( (
;(
(

$ % ( % (
(. 0 ! ) !
( ; % 0
% ( " , '
( % " , !
) ( % % %
$ ! ' ( ( ' %
! ( , % ! % 0
" 0 % ! ,
' " ( 0
" % (
O . ( ( %' ( ( U" (
$ % ( ( %

-
; (
0 (
5 ; ! % ! # (
' , 2 ' 2 !
O . ( % (
G %
$ ( % . " #
* " (
$
C $ 0 " ( C
@0 " 5( 9 * " (

Q) R (- % ) , #
$ % (" ( . (-

O .
% (
: ( 9 ( %' ( (

! =( (" ( ( ( ' "
9 G %
; ( (
Æ ,-5 % (5 ( , %
(5 (

5 ( )
% % ( % Æ
(
;
%
% Æ
>% (5 S
%
( - ; ' ,-5

%
Lights
Minor road
Major road
O .
8 % (

2

Æ :
( %'
( ( 8
0 ( ( % (5-
@ ( $((
( (

(
! ; ( % ( =
% ( (" )
( ( (.
( - #
(
% % T
% ( (
(5- ( #
:

( ((
' 2
%& %

7
0 (' ( (( -

0
%
( -

C " ,-5 % % 3
% ( ,
%
, % % M( N
( ( @ % ( Æ ( , %
' %
Crossing
Button
Sensor
Minor road
Major road
U" ( (

2 % %

= % % M( N
L
& (

+
&

&

() )5 !) .( )/0 0 - 5
- 7 - 0
) 5< 5 )
)! )! ) - 5 .(
)/0

() 0) )/0< / 1 ( .( <
- 5 :5/ ()
- /5 5 ) 5
4F 5 - 5 )
5 . P &" !) P )
) - !) 55 & < 8 5
5 ) :5/ ) - -<
5 ) - < - 9
5 ) < -
9 5 ) -0 &" 6
5 )
< < P <
* )!
< ) )
&" < 5 H

P )!

"

&"
P )!
8 ) 5 )0) -
) * =< 5 )
/ - () 55 ) - 5
5 :5/ 95 < ) )
) 5 5
!) ***
8 # ***

'0 H 8 95 :5/

1
*

P
P

P

# P

P %

P

P

-! ).
() 5 5 ) 5 5 QQ
- () - 5 ) - )/0 5
) 95 5 5 - -< < <
5 5 8)0) ) - 55
)* -< 5
) < ) <
644 ) () ) 0 - - 8/ K< L
$#
! $
KL 5 - J ) )! J

5 ! 8 0 <
Æ / ) 0 ;- ) ) 5 :5/
- - - < 5< -
!) 5 !) ! 5
< ) 5 .( )/0 )
5 #95 5 Æ - 55
- 644 5< ) R 0 R )
0 .( - 5 5 !
8)0) 644 0 5 95 <

) 5 5 5 < !0 )
- # ] ) ! - 5- ) 0 95
) >95 )! ) 5 )
)! ! - 5 0 644 5
! 8 - 5 ) 5 5G 644
) ! 59< 5 <
644 55- # :5/ <
5# )
:%
! #

. '

7

( ) - 0< )! :5/
- 0 - . 0
&" !) 8 ) ) * -< <
&" P &" ) * ) ) 5
5 H ) :5/ - # -<
< 90 ) 55 !) 55

< 0 ) ! 55
) -0
< <
&" <
&" F
.< ) < &" P &" 5 P
55

) ) 5- < * - !) )
55 & < ) #9 0
) 55 ) ) &
8 ! - 5 - - 0) , 5<
5 - K L P & ) ) * 55
&" )! 8 < ) 5 -
) - - )0) & !H
&
% "
!) ) * &" < )! '<
) - - -
< ) / -
- - 0 ) )H

& I & P &
!) * * < )! ' 95< !)
! ) ) 5 95< ) ! )
K L P <
I P
() - )
< 0 < )! ()

< ' < - 5 - 5 ) -< <
< - - ' < ) !0 - 95
5 ) ) 50 P H

& I &
& I &

) ) 95 G
() - & < < -
0) < ) ) K L K L ()
) < ( < < < - - -
) -< < < - - G G
' < ) !0 - 95 5 )
-) 0 95< < P
H

I
I

I
I
< ) - - )
0 !) ) 5 ) 0
) ) 95 G
() 5 ) &" 95 )
0 - < * < - < 5
- ) -0
!) **0
8 # *** #

)

(

$#
! 2
%

P

' P ' P 1

' P

(
1 * 1 *
1 * * 1
1 * * *
* 1 * *
# )

( KK L K L
P
( P ( ( $

" &

%

( P

:
( P

K L P

K L P

$

$
-! ).
7 ( &

6 / ) - - ) 5 -
) -< 0 5- 5 50 5< -
95 G G 8 <
64(< ) - 8 64( -
!)) ) 4 - !) - % 4 !)) )
;) 0 !) - - %4 ) !
)H 4
4 () -0 !) - -
& "
) ! ) ) 5) < ) -
) () ) 5 )
) ) %4 * =I ) 0) ) ) %4 *
H
& %4 P $ 0 4 0

4
)
) 5 64(< 0 ) = !
< !) 0 0) ) 5 -
8 64( ! 5 ) < ) 0
) 0 ! ) ) !
,
, ,

'0 H 8 - 50 '
!) **7

8 # *** # **0

(

) # **7

-! ).
,
, ,
, , , ,
, , , , , , , ,

'0 H 8 - 50 (
() 0 0 ) 0

)0) - 0 ) 64( 0 ) < -)
- %* # $ % %%
*
F%%*
(* !
$#
! +
0 ) 9 - ) 0 ) - ) - )
9 () 5 ) () ) )
) ' < (
'0 < ! ) - HP < HP < HP HP
) 0 () 0 5) H 0
0)< 0 < 0 < < #< 0 0) () 9 !)
3 ) -) )
) ( * ()
( K HP HP HP HP L P
!< ! -) '0 ) ' *
#0 )
8 ! / 64( 64( 5I )
- ) = ) ) - () < 64(
!) 0 ) 8 G ) 95
= ) 64( * ' < ) )
50 5< !) = - 5
0 < ) 5 ) '0
) - !) G 0 8 ) -
5 ) -< 0< ) - !) '0
) 5) - - 5 ) 9 < ! !
) ) ) ) / -)
644 '< / ) ) = 64( )0 ! !
)0 ) ) - 0 ) !) 0
) ' < )0 ) - 0
'0 !) F0 )
= ) 64( 8 F ) ) - 5
) )
A 64(< ! !)) - 5 >)

9 64( 5 - H
2 33 7 # ,2"5

- 64( 4 9 () - 4 5
- 9 4 # !H
4 9 4 P % 4<

4 9H
4 P %4
4 %4 4
() 5 - 64( 4 !) 4 ) ) 64(< <
) 5 9 !) 0 0 ) * ! )
"
- 5 - () 0 HP HP

< < * K HP HP L
!) **9

>+ # **0

'

>+ # **7

(
%
-!
).
4# 5 - )

) -
() 95 ! ! H -H
P K HP L K HP L

!) K HP L ) K HP L
)) 8 <
P & $ K HP L K HP L
< < 5- 95 !) 5 < - !)
5 - )0) 0< 95 !) 5
- H
P K HP L K HP L

$ ! - -

: 7 #
( ;

;
!
7 ( &
&
- 644 ) ) 5

8 - 0 64( !)) 5)
- 5 J B
J
- 95< 644 5
!)) * - -95 * 5
8 9 ) ) - - -
) ) ) 5 - ) 644 '
< ) 9 - !) '0 9H
5 0 0) -)< )
- () ) ) ) - 5<
*
() 0 0 < - 05)
2 33

$
8 05) 0< ) ' 5 3 !) 3
3 3 0< ) ) '
8 0 0 9 4 3 !) 0
0< < 4 3 4 4 P
5 P - - - #9

5 ) ) P () 5 5

2 33 * #

8 ;644< ) 5
0 !) 5 9 3 0 ! G 5 H
) 9 4 - - - - %4 5

) ! ) 4
4 3
) 9 4 - - - % 4<
) ) ) 9 4 3 ) 9 $H
$ 4
4 %4 %$ $

@ *% $ 7 9
:

"
()

# ) 0 ) 05)< # )
0 !)
# ) 0 () 0
) -0 ) * ) 5) )
9< ) - 5 ) 0 ()
0 ) ;644 05)H )
!) 00 9 < )
- ' 4< ) 0 4 4 5 ) )
%4 P PI ) 0 4
4 5 ) %4 P
P )< - #< ) 64( ;644
!) **; 4 5 P

( ) D>++

( 5

) # **9 D

>+
# **7

-! ).
,
, ,
, , , ,
, , , ,

'0 H 8 - 0 50 (
(5< ;644 ) 5 < 0< 0 -
0)
) 5) ;644
5
) 5)

" 4 $ 5)< 4 *P $< )
9 -G< ;< < ) ) ) )H
4 < ) ;4 P $ !) % 4 P % $

4 < ) ;4 P $ ) ) %4 P
%$< ; 4 P ;4 ;
4 P
;4
(0 !)) ! 7;644 5) -
) - ) 0
$ ! - -

*

07&&
8 644 ' < ) !

- ) - !) ) ;644 '0
5) - 5 < ) - )
< ) 9 -
- 5 5< ;644
2 33 *,22

;644 5 ) !0 )H
) 4 $H % 4 P % $ 4P$

) 4H 4 P
4
) 4 $H
%4 P %$
4 *P
$ 4 *P $ 4 P $
() # ! < ) !
! () )
9 ) 0) ) ) -
5) -0 8 ;644 -- 7;644
() - 5 - 7;644 - ) !
64(< 4#
!) **=
>++ # **9 D>++ 5
5D>++ #

)

%

+ **9 -! ).
4# 00 ) 5- ! 0 ;644

H
7 5 H ;644 )

- < 0 ) 5 ) 9
)< ) - < '0 $
80< 0 9 !)
7 B H -) 00 0
9 4 5 ) 9 $< ) 4
0 0 $< '0 $-
"
7 5 H !

4 $ * - 5) 7;644< )
4 $< 0 0 ) ) <
'0 $
(
' ' '

(
/ /
/ /

(
'
'
'0 $H
5 ;644
' < ) 5 )
0 50 8 ;644 ) 5-
5 - - 55 () ;644
7;644 - - -5 ) 05)
) ) - ) ;644 ()
) - -! 8 * ) !) 550 ) -
!)) ) 0 7;644 ! - *< !))
) ! - 5- 0 7;644 50 ) -
O () * - ! Æ - ) !0
!)) 6 K$L A 0 ) - -<
) 9 * 7;644 5 5) ) 5 -
H
$ 33
4 5 P
$ ! - -
$
5 # 5D>++ 5

P ¼

/() 5 - ) - - -

P P
¼
> P< ) ) P P Æ ) )
7;644 50 P 0 9 - !)

< ) 7;644 50 P 0 9
- !) .< 5 ) <
) 5)

55 ) - !) ) 0
< < ) )< - )
9 ) ) 5 P K HP L P K HP L 8
-) 5 ) 0< ) J - )
)5) J 5 - 5) 7;644 -) 5
< 4 - ) ) % 4 P 4 -
!) % 4 P ) 4 P 4 P < 50
¼
)0) () -05) - 4 4 -) < <
- ) )5)< ) 5)< ; < < 0 )
6 0< ; 5) 0
4

4 ; - 550 # -H

4 $P4
;$ P ; $ $ 9 4

; $ $ 9
4
0) ! ) ; ) 5
5) < 5)
- )/ ) ) 5)
) 9 - !) H ) ! -
) 9 ) 4 4 ) ) -05) )
5)< 0 )
55 )
9 $ !) %$ %4 P < ) 9 < < ) )
%$ % %4 8 ) - ) 0
!)) 5< 5 %$< ) < ) -05)
$
$ 5) ) -05) 4
()< )! < ) )
< ) 9 $
9< 4 ) 6V 0 ! ) 4
) 8 ; # - 4 4 ! ) )
5)
8 < 5 - -

0 ) 7;644 5 ' < ) *
% "
! - Æ )/ !)) ) 7;644 <
< 5) ()< ) )/ !)) - !
- 0 - -<
5 )/ * 7;644 !) 0 9 -
< ) 7;644 ) 5 ')<
) #- - J P
) 0 -O J )/ !)) 7;644
* ) 7;644 !) 0 9 -
) )/
- 5 ) Æ ' - 95 ) #-
5- 15 - ./B ) ) )
7;6445 5 -0 ) 0) - N
8) * ) ) ) !) ! 55 ) )
- ;644 ) 5-< )
! 0 ) ! ) 0 ;644 -
5< ) !)) ) 55
!) **? ) 5 P

>+ 5 '

? # **0

'

5D>++ 5
$ )

%

3%

,

4 5 P

>+ 5

(
P
# **7
5D>++ 5 ( # %
**=-.
>+ -
.
3
5D>++ <
*1 A
(

(

1
J
5D>++

)

(

-! ).
*

0

7&&
() - ! ! 0 7;644 - 95H

) ;644 -* - 550 )
- < ;644 )D<
$ ! - -
2

¼

¼
¼
¼
¼

¼
¼

¼

¼
' '
9: ¼ ¼
9(:
¼ ¼ ¼ ¼ ¼
'0 %H (! 7;644 F - 0 50

< 0
) 55)< 5< )) -< * -<
!)) 90 ;644 8 -
9 ) ) # -
-< ) ! ) < (
- 7 /5 / ) -
9 ()
) * = ; 0 ! 644 9
)/ - 5 - /5 !)) ) * -
- # 0) !) ) # ) 55
) - < ) 50 ) )) -I
)!< ) *< ! ! ) ) 5
)

" )
#9 X# < < <
X < < <
#8
X! X# X
X X X#
X ! X! X
¼ ¼ ¼
#4 #5 #6
X ! X! X
#2
¼
#3
¼
X/ ! X X
X X# X
#0 #1 X X X/
X # X X
(- H >95 * - 7;644 !) - < <
- )0) < 5
8 55) 0 ;644 ) ()

& "
0 ) 5 ' ) / 5< ! -
) 5 ) A ;644 5 < ) 5
;644 5 ) ) P
55 5 P ¼
() 0) ) ;644 -

5 ) 0 ) >) 9 4 !)
% 4 P - !) 4 P cI < -
- c ; 0 9< 4< < # 4
0 ) ! ) 50 ) -
* - ' < ) !/ !
55 ! )
- 5 < < )
() - 9 4 ! !H
4 P

4< ) 4 9 J 5
) - ) J ) - )
#
) ) 9 $ ) - !) %4 < <
$ P 4
$ P
4< ) 4 $
5 ) - < 4 0 ) # $
) 55< ! 0 ) 9 # 4
() ! 59 0 !)

) - ;644
!) **@
# **? >++

) -

. )

)
D>++

# **? -! ).
#9 #9
#7 #8 #7 #8
¼ ¼ ¼ ¼ ¼ ¼ ¼
#2 #4 #5 #6 #4 #5 #6
¼ ¼ ¼ ¼
#2 #2 #3 #1 ¼ ¼
#2 #3
# # #
#0 #1 #0 #1 #1 #0 #1 #1 #0 #1
'0 2H 70 644 ;644 0)
0 ) 5
$ ! - -
+

0

() = 7;644 0 5 ) 0 ) -
- () - ) !0 95
!) **B # **=-.

5D>++

%

( ) 6

5D>++
5
@

)

>+ # **7

5D>++ # **=-.

(
5D>++
# **=-.

5D>++ # **=-.
-! ).
' 50 ) :5/ < 95 )

)! ) 0 ) - !)) ) - 50 )
0 < 5 ) 5 7;644
()< K L P K L P F 0 )
- - H

5 () 0 )

) - 55 '0 %- () 0 !)) -
0 ) 5 ) - 0 ) 0 H

55 '0 %
' 0 95< ) F 644= - - 0 )
) 5 95 >95 9 !)) 0 0
95 - < !) F 0
) - - , < ) 9
- ) ! ) 95= 7;644H 0 )
- 0< ) 7;644 50 ) ; H
# - ; P !) !) ) -
) 5 P < 95 ; - 5
!) ) - ) 5 ' ++

3
5D>++ )

,

5D>++
3

Q
P # **@

1%

( )

6 3
%
)

)
#

3 #

%
)

6

$ ! - -

-! ).
. ! G ) - 0 ) 0 )
7;644O ? < ) 5 - 0 5- 1
5H
$ 33

5D>++ A/%
, )/ - - 5 ) 5

0 7;644 55 ) () ! / ) #0
-5 - 0
55) 0
) :5/ )! 5 )
) 7;644 - 50 ) 5 -! )
- - 4 55) )0 ) - 0 0
) ) 7;644 # 5 5 ()
) )/
! 07&& ,

$
() 0 0 -! ;644 #
7 .)5 ) # '
8< )
# 5 - 5)-
< ) 0 - ) 5)- )
) 5- 9 < 0)
< 5 8 ;644
'
8 ) 5)- () ) '
8 5 )
< ) 0 ) )
9 - !) ) 0)
)< 5 () ) 0 < !) )
- !) ) 5 () - !)
5 'H
2 3!3

& *,22 7
' ;644 ) '
8
P [ # - # !H
[ P
P 3 < )
P 4 3 4 )
# ) # !H
"
/4
$ $ P 4
/ 4 $ $ P
4
# P 4 3 4 % 4 P
() ;644 H -

'
8 ) 00 ! 0) < !) ) '
8
/5 J / J - ) 5
$ 33
# D>++
P
() - G# ! * =
< ) '
8 5 < ) 55 ) 5 I
) '
8 5 < )
!) ****
#(

D>++
# **=-. # **B -! ).
1
0
1 0
1
1
0 1 0 1
0 0
'0 +H 8 '

8 ) 5 ;644
() )5 -! ;644
) )5 -! ) '
8 50
= '
8 ) 5 ) 00 , < ) !0 0
9 -! ;644 '
8H
8 '

8 0 5 00 * 5
5) 8 7;644 0 - * 5
5) 0 - 0
(! 00 - * J ) )
!O J - )/0 !)) ) ) 5 )
00 5) () * ! -
- - )/0 !)) ) 7;644 5
5) -) < Æ 0) 9 )/0
5)
# $!--
() * !)) 5 J ) 9

50 !O J - - ) Æ !)) ) 9
5) ) 5 () 0
0 ) #- - - )/0 !))
7;644 ) )- !)
() 5 00< ) <
5< Æ - 5 ) 50
50
< G< G
0 Æ - 5 7;644 -!
7%
:7#;;
5

- 7;644 5 50 ) () 7;644

50 ) 0 ) <
< -
- 5 !550 ) ! 6 ) 5
) !) * < ) * =<
) ) Æ )

;644 0 ) ;644

*

- 7;644 5 50 ) < -

) - -< < 5< ) ) ()
7;644 5
< ) - 50 ) - - 9
() 5 - 0= ! ) 0 -
0) ! - )

) ) 0 - - < - <
7 ( 0'

() 5 5 5! 55 ) - 5

# 0< G G ! 7;644 '< 7;6
44 5 < # 7;644 5
50 ) # # <
) (- / !) 9 4 ) 7;644
0< ) / !)
"
. * / / . ) . )7

D . / /
IS4==
0 D

/ . )7
/ / (
) / .6 ) / ) / 7
/ / ( ) / 6 ) /
) / .6 ) / 7
/ .6 / / 7
/ .6 / / 7
) / ) / 7
) / .6 ) / 7
/ .6 / / 7
/ .6 / / 7
) / .6 ) / 7
/ .6 / / 7
/ .6 / / 7

/7
D . / 4==-
" 1 / 1 / D

(- H 80) 55 - 5 ! 7;644
() 0) (## ! ) 0

)B
95 , < - ( H
# ( P K HP L # (K HP L
K HP L # (K HP L
!< ) ) 0 ) ) 7;644 5
0 (< ) 7;644 50 # ( - -
0 ) 0)-) ) 95
) 7;644 ) 40 ) )<
0) () 5 !) 4 4 -)
I ) !) # 55 )
) 4 4 ) 0 < )
-) * -< ) (## 55
0 ) - 95 % 4 % 4 ) )
9 - !) % 4 < - -) )
- 0 () 5 % 4 < (##
- 55 ) ) 4 () % 4 % 4
)
!) ***0 - G*1H.

5D>++ - # ***1-.. - # ***1-..
# ***1-.

1%

# $!-- $
-! ).

(a) (b) (c)
'0 H (! 7;644 ) G
( 5 Æ< ) (## <
50 ) - 5 # )< ) ! )
5 ) ) ) 0 9 ' <
# G< 4 9 !) % 4 P <
9 !) = - !)
8 5 5 ) !0 4 )
)55 ) !) ) 5
< < ) 644 < < ) 95
59< ) 50 ) 0 !
5< 5
5 ?0 ) )*< 5
) 5 )
)/ !)) ) * < ) )
) < )! /
() - 0 ) 5
- ?0 500< ) -
< ) 0 9 ) 0 7;644 A
)) - 5< ) 5 - 5
0 ()< -) ) 59 ) = ) 0 7;644

*
'

(
- 7;644 ) - )0)

) 7;644 !)) 50 0 )
- - ) - () <
% "
) 7;644 50 ) K HP L )
7;644 !)) 0 5 - < < 5
< () 7;644 - -
- 50 0 9 4 9 $ - !)
- 0 $ * =<
$ )! ()<
- -5
-*< - !)
'< ) 0 ;644 -0
() 5 0 - 0 0
) * - - - () 59 ) = )
0 7;644 55
!) ***7 # **** )

5D>++ -
.

5D>++

( )

)

-! ).

¼
¼
¼
¼

¼

¼
¼

¼
' '
'0 H >95 50 ) - - )
! ,
- 7;644 5 !) ) - - 5 P <

# - - - 5< ) G
G () 7;644 5 ) 5 ) -
!) 5 - 5 #< < 5
) K HP L # K HP L ' G < # *
< - !) 5 - 9 *#
< H
P K HP L K HP L

8 5 9 *# 5

"
2
8 ) 7;644
< ) Æ ) 5 - 5 - -
50 ) - !) - ) 550
)< !) /50 ) ) 7;644
4 ) ) 5 #< - - 0=

!) 5 -H ) 7;644
5 ) -
K HP HP L # # K HP HP L

() < 5 - - ) 5 # 5-

!) 5 ) - )0)
!) ***9 ( # ***0

5D>++ # **=-. -! ).

¼

¼
¼

¼
¼

¼

¼
¼
' ' '
(a) (b) (c)
'0 H - <

" ($

!
A ) 5 7;644 ! ! 5 95

)! .( )/0 !/ - - 5 )
:5/ () # *< < H )!
! - 7;644 5 :5/ O 8
) P - ) 55
) ) :5/ () 5 0) -
) - 0 () 0) 7;644
5 0 :5/ 0) ! !/
& "
.

. *7
D . $,+-( D

.
6
6 #
6
2 1 , ' ' ' , 6 ,
6

6

6 "+ 7
6 "#
6 "$
6 6 D

D . IS4==

(- H () 0) - )/0 .(
!H 0 ) 7;644 50 < ) :5/
< 0< 5)# ) < 0 0<
7;644 ) 0 - !) ) 5
!) ) 7;644 50 5 5 ()
) 7;644 ) 5 )
< ) 7;644
50 ) 5! )
0
A ) - 5 ) :5/ < )/0 )

.( R / 5 ) ) - 0
.)5 2 () < ) 0) -5
) 5 ) R ' ) ) 5 < < )
- S R< ) S 5 !)) S )
() 5 !< 0 ) ) 5
J ) ) 5 ) 55 J #)0
) < ) ) 5 ) 5 R 8
< ) ) 5 )
- 555 ! -) )
- () 5 5 ) 5 ) 5
0< < ) ) 5 ) - 6
!0 ) -5 5< - ) !)) )
* R ) ) ) 5 () F
!) ) - 5 ) ) R 95
< - 7;644 () 0) )! (-
() 7;644 0 G 0 9 - !)
-

< 5 () 7;644 50
P 0 4 - !) ) )
) 4
4 - !) < 5
' ) R ) "4 (-

"
+
"+ .

. *7
D . $,+-( D

. *7
.6 7
.6 , ' ' ' , , ' ' ' , 7
.6 7

, ' ' ' , 7

D . "+ 6 6 D

(- H 80) - 5 R
/ ) 5 ) 7;644 50 ) )

R ! '< ) 7;644 50 R
8 - ) 5 < 0 5
R< () 7;644 <
50 ) 5 ) ) R '<
- - )0) - - - ) 7;644
50
R

) ) 5 ) < ) - - )0)

() "* (- $ - ) #95 )=

, P R S < 5 ) #9 5
R S P S R R S
- 8 S ,< ) 5 !)
0 ) 7;644 S () 0 R
5 7;644
8
5 -* ) - )/
) 5 -/! ) < R
) - 0 ) !))
! /! , ()< ) ) ) 5<
R ) S 5 ()
5 - 550 ) 5 7;644

) "4 5 5 !) )
0 , 7;644 9 !) ) R )
) ) () 5 0
! < < !) ) 7;644 * )
) < * ! 7;644 )/
() "2 - 0) 5 ) 0

#95 R .)5 2 "*
"
) () 5 ) 5 ) - 0) )/

.( - ) #95 )=
"# .
. *7
D . $,+-( D

. *7
.6 # 7
6
.6 7
.6 , ' ' ' , , ' ' ' , 7
.6 7

.6 , ' ' ' , 7

.6 7

7
7
D . "# 6 6 D

(- $H 80) - 5 R S

' .)5 2< ! /! ) ) 59 .( )/0
- 5 - ) - !) ) 0)
- 0 0 5 3 -D /) )! )
- 5 - () 0) ! 5
) 0 5 :5/ !
55<
- < ) 7;644 50 ) 8 #
5< ) 5 () - 5 0
6445 < 0< 0 *0<
0 ) 7;644 3 ) P
!) K L P )- !) K L P
() 5 ) 5 -/! )- ()<
-0 ) 0 5
) 5 -
)
) 5 KK L K L () 0 5
! - - 0 -< < 9 *#
- #
$
! %
&
> 644 0 KL 8/ K< L
) # 5 - !)0 ;
644 ! 5 )
6 K$L () 5 ) ;644 * 5
5) '< 5
) K2$L () ) )
!"
#
5- 5 - 0 15 60 3
0 K2L ; ! 644 5 ) ) - 0 -
6 K%L 8 KL ' ) 5 )
) ;644< ! ) ! - 30 K&%L
8 5 ) 0) 6 K$L ) - 0 -
0 30 K%$LI ) 59 ) 0)

) - 5 ) - ) ,
- 0 - ) -/ - ,
()- K%L< 4) 6/ K%L 30 K&$L () / -!
;644 # ) - - -< 0
)< () K2%L

() 644 5 5
)/0 )! ) - -0) 5 ) 0) - )
5 6) K&< 2L .< 6) , K$+L
8 - )/0 ! # 0 )
- ,, KL ,, )! ) -
- 644 1)
- 0) 0 0
5 ) - - - W 6 K+L 6<
A-!
= KL 8 0 5 -
)/0 - ) -/ - ) 7 KL< !)
) ) .( ()
- 0 50 - 644 ) -
- >< '/ (- K2L 1 - )/
," KL<
," KL< "
KL () 644 ) #
0 ) - - - :5 KL C K$L 8 5
-G ) # 7;644 -0 ) 55
)! < 5 )
0 ) 7;644 5 8 7;644 * 5
5)< ) Æ * )/ )!
) 7;644 5 0
() 50 644 5/0 )
- - - 6< 7 6 KL< C K$L <
< -
= K2L ?* - ) 644 5
/5 )) - !) )) - )0
A-0 - 0 8 ) - )
0# 5 ) = ) 644< 644 5/0
- 0 0)< ) 7B 0 0) ) -
!550 - 644 K$2L
) 0)
5 ! ! ) 644 5< - 0 ) / *
# 5 ) !) ) K+L .
5 - 500 ) 5 <
5 /5 ) 0 - #< # 5 0
! >5 0 644 )/0 )

"
9 - - - V0 K+L () ) ) 5
644 5/0 -)/ 5- %
,"
) 644 5 )/0 )=0
644 - ) F 5 )
() F ) F ) = )/0
!) 5 ) =< 0-0 *
)/0< ) ) - ! 5-< 0
# F -! -)# 5)# 6445
< V0 5 F - 0
0) ) 5 -
. 3)

+ 1 , , , 6 , 0 , , ,

K
3 " 1 %
, =
(
,

+ 1 , , , , 6 , , , ,

0 6 , , , ,

K
1 , , , ,
! ,( 4=, IS4==

I ( % 2 , , , ,
$ IS4== -

% 8 W , , , ,

INV OR
INV
INV OR
INV
output
AND
INV
OR

INV
OR

'0 H 8 )! !) 5
K
IS4== ( ( (
# ' ' '

'
$ % 3 . #

# 9

3 , ' ' ' , 6 , % # $ % $ (

, 6 # 8 0 6 %

3 # # # 6 #0 , 6 #
3 # 6 , 6 K
IS4== 3 6

, , , ,
$ % ! .
1 , ' ' ' , 6 , , ''' , , '
O .
K
IS4== 1 6
, , 0
# % !
! K
IS4== 1 6
, ,
' ' ' , , , ' ' ' ,

K
" (
1 %

$ ( % 0

! " #$

% , ( 0

0
2 @0 "
8 (

! 4 0
" 9
K
IS4== %
A$& (

"
2 %B
$ ( %

T ( @0 % " K

"
$ ,

6 ' ' '
40
, 6 ,
' ' ' , , 8 6 # , 6 # # # # %

, , 6 , 6 O . IS4== , 6

' ' ' , ' ' ' ,
;

3N "

=

" 8 1 . #
# T %

, 9 .

Æ1
Æ,
6 1 Q, .6 #R 1 Q, .6 R %
A"
B
"
*
.

=
N
" . 1 , ' ' ' , 6 1 Q, .6 #R
, Æ1
Æ,

! =
N
" . 1 , ' ' ' , 6 1 Q, .6 R
,
Æ1
Æ,
$ IS4== 8 /0 ( $(
S4== , # ,
=9 @ %

( , 0 9 ,
' ' ' , ' ' ' IS4==
0 1 ( ( , ' ' '

,

K

"( 8 # ( ( (( (

(
; 4==
0 S4== %
2 ; 4== - ( , -

" , 0 ; 4==
% ,

, 0 , 0 ( 4

0
%

, -

(
% (
& %

& % ( O .

S4== -
4==
*
% S4== ( 83;
,(

$
% $

2
&

!"#

+
$ ("
5!6
"
KL

! " #

$
" %
# ; ) F 5 #
# '
+ < H$J<
KL % ; ) - N

(' <
+$+
KL % 6 0 !!! %
< %H$+J$%< +2%
KL

,)/0
< 'HJ< ++
K$L 8 0
,
1< < ( 4 / - (4/.<
4 A < 50 J

50"0< ++
K%L 8 )
%
< (H&J$< ++
K2L 8) #

# '
5% < 50 $$J+ C)
3 T
< ++%
K&L & '( " #) > / H
=-
<
H$J2< +++
K+L " #) 6/ ) H ! )
0 00 !!! #
-#D.< 50 22J&%< ++
KL # 8 - 0 ()

5< () ? 4/< 45 .5
<
++
$
$ !.!&.2$(7
KL # , )/0 6 05)

%
< (HJ< ++
KL * ( B 0H J 5 (' %
/ 4 < HJ&< +&
KL * ( B 0H 5 H

< )H&J+< +&
KL * ' $+

8 5
0 * 5 (' /
4 < H$+J&$< +&
K$L * *
) # #
/ 4< H2J+<
+&%
K%L * ,
) L %
/
50"0< ++2
K2L + , - ( 0 95

N
('< H2J%<
K&L " +
% . 6 .
- )/0 . 50 ( ,0 3
V< < (

(
-((.< 4 A <
50 %&J&
50"0<
K+L + +
' /- -
,UUH 55 6 0 5G C 30< C
3/< C 4 < < # '
L *< 2&
4 A < 50 %+J&2
50"0<
+++
KL " 7)< ++

KL - + 0 - () 5 0

-)0 ( < 'H2J%< +&
KL 1 -
'% ' &

+ & + +
+ -*
L
50"0<
KL ! , ! ) >Æ )
D )/0 !!! 4
-4 .< 50 &&J+2 >>> .5
1< ++$
KL
# !
2 '
8 0)
0 5 0 - 5
!.!&.2$(7 $
X
38 C
4 C)< < # '
%
( + < +$ 4 A < 50
2J$
50"0<
K$L

! 5 !!!
< H$J2<
K%L $
! ! 1< ++
K2L
) $) 5 0 ) - 0 ;644
15 !!! < !+H++J%< ++%
K&L

/ % 8 0- !/ 0 %
< (H2J<
K+L
/ -
( 4 8

1< +&%
KL * >Æ 5
644 5/0 ('O !!! + ( -+(.<
50 J$ >>> .5
1< ++
KL *
! # & )

'
" )
2 + * *%

+
3 * . 2 "

! 2 " "H # )
7 8 (8 =0< < %( L
-(L.< 4 A < 50 &J

50"0< ++%
KL
"
' # )
- 0 H ) 2 5
6, /
:
( L%
'
# < 2 4 A
< 50 2J
50"0< +&+
KL -
2 - % & -
8 # * 0 5 0 !!!
< !H$J< +&%
KL / % /+ *

*
-2
40 5 -
!/ + < H$2J2< ++%
K$L A5)- 0) - 5
!!! < !&H%22J%+< +&%
K%L
- - 5 !) -
0 (' < H+J&< ++
$ !.!&.2$(7
K2L / - % *& --

&/ #2)
- )/0H -
< )HJ2< ++
K&L / - % *& -- &

&/ #2)
* # 0 -
)/0 ('O !!! + ( -+(.< 50
%J$ >>> .5
1< ++
K+L +

7.% () 5< 1)5< ++2
KL $ /
+
' -
)

% / , )/0 0
! 5# !!! ! <
2H+&J$+< ++&
KL *- / - / / + C ( #
83< +&&
KL
% () 5 N
< )H2J< +2
KL - % ' !) -

,"H ! - )/ N

< HJ$<
KL - % 0 6

)/0 0 #- 0 # '

+ < H2J<
K$L - % ) >95-

-)0 0 C3 6//< 31 7 <
A 7=-0< < 4 >
/
D 4 ' < $ 4 A
< 50 &J2
50"0< +&&
K%L - %

40 ) )
/ 0 -)0 5 0 4 /%
< 4 A < 50 $J2

50"0< +&
K2L - %
+ 8
# # 0 5 0 5#
(' / 4 <
)HJ%< +&%
K&L - % / $) ' )H )
(' < )H%%J%< ++%
!.!&.2$(7 $$
K+L - % , ! ) # # /

&
) *& -- & "# )
'-Q ) ) 5 / **

+ 4
(< ++
K$L - % , ! ) *& -- 4

0
>Æ 0 95 ! -
)/0 ('O !!! + ( -+(.<
50 2J >>> .5
1< ++$
K$L - % / & # (/
95 )/0 !!! 4 %
-4 .< 50 +J+ >>> .5
1<
K$L - % * .5 # !!!

< %H%J%2< ++%
K$L - % + , ! ) '

,( 1< +++
K$L - % # )
, )/0 8 7-
8 "/ < < ( 5 -L .<
)5 < 50 %$J2+ > 1-) 6"<
K$$L $ / +
2 () .
3/-)H - ) #
(' / 4 %
< !H%J2< ++
K$%L $ 8 )/0

0) ) # '

+ < HJ2< ++
K$2L
'

A / +%
1< +&%
K$&L "#
&
&
(
,( 1<
K$+L ,
/ - "#
) * ) - - 9 C
/<
< ( L '
# <
2 4 A < 50 %$J2
50
"0< ++
K%L

- + $
-
%% ,Æ 0) ) # 5
55 # '
+ < H2$J&&< ++
K%L + 5)
% 8 5 0-
#
5% #%
$% !.!&.2$(7
-#5#. < $ 4 A < 50
J+
50"0< ++%
K%L $+
'
6 # /
#
&% - +
/ 02 %
L A
'
- $ .-0 ( () .5

.-0 ? 1<
K%L $ .% ( + / 1< +2%
K%L % > + +

:! 8 1-)< ++&
K%$L - 2 !! /

15 5
# 5 # # / :

# '
/< 50 2J$ 8., 1< ++&
K%%L - 2 !! /

1
55 5# # # 0*
! < 50 J >>> .
1<
+++
K%2L
(5 0 C !< <

> # '
< )5 %< 50 ++$J2 > 1-) 6"< ++
K%&L
/ # 4 5 95
) 5 0 -)0 N
< 'HJ< +&$
K%+L

/ #
H -)0 5 0 N

('< H$J2&< +&%
K2L

/ () 59
0 50 9 - !!! #%
-#D.< 50 &J2 >>> .5

1< +&&
K2L
& & (5 0 0=
6 , A "*< < %

( -((.<
4 A < 50 J%
50"0<
+&$
K2L
& & , )/0H -)0
0 / -/ / < )H2$J%<
+&2
!.!&.2$(7 $2
K2L " '%

" A0 644
- )/0 ..
+ < (H$$J%<
++
K2L '
800 0 50 CC
)!=< < /%
( '
*B< 50 +J 8
,)
< +%2
K2$L '
/ #

- () 59
* 0 - 50 )
A 8 . 6@)< < ( 4 / %
- (4/.< % 4 A < 50
2J
50"0< +2&
K2%L ' #
50"0< +&%
K22L ! + / .5
) 0 5 0 ,5< +&
K2&L ! + / ; )
5 (' / /%
4 -/D/4.< 50 %J2 8., 1< +&
K2+L + !

, )/0 500 00 0
" (' / / 4
-/D/4.< 50 2J&% 8., 1< ++2
K&L !
(5 0 55J
A +A < HJ&< ++
K&L !
/
50"0< +&
K&L /' !
' -
/ +
.)/0 #
5 - - 5 7

4
00< <
-DA,5.<
4 A < 50 %+J%$$
50"0< ++&
K&L !

C !<
<
> # '
< )5 < 50 %J%2 > 1-) 6"< ++
K&L ! ' )! # )H #

'
+ < H$J&< ++
K&$L " # L / , 4 <

+ 4 A
50"0< +&
K&%L / #.% 8 # 5 /
9
< 50 2+J2$% >>> .5

1< +2&
$& !.!&.2$(7
K&2L / # - 2 ?0 ) 6 )/

55 C ! :A , <
<
-DA,5.< $ 4 A
< 50 +J$&
50"0<
K&&L * # - &

2 / +( '
5 0
1 !!! ! %
< &H2+J2%$<
K&+L * # " +) , )/0 C 0 C

5)# N
< H%%J
&<
K+L * #.%
, )/0 ) -)0 5 0 .( ()
75 7) 75 $< / ? ()0<
++2
K+L - # - 80- !
N
('< H2J%< +&$
K+L " #) 4
/ %

- )/0 %
< H+J< ++
K+L #
8 9 - 5 500 %

('< H$2%J$&< $&< +%+
K+L #
. *
+ * 644-
-000 0 0 00 .( . .
-< < %( L -(L.< %+2 4%
A < 50 J$&
50"0< ++
K+$L ! #
() ) 5 )H !.7
/ # / : < 50 $J< ++
K+%L !/ #
+ L / 1
< ++
K+2L !/ #
40 5H %
A +A < !H+&J2< ++
K+&L !/ #
.

1
)/0H N

< HJ2<
K++L !/ #
+ - %% ;
5)# ) 0 / A
< 50 J 8 ,)

< ++%
KL / #
%
!\ " $% (0 0
95 " # N
< (H$%$J$&&<
!.!&.2$(7 $+
KL ! # ! * +-

) () .* 5
() 75 2&< 78< ++$
KL - # - 4 C '
5 .-0 ? 1< +++
KL ,7"6" # '

< ++%
KL # 2 " % ' #
. )/0 -
!
( + - (+.< 50 &J&2 >>> .5
1<
+&%
K$L !&/- / 4 + L
( %

( 1)4 )< >) ? ()0<
+++
K%L /

5- - 0 - 5-
N < H%&J2$< +2$
K2L /$ * 4

4 D 1)4 )<
,)0
? < +%&
K&L * '
" < +$
K+L * 75 #
.
) C ,.)< < ( < 50 J
1 ? 1< +$%
KL *

5 0 0 -F * 90 5
0 (' / +
-/D+.< 50 +J 8., 1< +&2
KL *
7 ) 55

< HJ$< +&

KL *%

0 ( /

%
#< (H&J+< +%
KL " *
# L
50
"0< ++&
KL , * - + $
8
) 55) -)0 )/0 N

('< HJ%<
K$L * % L /

1 ? 1< ++
K%L & &
1 0 ) 5 50 !!!
! < H$J< +22
% !.!&.2$(7
K2L & &

J ) 5
0 50 (' / /
4 -/D/4.< 50 2J&$< +&
K&L & &

() 5 0 ('
/ 4 < (H&2J+< ++
K+L - &) - &% "

"
() J
# 5 %
+ L< 8 .50

50"0< +++
KL ' &
-% +
(5
0 !) 0- 5 !!! 4
-4 .< 50 &J+ >>> .5
1<
KL & 75 !)0 - - 5

0 >
N< )H+&$J+++< +$+
KL &
83<
++$
KL &2 5 ) 0- 0 ' <373< H$J$<
+
KL , & + .)/0 ) #
50 ) 5# (' /%
/ 4 -/D/4.< 50 +2J2 8., 1<
+&$
K$L , & + & 0% () 0 ) 5
4 / < + 4 A <
50 +%J&
50"0< +&$
K%L + &)) -
- "
% M@)0
!- ))

< H+J$&< ++&
K2L ! &
2 6/0 #90 ) )
) 5-/ 5
0 '47 < H+J< ++%
K&L , - 0 - + ' )-
C3 6//< . =0< 31 7 < A 7=-0<
< 5%
/< % 4 A
< 50 2J&
50"0< ++
K+L 0 - / )

5 0 55 50
('< (&H+J
$< +2
!.!&.2$(7 %
KL 0 - + 8 )) 5 55 ('

/ + -/D+.< 50 22J
& 8., 1< ++
KL 0 - +
4 5 %

50"0< ++
KL 0 - +
4 5 %

50"0< ++$
KL *& -- '

:! 8 1-)
< ++
KL - )
(0 00 # * - #
< H$J$< +%%
K$L - )
# 70 95
05) 5! ! <
H&J2< +%
K%L - " "
(
+
L4 + D>++ % # (
50"0<
++&
K2L "' - -/ !

D4 (
%
/ !
%D 4 .-0 ?
1< ++
K&L - , )/0H ' .=< . C< 6 7=<
,4 7< < ' L / /<
%2 4 A < 50 J&
50
"0<
K+L - -/ ' > 5 - <
0 !!!

(
< 50 &&J+ >>> .5
1< +2
KL - &/

% () * 5-
0 95 !) *0 * 95 !!!

(
< 50 $J+ >>>
.5
1< +2
KL '& -
/
8 50 5 - 8 (0
(
< (H+J< +&
KL -

+ 3/ 0
0 5 95 !) 5
0 - 95 !!! 4
-4 .< 50 J2 >>> .5
1<
+&&
KL !/ -
( C) 3 T
< +2+
% !.!&.2$(7
KL 4
/& / % /

8(1H
0- 5 # / 0 :
/ '
< '1 < 50 J999< ++
K$L ,
/ %
?0 - )
# )- 4 4< < %(
L -(L.< && 4 A <
50 &J+
50"0< ++
K%L ,2% ! 8 9 5 )* 5
50 ( < (H+J< +2%
K2L ,2 . / % -*
1"
H -0 5#< 5 )/0 )/
0 7 8 (8 =0< < %( L
-(L.< 4 A < 50 J

50"0< ++%
K&L & +
E
/ < && 4
A
50"0< ++
K+L + 5 '

50"0<
K$L & + 4-0 0 ) !) ) 6
, ) 5 1> . > /0< < # /
:E *1; ( 5
:
+ L '
< +&2 4 A %
< 50 $J$$
50"0< ++$
K$L + () 5 0 50 !!!
# -#D.< 50 %J$2< +22
K$L + -)0 ) 0
: 85< < 4 '
< ' A(D ( < 50 J
< +&$
K$L +
/ ) /
' 5#
) C . 81 C, H ) 814? A<
(H2J<
K$L +
' ;9 ? 1< +$2
K$$L /+ 3 / %
5# #
.>
87 / ;

/ < 2 4 A < 50
2J$
50"0< +&
K$%L -,
' ) 5-
>' N 5
+< H$J$< +$+
!.!&.2$(7 %
K$2L 4 - 0 -

0 ( + - (+.<
50 +J >>> .5
1< ++
K$&L / ' ) ) #
() 75 .
+2<
7 < ++ #%
'
+ L< 8
8 .7 $$
K$+L " % ,00 ) # G

N
< H%J$+<
K%L ; ) 59 !!!

# -#D.< 50 +J2 >>> .
5
1< +&&
K%L & )
+ -!
"# ('O !!! + (%
-+(. 8., 1< ++%
K%L " " ' - #

/ *
' # >' N 5
P
+< $H$+J$%%< ++2
K%L 5% / 1

<
K%L 6 % 8 0
(' < !H$J%< ++
K%$L ) $) 7 ;644
< )H+J< ++
/ 4
K%%L + ; ) )= 55

5 0 (' / + %
-/D+.< 50 +J& 8., 1< +&$
K%2L +
< 5 0 #
( < ($H+$J$< ++
K%&L + - % () 59 55

5 0 N
('< H2J2+< +&$
K%+L + - + $
() 5
5- -@) !) 55 5 0
%
< H2J2< +&2
K2L '
>Æ 5 0 N

< H2J&<
K2L / # / & *!

& ! * *
# &
) ") 1 # -
! !!! < $H%&J2$<
% !.!&.2$(7
K2L
% 83< ++%
K2L ". 45)# 05) 0) (' N
< H%J%< +2
K2L $ "
.5 0 0 00 C3
6//< 31 7 < A 7=-0< < 4
>
/ D 4 ' %
< $ 4 A < 50 %+J2

50"0< +&&
K2$L $ "
8 # -G C !< <

< 6H ' ,

< )5 < 50 J+ > 1-) 6"< ++
K2%L $ "
6) 0/ 6@)>0(/)- 0/
6)-0 /
1 < < (
'
< 50 &J "!0< +++
K22L * "

70 95 ) 0)

('< %H+J< +%&
K2&L !/ " * $. -

!
00 !) )H ) 5 0 -
# '
+ < H+$J$<
K2+L - ") .)/0 0 5

( '
< 50 %2J%+ ? ,)
-< .-0< ++
K&L - 8 ) 55) 5 0
' , A 6!< < 4 C
( -@
>6
D :
.<
4 A
50"0< ++%
K&L - 6)0 H ' )!! ( ,

0 3 V< < (

( -((.< 4 A
< 50 J
50"0<
K&L - + $

70 - # 5
< !HJ2< ++
K&L )2 / &2 8 )/0 0)

.( > 6< <
-DA,5.<
2$< 50 2J%< ++
K&L $ # ) 1 .( )/0H )

1 - 9O N
<
H$J%$<
!.!&.2$(7 %$
K&$L $) >

/ > + + C
%
(< (' '
+ '
%
(
8,<
K&%L $) 644 J 0< < 59< +
( '
< 55
K&2L # $ 8 )* 5

!!! < (&H2J2$< +2&
K&&L # $ 1 59 ('
/ + -/D+.< 50 J< +&+
K&+L / $% 3) ! 0O !) )O !!!

< H2J&<
K+L + $
8 )/0 1
5 )
! M !/)5< ++$
K+L 4 + 5 0
5 55 # !!! %
%( + <
H$J<
K+L ) ,5#

,
! / * . '

8 5 644- )/0 #%
'
%( + < $ 4 A
< 50 $$J&+
50"0< ++&
K+L $ ..
Q P 0
C X ) 8-< 6 ,< ,70=
X 8G< < (
4 / - (4/.< $ 4 A
< 50 2J&
50"0< ++
K+L -
# L >>> .5
+

1< ++

Principles of Model Checking (2003)

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Principles of Model Checking (2003)

Uploaded by

Copyright:

Available Formats



  

 ! "#                     &

 '  "# ()*                    +

 '  ,)                        +

 , .)/0                        

 ,- (0                      

$ () 1 0                        $

 .)  , .)/0                  2

 () , .)/0 1                 2

 0  ) 4 5  .             

$ 6-05)                            

 15 0                       

 8 "# 

 8 "#  1 10         

 ( 5 0                         %

 89 ( 5 ;5                $

 , .)/0<

 89 =                             $%

$ "  1 (                            $&

% , >9                        $+

% 8 .  .)                  %

% 4    >                   %

2 ; )   '                   %$

2 ' >95  1 (                  %%

& 1 ?  1 (                         %+

+ 6-05)                            2

 70 00                       22

 4  8                     &

 80)   8   ' 3              &

 4 =                        &

 .)/0  > 5                    &2

 8   # 3                      &&

 70 00                      &&

 6@) 8                         &+

 4  6@) 8                 +

 ;) 8   # 3              +

 80)   6@) 8                     +2

 .)/0  > 5                    

  45)'

% 6-05)                            

2 >9                                %

$ ' 1 (  6@)                      

$    '                      

$ 4#0 ) 8                     

$$ 1- ;5                      

$ ,)/0 1 (                         

$ 6 ,.)/0 1               $

$$ 6-05)                            &

$% >9                                &

(    

% 89 ( 5 ;5                2

% 89 =                             

%$ >95   .(  1 (                   

%% '  .(                           2

%2 1   .(                          

%& 6-05)                            

%+ >9                                

  " $%

2 '  .( , .)/0                 $

2 8 1   '9 1                   $

2 '95 .)=  .(             $$

2 ; >Æ                              %

2 8 >Æ  5                   %

! "# &

' "# ()* +

' ,) +

, .)/0

,- (0

$ () 1 0 $

.) , .)/0 2

() , .)/0 1 2

0 ) 4 5 .

$ 6-05)

15 0

8 "#

8 "# 1 10

(5 0 %

89 (5 ;5 $

, .)/0<

89= $%

$ " 1 ( $&

% , >9 $+

% 8 . .) %

% 4 > %

2 ; ) ' %$

2 ' >95 1 ( %%

& 1 ? 1 ( %+

+ 6-05) 2

70 00 22

4 8 &

80) 8 ' 3 &

4= &

.)/0 >5 &2

8 # 3 &&

70 00 &&

6@) 8 &+

4 6@) 8 +

;) 8 # 3 +

80) 6@) 8 +2

.)/0 >5

45)'

% 6-05)

2 >9 %

$ ' 1 ( 6@)

$ '

$ 4#0 ) 8

$$ 1- ;5

$ ,)/0 1 (

$ 6 ,.)/0 1 $

$$ 6-05) &

$% >9 &

(

% 89 (5 ;5 2

% 89=

%$ >95 .( 1 (

%% ' .( 2

%2 1 .(

%& 6-05)

%+ >9

" $%

2 ' .( , .)/0 $

2 8 1 '9 1 $

2 '95 .)= .( $$

2 ; >Æ %

2 8 >Æ 5 %

2 ( .59 %$

2 , .)/0 ' .( %2

2$ A0 .95 %+

2% .( )/0 2

22 6-05) 2%

2& >9 22

& ( 8 &%

& ./ " +

& .50 ( 8 +%

&$ 1)5B 6 7 1 +&

&$ ,0 ) 671 ++

&% 6-05)

&2 >9

' " $%

# $%

750 6 ' $

6 4 ( 2

7 ; 6 4 40