Curs - Oxford University-Lambda Calculus

!" # $%&
(' )*+,* -* ./01 2334

2

' /' / / 1/ / / ' ' 0

/ / ' * / / / ' ' /' *

- ' ' ' / '' /' / 0 /0 /0 0 /

+

' ' ' /' / /0 0 / * ' / 0

/ / /' ' ' /' /

/ / /

1 / /
0
/0 /0 0 *

1
!

/ 1' / 0' ' / ' / 1 / / +

"

/ ' ' / ' / 0' ' / ) ' +

"
#$%

/
' /
'

' /
' ' '/
0 /0 /0 0

+

/ ' / /' / / / / / /' ' /

&'( "

/ *
)*+, - . , - , -)/ 01/ )
# ' / 0 0' / '

/ # 2 *
)*)0,)2 /)3)/)0)
4 ,* / 0 *
#
* +, / 1
567 89:;<9 =9>?@>@ A

/1 23 *
BC
* * 1 *- /1 / * * *) 0 / 1 23 3*
)+ 0 ' /
4 D E F E
G HIJJK 9L < 5MN 7 O
G B
' ) ' /'

P

4*
)* * / *
Q F
R7:9LS ? JK HIJT I9::LT 89LT@9T 7U R SI@ ?S@I7 9L < 57?6LV@ 7 * WX G 1
233 *
4
Y
* *
4 F Z G
/* -) ' / ! 0 /0 /0 0 *
567JI7S ?9> =J:N @S 7I R? 7L ?7
34 *

[ "YY\ Y^^
] 12 ^
_`abcdb dbef ceg hijjbhklie ki mnopnqmrs tnu trp tvw x *

Y

2*2 #' / / ***************************************

C
2* Y *******************************************
C
2* \ / '/ / / ************************************
X

^
2* C +' / / /
/********************************

^
2* ^ / * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
!

2* / ******************************************
!
4
2*4 )/ ********************************************

4
! "#$ %
Y *2 G/" /'
/ * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2&
Y *Y P ' /
/

/0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2&
Y\ * P

/0
* * * * * * * * * * * * * * * * * * * 22
YC * ) '+
' /*************************** 2
+
Y
Y^ * ' ) '+

/( * * * * * * * * * * * * * * * * * * * * * * 2 ^
) *+$, -$ .
\ *2 ) / 0 ************************************* 2

B
\Y * ' / 0
Q

************************************ 2

B
\\ * ) / ' / * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 23

\C * / / / ************************************ 2

Y
\^ * / / / / 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *

YY
12*3 ,* !4
C *2 /

0/ ' /' * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
Y
C Y * G

************************************* Y 4
[ + * # + 5 *+# $ )
^ *2 / ******************************************
W

\ 2
^Y * ) + +/
- 6 +' ' * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
\Y
^\ * ' / / '/
Q

*************************

\\
^C * ) + + +' ' * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
\
^^ * )/ ,

*****************************
%
\ 4
4 78, 9 1$ ",$ , %
*2 A * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * C&
\
*
Y P
/0 /

************************************** C &
*
\ / '
O
+' / ******************************

C\
,+* [!
1 * *$$ $ [)
0*+# $$, [4
5,5$ , $ $# 4
C

X / ' / / ' /

/ +' ' /

P

/ /* /
/

+' ' 1 '
'/ '/

/*
+ /

/ +' '
]

+ ' //
@LSMN +' ' *
7<

/ / ' *

+ 0 2) ,
/ +'

'
* + / / ' /

/0
"
/
4 +

4 / +

/ ' ' / c alhcklie
4 +

/
+ 9;SI9?SJL cdkjchklie +
*
"*, ' :7S9+

'*
/0 +
1 / 1 !

'*
/ / * Z /
'/
J;" 7?S+ * * !
/0
'*

+ *

1 1

/00 * /
/
# / 0
/0

'
/ * X

/6
/ * '

/ 1
/0 / / /
'/ 0

1 $ '

/0 ' / / /

"
% &'()*&+),-. &((-+,&)/( )- )0/ *,10)" 2 3 / 24 3 *

% &556,+&),-. &((-+,&)/( )- )0/ 6/7 )" 2 3 / 24 3 *
8 / 8
/ 2 3 / 2 3 '
1 9 : &* P
8;
/ 2 3; 9 : &*
< = +/ + *)
Q / '' /' /

i>ef
/
'
'
/ ?
/ * ! /

AB '/

/

jbb @
"
AB CDFE G H
AB CDFE AB I AB
AB CDFE AB ? G H
Q

ha idbf '' /' / /*'

J

*

+

1 / JK

' +
) *, 5$ ^
/,+, 0),
5,$+$$ /

* /*0*
hiebjkl ab1
/ F 1 /
/

/ /0
/

F ! ! F !!
' 0 +'/

<7LS?9>

/
'
'

/
/
/
* '
/ MLS9?S ?
/
'/ F
+'/

* P F *
8,$+ 5$ '

'//
/ / "
'

/ /
/

0/ / /
/ +
2 3 1 / ''/0 /

/
/' / '

// /

'' /0
/ 2 3 *

0)/ +2 1= , , 1,
'
+
/
( +''
/'
/* Q '
/ /
*
+
'
?
/ /
'
/ '/
0

+'/
'

/ * Q
'

/
/'
/ / / / 0/
* / *0 * /

*
5,$ / +
0
/
* '
/ / +
/

'
/
/
(
F _x
_x / /

K I77 ''/'
* +$$
/

// 0 '* / +' '
X

4

/ / /** /
/
:N > ?S

_ x

$ ' /0 0
/

/
_
x <7LJSLT
+ /

/0
''' /' / *

/ / / /
4

@LI7SI ?S 7<

/ *
'/ / ' / 1 1 + ' '

W G / 1
/ '
_WG '3 1 / ' / /
Yx
+

' /
/*

/
P

/
' / "

CDFE

_ x

; _ x CDFE ; _ x _ x

_ x CDFE _ x
[ ,* ,$ #
A

/
9; 7L ?7
' / / /1

' '

CDFE
_ x _ x AB
_
x

_ x

! ! _ !x ; ; *

,$$ 7# +$$9 -* &. &*,&'6/ ,(),.+) 7*- ,7 -/( .-) - ++ *
7*// ,. ;
_x _; x _; x _ _; xx
, ' /'
/ /

'
* )/
' /0 * X

/
/ _; x * X
/
;
_; x _ _; xx ; _ _; xx
' ; /' /
'' / ; * !
//0 ' /0
/'

/ 1
0 * A
24 *
24 _x _; x 2 _x _; x4 _x _; x / ' /

*
2 _; x _ _; xx4 _; x _ _; xx
2 _; x4 _; x_ _; xx
24 _; x _ _; xx
' /0 /
'
/
/ ' *

/+* , -)/ ) +2
' / 0 / 0'
_

,

% _ BBx W %/ , / /
/ 4* ' ' / ' / / /
_W B x x Q S67JIM

*
/ '
X

$ + /

/ / 1 /F *
, *

0 /
?67:9 *
2 /'"

/ F
/ /'
/
7,$5$ 9 F
7 **, 9 F
F
7,$$5$ 9 F F ;
F;
Y ?J:N9S;>7 ?>J@I7"
/

F ?JLTI@7L?7 * * F '/

4 $# $ 4

7$$9 F F
F
7+,$9 F
F
\ +'//
F _x

/
/0 '
/
'' / *
F
'
F
/

F /

* P *
JS9SJL '
/
F F *
,
/

"
2 X ' / / (

Q

?JLS 7LS
' /

* ' / /0 ' / /'
"
/

/ /0 / 0 ' *
Y X
' / / * * /

/ 1
F 1 F

/ 0 / /0 / F /' / / (
]

]

\ X
F / / '
(
)2 ,
! +

/ ;1 ;

bf ilek ; F ; * Q bfilek hi leckij
*

'

' F

+ Q hi leckij $
' +
1
'
X
*
/ / / +' ' 1
+'

' /

*
,$$ 4 7 $, ",$ ,*9
0/*/ &*/ &. /5 -,.) +-',.& )-*( ,. )0/
+&6+ 6 (
,
+/ / / "
4 )% '
' /

" CDFE
4 /0 + /' /
%

" CDFE /
*
! F F F *
,) ,
/
X

+

'/ / *' +

'* /

'
'
]
6 J>7 9I9;>7

*/ '/

" 00
1
_x _x
* ) /
' *

!

/0
B
$$ iekbkd + ?JLS7S /

/0 ( "
""F
Q

'/ / /

/0 / /

' /0 *'

/ '/

/ /

_ 2 3 /
x

+
'' /0 / /0

G 2 3 H*
+$$
/
X

/0 ' / /

"
cjlc ab / / 1
>
k / ** ' /
j

b / / /
* *
hc

!
_ x
/
_ x

/ '
'/ ! ! 1 ' ; ; *
]

_ x
! / 2 3 1

_ > >
x +

hiekb k d dklk klie
2 3
+
2 3 / 2 3 1
_ 8
x "
_ x
_ x/ 2 3

CDFE

_2 3x

2 _8x 4 _8x 24
*

_8x

)/

/ /

/ /0

/ *
=
/ *)
'/ / / ' / / /
G

/ / ' * /
P

0 *

G

' *

!! /0
/ / /

! / /
/ ! ! *
! G
/0

/"
_ ! x
_ x
! ! _!x
_ !x _ x ! !
_ x _ x *
3
) Q jii@

/
/' / '
F

/ / /' /

1
' /' / / / /'

