Japan Advanced Institute of Science and Technology
JAIST Repository
https://dspace.jaist.ac.jp/
Title
直観主義論理のいくつかの部分論理に対するゲンツェン流Sequent計算
Author(s)
菊池, 健太郎Citation
Issue Date
2002‑03Type
Thesis or DissertationText version
authorURL
http://hdl.handle.net/10119/917Rights
Description
Supervisor:石原 哉, 情報科学研究科, 博士
! "
# $ %&$
! '
'
"& #
( $ "&
)
' $
"& $
! ' " "&
"
*&
+
' #
+
"
'
#
, $ "&
!
! ' "
" "&
+-
$ $ $ & $ +$.
, &$
#
'$ /0 *
1 2 $ 1 '$
$ $ 3 ( 2$
& $ 3 +
44 $ 4
45 . 6
! "
54 2 7
55 2 45
56 ! " # 47
58 * 59
$ ! 64 2 54
65 2 56
66 2 ! 5:
68 ; "& 69
6< ; "& ! 66
6= ! " % 6< 67 ! " #&! 6:
6: + ! 85
6> * 87
' ( ') 84 8> 85 <6 86 , << 88 * <= * *"
<4 2 <7 <5 ! " #&& ! =4
<6 * =8
+ , +*
& +"
"$
4>69 ?4:@ # "
#% '
A #
B) ' &
#
#%
' "
) # #%
C
BC) '
"
& $
$
!
& ! D+ ?57@
" C
/
& ! 6 ?49@ ! = ?58@0 ?57@ +
"
" '#+?55@
BC) ! D+
/(
?8:@C ?66@0
(
/
?4<@ ?67@0 '
/ FG 0
FG
FG
/0
FG
FG
/$0
FG
FG
/&0
( F
F '
$ 3
& $
F H
( ) #
$ BI)
?4>@ "
/
?54@0
($
?6=@ $ $
J&
$
# $
!#$
' $
/ / 00 / 0 / / 00 / / 00
&
# '
" . #
2
K
2
44A 2
+
&
. ?47@ ?<9@
; E '
H ) # #%
?5:@ "
#%
265
' ! !
'
# M?8>@ (, ?<@?=@
. ! ?4@ ?6>@?84@ ?8<@
!
$ ! / 0
! !
-
' # ! ( ?8@ '
F F F
' 2$ ?89@
& & / 0
' "
$ / 0
' #
( ( ?5@ # $
(
?<9@ & &
(
' # "
! !
+ $
$ ' #
$
! 5 )
#% # 2 54
" #%
" 255
# $
#
256 " #
&
! 6 ' #
! $
2 64 ' 2 65 ) .%
.%
$
' " .%
#% 2 54 *& 266 & .%
#& $ ! '
#& - $
!
( .%
#&
! -
5
' Æ .%
#&
!
"&
FCG 2 $ #
C & # #/ ?59@ ?5=@
?7@ /2 26>
0 2 68
"& %
' - "
) # N$
.%
%
-
FCG OCP
FOCGP
/0
FC
CF
/0
3 $ $
F FCG $ G
& ' %
' %
"/;#6590
2 6< "&
#&! %
#&!
$ !
' " %
#&!
2 6= 67 ' H "
# /0 2
%
#&! BC)
$
45
/0 ' "
#&&
! 2<5
!8 "
H +
"
+
GC
CG
/0
QCR
SCT
QSCRT
/0
PC
CP
/0
CGP
/ 0
QCR
GC
QGCR
/ 0
SCT
QGSCRT
/ 0
GPC
CGP
/0
45A
! < "
'
'
# /2 7 ?6@ ?69@0 2 <4
#&&
! "
#&&
! , $ #&&
! #&!
! / 2 860 ' " #&&
! 2 <5
" %
#&!
! =
$
"/0
265
2 66
264
2 68
2 6<
285
2 6=
2 67
2 <5 254 255 256
.
46A 2
) #%"
#
" '
) #%
' "
" '
"
'
'
FGP#
2 /0
2 / 0
2 /0
' "
!0 ( A
A # A
/0U/0
/ 0U
/0U H
/0U
/0U
/0U H
/0U
/0U
/0U H
/0U
/0U
(
/0U
#% #
!0! ( FG #%
/0U F
/0U G
!0$
/0U
2
* #% #%
A
, #%
1
FG
FG
/0
FG
FG
/0
FG
FG
/0
FG
FG
/0
FOG
FOG
/0
F GP
F GP
/0
, 1
FG OP
FOGP
/ 0
( 1
FG
FG
/40
FG
FG
/50
FG FG
FG
/0
FG FG
FG
/0
FG
FG
/40
FG
FG
/50
FG OP
FOGP
/0
FG
FG
/0
#% FG
FG #%
*& #%/ 0 #%
#%/ 0 Æ
' 58 "
#%
!0* E ( / 0 /#%/ 00
/ 90
#%/ 0 / 0 / #%/ 00
# A
/240
/250
/260
/280
/2<0
/2=0
# !0+ ! / 0
/
0
E
2 / 0
44 # /
0 /U90
A
4 /
0U/ 0
5 4 /
0 /
0
54
/
0U/
0
+ /
0/
0
&
#%/ 0 '
#%/ 0 /
0
/
0/
0 + #/
0"
/
0 &
#%/ 0 '
#%/ 0 /
0
56
/
0 #
/
0 /
0
55 #/
0 /
0
58
/
0U/
0
54 /
0
/
0
5<
/
0 #
/
0/
0 + #/
0"
/
0 &
#%/ 0 '
#%/ 0 /
0
5=
/
0U/
0
+ /
0/
0
&
#%/ 0 '
#%/ 0 /
0
57 . /
0U/
0
' /
0 9 /
0 "
/240D/2=0 # 54D5= '
/
0 #
#%/ 0
2 F G #%/ 0 E Æ
F G ' /Æ0
E 5= & /
Æ
0
ÆÆ
*#
A A
/0U
. FG 2
Æ Æ
Æ
/0U
Æ
/0U
4
/0U/0U #
Æ
/
Æ
0
/0U/0U
5
/
Æ
0
Æ
/ 0U #
6
/240
/
Æ
0
/0U
/0U
/0 U Æ
Æ
Æ
/250
/0U
/0U
/0U
8 2
<
Æ
/2<0
/
Æ
0
/0 U
/0 U
/0U Æ
Æ
/2=0
/0U
/0U
/0U
' 58 E 57
!04 2, #%3 F G F G
#% FG
!0) 2,5 #%3 FG FG
#% #% "
) #
$ N$
'
" # &
' "
' # #%
3 # # &"
F # #
# A
, #
1
F
F
/0
F
F
/0
F
F
/0
FO
FO
/0
, 1
F O
FO
/ 0
( 1
F
F
/40
F
F
/50
F F
F
/0
F F
F
/0
F
F
/40
F
F
/50
F O
FO
/0
F
F
/0
' '
" '
#
!0 6 E J&
( ! A
/ 0U /0U
!"
A #
A
/ 0U/ 0
/ 0U
/ 0U H
/ 0U
/ 0U
/ 0U H
/ 0U
/ 0U
/ 0U H ?
/0U
/0U@
7- !0 ! 94 U /990/940/440
!" /90 U /40 U '
4
9
'
/90U
/ 90U 94
/40U
/ 40U +
// 090U
E !" ! A 5
U/ 0
/0U / 0U
U H
/ 0U
' ;#549
!0 ! ( !
J&
5
/0 /0
A
U
H /0
U
U
H U
U
U
H U
U
U
H ? U
U
@
U
F U
F '
( !" U
# !0 $ !
U U
4 # U
5 U # U
6 2 U ' U
U U U + U
8 (
< 2 U 'U
U ' 2
U U U
' # !" #
!0 ' !" "U
#
# A
U
F H U
F U
' '
( F !" UF
!0 * ! U
U
U
2
# F !
F # +
/0 /0 '$ !" /0
U FO 2 U FO U
UF UO 2 UF U
U U 3 U O
U /0 U F
2 UF ' U U '
E 546 U F 2 U F
U
' #
!0 " E ' / 0 /#0
/90
# / 0 /#0
*
- #
# '
# !0 4 ! / 0
/
0
E
#
/
0 /U940 A
/
0 U / 0
/
0 U
/
0 /
0
/
0
' /
0 /
0
&
# +
# /
0 ' /
0
& /
0
# F !
'54=
F # E F '
/0 E54: & &
/0 / /00 *#
!"
A
&
/ 0
/0 H
/0 U/ 0
/0
J& / 0
/0
/ 0
/0 /0
/0 '
!" .
/0UF F !"
2 Æ
/0 U / Æ /0 U 0
/ 0
/ 0U
4 #
U
5 / 0
6 2 2 #
/ 0 + 2
/ 0 U / 0 U ' / 0U
/ 0U / 0U / 0U '
2
# / 0 +
8 2 2
# / 0 +
/ 0 U / 0U '
/ 0U / 0U '/ 0U
/ 0U 2
# / 0
+
< 2 ' / 0 U
/ 0
/0 /0 U ' #
2
# /0 +
/0 U
' / 0
F# F
'F # / 0 '
/0 /
/00 * / 0
/0 /0 U /0U
' / 0U
" # ! $
# '
" #
" &
&" "
#
!0!6 ' /0 # # A
4 /0U4
5 " /0 U
/0V4
6
"
/0U&/
0/
0V4
* " #
!0! 2,5 #3 F F
# #"
& A
F O
FO
/&0
O O O
'
F O
FO
/ 0
&
F O
FO
/&0
FO
' Æ &
&" " .
& &
E
"
& ' &
/
0V/
0 E
& A
4 (
5 *
&
6 ' &
8 ' &
! 4 .
O
O
/&0
'
'
/0 $$
F
F
/0
F
/&0
' /&0 /0 '
! 6
! 5 * &
#
/0
/40
F
F
F
/0
O
O
/40
FO
/&0
O O O
F
O
FO
/&0
FO
' /&0 .
O
F
F
F
F
/0
O
FO
/&0
FF /O 0
/&0
FO
/&0 '
/0
/50
/40 /50
/0
/0
/0 $$
F
F
/0
O
P
OP
/0
FO P
/&0
O P
F
F
/0
O
FO
/&0
F
FO F
/&0
F
F
/0
P
FP
/&0
FO F F
/P 0
/&0
FO P
' /&0)
O P /&0)
*&
&
/0 &
$$
F
O
O
/0
FO
/&0
'
F
O
FO
/&0
/&0 '
/0
/ 0
/0
!6 * &
/0
F
G
FG
/0
O
FGO
/&0
'
F
G
O
GO
/&0
FGO
/0
! 8 ' &
/0
F
O
P
OP
/0
FO
P
/&0
O P
F
O
FO
/&0
F
P
F/P0
/&0
FP
FO
FP
/0
FO
P
' /&0)
O P /&0) '
/0
% &
.89 #%: # 5 ?4:@
#% # (
H)
/G #0
F G
F G
/0
FG
FG
/0
" #%#
+ #
. "
# ! 8 ?87@
' "
" '
#% /0 # ' "
$
/240D/2<0 ;# 5<
2 "
" ?86@
# "
)#%
"& )
# "
"
2 # $ $
J&
$
+
# $
! # $
' $
!
&
#
'
$
! #
$0 (
5
( !
/0 /0
A
U
H /0
U
U
H U
U
U
H U
U
U
H ? U
U
@
U
F U
F '
( U
7- $0! ! / !"0 9456
/0U 56 /0U 6
/0U '
6
5
4
9
' 5U 6U 9456 6 +
4U/0 + 4U 5U 5U ' 9U//00
/0 //00/0
. 6U 4U /0 + 6U
6U 5U 4U/ 0 ' 9U/ / 00/ /
00 //00//00
# $0$ !
U U
4 # !"
5 U # U
6 2 U ' U U
U U + U
< 2 U ' U
U ' 2
U U U
" '
.%
?5:@
' H
.%
$
"
.%
.%
# & FG '
.%
$ #
$0' " U
.%
# A
U
FG H U
F U
G
' ( F G
UFG
$0* U
U
U
2
* .%
.%
A
, .%
1
FG
FG
/0
FG
FG
/0
FG
FG
/0
FG
FG
/0
FOG
FOG
/0
F GP
F GP
/0
FG OP
FOGP
/ 0
( 1
FG
FG
/40
FG
FG
/50
FG FG
FG
/0
FG FG
FG
/0
FG
FG
/40
FG
FG
/50
G
F
G
F
G
F
/0
9G
U
½
F
U
·½
#
% 4A
/0/40/40/50/50/460
/450/60/560/480/40/0
' 5
/
0/
0#
& U945 /0$
/0
/0
/0
' /0 .%
F
¾F¾ /¾0
¾/
0 & U5 /0
¾/
0¾/
0 ¾/
0 /¾0
/0 .%
$0+ 2 .%
3 FG FG
.%
FG
F G .%
+
/0 E
G
F
/0 .
U
2 U
4 ' U U '
ÆU! U
4! $G
! Æ
2 U G
F
U U
F
Æ G
F
+ U
U
U
# Æ
' U
*& .%
/ 0 .%
.%
/ 0 Æ
' 6= "
.%
$0" E ( / 0 / .%
/ 00
/ 90
.%
/ 0 / 0 /.%
/ 00
# A
/240
/250
/260
/280
/
0
2 / 0
2 / 0
E
2 / 0
44 # /
0 /U90
A
4 /
0U/ 0
5 4 /
0 /
0
54
/
0U/
0
+ /
0/
0
&
.%
/ 0 '
.%
/ 0 /
0
55
/
0 #
/
0/
0 + #/
0"
/
0 &
.%
/ 0 '
.%
/ 0 /
0
56
/
0 #
/
0 /
0
55 #/
0 /
0
58
/
0U/
0
54 /
0
/
0
5< . /
0U/
0
' /
0 9 /
0 "
/240D/280 # 54D58 '
/
0 #
2 / 0
2 / 0
.%
/ 0
2 F G .%
/ 0 E Æ
F G ' /Æ0
E 6: & /0 2 /Æ0
Æ 2 / Æ0 *# A
/ 0 2 /Æ0
/ 0 /0 H /0 ? @
/0 U/ 0
. /0UF G FG
2 Æ Æ / 0
/ 0U
/ 0U
4 / 0 /0 #
/ 0 U / 0
/ 0/0 / 0U
5 / 0
/ 0U # U
6 /240
/ 0 / 0U / 0U
/ 0U /250
/ 0U / 0U / 0U
8 2
< 2 # / 0 /0
/0U /0U
' / 0 /0 /0U /0U + / 0U
E
" '&
/Æ
045
Æ
G
F
/0
.%
/ 0 / 0 (
E6: /Æ
0
/0 Æ
2 /Æ
0
2 / 0 2 /Æ0 / /0 0 #
/ 0 /0/0U/0U '
/ 0U
$0 6 2, .%
3 F G FG
.%
FG
$0 2,5 .%
3 F G F G
.%
.%
"
"" (
#& .%
#& $
! "
' #& $ #
.%
' #&.%
/0 A
G
PF
G
PF
G
PF
P
/0
9 G
F
/0 .%
$0 ! 2 #&3 F G F G
#& FG !
F G #& +
/0 E !"
G
P F
/0 !" .
U P
2 U P
U
4 ' U
U ' U P E 66 + Æ U! U
4 !
$ G
! Æ 2 U G
P F
U U
F
Æ
G
F
+ U
U
U
# Æ '
U
*& #&/ 0 #&
#&/ 0 Æ !"
' / #&/ 00 #
;#67
# $0 $ ! / 0
/
0
2 / 0
2 / 0
2 E6:
FG #&/ 0
2 F G #&/ 0 E Æ
F G ' /Æ0
E 646 & /0 2 / Æ0
Æ 2 / Æ0 *# !" A
/ 0 2 /Æ0
/ 0 /0 H /0 ? @
/0 U/ 0
/ 0 /0 / 0 /0
/0/0 ' !" . /0UF
G F G !" 2 Æ
Æ / 0
/ 0U
/ 0U
' +
'
E 6> 2 # / 0 /0
/0U /0U '
/ 0 /0 /0 U /0 U + / 0 U
E
" ' & /Æ
0 4 5
Æ
G
F
/0 P
#&/ 0 P
/ 0 ( E 646 /Æ
0
/0 Æ
2 /Æ
0 2 / 0 2 / Æ0 / /0 0
# / 0 /0 /0 U
/0U ' / 0U
' 645 E648
$0 * 2, #&3 FG FG
#& FG !
$0 + 2,5 #&3 F G F G
#& #& "
"% )#* '
2 65 .%
"
".%
+
.%
5
' Æ .%
' .%
$ - "
' "& %
)
#
%
$
$ '
" %
26=
%
# & FCG
' $ #
$0 " U " U
%
# A
U
FCG H U
F
? U
G U
@
' '
( FCG UFCG
$0 4 C
'
U U
'
U / 0
U
U
¼
+ U
¼
U
¼
C C
* %
%
A
C
C
, %
1
FCG
FCG
/C0
FCG
FCG
/C0
FCG
FCG
/0
FCG
/C0
FCG
/C0
FOCG
FOCG
/C0
FCGP
FCGP
/C0
, 1
FCG OCP
FOCGP
/ 0
( 1
FCG
FCG
/40
FCG
FCG
/50
FCG FCG
FCG
/0
FCG FCG
FCG
/0
FCG
FCG
/40
FCG
FCG
/50
FCG OCP
FOCGP
/0
FC
CF
/0
' '
$0 ) 2 %
3 FCG FCG
%
FCG
FCG %
+
/0 /0 '$ /0
UFOCGP 2 UF O UGP
2 UFCG U U
U 3 UOCP
U /0 UCF 2
UF 2 UFC U
U ' U ' UCF
' %
$0!6 E ( /0 / % 0
/ 90
C
%
/0 / %
0 "
# $0! ! /0
/
0
E
#
/
0 /U940 A
/
0 U /0
/
0 U
/
0 /
0 "
/
0
' /
0 " /
0 "
&
C
C
%
+
C
%
"/
0 ' /
0 "
& " /
0
$0!! 2, %
3 C
%
' ' 64> "
64: C %
'
/0 " E 654 & & "
/0 / " /00 * #
A
& "
/ 0
/0 H /0 "
/0U/ 0
. /0U
/ 0
/ 0U
4 # U
5 "
/ 0
6 2 2C %
" / 0 + 2
/ 0 U / 0 U ' / 0U
/ 0U / 0U / 0U '
2 C
%
" / 0 +
8 2 2 C
%
" / 0 +
/ 0 U / 0U
' / 0 U / 0 U '
/ 0U / 0U 2
C C %
/ 0 +
< 2 ' / 0 U
/ 0
/0/0U '/0 "#
2 C
%
" /0 +
/0 U
' /0 "
FC %
F
' CF %
"
/ 0 + /0 " E 654 &
& " /0 /
" /00 * / 0
/0 /0U /0U
' / 0U
"+ )#* (
"& !
# %
$ ! ' # #&! #&
266
2 #&! $ #
%
' #&! %
/0
FCG
CFG
/0
!
'
!" U U
'
U
U
U / 0/0
!" '
U
U
¼
2 U
U
¼
+
U
¼ C C
$0!' 2 #&!3 FCG FCG
#&! FCG !
FCG #&!
/0 '$ !" ' UCFG
U FG ' E 66 U G 2
U FCG U
U ' U + UCFG
' #&! # "
& " / #&!0 ;# 659
# $0!* ! /0
/
0
2 E654
$0!+ 2, #&!3 C
#&! !
' ' 658 "
656 C #&! '
/0 " E 65< & & "
/0 / " /00 * #
!"
A
& "
/ 0
/0 H /0 "
/0U/ 0
/ 0
/0 / 0
/0
/0
/0 '
!" . /0U
!" '
/ 0
/ 0U
' 655 2
' / 0 U / 0
/0 /0U ' /0
" #
2
C #&! " /0 2
/0 U
' / 0
" FCG #&! F G
' CFG #&!
" / 0 + / 0 " E 65<
& & " /0
/ " /00 * / 0
/0 /0 U
/0U ' / 0U
", # ! )'
268 %
'"
" %
. " %
"
%
$0!" ' /0 %
# A
4 /0U4
5 " /0 U
/0V4
6
"
/0U&/
0/
0V4
* " %
H " # ! 8
$0!4 2,5 %
3 FCG FCG
%
%
"
& A
FCG OCP
FOCGP
/&0
P P P
'
FCG OCP
FOCGP
/ 0
FCG OCP
FOCGP
/&0
FOCGP
' Æ &
&" " .
& &
E & &
E
"
& ' &
/
0V/
0 E
& A
4 (
5 *
&
6 ' &
8 ' &
! 4 . C
C OCP
OCP
/&0
'
' C
/0 $$
FCG
FCG
/0
C
FCG
/&0
' /&0 /0 '
! 6
! 5 * &
*
/0 /0
& /0 +
/0 /40
FCG
FCG
FCG
/0
OCP
OCP
/40
FOCGP
/&0
P P P
FCG
OCP
FOCGP
/&0
FOCGP
P
FCG
FCG
FCG
FCG
/0
OCP
FOCGP
/&0
FFOCGG /P 0
/&0
FOCGP
' /&0
/&0
!6 * &
+
/0
FCG
QCR
FQCGR
/0
OCP
FQOCGRP
/&0
'
FCG
QCR
OCP
QOCRP
/&0
FQOCGRP
/0
/&0
! 8 ' &
'
/0 ' +
2 84
/0
/0
FCG
FCG
FCG
/0
PC
CP
/0
FCGP
/&0
P /C0
/C0)
P C
CP
/0
FCGP
GC
CG
/0
PC
CP
/0
CGP
/&0
P /0
QCR
SCT
QSCRT
/0
PC
CP
/0
*
QCR
GC
QGCR
/&0
SCT
QGSCRT
/&0
QGSCRT
' /&0) * G
" QGSCRT Q SCRT
. /C02 84
G /C0) , $ / 0)
G)
GP C CGP
"- # ! (
" #&! '
%
" "
" #&!
#&!
$0!) ' /0 #&!# A
4 /0U4
5 " /0 U
/0V4
6
"
/0U&/
0/
0V4
#&!
# $0$6 $ FCG #&! "
% FCG FCG FCG
#&!" " G G
G
FCG +
/0
FCG
CFG
/0
FCG
F /C0
/C0)
F CG
CF G
/0
CF G
' CF G CF G
* " #&!
$0$ 2,5 #&!3 FCG FCG
#&! #&! "
& A
FCG OCP
FOCGP
/&0
P P P
'
FCG OCP
FOCGP
/ 0
&
FCG OCP
FOCGP
/&0
FOCGP
' Æ &
&" " .
& &
E
"
& ' &
/
0V/
0 E
& A
4 (
5 *
&
6 ' &
! 4 . C
C OCP
OCP
/&0
'
' C
/0 $$
FCG
FCG
/0
C
FCG
/&0
' /&0 /0 '
! 5
!5 * &
+
/0
FCG
QCR
FQCGR
/0
OCP
FQOCGRP
/&0
'
FCG
QCR
OCP
QOCRP
/&0
FQOCGRP
/0
/&0
!6 '&
'
/0
/0/40 /50 /0
2 64
/0
FCG
FCG
FCG
/0
OCP
FOCGP
/&0
( E669
OCP
& '
FCG
FCG
OCP
FOCG/P 0
/&0
FOCGP
FFOCGG
/P 0
/&0
FOCGP
'/&0) /%&E669
/00
2 65
/40
FCG
FCG
/40
OCP
FOCGP
/&0
( E 669
OCP
& '
FCG
OCP
FOCG/P 0
/&0
FOCGP
' /&0
2 66
/50 2
2 68
/0
/0
FCG
CFG
/0
OCP
COP
/0
CFGO P
/&0
. # OCFGP &
P P P
"
/C 0 P
FCG
CFG
/0
OCP
OCFG/P0
/&0
OCFGP
OCFGP O /C0 /0
E
QCR
SCT
QSCRT
/0
OCFGP
QCR
FCG
QFCRG
/&0
SCT
QFSCRG T
/&0
QFSCRGT
'/&0) *FG
" QFSCRGT Q SCRT
. O /C0 QCR
/C0 FQCGR /C0 /C0 ,
$ OCFGP
FO CGFGP
CFO GFGP
/0
CFGO P
". / '
(
+
!
"& +
?45@ ?48@ ?6=@ ?84@ ?88@ +
+
+ $
!
#&
F ///
0
0
0
F
F
* + +
&
/(40
/(50 /0/ 0/0
/(60
/(80
/(<0 /0/0/ 0
/(=0
/(70
/(:0 /0/ 0/ 0
/(>0 /0/0/0
/(490
A
/3 0
/(0
/0
# $0$! +
C
%
+
C
%
& +
/3 0 C
C %
' " "
C %
' " /0
C %
C C
%
' /(0 /0
*& E 665 . Æ
+ $
/ ' 445 ?44@0
+
# $0$$ % " +
/'0
/0
/'0
/0/ 0 /0
/(50
/0/ 0/0
/3 0
/0
/0/0 /0
/(<0
/0/0/ 0
/3 0
# $0$' % " +
/ 0 / 0
/ 0
/' 0
/ 0
/ 0
/'50
/' 0
/ 0 / 0
/ 0/ 0
/0
/(50
/ 0/ 0/ 0
/ 0
/'0
/'50
/ 0 /(0
/ 0
/ 0
/' 0
# $0$* % " +
/ 0
/0/ 0
/(60
/0 / 0
/0/ 0
/'0
/(80
/0/0
/0/ 0
/'0
# $0$+ % /0/ 0 +
/(60
/(40
/0/0
/0/ 0
/'50
/(80
/0/ 0 /(0
/0/ 0/ 0
/0
/ 0/ 0/ 0
/(<0 /0/ 0 /'0
# $0$" % /0/ 0//00
+
/0 / 0/ 0
/(>0 /0/ 0//0/00
/(:0 /'50
# $0$4 ! FCG %
F /
G 0
+
F/
G 0 +
"
F
G
F /
G 0 ' /'0 /'50
/
F0
F
/
F0
F +
' %
+
FCG FCG
FCG
/0
+
F/
/G00
F/
G0
F/
/G00
F/
G 0
F/
G0/
G 0
/0
/
G 0/
G 0/
G/0 0
E667
F/
G/00/'0 +
F/
/G0
0 +
FCG OCP
FOCGP
/0
F/
G0
F/0/
G0
E 66<
E66=
/
G0/
G
P
P0
F/0/
G
P
P0
/'0
' /
F/ 00
O /
G
P
P0 +
/
F/ 00
O /
P0
O /
/P0 0 /
F/ 00
O /
G
P 0
/' 0
E 665 66:
$0$) +
C
%
E 665
C %
' E66:/0 +
2
/(40 +
/3 0
! ' 66> ' 655
$0'6 2, ;% 3 +
*& + ! #&!
'+ + & /(40D/(490+
A
/(440 / 0
/(450 / 0
/3 0 * /(0 /0 +
+ /3 0 & /(440 /(450
# $0' + C
#&!
+ &
/(440 /(450 C #&! '
E 665
# $0'! ! FCG #&!
F /
G 0
+
F/
G 0 + "
E66: ' H
FCG
CFG
/0
' +
/(450
G/
G0
/FG0/
G0
F/
/G00
/FG0/
G0
/FG0 /0
/'0
/
/FG0/00 /(0
E 684 685
$0'$ + C
#&!
2 ' 66>
! ' 686 ' 65=
$0'' 2, ;&3 +
!
' !?45@
;L?48@,?6=@+
& # $ $
' ! M ?8>@
( , ?<@ ?=@ . !
?4@ ?6>@ ?84@ ?8<@
"
. ?47@
$
?<9@ ; E
' .%
2 65
?5:@ +
# #
&
$
2 " .%
/ #&0
&, !
' # ! ( ?8@ '
F F F
' 2$ ?89@
& & / 0
/%& !
?8<@0 ' "
$ / 0
' #
( ( ?5@ # $
(
?<9@ &&
5 - '
"&
! ?89@ '
/ 0
$ '
# /'
' 64>
& C %
0
; "& ?45@ ?48@ ?6=@
# %
5 - + "
&
¾ & "&
#
FCGP
F¾CGP
/¾0
FC
CF¾
/¾0
' " "&
%
.
$ #
?>@ ; ?46@
& +
?56@ "
. %
#&!
5" 3 ?64@ 5"
F
F
G
G
/
F
G
0¾//
F
G
0¾/¾/
F
G
000
5" +
; . /;"
6470 # F
CF
%
#&!
5" U5 G
G
U ' "&
#5"
Æ
! /($ 2?85@
" 2< F
CF
G
CG
5" U50
"
H ! 6
+
+ ' "
"& ! 6
&
% 1
2 # "
' !
/ "
0
+ "
#
+
&
'
# # #
# ( #
& F
#
A
, #
1
FG
FG
/ 0
FG
FG
/0
FG
FG
/0
F GP
GFP
/ 0
( 1
F GP
GFP
/0
F
F
/0
#
"
' #&,% #&,< #
/0 / 0 ' #&, $
#
/0 / 0
*& + #
' &A
/0 / 0//0/00
/!0 // 00/ /00
/0
/0 / 0
/0 //00/0
A
/0
# + ! ! ! ! "
& /0
#&,#&,%#&,<
#
'0 ! ! ! !
#&, #&,% #&,< #
+
& +
/0
/0
/ 0
' ' 84
F # A
F U F
F U /F0
# '0$ % " !
/ 0/ 0
/0
F
F
/
0
/0
/0
/0// 0/ 00
/ 0/ 0
/0
/
0
F
/0
/F0/F0
F
/0
# '0' % /0//F0/F00 !
F F
/0 FUF
/ 0
/0//F
0/F
00
/0
//F
0/F
00//F0/F00
/0//F0/F00
/
0
# '0* % " !
/ 0
/0 /& 0
F
/0/F0 / H
0
/&0
/ 0
/!0
// 00/ /00
/0
/0
/ H
0
F
E88
/0//F0/F00
/F0//0/F00 /& 0
/0/F0
/0
'0+ ! F #&, #&,% #&,< #
F ! ! ! !
& /0 !
! A
/0
/0
/!0
//00//00
/0
/0
/0
/0
' +
F GP
GFP
/0
+
G/ /P00
F
/0/F0 / H
0
/ /P00//0/F/P000 / H
0
G//0/F/P 000
/
0
FG
FG
/0
F// /G000
/!0
// /G 000/ //G000
F/ //G 000
/
0
'
# +
& /!0 ' +
! & /!0 A
/
0 /0// 0/00
'+
&
/0 /0 * & /
0
!
!
! !
(%&65&/0/!0
$ '
+
!
( +
!
2 6:
& +
+
! "
+
&
A
/0
/0 / 0
/
0 /F/ 00//F/00/F/000
A
/0
' ! .
& /0
/0 A
F/0 F/ 0
F/0
! (
/2 ?48@ 0 2
!
$
!
'0" 2 &
%3
!
+
& /
0 !" !"
/0
/
0 $ !" ' U/F /
00//F/00/F/000 UF/ 0 '
E66 UF/ 0 * UF/0
Æ UF/0UF/ 0
UF/ 0 ' F
/0 !"
!" U ' &
U
*
U
U
U / 0/0
!" '
U
U
¼
2 U
U
¼
U
¼
U
¼
'04 2, &
%3
!
'87 #
;#
A
H
' !"
# F/ 0 F/0
F/0
/0 U
#
/0
/0 '
!" .
!" #
Æ
U
'
# U
! U # U 2
# /0 # + (
' #
3
# F / 0 F / 0
F / 0 # U
* U
U ' U
!
&
/0 / 0//0/00
/
0 /0// 0/00
/0 /
0 F /
0# /0//
0/ 00/0 /0 /0// 0/00 /0 '
/
0 /
0 FU
. &
/0 //00/0
/!0 // 00/ /00
!"
%& 65
(
!/U
0
/U !
0
!
!/UEE
0
84A ,
+
!
EE
"
!
/ 0 *
! ( &
/
0 ! // 0 / 00 // 0 / 00
& !
& /!0
"
?4<@ ?67@ ' & /0 /!0 /0 /0 /0
/
0#/"0
2?58@ ' "#&,#&,%#&,<
#
2 ?68@ $ #
=# $ #
' + =#
& /0 /0 /0 A
/ 0
/50
' ! !! !/'84 8=0
"$ . ' 8= ?5>@
' +
2 85 ;L ?48@ .
' 8:
?48@ . H ;L
U W) E
"
'
"
+
+
&A
/0 / 0//0/00
/
0 /0// 0/00
/0
A
/0
' /27 ?6@ ?69@0
# / # 2<60
" (
/?:@ ?5<@ ?65@ ?6<@0 &
&
+ # #&&
! #&&
!
A
, #&&
!
1
FG
FG
/0
F G
GF
/ 0
G F '
( 1
F G
GF
/0
F
F
/0
#
#&&
!
#&&
! &
# *0
#&&
!
/0
/0
/0
/0 /
0
/ 0 /0 /0
#&&
! ' "
" #&&
! ' "
/0 #&&
!
#&&
!
E <4 F /;# 850
# *0! % "
/ 0/ 0
/0
F
F
/
0
/0
/0
/0/ 0/ 0
/ 0/ 0
/0
/
0
F
/0
/F0/F0
F
/0
# *0$ % "
F/ 0
F/0
F/ 0
/
0
/0/ 0/0
/ 0/0
/0
F/0
/
0
# *0' % "
/ 0
/ 0/ 0
/ 0
/0
/ 0/0/ 0
/ 0/ 0
/
0
# *0* % "
/ 0
/ 0/ 0
/ 0
/
0
/0/ 0/ 0
/ 0 /0
E <6
# *0+ % "
FG
F/0G
/G 0 / 0G
' /
0 G
/0 GUG
/
0
/0/ 0
E<8
/0/G
0G
/ G
0/0G
E<<
