The Weak Pigeonhole Principle in Models of Bounded Arithmetic

 ! " # ! $
%&' ! %&' ! ( ! ) *
!
* ! * # + ! ,
* *
! +- + !
¾
¾
¾
) '+ . /
012 ! ) . /
012
3 ) ,( %!
) . 34
% 5
, ,
6 * 5
7
% 5
! $
) 5
+
4&%, 89::;<=9 !
>!;
>!>
>!A
>!B
? ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! !
' ! ! ! ! ! ! !
'
! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! !
5
! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! !
@
;=
;8
>>
!
A!; C
! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! A:
A!> '* ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! A>
A!A ? + ! ! ! ! ! ! ! ! ! ! ! ! ! ! A@
B!; 3
! ! ! ! ! ! ! ! ! ! ! ! ! B>
B!> ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! BB
" #
=!; C
! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! B9
=!> C
! ! ! ! ! ! ! ! ! ! ! =:
¾
$ %
& '(
"
)*
$"
# +
,
-
<!; ,
* ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! =@
<!> ? ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! =8
@!; ,
! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! <=
@!> ,
! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! <8
9!; ,
! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! @A
9!> ,
! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! @<
? ) ! ?
!
? # )D E
F )D E *
G>8H +! ? )D * ! ) + ! ?
+ E !
?
)D )D E +
+ ! ? +
+ ( !
G>;H )D E I
J )D !
) )D E )D K
! K )D ! *
L
!
? ( + ! 5 GAH * " )D E "
* !
¾ >
? + E ! ) * # + ! ) - M .!
) > * * +( !
>!;@ *
>!;: >!;<!
55 * >!;> # " # + ! ? + + ! ? * !
) " ( ! # D )D !
) A * * " * A!A!
? * + A!< A!@! ! " # A!;; D * A
¾
+ / A!;A! N
%&' A!;=! %&' ! & = ( !
) B 55! ) *
55 !
) + B!B! N 55 + # B!=! ?
A %&' 55
!
) = ( !
? O * G: ! + O ?
* F
) *
( =!A ( =!< !
) + + )D E ! N
O ! ? ! %
* ! B
¾
IJ!
3 )D !
$
#* !
& #*
! ? - + )D * & ! ?
+
( - @!
( O
I
+ J I J
!
) < G: + G: * <!<! $
# + ! ' # #*
+ " * <!9!
) @ I* +J <!<! * * @!B! ) *
#- Æ @!9! <!< @!<!
) 9 # =
* !
? ( ! ' )D ! ) *
I# +J <!<! ? ' 9!A 9!@! ) ( 9!;A
( 9!;B!
? ! ? B < 9 A G>9H!
<
) *
* " +( ! >!;@ *
>!;:
>!;<! 55 * >!;> # "
# + ! ? + + ! ? * !
N
: ; P! ? + ! & + > ; > ; ! ? P PM > ! P > !
5'&), *+ !
& GAH G;AH + * >!>B!
) L
* #*
! ?
#*
L ( #*
L *+ ! ?
L
! ?
* * @
!
)*
0
P
)*
0
D
"
;
K
! D
)*
0 "
; "
K
5'&), " Q)6R
: ; " ? #
! ) M I # #J " *!
9
"
0 1 234
,
# $ "
S , % "
M , > M +
> ! + !
)*
0" &' &'
M , >
M
,
! !
)*
0$ 0 #
$ T T
T
T : T M T 8
; T M T
. * * ! C * ( * #! & G<H GAH G;AH!
)*
0#
& P ' Q)6R : ; 0 (
? #*
!
& U ! 5U ! $
' G;H!
05 ) & ;:
,
V M O ! ? * * * * !
Q V ! ? ! 5 !
0 1/ 2534 Q)6R Q ! + ) Q)6R Æ !
Q + + ! Q - + !
# ! & ! ) M ! N
M ! ) !
;;
Q M ! ? ! Q + ! ? !
6 ! 5 ! ) ! 5 U >!;: !
Q)6R! Q ! &
: ; ; ; C : * ; > !!! !
;>
)*
0 * 55
? ! N
" # +
#*
! O
6
0 ) 55 " +
7 0 Q)6R 55
& ! ? Q)6R ! ! # >!8!
%8 0" Q)6R " % Q)6R ?
>!;; %8 0$ !
0 1 234 *
" ?
" " !
" >!;< " ! 5
>!;: " ! !
;A
%8 0#
D
"
K
, +
* ! ? + (
!
! ? *
! ! ? L
Æ + ! 5 ( ! ? =
@! ) ( ( ! ? + * !
)*
0 - " " "
. P
Q)6R
)D ? " * " * *O
)*
05 ) / ;B
' ( - !
* +
- + >!;9! N
+ ! A !
! ? *
* + - * + ! ( !
0 - M
# # . ¾
/ *
$ & ' " " ) $ 0
S ) " $ ' # T T
% ;=
% ! Q % T T T %T & & T % T T T &
6 ' ( ) +
;! ?
#
( ) >! ' ! #
G( FH G ( MFH
G ( ( MFH G ( ( MFH ) ) ) A! ' ) M ; ( ) M : ( %( ( ) ) ) ( ) ( ( !
6 #
#
! ) ' !
? ' " T % T TT ( ) ' ( ) ? " Q)6R ! ? + #*
O ?
#
( ) (! A #
!
& $ ! ? O ( ) ;<
O ; #! !
? ! 5 * " # T T T % T TT T % T ( >!;@ T $ *T
$ *T % T T T Q ( ) M > ! ? ! #
G MFH G MFH
% T TT - * * * ! *T $ *T $ *T % T T T M
M > ! & M > > !
N
+
! & * +
! - G>H 1!
' # ! !
? L
! ? : ; ;@
# !
)*
0 "
&23 4' + + + "
(
$ , $ , 23 4 :;
$
+ M ; : - . M $ : $ ;- M , . , ; : . : ;!
? G;>H!
0 - + W V *
M $ , + $
- + ,
, 0
W
/ / 0
W
V
) 0 / / 23 4 + "
0 , V
;9
, 0 > 0 W / V 6R?3 M !
Q 0 > + $! !
M ! &
6R?3 + ,! Q
& M 0 > *
& ! ) ! ) ! 5 + !
6 &! ) & & + $ ! & & + $! ) & - & & + M
+ , & + , & + , !
!
6 ! $
W / V
+
0 /! Q * O 0 > ? + $
A * !
/
N
M M M : ; >! * !
* 5'&), *+ !
6 + + > + !
;8
)*
0
5'&), 5
0
: ; > 0
& '0
; M 0 ; M 0
6 M M 0 M M 0
7 ) M M 0
! 0
M 0 0
9 : M : M : & !67 8'0
: :
M : ;
M ;0
; M : > M ; > ;
M ; 8 ) ( 0
0 : 0
) 0
: M 0
! ; > 0
6 M > M > ;
)*
0" 1 5'&),
1 G: ;
>:
* "T ! ? " + #*
! ) #*
! * I
J +O
)*
0$ ? * # * ! ) # ! & +
M M ? * !
)*
0 "T ; T K
T D
"T KT )*
0# "
; 1 G
22 : ;H T 0 "
T "
T Q)6R
"
>;
? #! ) # * DT ! ? - ! ? !
)*
0 ' 1 D X ' G: #
+ ' G: * ! % 05 ' )D % ' )D K ? G9H !
( ! ?
* " * >!;8! ? L
+ !
# !
7 0 - M Æ Æ M ; > ; M Æ M : > M >>
M > M > M M M ; M ;
! "
6
>
M M > ! > > M > 3& M & 4
* <' 7 "
! 8
M M Æ Æ M 3& ;
; T "T Q)6R : - D
; M ; M ; ; M M ; ! > ; ! M ; ! >A
9
DT
"T Q)6R G: > ; M ; + * !
;! 5 + ;= M : M ; !
& M > M
> ;! ?
> >
+ B
+ ;;
: M + ;A!
) ; + ;; ;- M ; ;
;! > > ; G %& *H + ;;
> > > G %& *H + @
> ;> >
> ; > ; ;
+ <
+ B!
>! 5 + ;= ! &
> M M > > M >
: ;
M
+ ;;!
A! *
"T Q)6R > M ! $
:
M :
;
M ;; M :;- > M ;! ' ;
M ;
>
M >> M ;; > M >!
- >B
6 ; : > M - M M ; M ;! ? ; > + + ;B! ?
> M ; + ;:
> + ;>
> ; +
+ B
> ;
M ; + ;:
> ; + B
> > +
+ ;>!
Q M > ; M > >! ? M ; M ; M > ;
M ; M > > M ! ? !
$
# > M > M ! ? M ; M ; M M M M ;
6 ; M + ;>! ;
+ B!
B! Q M > ! ? M M ;! &
> + ;>
> ; =! "T Q)6R M $
:
: > M ; M :> M :
M !
>=
$
; M > ! Q M ! ? M > ! 5 A > > M > ! &
M > > M > > Q M > ! 6 > > B > ! > B ;!
? !
$
# > M > M > ! + ;; > > ! +
;A 3 4 : M 3 M 4 3 > ! &
M> > 4 M3> + @
> 4 M3
+ ;;
> 4 M3
+ ;;!
? : 3 > !
<! $+ "T Q)6R !! $
> > M > !
6 ! ! ; ! 5 A > M > > > > M> > >M> >M> ? !
@! ?
!
9! ?
!
8! $+ ! "T Q)6R : ! ; ! G M ; M ; ! 3& ! M 3& ! H
6 "T !
><
$
! M : M ! $
! ! ! Q
! M ! 3& ! M 3& ! M ! ; M
! 6 !
$
! ; M : ! ; ! ?
M ! ; M M ! ;!
& ! ; M ; ! ; ! ?
M > ;! Q M > > + + ;;!
? ! ; M : #
!
) ! ; 3& ! ; M M 3& ! ;!
Q ; ! ! ? ; M ! & > M > > M > >
>
Q ! ! M 5 5 ;! Q M 3 4!
? M 3 > 4 M 3 > 4 > M 3 > 4 > 4 M
4 > 5 ;! ; M ;!
;:! "T Q)6R ; ! ! M 3& ! M 3& !
) M ; ! ; M ! Q M 3& ! M 3& ! M > ! & >! ? > > +
+ ;:
> >
M > ; G %& *H
M ! ; ; ! > M M ! ;!
&
M ! ;! & M !
>@
6 ; ! M ! ; + 3& ! M
3& ! M ! Q ! ; M 3 4 M 3> 4
M 3 > 4 > > 4> 5 # 3& M ! 5 * 4 M
! ! 3& ! ; M 4 M ! > 3& ! ; M ! > M 3& ! ;
? !
;;! "T Q)6R ! ? M :! ? > ; M : :! $
; M > ;! 6
> M > > M > > ; ;
> ; M > ! Q M > ;! ? ; M ;
! ; ! M :! Q 8 ; M M ;!
;>! 5 I G: > J > ; >;! 5 ;; + # ;- 8!
>9
* * " * A!A! ? * + A!< A!@! ! " #
A!;; D * + / A!;A! N %&' A!;=! %&' ! & = (
!
¾
)*
0 "
= > (
(
/
(
(
/
M M ( (
/
M
>8
!
1 ( / 1 M
1 1 1 (
2 / 5
G: 2 2 M / V V &
'
) + #! $
+ 1 " * ! Q 1 2 1- 2 " * 2 ! !
+ ! ) B > A ;!
0 19 9 234 " >- ¾
# !
& " ! ? G: G: G > !!!
G G: G: -> G-> !
4
G-> G: ->! ) *
A:
( ! ) *
! ) *
G G: ->! ) G: -> G-> !
Q G M ! Æ Æ G: G: -> G-> !
? - (! G: ; #
G: ;! $
; ; *
3 3 3 M ; ! 3 3 M 3 3 Æ Æ Æ Æ Æ Æ !
,
;
G: G -> ? " ! ) M ; ;! M *!
%8 0 ? " ( =!A =!
A;
¾
½
½
0 2
Q W O
G M M M H
M ! ?
* W ! =!A G: W! & * !
0" 19 9 234 ) ' G: 6 6 > (
' G: ? * * + G@H! * ! G>;H I
J ! ? < A!= + ( ! 6
* !
A!=! ) * ¾
A>
' G: ! ? !
* #* ! & >!A *!
7 0$ *
! ; G: 6 6 > ) "T ) G: ) ) S 3 M ; 6 ) ) :
% G: 6
G: 0 3 2 T "
2 "
) M G: 2 M G: (
) ¾
(
2 % (
(
(
(
& ' (
(
? >6 ! ? ; 6 + ! ? * ! * ) G: G: 4 M 4 4 4 4 4 ! M :
M M ! !
AA
? G: G: *+ T" Q)6R 6 6 ) ) :
? * ! ? M 6 ; M !
? !
&
2 M M ! 2 * !
) ) M G: ! M ! 5 * M * G: ! 2 M G: !
) ) ! ) M M!
? " ( !
7 0
"
M M (
(
"
7 7 M 7 7 M AB
(
(
) ; *
* 6 6 A!< ! ' " Q)6R !
) > 7 + 6 # ! ' " Q)6R 7 ! & >!;<!
? ! ) * + + ! '
! 3
7 0# "
7 & ' M 7 M ( 7 (
& O ! ? A!@ O ! R* 7 7 O ; & ; G: 7T G: !
A=
Q 3 ?
!
%8 0 ( 3 ( O ¾
¾
? ! $
3 A!9 * ! ) #
" ! ? + " # ! ? " * O " * ! " * * !
7 05 *
8 3 4 " 8 *
G 8 % H
¾
5 8 ( % ¾
A<
%
G 8 % H
6 8 4 3 8 3 4 3 4 8 3 4 ¾
¾
4 4 3 8 3 4 8 3 4
G 3 4 8 3 4 % H
>!;@ G 3 3 8 3 3 % H
& % ! & % O
;! 4 3 8 3 4>! 3 3 8 3 3A! 4 4 3 8 3 4 8 3 4 5 + 4 4 3 3 M 4 !
5 ; 3 8 3 4 ! 6 4 M 3! 5 >
4 8 3 4 4 M 4 ! 5 A!
? ( * !
¾
¾
!"!
( =!
A@
0 1 234 ) ¾
" % % $ - $ % >A
Q 3 ! &
3 % ! 3 U + G;AH > 4 3 M 4 % ( A!9 7 * >
> 7 * > > ! &
G 4 > > 7 M 4H % ( $
$ 4 >
4 > 7 4 M 4 % 4 & 4 G: > % 4 G: > 7 G: > !
' , / # I ,FJ
! $
$ / * + $!
¾
A9
%8 0 *
" " "
¾
/
/
$ 9 $ )
9 9 ¾
D
"
"! ,
*
IJ - IJ " IU J ! ? I 9 FJ ! ( !
¾
0
$
D /
$ 9 9
¾
) G>H / ! Q $ ! ? A!;> / D * ! ? >!>A / G>H ! ? >!>A A!;; #
!
>!>;! & ! ? $ O M ;
A8
¾
D * / ! C
" * !
?
A!;; $ " * - >!>; ! ? O M ; / !
¾
)*
0 1:;9 <9 2"34 @*
: ( ; : ( < <
< / . @* Æ <
; ;
7 0" 1=>?@A ? 2"34 *
Æ
(
. @*
M ? G;=H! ! M ; ( :
( * : ;( ; ; <! !
Q 2 < ! 6 2 ! N
2 M ; 3 M 2-! ? 3 2 2
3 < ; 2!
C * ! Q ) M M :! ? ; 2
) !
% ) )
)
) M
) M
) ) ) ) M ;! ? ) !
B:
½
¾
¼
& 2 M ; 2
) 2
) ! &
2
) ! & 2
)!
, ; ; M ; ) - * !
? 2
) < ;
< <
< < <
¼
¼
¼
%8 0$
) (
@* .
) (
(
@* .
) " G
M H
!
) >!;@ A!;=!
) A!;; A!;=!
¾
B;
55 * >!;>! ) *
55 ! ) + B!B! N 55 +
# B!=! ?
A %&'
55 !
# % 55 * >!; + !
55 ! ? Y >!;@!
7 0 1/ 2534 55 4+ +
! ' O O - B>
! 4
+ !
! & ! 4
! ) *
M ! ) ; * M ? ; ;
#
*
* ; ; !
Q M ! ! + !
? ! & !
? ! U
* ' >!;: ! $
* M ! !
0 1/ 2534 ) 55 BA
Q
! 4+ B!;! & ! M ;
! ) Q)6R !
Q ! ? " 5 GBH! 5 + M - 3 3 ! 5 * 4 4 M ; ? 4 + !
$
4 M ; ! ,
4 M ; ! !
0 1/ 2539 2"34 ) 55 !
!"! !$
*
* BB
L
+ ! % 3 ?
! P > !
7 0 - *
6 6 P 3 : & ' P
4 4 - "
P
¾
Q G: +(! #
! Q P! 5 4 3 : M 4
,
V M G: T M O 6 ( 4 ( ! N
4 M T
T G: ! ? T ! 4 M 3 : 4 !
0" 55 ( ( Q ! , M > = ! ' B=
O > G: > ! ? + P * !
? 6 ! 5 B!B * G: > 4 - 4 G: > !
R* * G: > > # ; 6 M GH G: = ;= ; = GH G: > = ;= ; = ! ? * > ! * 6 # G: > G: > 6 # G: G: - * # # !
Q 3 M * 4! ) + 3 6 # G: > ! $
; 6 S > M 3 M G4 H ! 5 3 > > ! 4 - * ; 6 S > M 3 > * M 3
!
6 55 6 = !
¾
¾
¾
¾ ¾ ¾
¾
¾ ¾
¾ ¾
¾
¾
¾
¾
¾ %8 0$ ) @* 55 ) @* , 55
? B!=! $
*
B!> B!A 55 ! B<
. . ! !
B@
! ( ! ? O * G: ! + O ?
* F ) *
(
=!A ( =!< !
% I +J ! ? =!8 & G>@H!
%
¾
&
)*
"0 / !"
M
G: :
7 "0 1: 2$34 - T T W
(
-
*
% , 8 T T T T
T
W
G: G: T T T
W
G: W
G;AH! $
!
Q $ * T T T T $! & B9
G: G: W! Q : ( !
$+ Æ G: ! & O & - & !
#
GFH !
,
+ # & ! ) # # * G: #
G FH #
$ M $# # IJ # # & #
! ? ( :
& ! ) + # IJ & !
5 & & ( :
# & # $ $ *
!
Q & *! ? & ! # + & $ T T G: $ T T
5 T T T $ & T T T & + & # T M # ;T ;T G: - ;T G: $ T ;T
"0 1: 2$34 - W (
) W B8
G: W
W Z =!> *
&( 1 1 * ! ?
G: Z ! * !
%
&
!" # $ ! !""
¾
G: * ! ? * %U Æ =!A! ? W W ! % !
* A!;;! #O
7 "0 ) B ; - A-B
C +
; ; > ; M ; > A>
& M ; ; =:
¾
& + *
; ; AB 7 "0"
- (
G: >A
M & + + ! , B
M !
$
: ; *+ # ! ?
! 5 >-A *
! # * >-A !
$+ ! ! #
G MFH ! #
G: !
' *+ - G: ! ?
# L
! !
? M G: ! ? L
A
;
; >
; ; B
=;
¾
¾
=!B!
* ;-B! ? !
%8 "0$ ( %8 "0 "
" 8 ¾
8 ' ( A!;:!
? =!= * ! ) ! ? =!= !
) # * ! * !
)*
"0# *
- M G: :
: ; #
$ . ; :
; : -
G: "
& M G: : & & & M & M & : M & :
"
: G: : &*
& G: H'
¾
¾
=>
"0
& - G: >A
:
G: :
& ! ,
B
M ! $
# : ; ! ? #
G: ! ;O
;! >! [
G FH + : ; A! [
G MFH + !
Q . : ; G: ! & . M : ! , : ! ' !
,
! 5 & >-A ! S > !
. & & !
$+ & ! & & M ! & & G: * ! ? M : M ;! ? * & + !
=A
;! ) ! ) G: & & M & !
>! ) G FH #
: ; & & ! Q & M & !
A! ) G MFH #
M & ! ) M & M & M & ! N
G: & M & M & !
' *- + & &!
$
& S L
# L
&! & I
J ; - ! ? G ! - H ; ? M ; & G: & G: H! 6 L
; ! 6
> A !
) G MFH #
- M *! ) ; & G: ;H!
? ; -!
* * & & ; - !
S ; - S & ! S > !
%8 "05 G: =B
¾
&
G: M ! ) : #*
G: : M : :
! ? " : A!;; # : * !
=!8 * G: : : : !
? ! ) (
O
)*
"0 *
M G: )T T T T T - )T G: "
& & G: )T T T % ) T G: ) T
) & T * T M & T
M & M & ) T T G: T T , G: T T T T 6
"0 *
M G: )T T T - > G: & > M
==
T G: O &T > *
(
& > ( *
( > , T
T G: =<
" # $%
G: + G: * <!<!
$
# + !
' # #*
+ " * <!9! ) !
'
(
) )*
$0 1+ B 239 239 234 * ! % 1 - * >!>=!
)*
$0 )
DT
9 1 9 9 9 "T
)*
$0 - 1 / & ' "T
"T
M
- "
DT
G: )*
$0 ) 1 "T "T "T
O =@
M # ! + # + * !
7 $0" *
G: M > "T 5 "T T M G: "
6 G: T 6 G: "
¾
&
'
G: I
J # 6 ! Q )
"T ! *
A!< "T * 2G: G: 2
"T ! $
)G: M G: 2G: M G: ;; !
? 6 # 2G: ! ? 6 # 6
5! # = =
2 ! * M 6 5 6 6
! Q ; 6 M !
? #
"T ; 6 ! * # ! ; 6 ! ? !
$
! Q O
2 ; 6 ; 6 =9
2G: G: ! & *
"T * 6 # 2 ! ; 6 ! ? "T 5 ; * 6 #
!
'
6 > G: G: ! & * > !
! M ; M : 6 M !
$0$ *
! 5 ! ; : 5 > - G: M > *
"T G: ¾
"
7
) G: ;
*
+!
4 # 6 ! <!= * !
=8
R* M ; 6 M ; 6 6 M M M : M : ; 6 M : M ; 6 M :
? DT #*
+! $
+ * # M ; 6 M M M ; 6 M M M ? * *
* "T $ . $ . M . $ ! 6 # # !
R* ; ; M G M . ; :
; 6 M . ; H
G M $ ; : M :
; 6 M $ ; H
* *
+
#
* +
#
! DT !
3 * ! >6 ; 6 <!= "T G: "T M M ; 6 M ; >6 ;! $
0 ? <:
!
4 0 L! ) M 3 4 3 4 ;6 0 3 4 ;
(
! 4 ? ; 0! R* ; M ; 0 ? ; 6 ; M ? 6 ? :!
? M - ! $
GH # M ! ? 5'&),
+ *
"T Q)6R ! ? ; 6 M 6
6 M :
& O O ? * ! + !
&
5'&), !
Q / M 6 G/ H M &/ #*
/ G/ H !
: "T KT %T "T KT % T T %GTH % T
% * "T % KT
% !
*
#*
%! #*
DT #
!
6 % G/ H 8T < 8 <;
¾
! ? T * &
%GTH / 8GTH & / & 8 T / 8 T 8 KT ! & #
&
# / 8 T 8 "T ! + #*
!
$
#*
! ) % 8T 8 "T "T 8 8GTH 8GTH GH 8 T KT !
? * "T Q)6R % "T %: G/ H % % ;
? "T % % % % : / % % ;
& "T Q)6R % / %G/ H !
$ + G: ! Q + M :! !
#
G: ! $
; 6 M <>
I J! . <!= "T * 6 # ! ,
! ' M # ! & O O & O * !
%8 $0 "
; G: P "T ( ( P "
P "
M
P
%8 $0# "
; ( T ( "
G: P " G: P G: P & " P T P
' "
& P'
C <!<!
* + #*
- + !
'
! + #*
!
? <!9 )D ( D <A
G>:H! & G;9H + !
<B
& '() I* +J <!<!
* G: G: * @!B! ) *
#- Æ @!9! <!< @!<!
*
(
? ! Q @!; @!> @!A +
+ ! ?
@!B
+
# * L!
7 0 - G: 1 "T
& 7' *
T 6 GH 6 "
GH "T "T T GH GTH T
#*
+ ! $
* "T * DT #
%T % T ! Q GH %T % "T ! + "T
<=
6 "M GH 6 "M GH "T 8 *
T 6 8
% T ? "T Q)6R GH "T GH + ! Q 8 "T * 6 "
M GH ! 8
8
!
&
GH : GH ;
?
8: 6 8
8
;
86 GH GH !
7 0 ) "T M > T M ; D
? * #*
#*
! & : :
M > M ; M ; M M M > M > M M ; : M > M > M ; : M > M > ? !
<<
7 0 *
"T
G: 1 & '
"T
"T
Q !
T
" + !
$
"T !
Q > M ;
) ! ? G)H @!; G)H ! & ) > # ) > ! > > +
!
R* % > ) ; ! ! ! M ; M ; & O O % > G)H !
? * ) M ! ?
G)H 4 M ; 4 M ; 4 ; G4H G)H ! & *
! 4 ; ! ! GH M & G H M & ! M ! M ! & !
<@
? & * > > 8! ; G ! M ; M ; H
G! M ; H
+
GH ! :! ? 8: ! 8!
* > ! ; > + G)H ! ? 8! ; ! "T Q)6R 8
& ! &
& !
$ * & !
? + & > -> G)H GH ->! & > O > M ) ! 0 *
G: 6 *
1 "T T "
Q %
M ! M5
M ! M 5
! 5 ! M ! M M : Q 6 %
M ! ; M : M ; ! Q <9
M ! & O O G: H G: GH H!
) Æ & ! & 2 2 ! ! 2! Q ! 2! ? ! 2! 5 G H M G H ; G H M G2 H M 2 !
) 6 ; +
! !
) M 6 ; @!A!
? + # * #!
7 0" *
"T & & M $
& &
M !
6 & M ! ? M &
M M ; &
M ;
& ! 5 &
M ! M ! *
(
%8 0$ *
G: M
"T
6
*
" % &
'
) & ' (
0 (
"T
M
M
<8
I J +
! Q '! 5 $
U
+ "M ! * G: - !
%8 0 ) ' G: ' G: ' #*
+ " ! ? )D + D !
@!B @!= "T # ( + ! ) !
*
! O ! ! ?
!
" D 1!
%8 0# - " " " O "
M & ! 6 " @!B "T ! G: #*
" @:
´µ
´µ
¾
¾
* "T * ! Q ! Q M @!B! ) "T ! ) "T " !
? + @!@ +
( ! $
+ 0 *
G: T 6 *
1 "
T &
"
' %8 05 - : ; > (
- 1 # 1 $ G: G: " ? =!A * 1 !
6 " M G: 1 ! ? ( @!< * ! !
? Æ * ( ! " @;
1 ¾
¾
1 W ( !
6
0 " . . 1 "
Æ , # $ :)
& '+ &) '
6 , :;
@>
* +,
-
# * ! ? ( ! '
)D ! ) *
I# +J <!<! ? '
9!A 9!@! ) ( 9!;A ( 9!;B!
+
(
7 #0 - :;
"
(
T
:
T T
%
" T T
T T T " ! Q VT T IT # " T TJ O < T
& V * * ! ? * # " " T < T + < ;T T #
" ;T T!
R* O : O ; ; < M M M : M M M ;
ST T " ;T T T ;T # T- :! ? !
@A
" V ( ! ,
( * !
? !
%8 #0 - ' G: *
D G: Q M G: - * # I * G: J! ? ( 9!;! & + !
? + G;:H ) G9H! ( )D O
%8 #0 )D D ' G: ' G: & G: '
)D ( !
+ *
<!< X U
( L
* & ! ) !
7 #0 *
5'&), ¾
@B
G: % & A
B ;C'
( # !
7 #0" *
, & : M : - ! ? S ! * !
#0$ 1+ 234 *
*
(
" " :;
M
M
Q )T! 5 9!; * )T 9!= : M : - )T !
? ( M M ) O ) )T
( ! )T )T : (! & )T ( ! & )T : + )T "M )T!
@=
%8 #0 - G: G: ? <!< #*
+ ! ?
O " ! ! ) " " A " %&'!
+
(
?
+
! ?
* ! & + 0U % G>BH * G>;H! ) ( + !
) * I* J - /
012 * G;BH G;<H!
U G8H
& ' * + * * @<
! ? ( + ( ( !
) ! $
# )D !
#0# )D D ' G: ¾
# $
+ * ! ? $ M ! $
* A!< ! & ! 7 #0 1:
234 *
, 7 #05 - " $ "
" #
" " " M M M
Q M * * ! 8 ( 8 * O
;! * >! T * 8 T 8T 8
!
!
@@
A! T %T % T %B! * =! " * !
5 U G8H @ A $ A @ $ A @ M A "@ "A A "M @ ! & + A * @ A "
M @!
!
9!8 + !
& M " " ! 5 * + #
! 7 #0 O / Æ "
? ( !
#0 - *.
- # & ' (
& ' ? M 5 + & * - : ; ! O = B M = B M * @9
% ! 5 9!;; M Æ !
$
! Q <T !
M OM <T - *
<T ! ?
<T T 9!;
:! ? <
* <T - - !
6 $ M % 9!;:
# "M M % !
&
M <T - % * # "M M % !
% $ $
$ 9!;; "
M
#
!
Q M ! & T * ! & T = B ! ?
= / B ! & % ! !
,
!
%8 #0 ) ' G: D # M Æ
#Æ
#$½
"
"
"
"
?
3 G;8H !
@8
N ( ! $
' D G: ! * # & M ! ) * + & M (
G: G: !
& * '
)D !
!
%8 #0 *
P # D Q + P ! Q , M , ' , !
Q . # , 9!;> * I J! Q M . P!
6 > $ > ! $ % T
< % D <
T > %T< - > %T< ! ? $
!
6 # & & & ! ? 5 !
,
> * D ! ? * . . + 5 * !
¾
½
¼
½
9:
& > . > ! & . & > . . M
& ! ? . > & M ! ? D ! &!
·
9;
.
G;H .! '! &
! ? '
' Q >::;!
G>H R! 5 ! ,
( %! &
! ' *
+ ! 1
* ;:BO><A\>9A ;88>!
GAH &! 5! >
! 5 ;89<!
GBH &! 5! '+( ! =@\9B ;89@!
G=H &! 5! % ! < -
@=;\>O<@\@@ ;88=!
G<H &! ,! $ !
<
8 14 *
9A\8@ ;8@=!
G@H N! X
! "
1
&" >
.'! C
;88=!
G9H ! 0 ! 0! 4 " D ! &
;88A!
G8H ! ! 4
! ,
C
;88A!
G;:H %! /! ' ! ) %! / R! 3
"D * >8A\A;>! ,
;88B!
G;;H %! / R! 3
! %
! ) %! /
R! 3
"D *
>BA\>=<! ,
;88B!
G;>H .! /]
.! 3
! , ! ) <
)???
1
1
1
;A>\;B: ;889!
9>
G;AH .! /
012!
>
<
-
1
1
! ,
C
;88=!
G;BH .! /
012! C # * *
4
* ! <
-
4 *
9;>O>=@\>9B >:::!
G;=H .! /
012 ! 0! & # + ! )
1
;B:;O9>\98
;889!
G;<H .! /
012 ?! &! ,
* O 4
X
! > *
-
AAOA;;\AA: >:::!
G;@H '! 3 ?! '! ! ' ! ) <
14 *
1
A<9\A@@ >:::!
G;9H .! ,! R
! ?
* D ! )
-
A: 3
U4
30# A;@\A>8! C
0 X^ ;89>!
G;8H .! X! 3! ,
! " 4 ;:AO>:=\>;= ;8@8!
G>:H .! '! ! , ! )
4
4 -
;;A: Q
6 3
A;@\AB:! &
;89=!
G>;H .! '! '! ! + * ! E
*
-
=ABO;>A=\;>BB ;899!
G>>H '! ! & ! 2
3 E
"
-
>BBO=>@\=A< ;89A!
G>AH '! &! &! ,* )! 2
3 E
"
-
><BOA<;\A@< ;89=!
9A
G>BH ! ! %U ! ) 4! 5]
! / 5] 3! %
! &] 1
* -
5 <
! /
.
1*- F:;! ;88;!
G>=H '! &
%! % Q! '! ' ! 1
14
>;O;>:\;>< ;8@9!
G><H &! %! 3 * * ! ) ! , .! /
<
1
1
>98\A;8! N+ C
;88A!
G>@H ! &! Q
!
<
?
F:8 >B<\><< ;88@!
G>9H 6! ?! ' ( ! ? ' ' Q >::>!
G>8H '! .! ! N ! < -
A=O><;\A:> ;89@!
GA:H R! Y! 6 ! E
*
-
<;AO8B>\8<< ;88<!
9B