/*

' / /0 / /'

'''

'
/ !! ; F ; 1 / ' / ' @
*

jii kjbb
G
/0 "
F
/ _;x F _;x / ;
F
/ ; _x F ; _x / ;
F / F
/ _ x F _ x *
[ G

F
/ / '/

_?x 1 _x F _x *
4 P

'

F *
P

/ +
/0

/0
"
/ +

/ 1 F *

,/ /
_
"
! G
x *
. + /
O
! G

'/ '

"
2* ' +
'

F

/ +'/
*
Y* '

+ '

$ F $

/ /

'/
*

P

+ /' /

'/ ' ' 6 /

*
/ *

!
% P

/ / + / / + /'

/ * /
F
' /

/
'
*
X
//

+ /

* )/
(
, / ' +/

+
'
/1 F 1 /
''/0 / *
'
(
2&

/0 + ' / / 1 / ' '/ /

/0 '
6 /1 / ) ' + * + ' / ) '+ *
O
/ /0 /

/

<
/)* +/ ) /1*) 210,
! // ' / *0*

I@>7 L <@ ?SJL / /'

C % _ '/
\x ' /3
' /' / ' /

G X / / '1

Q %
'6 ' /

, / ' - 0 '
W

44 * _# x
> kbj + / / ' /

"
+
4

;
4 /

;
4

/ *

-

* '

/ / ' /

@ ij cklie j>abd*

/ / /0 ' / '
0/

"
2 3
2 3

'/
'
* !
''
/ J
'/ / /'
/
+

/0
/ ?67:9"
J J J J
J J
<<
) =+ 0 , 3 ,)/ /)./ ,
bj jbjlkle $ '

/

' '
'/' /
/ 0
" 1

'
'
/
G ,/
' )
P'/' _-3&x /
&
,/ - 0' /) ' /'

P _QFW \x 3 *'

/ /0 / 0 / /
*

' /

0 +' '

'

/0
>
Q jbfb j ab eiklie i jbf hklie $
/
/ '
/
@ >
/
*

+ 1 /

F G _x " / +

1 H
' /
' //0 iebdkb jbf>hklie /'
/
/0 '"

' /

/ ' / * * *1 / /

dlfb hieflklie 1

*
0
/ / ' 1

/+ ' /
0/ * / /
F

/ /

' /

1 /
*

' / /0 / +

' /1
iebdkb ' '
jbf hklie > 1
!) * #$,+ ,,$ ,* ,,$$- * 22
$$ !! X/ /
Q
/
' /

/
I 7
9 T@: LS 7 $ /'

/ 2 3 1 / ' 1

/
2 3 2 3
hi ckl ab ha id>jb
1 iebdkb jbf>hklie1 /

* *
* /'/ /
/ '/
//0 / ' /

/ 0/
*
JS9SJL -
/
/ '
/ *
CDFE '
' /+
+'
/
CDFE 1
/
'
CDFE
/
'
F CDFE 1
'1
/
' *
'
0

'
/
/ '
/* X/

/ / ' / /

/ '

' / /0 / +
' /

/0 '

' *
,$$ !!! -* )/*( &. F ,7 &. -.6 ,7 F
/0 "
4 / / 9 : & / 2 3 1

2 3
4 / / 9 : 2 / 2 3 1

2 3
X/

/ jbfb

/
'
' /

'/

/ /
/' /

+
'
/ * Q jbfb +

0/ 1 * *1

*

"*, !!) -
* /0 0/ "

/+
+'/

_ x /

+
1 _
x / _
x /

*
/+
Q '/ / /

'

'' '

/' *

<
) 2) =
/+ *) / )/, ) 3 ,)/ /)./ ,
,)
!

'
/1

*
Q

/ eij ca @ ij ( eij ca @ ij '
+
'/

/ ' * # /
/ 1
/ ( /
+
/ /
/ + * Q
cd ce eij ca @ ij $
/ ' '

/ + / * * 2 4 3 / 3 / + / 1

2 3 *
! ,", ,, ,#$ 2
Y
* !)

3 1 !! ! 1 / +(*
3
1

3 9 : Y1 $ / /
/ +(1 /
/ *

+ /'

$$ !)! Q

eij calcab * *
* /+
'
/
/ +/ *
Q

dkjie ag eij cal c ab
* * * / / / /+

' /

/ /0

/ /+ ' /
/' / /0

*

/ / +/

/

/
/+ ' /

' / 0 '
bc ag eij cal le

*

+/

' / ' ' / /+
Q
dkjckb g

/
* ' / 0 '

Q

*

+/ / '

eij cal le
/ ' / /0 / 6
* * * + / / / / / + + ' / /' *

dkjie ag eij cal le

)

/0 / 6 / /

6 * , /' /+

' /
/0 /

6 /0 /

/ X *
6 /0 / /

+' '
+ ' / /

6 /0 * ,

/

/0 / + ' / /

+
+ ' ' / '/+

*

' +' '
RMS 7:

/0 /
6 /0
-

*'

flc ief 2 / 4
ji bjkg 2 / 4
*

>

iddbj 2 / 4
ji bjkg 2 / 4

*
jh
/

/

,

(
0** !)) /) '/ & ',.&* */6&),-. 7 (&),( /( )0/ ,&-. 5*-5/*) )0/. )0/ )*&.(, ), /
+6-( */ -7 (&),( /( )0/ ,&-. 5*-5/*)
, # 0 '
*
'

1 1 >el >b eij ca @ ij jibjkg /

/
*
< -1/0- )/ / )/, 3 /)210,

' /

/0
"
,* !
0/ -./()/5 */ +),-. ,( 0 *+0-((/*
'

'
/

G* W
/+- $ / ' * ' *
*
Z / /
/ N9I9>>7> I7<@ ?SJL /
/
/'
/

+ +
/0 "
! ,", ,, ,#$ 2
\

+
_ x
. 0

2

/
1 /
Y

/
' *
, /'
- **
Y \ \ /

* 2
"
0** !! 7+$$9 7 &. )0/. _x _ x
, ' /'
/

'
/ ' /
/
/
/ ' /*

4 7,9 P *
_x _ x _ x

x _x
_ _ x _ x
_x _ x
79 '
24 1 24 * #
/ 2 2 / 4 4 * P/' 2 / 4

/ 1
/'
/
1 2 _ x 2 _ x / 4 _ x 4 _ x * ,/'
4

7 9*
4 7+9 /' *
4 7 9 P / _ x

/ * #
/'
/

1 _ x / _x _ x *

_ x
_x _x _x

_ x _ _ x x +
F _ x_ x G * 2* *2
C A

/

! ,", ,, ,#$ 2

C
.

/ /
X
/
/
X ;
/
% 7S67I ;
/ /
% JI
/ ; _ x
/ *
,$$ ! ) (&),( /( )0/ ,&-. 5*-5/*)
, 2 / 4 * '
'
/'
/ / ' /

/ 2

2 / 4 1 *
P

/
4 7,9 #
/ 2 *
4 *
4 79 #
/ 1 2 2 2
2 /
2 * #
'/0
/
'/ '

"
% 4 44
4 / 4 * #
/'
/
2 / 4 1
2 / 4 / * ,/'

/0
/
*

% ; / 4 ;4 _4 x
; ;4 / 4 * P 2 ;2
; ;2 *
#
/'
/
1 ; 1 ;2 ; / ;4 ; /
1 2 / 4 * ,/' + 1 ;2 2 ; _ x / 1
P

/
- Y*C*Y1 ;4 _4 x ; _x *
4 7+9 /' *
4 + #
/ / 2 2 _ 2x

2 / 2 * #

/ '

"
% 4 4 4
4 / 4 * #
/'
/
1 1
2 / 4 1 / 1 2 / 4 * ,/' 1
P

/ - 1
2 _ 2 x
_ x 1 / + 1 4 4 _ x *

% 4 4 _4 x
4 / 4 1 *

/
! ' '

0** ! ,( )0/ )*&.(, ), / +6-( */ -7

, X
'

'

/' / '/

/ ' / /

*
, /'

) '+
*

![ $ ,", ,, $*, 2
^
, ,* ,#$ $

+ I7<@?SJL / + 7N9LJL /
+

'
'
'
+
/0 / /

" ' /
CDFE G " /
/ H
CDFE G " /
/ H
/ /
' /

/ / / *

,$$ ! [
0/ -./()/5 */ +),-. ,( 0 * +0-((/*
Q '/ / *0* /
_# BC 1 * * x
< - , -) -1/0- )/ / )/, /,+,

) '+ / '/ /' / / / / '
$

' *- / * ' / /

*

' /

l ab
b k
e d

/

/'
/ F / ' ' /'

,$$ ![ 55 -(/ ,56//.)( 7 ,( 0 * +0-((/* &. ,7 )0/*/ &*/ ,(),.+)

.-*&6 7-*( )0/. ,( hiedldkbek , / )0/*/ &*/ ,(),.+) )/*( &. )0&) &*/ .-) 5*-&'6 / &6

,.
, A

/ / F / /

2
3 2

3

2 4
3
2 2 3 3 * ' '" )'+
/ F / / ; 1

/ ; *

A
/

/'
/ * P )' * ! '/
'
/1
+ +
F / * ,/' + /

1 F 1 ' 1
' 1

/ ; 1 ;
'/
'
/ *
,, ![!
,.+/ )0/*/ &*/ ,(),.+) .-*&6 7-*( &. ,( 0 *+0-((/* ,( +-.(,()/.)
,$$ ![)
55 -(/ ,56//.)( 7 ,( '-)0 /&6 .-*&6,,.1 &. 0 * +0-((/*

)0/. ,( /+,&'6/
, / / * ' / 6 /0 0 ' / /

/ /

/ * /'

/ 1F / / /

/

* ) ' *
P
X / /

%
![ $ ,", ,, $*, 2

/ *) =
! -

*
!! F +

/0 /'/
'
"
F
!) **
P

Y Y \
/
'
+'
/ +
*
! P

/0 +
+/ "
!! !
!!

![ G
/0 "
X )'+
/
/ /
1
/
?7 7I9*
X
/0 /6/0 / / /

/
)' *
X

/

/ /6/0 (
+
!4 )/ +'
/* F
+

"
/ +/
/
/ +/

/0 /6
/6
/

/0 /6
//+/6 *
! >dlk>klie b c +'
/" /
/ ; 1 / /
G

1 / _;x _;x *

!. / '
Z /
' ' / +/

* ' ' ' / +/
Z

*

! '

0
/ ' +9 / -

** / /-
Y C Y
*** Y C \
!% G

/
/ '
/ /

* 1 /

/ 1 F / / F

/ *** / / ' /
+*

! '

+
/ lehi ckl ab $
/ '

/
0 / /0 F /'/ / * G '/

'
/

'/
'/+

+
/ /'
* _,/
" # /0

/ F

+
/ 1

$ F *x
P

![ $ ,", ,, $*, 24

$ / /'

$ / /'

/ /'
*
'
/
' #$%

/ +

/
+
_
/

// /' / /*

x
!! -
2 / 4
/
/ /
*
P

2 / 4 hi >kb $
/
' / 2 2 / 4 4
/
'

2 4 / 4 2 *

Q
, / / /

2 / 4

/
/
'

'

/

/
' 2 I 4

/

*
G
* , /'

2 / 4 )'+ / 2 '

4
/
2 I 4 )'+ *

!) /0

' /0
,/ /
/1

/ /

' /

) '+ *
#

! Q
J
' ' / +

'/
/
/ * / /
Z /

/0 / /

' /

"

P

/
)'+ *
2B

' /0

/ ' / ' / 0 '*

' / 0'
W

' ' /
0 ' ' ' 6
' '

/ * / ' * $

' / '

/ /

Q

/ /

/' / 0 ' / +' ' 1 / /

/

*
' /

' / 0 + ' 0' *0* / '

, / 4
_ BBx _W B x *
=
=
+,/ +* ) /+
' '/
/ +

' ' '

*

$ ' /0 0
! / /' /
*

1
!

/ / 1
_ /
x /

'' /' * '

/0

/ / '/ / /

* * / '* / > > *

' /

Q '
c alhckl b dkj hk jb
$$ ) -
/0 0

/ /0 ' / /

* ) /

F

! F ! !

A

'//0
'
1 * *1

F

! ! F ! !

Q

'

hi leckijg ca bjc*
'
/0 /

/"
4
/

/

4 /
' '//'

*

< =
,/+0, +* / , -
Z / /
/ ? 6

" ' 1
1
/ / '
"/
CDFE
CDFE /
'' /
CDFE
A

+
] /

'/
+
'
/* '
/ $
/ * A

'
/ 2 3+
/ 2 3+*

)) *+$, * 23
,$$ )! 7 $*$9 -* /&+0
, -/( .-) - ++ * 7*// ,. &.
,, F
,,,
/.+/ , ) 7-66- ( )0&) F _x 7-* &66
, ,, / )/.( )-
2 32 32 3 F

, )0 AB G 2 3 H
, '/ / / ' / / 6 *

'
/ ' / / *

*
! * *
/ ' /
__ xx

/
* * '
P
/0 /

/
A
/

__ F * * / F $ F F *

xx __ xx __ xx /
24 *
P P
F __ xx F __ xx F __
F /
xx !
__ 24 xx F __ 24 xx

F __ 2 xx __ 4 xx / ' /

F __ 2 xx __ 4 xx F __ 24 xx

/
'//' * ' /'
/ / 9 * ' * !
/'
' 9 F 21 /

''/0 / 4 2 '/
/
/ G 2 H* ,/' 24 22 F 4 2 /

24 224 2 F 4 24 2
, /' / ' /

2 22 2 F *

,$$ )!! 66 .-. )*, ,&6 +-',.& )-* &61/ '*&( &*/ ,. ., )/
, ! 9 * P
'/
0 6 9 * ! ' /
/
2 9 21 /
2 32 * /1 ***0*1 1
2 F 4 * P / <SL?S 2
/ 4 1 __ 2 xx 2 4 4 F __ 4 xx 2 4 4 1 / 2 F 4 ] '/
'
/ *

= +,/ 0*),))
Q / '

'

hi leckijg hi
abkb

'' /0 / G 2 3 H / ' / /

1

/
/
/ '

79
2 3 F

/

2 3 F _22 3 3x 2 3 * '

jb jbdbekd
* ./
/ /

G 2 3 H / '/
/

*
)) *+$, * Y&
,$$ )) 7 ,,$ $9 . &556,+& ), / ()* +) */ ,( +-',.& )-* +-56/)/ ,7 &.
-.6 ,7 +&. '/ 1, /. )0/ ()* +) */ -7 & +-',.&)-* &61/'*&
,
" F/

/ 1

2 3 AB
G 2 3 H*
/
G
/ \*Y*2*
"

/
/
/0 2 4
9 F \ 1 /

/
/
/0 2

9 F Y*
A

/

/0 "

F
! ! F ! !

- /

* # G
/ \*Y*21 F *
0** ))! /) '/ &. )/* &. ( 55 -(/ -/( .-) -++ * 7*// ,.
0/.
F F $
, Q / ' / 0

F F $ F $*
A '/

"

F
2
F ! !

/0 '/
/' 2*
F
F ! !
/
/' 1 -
**1
\ \ Y

F
2
F

6
" /
0** ))) 2 2

,$$ )) 7$5,$9
0/ 7-66- ,.1 &*/ +-.(/ /.+/( -7 2
, F F , / /( &. &'()*&+),-.
,, F F
) $$ $* Y 2
, '/ /

- \*\*Y /
'' / * .

F

;

//0 /
*
,/'1 21 F *

/ /' F * - * * 1 F
\ \ Y

'/
/
/ *
#

,) +* , +

bc b kbedliecalkg dh b b" +
;

F ; F ;

/ ' / 0
#

'/
/' '

2 3 F ; 2 3 F 2 3;

bc b kbedliecalkg c li ' "
!_ F ! F !x

kbedliecalkg c li
"
!G _ F !x F !H
/ / /

'
/+
/ 1 * *1

/' / *
,$$ ) &. &*/ / , &6/.) - 6-
2 ,. 7&+) )0/ /& /* &,-
2 ( +/(
$$ )! ' /

0 hi leckijg ai lh

0 CDFE 2
/
2 / 0 bkbedlieca hi leckijg ai lh

0 CDFE

A

/

hi leckijg
a i lh
/
/ '

1

/ 0*
)[ ,$ + # 0 YY

/+ *+, =),.)) +2
+'' / '/
0' ' *

Q

1 1
/ 1

/* / / '

* /
/ / / * $ / /

Q

0 / '
' / /

*
+
!

/0 0 ' /'

+''*
/
Z
/ + / ' /

0'
+
J

+
/ '/ "

CDFE

; CDFE ;

CDFE
/

CDFE

CDFE

CDFE !! !
CDFE

0** )[ -* &. )/*( -7

, ,7 0 F )0/. F
,, ,7 0 F )0/. F
0** )[! , -* //* )/* F

,, -* //* )/* 0 F
, ! /'
/

'
* ' '/ /

' ;* / ; * # G

/ \*Y*21 0 F ; *

- \*^*2 F ; * # /'
/
; F ;* ,/' F ;1 / 1
F ; F
A /'
; 1
0 F 1 G
/ \*\*C * F *
#
G
/ \ *\ *C 1 F F $ F $ F /' F
F *
A
/'
/ /
6 * ' /0 *
/'
' /0 / '
/ '' * P * ' " ! F ! !
/ ! * #
! ! F !! !
# 2 1 F !! ! 1 / 1 /
/ + / + 1 F *

)[ ,$ + # 0 Y\
Q / ' /

/' /0 + J ?
/ / /

* * * *
"
/
\ ^ C
/

/
0** )[) -* ; J 0 ; _x F ; _ x

, / ' / /
#
6; * ' ; /0 / '
/
*

; *

' / '/ '

" 0 ; _ x F ; _x *
; _x _x / / +

F _x / * *2

G
\Y
F _x / ' /

F _ x
F ; _ x
F ; _ x
/ / +
#

; F G
/ * *2
\Y
F
, /'

' *
# )1
0 ; _ x F ; _x 2
A ; / ; _x _x * ,/' G
/ \*\*C
0 ; F ; / Y
0 ; _x F ; _x \
! Y1 0 ; _ x F ; _ x* 1 2 / \1 0
0 ; _ x F ; _x

,* )[ 7$59 /) &. ; '/ )/*(

0/.
, F ; ,7 &. -.6 ,7 0 F ;
,, F ; ,7 &. -.6 ,7 0 F ;
)[ ,$ + # 0 YC
, ' $
1 / / ' *
" X 0 F ;
/
F ; * 1 - \*^*Y1 F ; *

" X
'

' ; /
'
/* '
/ ' /'
/
+ +

6 * ) '//
*
' * P * / ; ;
/ ; * #
/'
/
1 0 F ; * # 1 0 F ; *
,/' 0 F ; *
A *
' *
; / "
/'
/
1 0 F 1 / 1 0 F *
,/' 0 F ; *
4
4 ; / "

' *
4 / ; _ x " - \*^*\1 0 ; F _ x /

/1
CDFE * ,/' G
/ \*Y*21 0 F ; *

=
/ *)
) P

$ $* '
(
)! 1$* -
''
/ +
*

0/

'

4
4
/ *
-
J* J
cdld @ ij $
/ ' 1

'

F
* cdld JK

' +
*
G

G H * _ /
" O - \ *^ *Yx
,
)) P

/0
/ * _,/
" )'
/ *x

) #/0

-
* P

G H * _,/
" ''

*x/
!/ ' +
'

F / F *
)[ G G
/ \*4*
)4 G - \ ^ * *2*
) P

' +

/
+/' 0* ,/'

G
/ / /
2 / '

2 '*
"

)[ ,$ + # 0 Y^
). bc hi leckijg ai lh /

/ '
/ 0/
//
/0 /

/ / '
' " / /0 '/
0'

P

' / /0 / +
' / ) ' +

*
,/
_
23 / $ / '
\^ " Z
$ / +

2
3 / 1 /

* *

/

' / ' /0

!

P

/

/ ' *

x
Y

/ & / /
%

%

0/ ' / ' /
+' ' * 0 *
#$
/

/
X

'/

/ /0

-) , -)/) +2
0+0) ,
,* 712*9 /) &. '/ +6-(/ .-*&6 )/*( )0&) &*/ .-) / , &6/.)
0/.
)0/*/ /,() +6-(/ )/*( ;2 ; ( +0 )0&)

; F
8
;8 F

0/*/ &.
,$ ! /

'/ ' / ' +/
P

/
+/
*
%
''
/ / /

+''* X

*
#$

$# ,$
Q
'/
/

//

' /
* Q ' 7V@9SJL
+

F / ' +
* X
'
/ 1
/

/ 0/
/0
*
$$ ) -

'
/*

'
/ /
* '

kbijg $
/ ' F / ?JLS7LS * *

/
'

F /
/ *
,, . )0/-* 0,+0 ,/.), /( &. )- +6-(/ .-*&6 )/*( )0&) &*/ .-)

/ , &6/.) ,( ,.+-.(,()/.)
, / +
/ * '

!!
/
F
F
, /' F / / ' / +

/
+/
1
/

8 0/

1 8; F ;81 / 1
;
F

+' #$
+ * ' / ' ' > >

a ihca dkj hk jb h cjchkbjl cklie

k bijb d +
! , ,* Y 4

< /3 3 , -) , -)/)
!
/ /*

bj >kckij i@ ijfbj 9 /

/0

3 CDFE 2 32 3
$$ ! ' ' i kjced@ ij cklie / /'
/ J
''
/ +

J / ' /0 ' /'
/
; _; x ; /
0 /
/

' *
' /

/'
/ "
1 " ;
1 " _; x
0** !! -* //* -0 )*&.(7-*&),-. )0/*/ &*/ )/*( ;2 ; ( +0 )0&) F ;2 ;
7-* //* +6-(/ )/*
,$ !) G
*
0** ! /) '/ )- )/*( 7 -./ -7 )0/ 7-66-,.1
2
2 0/*/ F -* F

2 2
2 32 0/*/ F 9 -* F
0-6( )0/.

F
F

7-* (-/ -0 )*&.(7-*&),-.

, 79"
F 1
!2 ! / !2 ! *
1 1 * /
F
F
F / *

/
1 F 2 F ! 2 ! !!2 ! 2 !
1 F 2 F !!2
+ / +_ x * ' Y*
! , ,* YB
7!9"
F 9 1 9

/'
!2 !3! /
''/0 / * -
CDFE 1 1 1
/
F !22 !4 !3!
+ + _!2 2 ! ! 2 x 1 /
F !2
+ + _!22 !3 3! x * $
' 2*

F 9 / F
CDFE 1 1 1 * '
F 2
F 2

$ ' 2*
A
" ' Y ? 2 ? Y ? 2*
,* ![ /) &. '/ .-. / , &6/.) .-*&6 )/*( &. 2 &. ,(),.+) &*,
&'6/(
0/. 7-* &. 92 9 5*-,/ )0/ &*/ 6&*1/ /.- 10 )0/*/ ,( & -0 )*&.(7-*&),-. ( +0
)0&)

_3 2 3 x F
3 2 3 F
_ x
, 6

/ '/ "
CDFE 2
CDFE
CDFE Y
' /'
/ / *
) /
"
2 /

'
/
Y / / / /
'
/
\
/

'
/*
! , ,* Y3
$* X
'
'/

' *
, $* F 2

/ ''/' / / 1 /
/
/

/ '
* A /
+/

( * P ' 21

; /
/ ; _ x 1 _ x /
F ? C
P 1 1 ; / /
/
'
/1
/
24 *
' Y
_ ; / /
x
F ? 2

, /' 1 /

' 1 '/
/ ' /

/ * P / 92 9

'

_3 2 3 x F

3 2 3 F

_ x

/
/ 1 ' / *

#$
' '/

'
/ /

'
/1
2
2
/
*
!
/' /
92 9 / 2 * '

+ +_3 2 3 x

" '
=9 7 " G 2 H*
'
2
2
X F F
/
- C *Y*C * X F / F

/ /
9 92 9 * /
F 1 1 1 1 * '
F !2 ! 2 !3
F !2 ! 2 !3
+ +_3 2 3 3 x *
! , ,* \&
P/' / /
+/
1 1 / /
+/
* 2 3 *
1 F
1 F
A

! /
'' / / * ) * ,/' 1

/'
/
1
#$
/
/ / * #$
/
/ $
1
*
=9 7 " G 2 H1 1 F 2 1 / G 2 H* /1 92 1
F 3 2 F ! 2 !3 !!2 ! 2 !3
F 2
F 1
1 1 1
F !2 ! 2 !3
F 2 ! 2 !3 !
P/' F ! 1
- C *Y*C 2*
G 2 H*
=9 7 "
P F 2 / F 4
/'
"
F3 2 F ! 2 !3 !!2 ! 2 !3

F
3 2 F ! 2 !3 !! 2 ! 2 !3
/0 92 1 94 * P/' 92 F
94
- C *Y*C Y*
P F F 2 1
92 "
F 3 2 F ! 2 !3 !!2 ! 2 !3

F 3 2 F ! 2 !3 !! 2 ! 2 !3
X F
/ - C *Y*C Y1 92 ? F 92 ? 1

/ * X F
/ /' /
/
+/
1 1 / /
+/
* -
2 2 3 /
CDFE 1 1 1 * /

1 F
1 F
0 /
P
' /'

*
% / ' / /' ***

C Y ^ ! / ' /

- * *
#$
/

/1 /

C Y Y F ;2 ;
;2 ; / / /
* ** / ;2 ; F / ;2 ; F * '
#$
# /0
C Y ^

*

;8
'

\ 2

Q '' /0

+' * @>
ehklie
cjcfl '

/1 0 '

/
/ ' * / / /
* / ' /

9 @ > 7

7 >
9 @9S 7 Q

/ ' / 0 '

I7<@ ?SJL X

/
/ / / ' /' / ' / / '/ *'

1 /
+' ' ' + +/ / ' + + ' /

'
' 0

/
/

'
/' / /0 0 / ' /
/

*'

1/ 1 > ? 7
> /

7I
9SJL9> JI ?JLS 7 S@9> N I7JI<7I

/ +' ' * / *
9NN 9S :@ 9SJL J;
' / /' /

' ' /0 0
X

?JLS 7 S >7::9
, +,
' / '' /' / 0 /0 +' '

/

+' '
' /' / /0 0 /
*

#

+' ' (

/ / ' ' 1 ' / / ' // ' ' 1

' ' / /0 ' / /

*

/

1 ' /0 ' / /1
*

' /1

/ 1

/ / 0 ' '
#
%

_# BCx

X

/ ' ' /0 ' 1 ' ''

/ * 3

\ "
$- ,* , *

4 //0 +

/

*
4 Q

/ /

*
/' ' / / /

/ +' '
0 /0
/0 0 1 /

0 /*,

1 0
/ /' / /

# * $+ ,
4 //0 +
/ bcf eij ca @ ij d
/
/ kjbb*
i

4 Q @LJ> 9;>7
/ / /
*
'/ '/ / 0 1 / 0

#
%

/ '' /' /

1 *
1 /1

' / '' / /

/' / 0 /0
' 1
/' / /0 0
> 9 M

'_4
! 4
1, 1 W x '

/ /

' / /' /
/0 ' ' * / 1- - 0 1.

0
" W/ _ B^ x W _Q BCx _ B^x ' 1, 1 /

*

/0 0 / / / '
F #

/
( / 01 * / 1

LJS 9 LT >7 JL 7 JK S67: <J7 J X

79
** / / ' / 4 '
679< LJI:9> K JI:

_GDB x /
0 ' /' / 0 /0

/0 0 * / * *
0 1 /

/
1 / / /

1 /' ' / /

*
/ / /
P
::9S?6

/ ' ' * /' ' / ' '
P

+

' /' ' / / / /

/ / 1

/
*

0

'/

/

1
'/ /0

*

[
! + * , 0 \Y
* [ -

/ /
* / F /

/
1 /' /
/ / 1 /'

/0 / 6

*
' /
/
'/ /
/ '

/
/
'

'
*
,-,**$- --
X/

/
1
'' 0 /0 ''
6

/
+
F _ x
$
'
/
/ 0/ '
0' 1 /1 _P'B& 1 BY 1- PB x *
/ / ' 0 / /
X

/
/' / /+ / *
/ ,

1 /
?9LJL ?9>
// /

' 0 / ' 1 /

/

/+ /
]

/*
' 0 ' +' ' /

/

LJS 9
I I >
N JT 9::LT 9LT@9T 7 *. ' 1 / / 01

/ 0 /0 /0 0
/ '

/
*

/

/ /

/ /'

+' '
/ ' /' '

'
*

< =
+** +) / + 0+*01*1
' / '
/' / /0 0 ' + / '

ji jc d 9;SI9?
>
SJL c a*b d /
/ ' 0 / @

>

kl
cj e k
i d g ab b c cklie jba cklie
a
'
/ / >
l dkb /0 /
jbf hklie jba cklie

*

' / 0 / / ' / ' /

(
$$ ! ' /

[ 3 9
/ / ' + *

' 91
! / 3

0 ' / 0 / 9

/ / '

9 @> 7

/0

"

_ x 3
32

$ X

/*
CDFE 9 3 hiebj bd

CDFE hiebj bd
CDFE
_ x flbj bd
! 1 $ $$ $ / $$ $$ 1 / *

/
/ / *
+ +
X/
ab@ k idk jbfb

''

/ * ' /
' / 0 / '

"

1'/ ' /

/ /
' * ) / /'

' /

b b @
a

/ 0 1
0*
c cf eij c ij
/ / '

' /

,$$ [!! , 0- )0& ) 8 32 _x8 3
,, *-/ )0& ) ,(
/
' , / , ) / ./( & 5 &*),&6 7 .+),-. 7*- 5*-1*&( )- &6 /( 0/.//*
&. )0/. &. &*/ )0/ (&/
[
) $$5 $*$ # ** \\
'
+' '.3 *
/ '

G
// 4 * /
_G ^x Q /

' '
'/

/ / _Q \x
* 0+, ) 1*+, +2 0,) , *)+

/ ' /
0 1
O

' 1/ /*

9SJ: ?
1

'/ 0 / ' / / '' /0

01

/ '

'

/

' /1

0

* /

/ *

/ / /

/ / / & / & / ' /' /' 1

X
W _WB x Z G _G B x
' / /

/0 '
/ ' '

c alhckl b
d >
l a *kl
c ie

/1

/ '/

/ /
"

/ ' 1
F
/ / 2 '/ / '/ 0

' /

/ 2 *
1 ' /' / /
X
/

/0

Y

2 / 2 1 /

/ * / '/
A

' /* '

' 0 / K ?' / 0 /' 1 /

9 S ' /

'/ '

"
0 2
P
/

" 2
/ / / ' /

1
' 2 /

0
P
Y
" / 2 2x
_
**
$$ [) ' / /

/ JK "
/ / 1 *
4
4 2 _ F _ JK _ x _ x xx
'
/ /
* /
/ '/
/
+

'//0 ' /
,/ J1
CDFE " B ? JK
/

/
/

/0 '
''/' 1
/0/0
''
/ B + ''
* !
/ *
'

/ / /
CDFE G F " JK H

'

/ c alhcklbag ldl lacj ldl lacj $
/ ' *

' //+
/ '/
/
*
[
) $$5 $*$ # ** \C
,$ [)! P

J * * /
/
/
/*
P

1 /
/'

* * * *
P / * P

2 3 2 3 *
P

2 3 2 9 *
/ /
!

' /

1 ' /
/ JK '

/*

' /

/'
A " ?
1 /
CDFE G " _ F _ JK _ _x _x x x H
X

''

/
/ /'
/
'

/'/ /0 * Q
/

jbdl >acklie $
/ ' * * idkilek * P/'
/ /1

% _ ^^x

1 + /0 /

/'

?> J@I7 JI<L9> _W Cx " 4 * +
A

/
/ *

/ /

0
0** [)) 556,+&), / (, 6&),-. ,( 5*/+,(/6 )0/ &,&6 5*/(, 6&),-.
' 0 ''

6
/ *
,* [) 7 ,,$ $9 -* &. JK ,7 &. -.6 ,7 7-* &. ., )/ 5 -((, '6
/5) (/ /.+/ 8 -7 +6-(/ )/*( ,7 8 )0/. 8
1

"
0** [)[ , 7 &. )0/. 7-* &. JK 7-* &. 9 : &
3 _ x 3 _ x

,, /.+/ ,7 &. &*/ '-)0 +-./*1/.) )0/. 32 JK 3

, ' 9 F & ' * Q / * /
_ x 1 / _ x A
' 9 F 2" /
/1 2

/ / / ' 1 _ x _ x * * _ x
/
_ x / / ' 1
* * 2 *
_ x _ x _ x _ x
/
/
/ 3 2

*

' /

/ 3
9 : &" / / 9 : & /
3 / /
/' 8 2 '

9 1 8
/ 8
*

1 '

"
7-* &66 9 : & 3 &. 3 &*/ / &6

[
) $$5 $*$ # ** \^
'
/'
/ / 9 * ' * !
/'
' 9 F 21
* * *0* /
'/0/
* .

32 /
/
1 3
* ,/'

1
/

/ '
2 ' /0 /

/

/ ' /

- **
^ \ ^

2
, /' *

' 0 ' *

ji jc
hiekb kd

' / * * ' /
$ '
/ +

* '

i d jc iecaag c
b kl ji l ckbd
$ /' /
* /

0 ' / 1 ' / 0

_ x _ x

/
_ x X

/
'/ 1

'/

A

* ' / 0 /' / /0
*

'/
' //

+' '

'
$$ [)4 /

/ JK 1 '
>
i dbj cklieca hiekb k ca jbijfbj
/

CDFE _ x JK _x F _x
. / /' ' /

0 0 / / 0
/
0 /0 ' / * 0

/
' /1
/ *

<I7?S>M /0

!

* /
' / / / ' ' 6 /*

,$$ [) 7 **9 556,+& ), / (, 6& ),-. &. +-.)/ ) 5*/-* /* +-,.+,/
,
/ #% )/

- / _# B x2*
X
'

/0 - " /0 JK *

F _ x JK _x F _x
'

/ /'
/ / * ' * '

0/
1 '/
/0
'/ ' '

"
2 8 1
_ x _ x _ x _ x
8 *
Y _ x _ x _ x
2 2 *
_ x / 8 * /
Z / * * *
_ x _ x _ _ x x _ x G
^YY _ x
*
" P
/ /0 / ' /
X

1 1 '

_ x

_ x
- 8*
Y "
2 *
/ 8 8 1 ' /
P _ x ' 2* Z _ x _ x _ x

* *

A

/
_ x 21
_ x # 8 1 /

_ x #
_ x _ x_ x
* * 1 ' 1
^ \ C 8 1 , / *
_ x_ x _ x
[
+ 5 \
"*, [). 7$9

0
/0 0
'/ /

9NN > ?9S 7 ?JLS 7 S

X

/0 * / 1 ' +

/

' +' '
K ? > 0

1 ' / '
/0 /0 0 * *
@L SJL9
/' / 0

i bjcklieca b kbedliecalkg _# BBx ' /
/ 44
W _W x
/
'

' / 0

'

iekb k b c *
7$$9 X

/
/

'
/
/ / JK /
/
/ 0 /

>7K S

' * . / / /

/ / /'

' /

I 6 //
T S
0 / 1 /
,

F JK
'
/0

jbhie j>behb , /
F
=
+** +*1) 0+*01*1
'
/ /0 +
* `ji jc d G
/% ?9>>;M9>@7 ' +''

' +
1 / ca>bd1 /0 ; / 1 '
'
/* /
/ /
/'
/
/0 " 0 /
; _;x

Q 0 '/0

1 /

/
*
$" ' /

/0 LJS9SJL9>>M

/
/
' +''

' + '' 1
0
'
/'

/ *
' /

/ /
' /
`aikledkgab kjcedlklie jbacklie '
/ / d jbf>hklie jbacklie /'
/
/0 "
caadkb
_ x
_x _ x
_ x /0

''
/ bca>cklie hiekb kd /
/0 " /
/0 / 0 '

4 / /' /

4 /
/' / 1 /

4 /
/' / 1 /

*

A

/ /1 '' ' /' /

/' / * ' '
' + 1 /

1 / ' *
0** [ 75$ 9 -* &. 5*-1*& , )0/*/ ,( & ., / /&6 &),-.
+-.)/ ) _ x &. & ., / ' *//
( +0 )0&) _
x &. _ _ xx /.+/

',1()/5 &*),.-7 ()6/ /&6 &),-. */6&),-. &. (&66()/5 -5/*&),-.&6 (/&.),+( +-,.+,/

[ [ ** + 3 *# \ 4
,$$ [ ! 7$59 -* &. 5*-1*& , 0/*/ ,( & &6 /
/
Q
' ' +''1 '
/ 1 / 1 dl >ackbd
c alhcklbag
1 '/$ /'
/ '/
/
/ "
4 / / 1 *
4 2 $
/ ' /
/ / 1 _ x _ x *
'
/ /
*
/ '/
/
+
/ 0/"
/ / 1 / $
/ ' 9>@ 7 @;SS@SJL *

,$$ [ ) -* &. +6-(/ )/*( &. )0/ 7-66- ,.1 &*/ / , &6/.)
,

,, 7-* //* ., )/ (/ /.+/ -7 +6-(/ )/*( 2 3 ,7 8 )0/. 8

,, 7-* //* ., )/ (/ /.+/ -7 &6 /( 2 3 ,7 8 )0/. 8

,) , *)+ = .) ), - 2
)/ ''

0/
/
G
/ ^*\*4
*'+

'
/

' ' ' /

/0
/ / , %
/
' *

/

Q >b d>dklk>klie $
/'
/
* P
''/0
ca
/ 2 3
/
CDFE _ 22 3 3x
,$ [[ *-/ )0/ 7-66-,.1
, ,( & 5*/-* /*

,, -* &. &. 0,+0 &*/ .-) ./+/((&*,6 +6-(/ &. 7-* &. &6 /
F _ x _ x
$$ [[! 7,$*$9 -

/
/

' +
* /
Z /' /

? " /
"
CDFE G " F _ x H

/
/ /'
/
'

/'/ /0 * Q
/

N I7:@> 9SJL $
/ ' * Z/

+
/ * *
CDFE

[ [ ** + 3 *# \B
,$ [[) *-/ )0/ 7-66-,.1

, ,( & -.-)-./ 7 .+),-. , )0 */(5/+) )- )0/ ,.+6 (,-. -* /*,.1
,( )0/ (&/ &(
,,
. )/

- *
$$ [[ 7,-, #$#9 Z/ /
/ 1 ' N I7?JLTI@7L?7
?9L < <9S 71
''
/ /
$
'
/'
/
/0 "
+
4
/
4 / /
/
4 /
/ *
,$ [[[ *-/ )0/ 7-66-,.1

,0/.//* &. )0/.

,, ,( & 5*/+-.1* /.+/ , / 0/.//* &. )0/. &. 0/.//* )0/.

,$ [[4 *-/ )0&) ,( *//, / /.+/ / +/ )0&) ,( +-.)&,./ ,.
0** [[ 7+$$ 0**9 *-/ )0&) 0/.//* &. &6 /( )0/.
_ x _ x

,$ [[. -* +6-(/ &. ,7 &. )0/. 7-* (-/ &.
,/ / / /
_
" Z
' / 0 /' / 9

3 1 / /'
/ 9 1 /0

/- *

P

x
,$ [[ *-/ )0&) +-,.+,/( , )0 /.+/ / +/ )0/ +-.)/ ) 6/&

,/
_
"

'/
/ / 1
'

+
/ (*x
/ *) =

L>7 JS67I 7 N 7? 7< 9@: 7 9L< 9 <7 L7< L S67 ' ?9>?@>@ L S67 K J>>J LT
[
6 + ' /
!

' +' ' /

/ /

/ ** /*

/ 0+
G
^ C Y

/

[ [ ** + 3 *# \3
[
! G G
/ ***
^YY
[
) G -
^ \ \ ***
[
P

/
/
/

'

'

/*

?> 9 ?9SJL JK ?> J 7< S7I:*
! / ' +

1
ijfbj
$ /' / +' /

/
' /* ' /* 9 : 21

+' /

! /

ijfbj 9
1 F 2 * '
P
9
0 '

ijfbj $
/
* . *

' / 9
9

' + /
P

+ / *** '

/
& /

*

/

ld c kbijg
[ [
X

F
/ ( X

F / F / /
/
(
G

+
*
P

/
/ *
/1 ' hieflklieca 1
F F
1 /

/ '/0
*
P

/
' +''* X

/
' +''(
[ 4
Q
+//
+/

/ (
/

+/
/
1
/

+//
* '(
[
iebj behb kbdkle
Q ' / 0 /'

'
+
'

1 / / JK

F

F

P

/ '/0/'

/
' + '' *
-
/ +
1 / / +&
* -
/
* G

*

-
/
/ / '
'/0 /
* G

*

P

' / 0 /'

/
' +''*
[
. ' 1/ ' ' 6
Z

1 / 0 * * * /

'
+' '
*

[ O
, %

/

' +' ' ' /0 /' *

C &

/ ' / /0 ' / ' '' /

+' / + + * +
X

0
/0 /0 0 / / '

/ /0 /

/ 0
/
' ''
X
+ + +
/ 1 / '

/+

' + +

' /* A

1)/+*
/

hikk e > bjcad
'

/
/ ' * )
) ' /

*
$$ 4
& CDFE
9 2 CDFE 9
'' CDFE 9 9
CDFE $
CDFE ! !
/ '
/ $ / *

/
A

/

9 &
9

9 ? 2
*
<

=
,/ 2) + * ,
Q /' / ' /

/
' /0 0 * ' '

' /' /
' +' ' 0 / ** / /

0 ' /'
0 /' /*

0 0
A

?J:N @SLT
*
$$ 4! '

/' /

" dkjie ag fb ecab 0
$
/ ' +
92 9 /
/

1

?9 92 9

?
9 F
92 9

/

//
*
,* 4!! 7,$- *9 5 &*),&6 7 .+),-.

,( 5 &*),&6 */+ *(, / ,7 &. -.6
,7 , ) ,( ()*-.16 / .&'6/
4! ,- #+$$ C 2
$ '

/
/0 +/
*
0** 4!) 2 3 ,7 &. -.6 ,7 7-* /&+0 ; &. ;2 ;3
,$ 4! G

*
LJS
' +''* F '/
*
, ,*
/
X

'0 +' '
/ /0 / ' /' / 02
/ 0

/0 * /0 ) ' *

'

' / '/
/

% /
X

/
*

"
HIJ 7?SJL
2 *

=J:NJSJL
P /
/

?9 F 2 ?9 * A
?9

?9 F ' 1 / 2 F
?9 F
9
?? ' ?
/ -
**
Y\

? 2 ? ??9
?
Q

?9 1
?9 ' 1
?9 F /
?
1 ??9 ' 1 ??9 / ?

? 2
? ? ??9 *

HI:S 7 I7?@IJL
P
CDFE
& ? ?
? CDFE
2
? ?
/ * Z/ ! ! * A
/
! !

! !

!"#$%& '(
)
*

+ '(
)

, * -
4! ,- #+$$ CY
A
CDFE
FE !
CD ?
? !
?
?
CDFE

?
1 /

* /

? ! ! ?

? ! !
?
?
4 &
/ &
?

?
4 9 2
/
9 2?
! ! ? ? 9
! ! 9? 9 ?
9
? 9 ?
L:9>9SJL
P * Z/ ? * P
?

CDFE ! ? !''

? ?
CDFE
$*" !
? 1
9
? &

9
9
?

? ? 2 *
9
'' 9

A
CDFE &*

>jh > bjcad / "

e
9 CDFE

3
/
)' / 9
'

/'
/ /
/ / 0/
/
1
+ +
/
/'
/ 9+

0/
*
4) #$#+$$ 5,$+$$ C\
2)0 2+ = * , 3 0)/, = * ,

/ '
!

J<7> L@:;7ILT + **

$ ' /' /

" J ?

'
*
'
X

" /0
4) ,
0/*/ ,( & )-)&6 */+ *(, / 7 .+),-. ( +0 )0& ) 7-* &. )/*( &. F

,,
0/*/ ,( & )-)&6 */+ *(, / 7 .+),-. ( +0 )0& ) 7-* &. .& ) *&6 . '/* 9 9 F 9
$ X/
/0

CDFE
'
J * *
)' /
F$ //0 *
0** 4)! *- )0/ 5*/+/,.1 7&+) , ) 7-66-( )0&) )0/*/ &*/ )/*( &. ( +0 )0&)
F
9 F 9
7-* &. )/*( &. &. 7-* &. 9
,* 4 ) ) 7 ,, 9 /) &. '/ )- +-66/+),-.( -7 )/*( )0&) &*/ +6-(/ ./*
+-./*), ',6, )
0/*/ ,( .- )/* ( +0 )0&) 7-* /&+0 9 9 F & -* 2 &. (&),(7,.1

; F

2
,7 ;
& ,7 ;

-)/ )0&) )0/ F ,( )0&) -7 )0/ 7-*&6 (()/

, ' ** *0 *

/ $ /
* P 1 '/
'
/1 ' /
*
$* ! / * '

F 2 F F

F & F F

)
' / ' /* ) / /'
0

*
,$ - !! *
"
/ / / 1 ''
/1
2 F
& F
4) #$#+$$ 5,$+$$ CC
-
/
* A

F - **
\Y
F - **

\Y
F
X

/

'
/ /
) *
'
)'%

/

+
'

/ J1

F
2 F
& *

,, 4) F ,( ./+,&'6/

, P /
* / +
1 1 * -

F +/' ' /
J ? * '
F * /

*
,* 4)[ 7# $#$ ,*9 -* &. )0/*/ /,()( &. ( +0 )0&)
F

/ *)=
4 '
F

+ / '' /

' /' / 1

) ' / *

/ / '
/

/' / /

+' '

G

' /0 '

) ' / *

+' '
G

' /0 ' *

4!F / '
J<7> L@:;7ILT +
* * $ '
/'
/ " J ?

' *

/' /0
_ / /

+' /

* ,/
" fb >
j lge eikcklie
E
/ +

*
x
4) /0
G

"
'

/' / '

/ +
/ 1 F *
4) #$#+$$ 5,$+$$ C^
'

/' / '

/ /

/ 9 1 9 F 9*
4 '
) / / '

O
'/ ' '/ +

'
/ (
'/ + /
G
P !
* ,/ ' /
_
" O

'/ ' /

/

*

/ '

'/ '

x
4[ G

G " +/ H / * *

/
' *
" " C

_QFW \x 3 * 1 *
P Q Z F P 1 / * * /*
W
1 * 9L <;JJ JK 8JT ? L =J:N @S 7I
R? 7L ?7 J
> * .
G
O \/ 12 33 *
_Q .3 \x *
P Q / )*+,* -* ./0* ' //
!

6

' ' *
LK JI:9SJL
1 2& 2 3 41 233 *

9L < =J:N @S9SJL ^" ^
]
Y \
0
_Q BCx -* 0 /* '
Q
Q W 6 -* / X RM:N
JL 89 M 9L < @L ?SJL9> HIJT I9:
1 0 2 41 23 *
=
:LT Y B] YY BC
_# 44 x *
D #
1 *
9L <;JJ
JK 9S67:9S ?9> 8JT ? A
* +, / 1 2344*

_# BCx
,* / 0 *
#
567 89:;<9 =9>?@>@ A
* +, / 1
/1 23 *
BC
_# 43 x * * ' /
F # W

' '

* ' /'

1 /

O
G XX 1 2343*
Z

%

' / *
_# B x 2 * * / ' ' / ' 0 ' '/ ' /
F # P

G ' ' * +
' ' &1 /

B / ' ' //
X

A
X

Q

/
XAXQ
B 12 23 *
_# BBx *
# # * ) / -)
!
( '

X ' ' */ HIJ?77<LT
*) 1 23 *

K
J S67 6
S I< R M:NJ@: JL 8 =R
P
G BB'
) &
_ C x Q *) ' *
Q
/

* 1
RM:;J> ? 8JT ? ^ "^
]
B 1 23 &* C
) 3 *+-* ) /*
/1 233 * 0 / ' )
_ \x
*
G =9S 7TJI ?9> =J:;L9SJI R7V@ 7LS9> >TJIS6: 9L < @L ?SJL9> HIJT I9:
*

:LT
# $ 1 '/

\ G

P P ' /'
) 3
_ \x G *+-* ) /* . 0

/ ' /' ' *

LK JI:9SJL 9L < =J:
33 * *

N @S9SJL 12 \
_ZG 3& x * *
# Q Z / ,* * *
Q G
LSIJ<@ ?SJL SJ 89SS ?7 9L < *)
I<7I 0 /
O

G 12 33 & * ) 0
W

' *
_!'4 x * *
Z G ! Z P / / * *' * ) / /

X W 0 / * / ' /
*

/ / 1
W
81
9LT@9T 7 9L < HIJT I9::LT O
G / / 0 / 1
234 *
@SJ:9S9
4
_F Yx *+ * * / / /' //
D E F X

/ / ' /
%

* '
% Z

%

G Y / 1 12 34 *
- 3
_F B x *+ * F 1 *- /1 / *

G * HIJJK 9L < 5MN 7 *) 0 /
O
G 1
3 3*
D E
2
E
B
_F
$^Bx * F$ * /
$ / ' /' / 6 /

$

/0
/ / / / *
P

4 3 *
O
9>7? ? 1 0
S 9 YB ] YB & ^B 12
_F
$ 3& x * F$ *
@IS J<7> =J>>7?S 7<

JI J>@: 7 9L < *
P ! /1 /) &6 *

.
O /
G * 12 33& *
_FP 3& x )* * / / * * ' * / '
Q F
Z P P
P
X D / * / * / - /1
1
9L <;JJ JK
1 0 4 * 33 *

567JI7S ?9> =J:N @S 7I R? 7L ?7 J> \^
]
C / 12 &
_F /3 Yx )* * / *
QF
R7:9LS ? JK HIJT I9::LT 89LT@9T 7U R SI@ ?S@I7 9L < 57?6LV@ 7 * WX
G 1 233 *
Y
" " C 4
,
_ BBx Q F* *, /*

8JT ? K JI 9S67:9S ?9L *) 0 / 1
O
G
/1
23 *
BB
, 4
_ W x G * , / / / * ,*
D * W Q
6 * / X 56I< RM:NJ@: JL 567
1 234 *
=
HIL ?N >7 JK HIJT I9::LT 89LT@9T 7 S> 9LS9
_DW 32 x * / * * * ' / / '/
D Q W !

X X
W
*/ / 1 1

HIJ? LS =JLK 567JI7S ?9> N 7?S JK =J:N @S 7I R JK S 9I7 \ ] ^ 1 0 2 2 2 2* /0 1 2332*
- ) * *
P
A P ^Y
_ 3
^ x * )* / * ' /' /

/ / /

X * 5I9L : 7I ?9L
9S67:9S?9> RJ?7SM1 32"2]^Y1 23^3*
P
_ \x * )* /*
' /' / / /
/

XX * 5I9L : 7I ?9L
1 2 2 2 1 23 *
P
9S :9S ?9> R J? 7SM
67 B" & & ]
CY \
_ BYx )* * *G D /* ' ' *

W
LK JI:9SJL 9L < =JLSIJ> ^Y "Y 1 & ]\\Y1
23 *

BY
-
_ PB x *- / * * ' *
G D P
LSIJ<@ ?SJL SJ T 67I

I<7I =9S 7TJI ?9> 8JT ? *) 0
' * 4* ) 1 23 *
D
/ /'
P
Q W

A O
G 0 /
B
_W ) BBx * * / * )* )
Q W P * /'
P
" 0 / //

X ' */
HIJ? I<
LL@9> RM:N 8JT ? L =J:N @S 7I R? 7L ?7 *) '

P
G BB 1 23 *
/ 4 /*
_W B x / /* W LSIJ<@ ?SJL SJ 9S67:9S ?9> 8JT ? *' 1 /'*1

X

/1 23 4*
B
_W 44 *x / * '
W !

+' ' *
567JI7S ?9> =J:N @S 7I R? 7L ?7 1
2 12344*
C"
]
YY
&
_WB x * / *
W 1 3
=9>?@>@ K JI =J::@L ?9SLT RMS 7: Y 87?S@I7 JS 7 L =J:N @S 7I
* /0 + 01 /1 23 &*
R? 7L ?7 P # B
_W -43 * x /+- * ) / '

G W
' / ' 0 /0* /

X LS 7IL9SJL9>
42*

$
I7 K I
8 ? 1 0 +, / 1
7S6 J<J> JTM 9L < H6> JJN 6M JK R? 7L ?7 ^\B ^ A

343*
=JLT J JT
2
]
4
_W Cx * ' E
*
W >7: 7LS9IM *
L <@ ?SJL JL, / 1 234 *
;SI9?S R SI@ ?S@I7 A
C
_WG '3 * / 1 * 1 / *' * ' '

Yx W D G Z ' 1 / *
Q X XX LK JI:9SJL
1 2&& 2 441 233 *
9L < =J:N @S9SJL " ] Y
_WB x * * W ' ' ' *

!

J@IL9> JK =J:N @S 7I
1 1 23 *
9L < RMS 7: R? 7L ?7 \\ "Y] C B
_WB x 4 * * W @>> * 1 23 4*

;SI9?SJL 9L < R7:9LS ? V@ 9>7L ?7 WX G B
&
_G B x * * * ) /' /' /
Z W
G / / / /' * / *

X /1 1 G Z

K 7I7 ?7 567 I7 ? > 1 /1 2
7I R?37& *
?7 B
/0 + 0 ' * - A

/) ' /' * 2& *

=JL L JL J S 9 =J:N @S L # P

P C
3
_G
Cx * * *)Q W G
/ '
/ ' / / * /

X HIJ? S6
33* - ) * *
LS RM:N 9S67:9S ?9>
*
J@L <9SJL JK =J:N @S 7I R? 7L ?7 7 I>79L
/0 1 2
P C A P
_GDB x4 * -* / / * G
567 :N >7: 7LS9SJL JK * / '+
@L ?SJL9> HIJT I9::LT 89LT@9T 7 G

, 1 23 4*
P D
B
" " CB
_G x * *
Q G
* J@L <9SJL JK * 1 / /
7?@IJL 567JIM GZ
P
O
1 23 *
4 * * /* ' / / ' /* ' / ' + +3 1
* *1 / * + / / 0 1 234 *
_G Yx F Z
G
Q

WXG ^
'
P Q X
O Y
4
_G ^x * *
F Z G
/ * ) + +/ 1 ' + +
/

' ' * 567JI7S ?9> =J:N @S 7I
122 2 1 2
R? 7L ?7 " Y^
]
3
^ 34^ *
4
_G x * * F Z G
/* / ' / ' / *
Q

R 1 41 234 *
=J:N @SLT ^ \ "C^Y] CB
44 * *
_G x F Z G
/* -) 0
! /0 /0 0 *
1
567JI7S ?9> =J:N @S 7I R? 7L ?7 ^ "YY\ Y^^ 1
2344*
]
2 * *
_G B x F Z G
/* ) %" /0 / /0 * + -'
G
F

A
/ + Q
* ) * / 0 1 23 2*

/' Z / 1
Z

P ' /' 1 / /
O B
_G B^x * * F Z G
/* / /' / * +

G
F
-' 1 * ) +

A
Z

3 *

' /' 1 /

P / / 0 12
O
B^
' & * * ' *

_P B x Z P P

/0
' ' * / * * , / / * * /1
X D D G P
1
& &* '
5J =@IIMU I 8 ? 8
< >? > < I >
1 0
' 1 23 &*
9M L =J:;L9SJ M JT 9:; 9 =9 @ @ 9L J :9 :
C \ C^ Q G B
]
'3
_P \x * *' * + & 33 *' /
Z P P
Q

' ' 1 / * 567JI7S ?9> =J:N @S 7I
1 2 2 22 1 2
R? 7L ?7 Y "C
]
CC \
3
_P Yx * * / /0
P / /' / 0' /* / * *

X W G ! /
/) &61
1 1 0
NN 9SJL JK =9S 7TJI 7 L =J:N @S 7I R? 7L ?7
> ? C 3
* ) 0
1 233 *

/
]
G
O
Y
_P Yx)* ' * ' /' / / ' / /' /

P
G
"
/
/ / /'

/' / / / '

X '* /
7?@I 7 @L ?

SJL 567JIM G '* /
P G W

' 1 0 2 4*
] Y '/
Q W

'
' 1
P G /' 1 1 23 *
X Y
_P
B^x * P

/* - 0 ' / /

+' ' * 1
LK JI:9SJL 9L < =JLSIJ> 341
^ "B^
23 *B^
]
32 *
_P
x Q 0 /* / /
P

'

G )* / ! X 33 *
HIJ? S6

LS =JLK 9S6 1 0
J@L <9SJL JK HIJT I9::LT R7:9LS ? Y 4 2 * /0 2 2 1
YB\ P
- ) * * ]
A P CCY
32 * 0 /* / /
_P
x Q P

/ / )*
X

G 1
! 567JI7S ?9> =J:N @S 7I R? 7L ?7
43 4 1 2332*
"\^ ] \^B
32' * 0 /*
_P
x Q P

) / / /
G G !
X HIJ? * /
S6 LL@9>
1 0 2 2 2* /// )
RM:N 8JT ? L =J:N @S 7I R? 7L ?7 C
]
^ X
P
G ' 1 2332*
_ 4 '* '* * / / / /
x
/ /' /
X

/ *

1RM:; 8JT ?
23 2 1 23 4*

\Y " B Y Y
]
_ ^^x * * '+ ' / / ' / *

Q Q

H 9? ?

9S67:9S
1 &31 23 *
? ^ "YB^] \ ^^
_ B^x * * / * / / /+ ' /' / /0 0

Z Q W

X ' * /
* * // 1 G

1
@L ?SJL9> HIJT I9::LT 89LT@9T 7 9L < =J:N @S 7I I?6S 7?S@I7 *
- ) &21 /0 + 01 /1 23 *
D D
A P Y P # B^
" " C 3
_ -3&
x * / - /1
D *
JK
9L <;JJ 567JI7S ?9> =J:N @S 7I R? 7L ?7
* /
J> 1 233&*

'B^x
_ G*' * / ' /
X

* ' /'

1. / 0
O
G /0
'
F1 23 *
B^
'/3\x
_ F *'/ *
567 JI:9> R7:9LS ? JK HIJT I9::LT 89LT@9T 7 * WX G 1 233 *
\ !/+
/ )

/0 *

P

+/ 1 22 '/ 0 1
\Y
+ 1 22 ' 1
Y
'/ 1
++ 1 22

^

# / / /1

CC
1 \\ + /1
X Y
+ //1 2^ /

12 Y
+'
/1 2^

1 Y
+
1 Y 0 1
\Y

'
1 \4 ' ' /' /1 2
+
1 \3

C
0+ ' / /1
/' / 1 1 &

\

\Y
+ ' / /1 / / ' /

0 '1 2 Y

\
/ / /

Y 1 2
' /1

C / / 1

\
' /1

C
/14
' '/ 1

\

+ / ' /& 1 4
'

/1
\\

/ 12

' ' 12

B

1

'

\\ 1 C
/' /

0 1 2
\
/

#$ /1 4 Y
/ /01 1
1 2
F
$ C\ CC

\
#$
1
YC / +/
1 22
1
YC
/
\ 1 2
1
\\
/1
C
/ 12
^
) ' / /'
12
1

CY
) '+

12 Y

+ 1
\Y
' 1
C ' ' ' ' 6 /

Y 1
' / 1
\C
/+- / /1
' / 14

W
$

\Y
' / 0 12

B
/ 1 22
' / '

1 23 /

6 12
' / 0 '1 2 Y
'

1 24
Y
/ 6 /01 2 Y
'

' 1 1 22

/ /

' /1 2&

' / / + 1 3

\
/ 1
' / /' 1 4

\^

/

\^ 1
' / /12

^
/ + + ' /1 2&

'/ / 1

Y / + + ' /1 2&1 22

'/ / '

1 Y
/ / / 1
)/ - 1

\

\ 1
\ 3
'/ +

/1 B
91 3
)/ 1 \

B &1 3\
'/ 1

\^
+ ' /1 2
' / 0 /' 1 &
Y
91 4

) / 0 /' /01 3

\

Y
^ 2
/ / ' ' / 12
G

/+ / /
G

/1 \
+ /1

\C
+

/1
\C
' /0 /' 1
\
1 Y
0 '1
Y
0 '/ 1

\^
0 1
G \
0 1
\Y
13
13

1 2&

1 &

/ 1 23
/ ' /1 2&

'
P
Y/1
' /
P

C 1 &
' / /1 2&

1\

/01 \
0 12

Y

/0 + / 1 &
C

/0 / 6 12
Y

/0 /
6 /01 2
Y

P

/ -
12

/1^
P
1 2&
/ '' 1

^

/01 2&
1
/ /

12Y
/

\ 1 2

/1 4 \
1 1
\Y \
'
B1
' /

Y^0 '1
' / /

Y 1 2
' / / ' 1 2

Y
/
\Y 1
/
\ \Y 1 21
/
Y6 /01 2
^Y

*+
/
P

+''
*+ <

' /
*+
) /

0'
*+
#%
*+
+' '
0 /0 /0 0

*+
'
/

*+
+
P
+''1 G)!1 '
^\

1 G

+'' '/
/
*
_

E / '/
/' '
x *
1! /
P

) '+

'/

/'
*

/

G

'/

/*
X

/ 0 / /0 F ' /

/(

D

*
1) ) '+

P

+ ' /* / /

/ /

/ +' '

*

' / ' / ( - *

P
/ + G

/
*

' / / / / -

P

/ ' / 1 / -* , /' 1

1

/' / *

//

/ +/ /

1 F F

$ / /0 / + ** /

'

0 / '
/$ '

? " J ? *

'/ /
O
P ! G

P
"

' +)

- /
' ' / +

' / +' /

*

/ + '
' /
/

9 1 9 F & 21 /

; F

2 ;
& ;

F

/

*
, /' 1
1

/ /' *
1[ +'' /0 '

*
Z'*
' /
_

/ / / /
1 / 0 $

/ /0 0 /*
E

x
14 Z/ P'
/ / )' /*

F F$ //0 / +
* * / '
0/ '
/$ '
? "
J ? *
^C
! ' +

1 / CDFE 9
9+
)' /* G
P'/ !
/
G
" / J1
; J '

; F ; *
1 / '
Z

/
' + +/
' +''*
' /
G

/ / / /' / ?
/*
"
/ /

JK

' + /'
/
P

' ' 6 /

*
X

JK (
1. -
/ /0 ' +
*
/ '
Z

/

' ' + +/ +' ' 1 / 0

' ?*

' ' 6 / / ' / 0 /'

G

F / / * '
F /
Z

*
, /' 1
1

F / * * /

'

+
' / / / /

' /

* '
Z

CDE
F G F " H + *

1 /
Z
' + +/ +' '
1/ 0 /

W
/' / /+
- */

$

/ / /
/+
G

/ /
P

/*

'

)/

-( F ' /
'
' + +/
+''*
1% -

+ /00
'/
/
/ / /'
/
' /*

/ /
Z
/ #? ?
" 6

" ' 1

# 1 / #
/
" ' /
# CDFE
# CDFE G H
# CDFE ##
'
/

G

# F * , /'

# F _x *
'
'/
Z /
'
/ / '

'
*
0 ( / '
O/0 1

1

/ '

'
'/

' / 0
' / /

'/ 0 /
'

' /

0 *
^^
1 +'' / )/

-0' /
/
*
Z'*
1! Z/
'++ ' +'' / 0

/ /
' /

W
/+- $

/ 0+

/ / G
/+

/
/ +
/ *

G

0+ / +

' / / / **

/ JK

/

' /
/

/ ; J ' ;
*

P

' / 0 /'

/0 /
/ +' '
/

/
/
/

'
JK

/ J K

F
F

X ' / 0 /'

/0 /
/ ' +''(
1) Z/
/
P'
% /00 &'( / 0

/ /
' /

+

0+

' /
/*
/
P

)/

- &'( *
1 /
P

' Q' P'
% /00 &'(*
^

)/ , 3 3/2
0 +, -

%!
%
!! !
' 233 W ^
,$ #$#" 567 K J>>J LT 7I7 JK N IJ;>7: S97 MJ@ S6IJ@T6 9 N IJJK JK S67 ?JLS7S
>7::9 K JI S67 ?9>> ;M 9>@ 7 ?9>?@>@ J@I N IJ" 7?S 6 J@>< S9 7 S67 K JI: JK 9 :9S67:9S ?9> I7NJIS JL

MJ@I N IJT I7 L J> LT S67 N IJ;>7:
'
/ /0 +
* G0 G
/% ?9>>;M9>@7 ?9>?@>@ ' +

1 / 9>@ 71 /0 ; / 1 '

'
/ * /
/ / /'
/

/0 " 0 /
; _;x

'
0 '/0

1 /

/
* '

/
' * * /
/'
/*
$$ 7 $$5 $*$9 ! ' / 1
:@>9S7 9NN >?9

S 7>M 1
/ 1 $

/'
/
/' '

/ 8 *

2 3 1 8

'
Q

/' / /

/ +
/ 0/" / / 1
/ *

/ $

/ '

Q 9>@ 7 @;SS@SJL $
/'
/
*
P

''/0 / 2 3
/
CDFE _ 22 3 3x

,+* *-/ )0/ 7-66- ,.1
, ,( & 5*/-* /*

,, -* &. &. 0,+0 &*/ .-) ./+/((&*,6 +6-(/ &. 7-* &. &6 /
F _ x _ x

$$ ! 7,$*$9 -

/
/

' +
*
/
Z /' /
? " /
"
CDFE G " F _ x H

^ 4
/ / /' /

' /'

/
Q
/0* /

N I7
$ /'
:@> 9SJL
*
Z /

+ / **

CDFE

,+* ! *-/ )0/ 7-66- ,.1

, ,( & -.-)-./ 7 .+),-. , )0 */(5/+) )- )0/ ,.+6 (,-. -* /*,.1
,, ,( )0/ (&/ &(
$$ ) 7+,5$ ,,#,9 ! ' / 1

9NN IJ:9S7 J;7I9SJL
9>>M
$ /' / '
'/

_ x / _x
/ _x*
**
'++ +'' '

/
'

'
'/'

/ * .

)/

-*
$$ 7,-, #$#9 Z/ /
/ 1 ' N I7?JLTI@7L?7 ?9L<
<9S 71
''
/ /
$
'
/'
/
/0 "
+
4
/
4 / /
/
4 /
/ *
,+* ) *-/ )0/ 7-66- ,.1

, 0/.//* &. )0/.

,, ,( & 5*/+-.1* /.+/ , / 0/.//* &. )0/. &. 0/.//* )0/.

,+* *-/ )0& ) ,( *//, / /.+/ / +/ )0& ) ,( +-.)&,./ ,.

,+* [ 7+$$ 0**9 *-/ )0& ) 0/.//* &. &6 /( )0/.
_ x _ x

,+* 4 -* +6-(/ &. ,7 &. )0/. 7-* (-/ &.
_ /
" Z / /
/ '/0/' / 9

3 1 / /'
/ 9 1 /0

,
P

/- x *

,+* *-/ )0& ) +-,.+,/( , )0 /.+/ / +/ )0/ +-.)/ ) 6/&
_ /
"

'/
/ / 1
'

/ ( *x
, +
^B
)/ , 3 3/2

0 +, -

%!

%
' 233
W ^
,$ #$#" J@I N IJ" 7?S 6J@>< S97 S67 K JI: JK 9 :9S67:9S ?9> I7NJIS JL MJ@I

N IJT I7 L J> LT N IJ;>7: L ;JS6 H 9IS 9L<
+2) 1+0 , -)/)
-
* '& Q

L<@?S7
/ ' / 1
1

/ / /
*

+ /' /0 ' /

- / /0

&'( / ; / *
$$ ! ' &'(+
1 ' /

/ /
1 / '
'

1 /

4 F
4 /

%
; ' / ' '

1

F
;
%
K 1 A
K A
% 9
9 *
,+* *-/ )0& ) 7-* /&+0 )5/ &. 7-* /&+0 +6-(/ )/* -7 )5/ )0/ (/)
G "
H
,( ,. +), /

,+* ! 55 -(/ 2 " 2 3 " 3 " 7-* 9 : & -* /&+0 2 9 7-* /&+0
&. 7-* /&+0 +6-(/ )/* -7 )5/ ( +0 )0&)
5*-/ )0&)
__ xx

_22 3 3x

,+* ) 7 # ,*9 , *-/ )0& ) 7-* /&+0 +6-(/ )/* -7 5*-1*& )5/ , /
-* __ xx F ,7 &. -.6 ,7 7-* (-/
,, ( )0/ */( 6) &6, 7-* +6-(/ )/*( -7 0,10/* )5/ (),7 - * &.( /*
^3
0 = +,/ *
0 )/ 3
/ ' / 0' / ' * '

&'( &'(

/ ' /+
/ /

1 / 1 '' 1 ' 1 + +6 1 ' / / / + '/ /
/

/ / *

&'(

,+* / ./ )0/ (.)& -7 &'( &. 1, / )0/ 7-*&6 (()/ )0& ) / ./( )5 ,.1 (/ /.)( -7

)0/ 7-* " 0,+0 /&.( )0&) )0/ )/* 0&( )5/ ,. )0/ +-.)/ ) 0/*/ 7*//
&*,&'6/( 2 3 0&/ )5/( 2 3 */(5/+), /6

,+* [ / ./ /, )0/* & (&66()/5 6-) ,.()6/ )*&.(, ),-. */6& ),-. -* & ',1()/5
&*),.-7 ()6/ /&6 & ),-. */6& ),-. +&66 ' .&/ -5/*& ),-.&6 (/&.),+( 7-* &'( 0& )
- , - , 0 7- 0
5* 5/*) /( +&. /()&'6 ( * ) / (/&.) +( ,

,+* 4 &,./ )0/ */6& ),-.(0,5 '/) //. &'( &. &'(
- 0& ) / )/.) - )0/ &1*//
&
)/ , 3 3/2

0 +, -

%!
!!% ! % %
& % %&
'
W 233
,$ #$#" L 7I 9 :9LM N IJ;>7: 9 MJ@ ?9L
+
1 /0 1
'*1 / "
""F
/0 / ''
/ 1 / '/
/
1 // hiebj behb
kbdk *'
J '
J K
''
/ +
'
' +
*
HIJT I9: '
/ 9>@ 71 /0 ; 1
' *1 '
'
/ / *

/
/ / /'
/
/0 "
_ x
$

$ * ' 0 '/0

1 /

/ *
,+* F G
/+

/ / / JK JK

/

/ /

/ 0
1 / / 1

/
_ x *

1
/
' 1 /
Q
/
/
/
''
6
bca>cklie hiekbkd '
'
'
/
/
jbfb j>abd $
/ ' / / 1

/ '

_x 1 _x / / /
/'
/ *
P

/0 "
_x
$
/
Z

/' / 1 0

1 ''
6

/
/
/
/ *
D
/ *
,+* ! / /+
Z

' /
/ /

/ J /'
/

"/0
_x $

G

)' *
+
,/
_
" Z / /
' /

/

x / *
2
,+* ) ' / 0 /'
P

/0 / / / ' + +/ +' ' /

/ ' / / *

^
1 /0

/ / ' + +/

+' ' 1

/ '
+ '

1 /

/ JK

F $
F

/
_ x *
-
/ +
1 / / +&
* -
/
* G

'

* * / *
-
/
/ / '
'/0 /
* G

*

X

'

/ +''
'/0/'

/0 '

0/
'' ( A *
'
W 233 1
'
Y
)/ , 3 3/2

0 +, -

%!

' 233
W
,$ #$#" L 7I 9 :9LM N IJ;>7: 9 MJ@ ?9L
,+* P

/0 ' / / / '& **

/
/

' '

/
"

2 / / /
Q

*
Y /

/ *
\ / //+

*
Q '&
hiedldkbekag hi abkb $
/ ' '/
/ Y / /' 1 /
1 2
\
*
Q '/ / '

'&
fldkjl>klb $
/ ' / ! 1 /
!
/

1 /
! F !
Q
hikk fi cle '/
/
'
1 + 0' '& * Q f fi cle

P'
/

/0 "
7 9" / ' '

/
/
/ /
/ /
*
Q / '& jl b $
/ ' /

1

/
F
Q '& jl b ca bjclh /

/

/

*
,+* ! G

P'
/

/ / ! 1
G ! H /
/
! F !
P

F 2 I 4 '
P
/ /

/
F 2 4
Q / /

'&
hibj $
/ ' 1 /
/ !1 /
!

/!F ! F *
G

X / + /1 / '

'
'
/*

/ ' '

/
\
/0

1 1

P
/ ' /

X1
' *
O
/

0
-
/ ' / /
'&

/ * Q /' /

" ?
dkc ab
$ /' '//

1 / / / /

/
1
F
-
/
/' /

*

/ bkbedliecaag $
/ '
CDFE

/ ''/0

dkcab ijfbjle $
/ '
CDFE F F
,+* ) P

/ / /0 /

/' /

*

1 ' / /'

/ ? /

G

' / / /

*
,+* P /

/'
/ 0 &'( *
P

+ /
/ /
*
'
W 233 1
'
C

Curs - Oxford University-Lambda Calculus

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Curs - Oxford University-Lambda Calculus

Cargado por

Copyright:

Formatos disponibles



(' )*+,* -* ./01 2334

' /' / / 1/ / / ' ' 0

/ / ' * / / / ' ' /' *

' ' ' /' / /0 0 / * ' / 0

/ / /' ' ' /' /

      

#  ' / 0 0' / '

' ) ' /'

_`abcdb dbef ceg hijjbhklie ki mnopnqmrs tnu trp tvw x *

"*,    '  :7S9+         

    1 1   

% &'()*&+),-. &((-+,&)/( )- )0/ *,10)" 2   3  / 24    3   *

Q / '' /'     /    

  /,+, 0), 

; _ x CDFE ; _ x _ x

!      ! _ !x  ; ; *

$$   iekbkd   + ?JLS7S  / 

!     /  2    3 1

,   /  '   + /

/0 + ' / / 1 / ' '/ /

> kbj + / / ' /

bj jb jlkle  $ '

,/     - 0' /) ' /'

 F G    _x  "  /   +

     / 2    3 1 /  ' 1    

   /0   "

4    / /     9 : & /    2    3 1

* !) 

$$ !)!  Q

1    _ x / _x   _ x * 

   _x    _x _x

! ,", ,,  ,#$ 2

0** !  ,( )0/ )*&.(, ), / +6-( */ -7 

'    

, ,*  ,#$ $ 

<  - , -) -1/0-  )/ / )/, /,+, 

![  $  ,", ,, $*, 2

0 / /0   F  /' / / * G   ' /

![  $  ,", ,, $*, 24

'' /' * '

__ 24 xx  F __  24  xx 

F __ 2 xx __ 4 xx F __ 24 xx 

/ G 2 H* ,/'     24    22 F 4    2  / 

   F ;   F ;

2   3 F ;  2   3 F 2   3;

    !_  F !   F !x 

$$ )! ' /

     /  ' /   "

0** )[ -* &. )/*(  -7 

0** )[! , -* //*  )/*     F  

'   ;* /   ; * # G 

0** )[) -* ;  J 0 ; _x F ; _ x 

" 0 ; _ x F ; _x *

; _x    _x / / +

F   _x  / * *2

,* )[ 7$59 /)  &. ; '/ )/*( 

)  # /0

).  bc hi leckijg ai lh /

7-* (-/ -0 )*&.(7-*&),-.  

,  $*   F 2     

      F     ? 2

   3 2     3   F  

'   ' /

(' )+, -* ./01 2334

# ' / 0 0' / '

"*, ' :7S9+

1 1

% &'()&+),-. &((-+,&)/( )- )0/ ,10)" 2 3 / 24 3 *

Q / '' /' /

/,+, 0),

; _ x CDFE ; _ x _ x

! ! _ !x ; ; *

$$ iekbkd + ?JLS7S /

! / 2 3 1

, / ' +/

/0 + ' / / 1 / ' '/ /

> kbj + / / ' /

bj jbjlkle $ '

,/ - 0' /) ' /'

F G _x " / +

/ 2 3 1 / ' 1

/0 "

4 / / 9 : & / 2 3 1

* !)

$$ !)! Q

1 _ x / _x _ x *

_x _x _x

! ,", ,, ,#$ 2

0** ! ,( )0/ )&.(, ), / +6-( / -7

'

, ,* ,#$ $

< - , -) -1/0- )/ / )/, /,+,

![ $ ,", ,, $*, 2

0 / /0 F /'/ / * G '/

![ $ ,", ,, $*, 24

'' /' * '

24 xx F 24 xx

F 2 xx 4 xx F __ 24 xx

/ G 2 H* ,/' 24 22 F 4 2 /

F ; F ;

2 3 F ; 2 3 F 2 3;

!_ F ! F !x

$$ )! ' /

/ '/ "

0** )[ -* &. )/*( -7

0** )[! , -* //* )/* F

' ;* / ; * # G

0** )[) -* ; J 0 ; _x F ; _ x

" 0 ; _ x F ; _x *

; _x _x / / +

F _x / * *2

,* )[ 7$59 /) &. ; '/ )/*(

) #/0

). bc hi leckijg ai lh /

7-* (-/ -0 )&.(7-&),-.

, $* F 2

F ? 2

3 2 3 F

' '/

F 3 2 F ! 2 !3 !! 2 ! 2 !3

% / ' / /' ***

' / '' /' / 0 /0 +' '

$- , ,

>

$$ ! ' /

! 1 $ $$ $ / $$ $$ 1 / *

* 0+, ) 1+, +2 0,) , )+

$$ [) ' / /

4 2 _ F _ JK _ x _ x xx

CDFE G F " JK H

,$ [)! P

' 0 ''

,, /.+/ ,7 &. &/ '-)0 +-./1/.) )0/. 32 JK 3

' /

7-* &66 9 : & 3 &. 3 &*/ / &6

$$ [)4 /

"*, [). 7$9

; _;x

_ x /0

/0 / 0 '

' + 1 /

CDFE G " F _ x H

,$ [[) *-/ )0/ 7-66-,.1