Spécification et animation de modèles de conception de la sécurité avec Z

HAL Id: tel-00716404

https://tel.archives-ouvertes.fr/tel-00716404

Submitted on 10 Jul 2012

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

Spécification et animation de modèles de conception de la sécurité avec Z

Muhammad Nafees Qamar

To cite this version:

Muhammad Nafees Qamar. Spécification et animation de modèles de conception de la sécurité avec

Z. Autre [cs.OH]. Université de Grenoble, 2011. Français. �NNT : 2011GRENM057�. �tel-00716404�

THÈSE

Pour obtenir le grade de

DOCTEUR DE L’UNIVERSITÉ DE GRENOBLE

Spécialité : Informatique

Arrêté ministériel : 7 août 2006

Présentée par

Muhammad Nafees QAMAR

Thèse dirigée par Prof. Yves LEDRU et codirigée par Dr. Akram IDANI

préparée au sein du Laboratoire LIG / INRIA Rhône Alpes dans l'École Doctorale Mathématique, Science et Technologie de l’Information, Informatique

Spécification et animation de modèles de conception de la sécurité avec Z

Thèse soutenue publiquement le 02 Décembre 2011, devant le jury composé de:

Mme, Régine, LALEAU

Professeur à l’Université Paris-Est Créteil, Rapporteur

M, Jean-Michel, BRUEL

Professeur à l’Université de Toulouse, Rapporteur

M, Jean Claude, FERNANDEZ

Professeur à l’Université Joseph Fourier, Président

Mme, Nicole, LEVY

Professeur au CNAM, Examinateur

M, Yves, LEDRU

Professeur à l’Université Joseph Fourier, Directeur de thèse

M, Akram, IDANI

MCF à Grenoble INP, Co-directeur de thèse

!"#$%&'()*'#+

!"#$% &'( )*!"+( *, &'#+ "(+(-")' . /($(0&(1 - 2*& ,"*3 &'( (45("&#+( -$1 %!#1-$)( *, 36 -17#+*"8 9"*,(++*" :7(+ ;(1"!< . *=( 36 1((5(+& %"-&#&!1( &* '#3 ,*" '#+ "(%!2-"

,((1/-)> *$ &'( +)#($&#0) =*">< ?#+ )2(-" "(+(-")' 7#+#*$ '(25(1 3( ($*"3*!+26 &*

-)'#(7( "(+(-")' */@()&#7(+< . &'-$> '#3 ,*" -22 '#+ +!55*"& ='($ . $((1(1 &'( 3*+&<

A#&'*!& '#+ 3($&*"+'#58 . =*!21 '-7( $*& /(($ -/2( &* 0$#+' &'#+ 1#++("&-&#*$<

. -3 -2+* &'-$>,!2 &* 36 )*B-17#+*"8 "< C>"-3 .1-$#8 ,*" '#+ #$7*27(3($& #$ &'(

=*"> -$1 )*$+&"!)&#7( ,((1/-)>< .& '-+ /(($ - "(-2 52(-+!"( &* =*"> =#&' '#3 -$1 2(-"$#$% 5(1-%*%#)-2 +>#22+<

. )*$+#1(" 36+(2, ,*"&!$-&( &* '-7( =*">(1 =#&' &'(3< . '*5( =( )-$ )*$&#$!( &*

)*22-/*"-&( #$ &'( ,!&!"(<

D()*$18 . =*!21 2#>( &* (45"(++ +#$)("( &'-$>+ &* 36 "(-1("+8 9"*,(++*" EF%#$(

;-2(-!8 9"*,(++*" G(-$BH#)'(2 I"!(28 ,*" &'#+ 5-#$+&->#$% =*">< D5()#-2 &'-$>+ %*

&* &'( (4-3#$("+8 9"*,(++*" J#)*2( ;F768 -$1 9"*,(++*" G(-$BK2-!1( L("$-$1(M< . )*33($1 &'(#" #$7-2!-/2( +!%%(+&#*$+ -$1 #$&("(+&#$% 5("+5()&#7(+ *$ &'( =*"><

J(4&8 . =#+' &* &'-$> -22 36 )*22(-%!(+ #$ &'( NCDKO &(-3 ,*" &'(#" 3*"-2 +!55*"&<

. -2+* &'-$> -22 *, 36 ,"#($1+ ,*" &'(#" -++#+&-$)( -$1 %**1 ,"#($1+'#5+< . -3 %"-&(,!2

&* 36 9->#+&-$# ,"#($1+ #$ P"($*/2( ='* +'-"(1 +*3( @*6,!2 3*3($&+ =#&' 3( #$

&'( K"#)>(& %"*!$18 IIQ+8 -$1 1!"#$% *&'(" %-&'("#$%+<

L#$-$)#-2 +!55*"& ,*" &'( 3-@*" 5-"& *, 36 &'(+#+ =-+ - "(+(-")' ,(22*=+'#5 ,"*3 .JE.C E'R$(BC25(+8 -$1 5-"&26 /6 CJE SCDKKK 5"*@()&< . -3 &'(#" %"-&(,!2 ,*"

5"*7#1#$% 3( &'#+ *55*"&!$#&6 &* "(-)' &'( %*-2<

. =*!21 2#>( &* (45"(++ 36 1((5(+& %"-&#&!1( &* 36 5-"($&+ ='*+( 5"-6("+ -$1 )*$&#$!*!+ +!55*"& #+ 36 +*!")( *, +!))(++< . (+5()#-226 =#+' &* &'-$> 36 (21("

/"*&'(" .1"((+ T-,-" ='* 52-6(1 - 7#&-2 "*2( #$ 36 2#,( -$1 '(25(1 3( (7("6='("(<

.& #+ /()-!+( *, '#3 . '-7( -&&-#$(1 &'#+ 5*+#&#*$<

.$ 5-"&#)!2-"8 . =*!21 2#>( &* (45"(++ '(-"&#(+& %"-&#&!1( &* 36 =#,(8 D-'-"U ='*+(

2*7(8 -V()&#*$8 -$1 )-"( 52-6(1 - 5#7*&-2 "*2( -$1 %-7( 3( &'( +&"($%&' &* -))*352#+'

&'#+ &-+><

S'( /(+& 5-"& *, 36 2#,( #+ 36 =*"218 36 1-!%'&("U C-#,-8 ='*+( +3#2#$% ,-)( -2=-6+

,-1(1 -=-6 &'( '*3(+#)>$(++ -$1 =*""#(+8 -$1 5!+'(1 3( &* +3#2( =#&' '(" (7($

='($ . 1#1 $*& =-$&< . 1(1#)-&( &'#+ &'(+#+ &* '("<

L#$-2268 . &'-$> C22-' C23#%'&6 ,*" ?#+ 1#7#$( '(25 ='#)' ($-/2(1 3( &* -)'#(7(

&'#+ 3#2(+&*$(<

!"#$%#&'$() &)* +)$,&'$() (- "#./$'0 1"2$3) 4(*"52 .2$)3 6 +72'/&#'8 !"#$%&$'( )"#*+$,&-#+$,$#./ )0%,1.+" *+(") ,0 2"3"/0! ,"#4'$5*") ,4., .//01 ".+/& 6*() 2","#,$0' .'2 !+"3"',$0'7 84$) $) .((+.3.,"2 6& ,4" %.#, ,4., 9.))$3" #0), .'2 ,$9" .+" )!"', 2*+$'( !+02*#, 3./$2.,$0' .'2 3"+$:#.,$0' ;<=<>7 84"+" "?$),) . 9*/,$,*2" 0% %0+9./ .'2 $'%0+9./ ,"#4'$5*") ),+$3$'( ,0 #0'%+0', ,4"

#4.//"'(" 0% )!"#$%&$'( .'2 3./$2.,$'( )!"#$:#.,$0')7 @*+ .!!+0.#4 9.$'/& #0'#"+') 3./$2.,$'( ,4" )"#*+$,& )!"#$:#.,$0') 6& .'$9.,$'( ,4" %0+9./ 902"/)A 14$#4 .22) . '"1 2$9"')$0' ,0 ,4" ),.,"-0%-,4"-.+,7

"#*+" )&),"9 "'($'""+$'( 2"2$#.,"2 ,0 ,.#B/" )"#*+$,& %".,*+") 0C"+) )"#*+$,&- 2")$(' 902"/) ,0 )B",#4 )"#*+" .!!/$#.,$0')7 D"'"+.//& %0+ ,4")"A E'$:"2 F02"/$'(

G.'(*.(" ;EFG> $) #0')$2"+"2 . 2" %.#,0 ),.'2.+2 ./0'( 1$,4 . %"1 "?,"')$0') )*#4 .) "#*+"EFG .'2 @6H"#, I0'),+.$', G.'(*.(" ;@IG>7 @IG ,"'2) ,0 .22

!+"#$)$0' $' 2")$(' 6*, &", $, +"9.$') %.+ %+09 06,.$'$'( 6*() %+"" )!"#$:#.,$0')7

@'" +".)0' ,0 ,4., $) ,4" $'.6$/$,& 0% ,4" @IG-6.)"2 ,"#4'$5*") ,0 .'$9.," 902"/) 6"%0+" !+0#""2$'( ,0 .' $9!/"9"',.,$0'7

I096$'$'( %0+9./ /.'(*.(") )*#4 .) J 1$,4 EFG .//01) .!!/&$'( ,0 .!!/& .'-

$9.,$0' ,"#4'$5*") "'.6/$'( ".+/& 3./$2.,$0' 0% )0%,1.+" 2")$('7 84" K0J ,00/ $)

#.!.6/" 0% ,+.')/.,$'( EFG 902"/) $',0 ,4" J )!"#$:#.,$0') 14$#4 %*+,4"+ #.' 6"

3"+$:"2 0+ 3./$2.,"27 L*, K0J $) /.#B$'( ,0 !+03$2" )$9$/.+ %".,*+") %0+ )"#*+" .!!/$-

#.,$0')7 M' ,4$) ,4")$)A 1" 4.3" *!(+.2"2 ,4$) ,00/ *)$'( .' *'2"+/&$'( )"#*+$,& B"+'"/

6.#B"2 *! 6& K0/" L.)"2 N##")) I0',+0/ ;KLNI>7 @*+ .!!+0.#4 '0, 0'/& .//01) 3./$2.,$'( ,4" )!"#$:#.,$0') 6*, #.' .'$9.," ,4" %0+9./ 902"/)7 84" .'$9.,$0' ./)0 ,.B") $',0 .##0*', 60,4 ,4" ),.,$# .'2 ,4" 2&'.9$# .)!"#,) ;$7"7A )"))$0' 9.'.("- 9"',> 0% KLNI-6.)"2 )"#*+$,& !0/$#$")7 @*+ *'$:"2 .!!+0.#4 .'2 ,00/)", $'30/3") . )&),"9.,$# *).(" .'2 /$'B.(" 0% EFGA "#*+"EFGA KLNIA K0JA JA .'2 ,4" O*), N'0,4"+ J N'$9.,0+ ;O.P.> ,00/7 E)$'( O.P.A ,4" )0+, 0% 3./$2.,$0' 1" !"+%0+9 ./- /01) "'*9"+.," *)"+ 2":'"2 )#"'.+$0) ,0 2","+9$'" $% ,4" )!"#$:#.,$0' 2")#+$6") ,4"

$',"'2"2 +"./$,&7 Q" "9!4.)$P" 0' )$9*/,.'"0*) #0')$2"+.,$0' 0% %*'#,$0'./ .'2 '0'-

%*'#,$0'./ !+0!"+,$") .'2 #0')$2"+ %*'#,$0'./ 902"/) .) #0',"?,*./ #0'),+.$',) 03"+

,4" )"#*+$,& 902"/)7 R+09 . *)"+ 3$"1!0$',A 0*+ !+0!0)"2 .!!+0.#4 #.' .+6$,+.+$/&

6" #09!0)"2 1$,4 .'& %*'#,$0'./ 902"/ ,0 "?.9$'" .' KLNI-6.)"2 )"#*+$,& !0/$#&7

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

&2*# 3

4"/0+"5 !"#$%&'$( )( *+"#%,#-&%./* +.'$ )(* 0.1%#%(0* (/ 1"/"$-0 (& (/ +-$&%#'0%($

+.'$ )(* -++0%#-&%./* *"#'$%*"(* )(2-/)( )( )"3(0.++($ )(* &(#4/%5'(* 5'% 6-#%0%&(/&

0- )"&(#&%./ (& 0- +$"3(/&%./ )(* ($$('$* )( #./#(+&%./7 )8* 0(* +$(2%8$(* +4-*(*

)' )"3(0.++(2(/&9 :( ;(*.%/ (*& 2.&%3" +-$ 0(* #.<&* (& )"0-%* )(* +4-*(* )(

3"$%,#-&%./ (& 3-0%)-&%./9 =( /.2;$('*(* 2"&4.)(* )( *+"#%,#-&%./7 &-/& 6.$2(00(*

5'!%/6.$2(00(* ./& "&" +$.+.*"(* (&7 #.22( /.'* 0( 3($$./* )-/* #(&&( &48*(7 0(*

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

!%/1"/%($%( )(* *>*&82(* *"#'$%*"* +$.+.*( 0!'&%0%*-&%./ )( 2.)80(* )( #./#(+&%./

)( 0- *"#'$%&" +.'$ $(+$"*(/&($ 0(* -++0%#-&%./* *"#'$%*"(*9 =-/* )( /.2;$('? #-*7

#(* 2.)80(* *( ;-*(/& *'$ 0(* /.&-&%./* 1$-+4%5'(* )!@A -3(# )(* (?&(/*%./*7 *.'*

6.$2( )( +$.,0* #.22( B(#'$(@A 7 +.'$ (?+$%2($ 0- *"#'$%&"9 C"-/2.%/*7 0(*

/.&-&%./* )!@A 7 2D2( "&(/)'(* -3(# )(* -**($&%./* E: 7 *./& %/*'F*-/&(* +.'$

1-$-/&%$ 0- #.$$(#&%./ )( #(* 2.)80(*9 :(#% (*& /.&-22(/& )' -'? 0%2%&(* )(* .'&%0*

)!-/%2-&%./ '&%0%*"* +.'$ 3-0%)($ )(* 2.)80(* @A "&(/)'* (/ E: 9

C.'* +$.+.*./* )( #.2;%/($ )(* 0-/1-1(* 6.$2(0* #.22( G -3(# @A +.'$

3-0%)($ )(* -++0%#-&%./* (/ -/%2-/& 0('$* *+"#%,#-&%./*7 %/)"+(/)-22(/& )( 6'&'$*

#4.%? )!%2+0"2(/&-&%./9 ( ;'& )( #(&&( &48*( (*& )( +$"*(/&($ '/( -++$.#4( +.'$

-/-0>*($ +-$ -/%2-&%./ )(* 2.)80(* )( #./#(+&%./ )( 0- *"#'$%&"9 C.'* '&%0%*./* '/

.'&%0 +$"H(?%*&-/&7 I.G7 +.'$ &$-)'%$( 0(* -*+(#&* 6./#&%.//(0* )' 2.)80( @A (/ G9 :(+(/)-/&7 I.G /( #.'3$( +-* 0- 2.)"0%*-&%./ )(* -*+(#&* *"#'$%&-%$(*9 =-/* #(&&(

&48*(7 /.'* -3./* #.2+0"&" 0!.'&%0 I.G (/ 0!-**.#%-/& J '/ /.>-' )( *"#'$%&" 5'%

*+"#%,( 0(* #./#(+&* )' 2.)80( IKL: MI.0( K-*() L##(** :./&$.0N9 C.'* '&%0%*./*

0!-/%2-&%./ +.'$ (?+0.$($ )>/-2%5'(2(/& (& -%/*% 3-0%)($ 0(* -*+(#&* *"#'$%&-%$(* )(

0!-++0%#-&%./9

C.&$( -++$.#4( (& 0(* .'&%0* 5'% 0- *'++.$&(/& %/&81$(/& @A 7 B(#'$(@A M'/

0-/1-1( )( 2.)"0%*-&%./ )( 0- *"#'$%&"N7 IKL:7 I.G7 G (& O-P-7 '/ -/%2-&('$ +.'$

0( 0-/1-1( G9 !-/%2-&%./ )(* *+"#%,#-&%./* +$(/) 0- 6.$2( )( *#"/-$%.* )",/%* +-$

0!'&%0%*-&('$ 5'% +($2(&&(/& )( *( #./3-%/#$( 5'( 0- *+"#%,#-&%./ )"#$%& #.$$(#&(H 2(/& *(* ;(*.%/*9 C.&$( -++$.#4( +($2(& '/( 3-0%)-&%./ )8* 0- +4-*( )( *+"#%H ,#-&%./7 5'% +$(/) (/ #./*%)"$-&%./ 0!%/&($-#&%./ (/&$( 0(* 2.)80(* 6./#&%.//(0 (&

*"#'$%&-%$(7 (& 5'% 6-%& -;*&$-#&%./ )(* #4.%? )( 0!%2+0"2(/&-&%./9 (* "0"2(/&* )' 2.)80( 6./#&%.//(0 +('3(/& D&$( '&%0%*"* #.22( #./&(?&( )-/* 0- )",/%&%./ )(* +($H 2%**%./* )' 2.)80( )( *"#'$%&"9 C.&$( -++$.#4( /( 2(& +-* )( #./&$-%/&( *'$ #(

2.)80( 6./#&%.//(0 #( 5'% +($2(& )( 0!'&%0%*($ +.'$ '/( 3-*&( 1-22( )!-++0%#-&%./*9

!"#$"#%

!"#$%&'(#)%"

! "#$#%&'( )*+,#-, ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! . !/ 0*,12%,1*+$ %+3 4''*5671$(5#+,$ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 8 !/! "#$#%&'( 0*,12%,1*+$ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 8 !/!/ "#$#%&'( )*+,&19:,1*+$ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 8 !/!. ;:971'%,1*+$ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! <

!. =1$$#&,%,1*+ "*%35%6 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! >

!.! ;%&, ?@ A,%,# *B ,(# 4&, ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! >

!.!/ ;%&, ??@ )*+,&19:,1*+$ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! C

!"#"$ %& "'$ #(" )

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

/! D(# E F%+G:%G# ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! /! ! D(# E H%$1'$ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! . /! !/ A#, )*+$,&:',*&$ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! I /! !. J6#&%,1*+$ *+ A#,$ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! <

/! !I )7*$:&# ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! <

/! !8 A,%,# )*+$,&%1+,$ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! >

/! !< A'(#5% )%7':7:$ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! C /!/ "*E D**7 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! /K /!/! D(# 0##,1+G A)LM=NFM" ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! //

/!/!/ "*E D&%+$7%,1*+ ;&*'#$$ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! /.

/!/!. "*E DO6#$ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! /I /!/!I "*E )7%$$#$ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! /I /!/!8 D&%+$7%,1*+ *B "#7%,1*+$ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! /8 /!/!< P#+#&%,1*+ *B M7#5#+,%&O J6#&%,1*+$ N$1+G "*E ! ! ! ! ! ! ! />

/!. N$1+G Q%R% ,* 4+15%,# ,(# 0*3#7 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! . /!I =1$':$$1*+ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! .

0 /((122 3%"#$%4 51(6,")272 8 91('$1:5; 0<

.! 4''#$$ )*+,&*7$ 0#'(%+1$5$ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! .<

.! ! 0%+3%,*&O 4''#$$ )*+,&*7 S04)T ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! .>

.! !/ =1$'&#,1*+%&O 4''#$$ )*+,&*7 S=4)T ! ! ! ! ! ! ! ! ! ! ! ! ! ! .U

!!! "#$%&$%' !"! #$%& '()&* +,,&)) -$./0$% 1#'+-2 ! ! ! ! ! ! ! ! ! ! ! ! ! ! 34 !5 67.,/8$.(% 9:&,8;,(/8$. <(,=(>&) ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 33 !5!" 97??(08@8.> +,,&)) -$./0$% A&,B(.8)?) ! ! ! ! ! ! ! ! ! ! ! 3C ! D(/( 9&,708/E <0$:&0/8&) ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 3F ! !" +G(8%(H8%8/E ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 3F ! !5 -$.;*&./8(%8/E ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 3F ! ! I./&>08/E ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 3J !3 KBE /$ -B$$)& #'+- $G&0 A+- (.* D+-L ! ! ! ! ! ! ! ! ! ! ! ! ! 3J !M NAOPH()&* #'+- ):&,8;,(/8$.) ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 3Q !M!" 9&,70&NAO ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 3Q !C 97??(0E ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! M5 ( ) *+,*%!$- ./0" 1,22#3%&4 5&67$!8,&' *$4 %7&!3 9*+!4*%!#$

*$4 9&3!:6*%!#$ ;<

3!" I./0$*7,/8$. ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! M3 3!5 #'+- -$G&0(>& () RG(%7(/8$. -08/&08( ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! MM 3!5!" #'+- 67.,/8$.) ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! MM 3!5!5 #'+- 9&:(0(/8$. $S D7/8&) 19$D2 -$.)/0(8./) ! ! ! ! ! ! ! ! MC 3!5! T/B&0 #'+- U(08(./) ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! MC 3!5!3 U&08;,(/8$. (.* U(%8*(/8$. V$$%) ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! MC 3! 9&?8PS$0?(% V&,B.8W7&) ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! MC 3! !" + 97??(0E $S 9&?8PS$0?(% V&,B.8W7&) ! ! ! ! ! ! ! ! ! ! ! ! ! MQ 3!3 6$0?(% O(.>7(>&) (.* #'+- -$.)/0(8./) ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! MQ 3!3!" +%%$EPH()&* +::0$(,B&) ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! C"

3!3!5 XPH()&* #&%(/&* K$0= ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! C"

3!3! + 97??(0E $S 6$0?(% V&,B.8W7&) ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! C5 3!M -$.,%7)8$. Y O&))$.) O&(0.&* ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! C5

!"#$% &'$ "#( )*

; 9*+!4*%!#$ #= 1&6,3!%>?@&'!-$ A#4&+' B'!$- C DE M!" I./0$*7,8.> /B& <0$:$)&* XPH()&* V$$%)&/ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! CJ M!5 I%%7)/0(/8G& RZ(?:%& [ A&*8,(% I.S$0?(/8$. 9E)/&? ! ! ! ! ! ! ! ! ! ! CQ M! V0(.)%(/8.> /B& 67.,/8$.(% A$*&% 8./$ X ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! F"

M!3 VB& 9&,708/E \&0.&% ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! F M!3!" <&0?8))8$.) ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! F3 M!3!5 #$%& ]8&0(0,BE ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! F3 M!3! +,/8$. ]8&0(0,BE ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! FM M!3!3 #$%&)^ N)&0) (.* 9&))8$.) ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! FF M!3!M <7//8.> 8/ +%% V$>&/B&0 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! FJ M!M O8.=8.> 67.,/8$.(% (.* 9&,708/E A$*&%) ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! J4 M!C U(%8*(/8.> (.* +.8?(/8.> 9&,70& T:&0(/8$.) ! ! ! ! ! ! ! ! ! ! ! ! ! J"

M!C!" _$0?(% '&B(G8$0 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! J"

!"#$"#% &' !"!# $%&'()*%+ & ,&'*-*./0 123&4*.5 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 6#

!7 8/99&5( ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 6:

( ) *+,-%$. /!!0%$# 1!2 #3$ 4-0&.-#&!" !5 6$782&#9 :!0&7&$% ;<

"!; <4254*2= ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 6"

"!# 8>&>2 .? >32 $5> @..'0 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 67

"!#!; A1$B &%C 82-/52D,E ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 67

"!#!# D8F ?.5 >32 G&'*C&>*.% .? 82-/5*>( H.'*-*20 ! ! ! ! ! ! ! ! ! ! ! 67

"!#!: 82-/52,<G$ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 66

"!: @32 I22C ?.5 J(%&9*- $%&'(020 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 6K

"!L $MM'(*%+ @..'02> >. ,22>*%+ 8BNFJDEFA FO&9M'2 ! ! ! ! ! ! ! ! ! KP

"!L!; Q%M/> ,.C2'0 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! KP

"!L!# J*&+5&90 ?.5 >32 82-/5*>( ,.C2' ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! K;

"!L!: E*%R*%+ S.>3 T.59&' ,.C2'0 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! KL

"! $%*9&>*.% .? >32 8M2-*U-&>*.% ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! K

"! !; V/25*20 .% >32 82-/5*>( ,.C2' ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! K"

"! !# J(%&9*- $%&'(020 W I.9*%&' 123&4*.50 ! ! ! ! ! ! ! ! ! ! ! ! K7

"! !: T/5>325 C(%&9*- &%&'(020 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ;PP

"! !L 8>/C(*%+ &% $>>&-R 8-2%&5*. ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ;PP

"!" B.%-'/0*.% ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ;P#

= ) 6$# !5 4-0&.-#&!" >8$2&$% ?@<

7!; T.59&' V/25*20 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ;P 7!;!; $/>3.5*)2C A.'20 ?.5 &% $>.9*- $->*.% ! ! ! ! ! ! ! ! ! ! ! ! ;P 7!;!# $4&*'&S'2 $->*.%0 $+&*%0> A.'20 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ;P7 7!;!: $--200 >. A20./5-20 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ;P6 7!;!L H259*00*.%0 $+&*%0> $>.9*- $->*.% &%C A.'2 ! ! ! ! ! ! ! ! ! ;PK 7!;! T*%C*%+ J/M'*-&>2 A.'20 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ;PK 7!;!" $>.9*- $->*.% $--2002C S( $'' ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ;;P 7!;!7 $>.9*- $->*.% $--200 S( I.S.C( ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ;;;

7!# A1$B 8/MM.5>*%+ 8(0>29 T/%->*.%0 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ;;;

7!: 8/99&5( ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ;;:

; !"708%&!" -". 18#82$ A8#0!!B ??<

6!; B.%-'/0*.% ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ;;

6!# 8/++20>*.%0 ?.5 T/>/52 X.5R ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ;;"

) )CC$".&' + !DC0$#$ 1!2D-0 6C$7&E7-#&!" !5 6$782&#9 F$2"$0 ??G

$!; $S0>5&-> &%C &>.9*- &->*.%0 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ;;K

$!# E*0> .? 29M'.(2C 5.'20 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ;;K

$!: A20./5-20 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ;;K

$!L @(M20 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ;#P

$! 1&0*- A1$B &%C .>325 02>0 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ;#P

!"#$%#$&

' ())%#*+ , -"./01 2)%3+430$+"#& "5 6%01$7 30.% 8#5"./0$+"# 29&,

$%/ :;<

!" #$% &'()* ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! "+, !+ #$% -./. ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! "+, !0 #$% 1()2./3$4* ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! "+5 !6 7)892) 1()2./3$4* ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! "05

! ())%#*+ , 2%3=.% >)%.0$+"#& "5 ?%%$+#@ 2!6ABCDAE A 0/)1%:F:

:!" % /'()* ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! "6"

:!+ #$% ;)4)2./)- $()2./3$4* ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! "6"

:!0 7)892) 1()2./3$4* $< =))/34; 78>)-9?)2 @A.B(?) ! ! ! ! ! ! ! ! ! ! ! "6C :!6 #$% D./. ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ",E

'+G1+"@.0)79 :<H

!"# $% &!'()*"

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

! 01% *&1%1 +)( .$% 2%%.345 1*$%67/%( ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 8 !8 9%%.345 :;<=>0?=, ;&1% :.76@ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! A !A B&C& .))/ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 88 8!" 9D; 2%*$&4312 &''/3%6 .) .$% 2%%.345 :;<=>0?=, ! ! ! ! ! ! ! 8E 8! ;)(% ,FD; GH%((&3)/) ! "#$ II"J ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! AI 8!8 <3%(&(*$3*&/ ,FD; GH%((&3)/) ! "#$ II"J ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! A8 8!A ::> K3.$34 <3%(&(*$3*&/ ,FD; GH%((&3)/) ! "#$ II"J ! ! ! ! ! ! ! ! ! AA 8!L >@4&23* :%'&(&.3)4 )+ >7.@ (%/&.3)41 GH%((&3)/) ! "#$ II"J ! ! ! ! ! AA 8!M 9%.$)6)/)5@ +)( *(%&.345 +74*.3)4&/ '&*N&5%1 GH%((&3)/) ! "#$ II"J ! AL 8!O :%*7(%09? 2%.&2)6%/ GF&134 ! "#$ IIPJ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! LI 8!E ;/&11 63&5(&2 &46 '%(23113)41 +)( .$% 2%%.345 1*$%67/%( ! ! ! ! ! ! ! L"

L!" F3(6Q1 %@% R3%K )+ -ST&1%6 .))/1%. ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ME L! :%*7(3.@ ')/3*@ 2)6%/ 71345 :%*7(%09? ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! MP L!8 UTV%*. 63&5(&2 +)( .$% +74*.3)4&/ 2)6%/ '()67*%6 +()2 .$% )7.'7.

)+ B&C& ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! OI

M!" 01%(1W ()/%1 &46 1%'&(&.3)4 )+ 67.@ +)( .$% 2%%.345 1*$%67/%( ! ! ! ! P

M! D 17T1%. )+ .$% perm Assignment .&T/% ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! PA

M!8 :%113)41 K3.$ .$%3( 71%(1 &46 ()/%1 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! PO

M!A UTV%*. 63&5(&2 +)( .$% 2%%.345 1*$%67/%( ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! PO

M!L D4).$%( UTV%*. 63&5(&2 +)( .$% 2%%.345 1*$%67/%( ! ! ! ! ! ! ! ! ! ! "I"

!"# $% &'()*"

!" #$% &'()*+,-& *../,'0 12 1)' &''1,+3 4%56#7869 ! ! ! ! ! ! ! ! :;

!< 9=$% %2+>3?@*1,2+- ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! :<

! 9=$% %2+>3?@*1,2+-A B%A%@'*1'C 7A7.0*1'C #A#'/'1'A 9A9'*0D ! ! ! :<

:!" 6E*/?*1,2+ 1*F/' G2@ -'&,HG2@&*/ 1'()+,I?'- ! ! ! ! ! ! ! ! ! ! ! ! ! ! JK :!< 6E*/?*1,2+ 1*F/' G2@ G2@&*/ 1'()+,I?'- ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! L;

J!" M)@'' -'--,2+- ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! KN

!"#$%& '

!"#$%&'"($!

!"#$"#%

! "#$#%&'( )*+,#-, ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! !. /*,01%,0*+$ %+2 3''*4560$(4#+,$ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! !

!.! "#$#%&'( /*,01%,0*+$ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 7 !.!. "#$#%&'( )*+,&089,0*+$ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 7 !.!: ;9860'%,0*+$ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! <

!: =0$$#&,%,0*+ "*%24%5 ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! "

!:! ;%&, >? @,%,# *A ,(# 3&, ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! B !:!. ;%&, >>? )*+,&089,0*+$ ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! C

!"#$"%& '(#")*#( )%$ +,''(+- "%.,'/)-",% 010-(/0 "0 "%,'$"%)-(#1 2)'$ $(03"-( ,.

0(4(')# 0-)%$)'$"5($ 6,.-7)'( 8(4(#,3/(%- 9".( :1+#( ;689:< 3',+(00(0= *(+)!0(=

0,.-7)'( 010-(/0 )'( ,.-(% +,/3#(> )%$ /"00",% +'"-"+)# ?@(1(0 ABBACD E%,-2(' F!)#G

"H($ '()0,% "0 -2)- /,0- 0,.-7)'( 3',I(+-0 )'( 0-)'-($ *1 F!"+J#1 /,4"%& -, +,$( )%$

0!*0(F!(%- $(*!&&"%&D K2( 3(,3#( $, %,- +)''1 ,!- ) 3',3(' '(F!"'(/(%-0 03(+"HG +)-",% 3)3('7,'J *(.,'(2)%$ ? ,(2/ LMNOCD 63(+"H+)-",% "0 $(H%($ )0 -2( 3',+(00 ,. $(0+'"*"%& ) 010-(/ )%$ "-0 $(0"'($ 3',3('-"(0 ?:#)'J( P Q"%& LMMRCD

S% 03"-( ,. 0!+2 ) +'"-"+)# 3'('(F!"0"-(= NBT ,. '(F!"'(/(%-0 03(+"H+)-",%0 )'(

U%&#"02 -(>- $,+!/(%-0= )%$ -2( '(0- "0 3',*)*#1 72"-(*,)'$ ? )'I)J-)',4"+ LMMNCD K2(1 )'( -2( *"&&(0- 0,!'+( ,. 010-(/ (%&"%(('"%& 3',*#(/0 )%$ "/3)+- )## )03(+-0 ,. 0,.-7)'( $(4(#,3/(%- ? )'J(' ABBBCD S- 1(- 1"(#$0 )%,-2(' *,--#(%(+J -2)- VBT ,. -2( -,-)# 0,.-7)'( $(4(#,3/(%- *!$&(- "0 "%+!''($ $!'"%& 3',$!+- W)#"$)-",% )%$

W('"H+)-",% ;WPW< ? )'I)J-)',4"+ LMMNCD K2( -('/0 4)#"$)-",% )%$ 4('"H+)-",% )'(

$(H%($ )0 .,##,70X

Y !"#$%&'#()X "0 "%-(%$($ -, )%07(' -2( F!(0-",%X $"$ 7( *!"#$ ,!' 010-(/

'"&2-Z "D(D= +,%.,'/)%- -, 03(+"H+)-",%0D S-0 /)"% 3!'3,0( -(%$0 -, (%0!'(

-2)- -2( 0,.-7)'( .!##1 0)-"0H(0 )## -2( (>3'(00($ '(F!"'(/(%-0D

Y &*#+&'#()X "0 )++,'$"%& -, E[6S\SUUU 6-)%$)'$ ?SUUU LMNAC= -2( 3',+(00 ,.

(4)#!)-"%& ) 010-(/ ,' +,/3,%(%- $!'"%& ,' )- -2( (%$ ,. -2( $(4(#,3/(%- 3',+(00 -, $(-('/"%( 72(-2(' "- 0)-"0H(0 -2( !0(' %(($0D S% ,-2(' 7,'$0= $"$ 7(

*!"#$ -2( '"&2- 010-(/Z "D(D= +,%.,'/)%+( -, -2( )+-!)# +!0-,/(' '(F!"'(/(%-0D

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

!" #$%&'()!( )!* +"( ,-).."!/#!/ ()01 #0 (-" *"2".&%$"!( &3 0",4'" #!3&'$)(#&!

0+0("$0 5-#,- )'" #!('#!0#,)..+ $&'" ,&$%."6 (-)! 0#$%." 740#!"00 )%%.#,)(#&!0 *4"

(& )**#(#&!). *)() 0",4'#(+ ,-).."!/"08 )!* '"%"',400#&!08 "9/98 *)() .&00 &3 ) 7)!1

$)+ '"04.( #! (-" .&00 &3 ,40(&$"'09 :;4#2)."!(.+8 ) ("*#&40 ()01 ,)! 7" (& 0%",#3+ ) 2).#* )!* 5&'1#!/ 0",4'#(+ %&.#,+ #! ) ,&$%."68 *#0('#74("* )%%.#,)(#&! "!2#'&!$"!(

&' (& 2"'#3+ #(0 7"-)2#&'9 <& (-" 0%",#=,)(#&!0 $)+ /"( $&'" ,&$%."6 5-"! *").#!/

5#(- 0",4'" 0+0("$08 0#!," #( $)+ #!2&.2" "!04'#!/ (-" #!("/'#(+ &' ,&!=*"!(#).#(+ &3 ) 0",4'" 0&3(5)'" 0+0("$9 >! (-#0 (-"0#08 5" ,&!=!" &4'0".2"0 (& (-" 0(4*+ &3 04,- 0+0("$09

?@A 7"#!/ ) ! "#$%& 0()!*)'* #0 &3("! "$%.&+"* (& $&*". '";4#'"$"!(0 &3 ) 0",4'" )%%.#,)(#&! &! (&% &3 ("6(4). *"0,'#%(#&!09 B4( /')%-#,). $&*".0 *& !&( 3&..&5 0('&!/ 0"$)!(#, '4."0 )!* (-"'"3&'" (-"#' $")!#!/ ,)! 7" )$7#/4&40 )!* 047C",( (&

#!("'%'"()(#&! D@)'(#! EFFEG9 H-#0 $)+ "!* 4% #! #$%."$"!(#!/ 0&$" 4!*"0#')7."

34!,(#&!).#(+ 7+ (-" *"2".&%"'9 <4,- ) %"',"%(#&! ."* (-" *"0#/! &3 IA8 7"#!/ 40"*

(& $#!#$#J" (-" )$7#/4#(+ &3 /')%-#,). $&*".0 DK)'$"' L M."%%" NOOPG9 Q.#1"8 3&'$). 0%",#=,)(#&! .)!/4)/"0 ,)! ).0& 7" 40"* (& 0"( 4% (-" %'",#0#&! #! 0%",#=R ,)(#&!09 S D<%#2"+ NOOEG8 B DQ7'#). NOOTG )!* Q..&+ DU),10&! EFFTG )'" ).("'!)(#2"

0%",#=,)(#&! .)!/4)/"0 #!("!*"* (& 7" 40"* 3&' 3&'$). 0%",#=,)(#&!9 V&!"(-"."008 (-"#' ,&4%.#!/ 5#(- /')%-#,). $&*".0 -)0 7""! )! #!("'"0(#!/ )'") &3 '"0")',- #! (-"

%)0( *",)*"9

H-" 3&,). %&#!( &3 (-#0 *#00"'()(#&! #0 (& %'&%&0" )! #$%'&2"* (",-!#;4" 3&' 3&'R

$). 0%",#=,)(#&! )!* 2).#*)(#&! &3 0",4'" )%%.#,)(#&!09 4' )%%'&),- #0 %.),"* &!

(&% &3 /')%-#,). $&*".0 )!* #0 #!("!*"* (& )2&#* (-"#' $4.(#%." #!("'%'"()(#&!09 >(

).0& %'&2#*"0 #$%."$"!()(#&!R#!*"%"!*"!( 2).#*)(#&! &3 ) 0",4'#(+ %&.#,+9 >! ) !4(R 0-"..8 &4' #!("!(#&! #0 (& /')%-#,)..+ $&*".8 3&'$)..+ 0%",#3+8 )!* (& 2).#*)(" (-"

0",4'#(+ %'&%"'(#"0 &3 ) 0+0("$9 H-" 0",&!* *#0(#!/4#0-#!/ 3")(4'" &3 &4' 4!#="*

)%%'&),- #0 (& 0%",#3+ )!* 2).#*)(" 0",4'#(+ %&.#,#"0 7"3&'" %'&,""*#!/ (& (-"#' #$R

%."$"!()(#&!08 7",)40"8 #$%."$"!()(#&! (",-!&.&/+ &3 ) 0",4'" 0+0("$ $)+ 7" 7+

) ,-&#,"9 <#$#.)'.+8 ) 0",4'" )%%.#,)(#&! ,)! 7" ) $#.#()'+ 0+0("$8 5"7 0+0("$ &' 0&$" 7)!1#!/ 0+0("$9 H-408 "!3&',"$"!( &3 0",4'#(+ '4."0 $)+ ).0& 2)'+ #! ) 5#*"

2)'#"(+ &3 0"((#!/09 W&' #!0()!,"8 #! ) .#7')'+ 0+0("$ )! "."$"!( &3 ('40( )!* (-"

.#$#("* ,&!0";4"!,"0 &3 ) 0",4'#(+ 2#&.)(#&!X7'"),- $)+ .")* (& Y"6#7." '4."0 74(

&!" ,)! !&( )Z&'* 04,- ) '#01 #! $#.#()'+ 0+0("$09 <& #( 7",&$"0 &3 #!("'"0( (& (),1."

0",4'#(+ %&.#,#"0 #! )! #$%."$"!()(#&!R#!*"%"!*"!( $)!!"'9

H-"'" )'" $)!+ 0",4'#(+ $",-)!#0$0 )2)#.)7." 04,- )0 @)!*)(&'+ Q,,"00 I&!('&.

[@QI\ DB".. L A)])*4.) NO^_ ! "#$%&'(#)*+&, -%%'$$ .)*(&)/ 0"-.1 23+(4+5 6789 +*: ;)/' <+$': -%%'$$ .)*(&)/ 0;<-.1 2='&&+#)/) ! "#$ >??6 @'#*A B$': C)& $'%B&' +DD/#%+(#)*E F' %4))$' ;<-. :B' () + *B5@'& )C +:G+*(+A'$ )G'& H-. +*: "-.

#* ('&5$ )C )&A+*#I+(#)*+/ D&):B%(#G#(,! '*4+*%': $,$('5$ $'%B&#(, +*: #*('A&#(,!

+*: $#5D/#J': &'AB/+()&, %)5D/#+*%' 2K+//+4'& ! "#$ 677L E

M* (4' D+$(! )B& A&)BD :'G'/)D': ;)N! + ())/ (4+( (&+*$C)&5$ + OH3 %/+$$ :#+P A&+5! +**)(+(': Q#(4 N +$$'&(#)*$! #*() + N $D'%#J%+(#)* 2"BDB, ! "#$ >??? E R4#$

())/ %+* +//'G#+(' (4' +5@#AB#(, )C A&+D4#%+/ :#+A&+5$E <B( (4' ())/ #$ )*/, /#5P

#(': () $D'%#C, +*: G'&#C, (4' CB*%(#)*+/ D&)D'&(#'$ )C +* +DD/#%+(#)*E F' 'S('*:

! ! "#$#%&'( )*+,#-, . !"# $$% $ &$'()%%* #+,-"&* )./ 0)%"/) , #,-1'" * +'$+,' ",# $& ). )++%"-) "$.2 3, ,(+!)#"4, $. #,-1', #*# ,( ,.5".,,'".5 !) ',61"',# ) #"(1% ).,$1# -$.#"/,') "$.

$& &1.- "$.)% )./ #,-1'" * +'$+,' ",#2 3, -$.#"/,' ,%,(,. # $& &1.- "$.)% ($/,%# )#

-$. ,7 1)% -$.# ')". # $0,' !, #,-1'" * ($/,%# )./ ()5."&* !, "(+$' ). -$..,-8 "$.# 9, :,,. !,(2 ; "# $ 9, .$ ,/ !) /,#"5.".5 ) #$& :)', :" ! #,-1', &,) 1',#

"# "./,,/ $& 5',) "(+$' ).-, #".-, " -$.#"/,',/ $ 9, $., $& ,. 9,# +')- "-,#

$:)'/# #,-1', #$& :)', /,0,%$+(,. <=)1% >??@A2

3, +'$+$#, ) B89)#,/ #,-1'" * C,'.,% -$.# " 1 ".5 !, DEFG &,) 1',# !) -).

)'9" ')'"%* 9, 1#,/ :" ! ).* &1.- "$.)% ($/,% $ ,7)("., ) #,-1'" * +$%"-*2 H#".5 I)4)J !, #$' $& 0)%"/) "$. :, +,'&$'( )%%$:# ,.1(,') ".5 1#,' /,K.,/ #-,.)'"$# $ /, ,'("., "& !, #+,-"K-) "$. /,#-'"9,# !, ". ,./,/ ',)%" *2 I)4) "# ) $$% !) -).

,7,-1 , ) %)'5, .1(9,' $& B -$.# '1- #2

L!, ". '$/1- "$. "# # '1- 1',/ )# &$%%$:#M N,- "$. O2O .)''$:%* ,7+%)".# !, ',#,)'-! -$. ,7 $& !, /"##,' ) "$.P N,- "$. O2> )9# ')- %* /, )"%# ($ "0) "$.# Q)./

+'$9%,( # ) ,(,. R :" ! $1' )--$(+%"#!(,. # )./ -$. '"91 "$.#P N,- "$. O2S 5"0,#

'$)/()+ $ !, #1--,,/".5 -!)+ ,'#2 T0,')%%J !, )++'$)-! )C,. ". !"# !,#"# 1#,#

,7"# ".5 9$/* $& :$'C :!,', +$##"9%, )./ /,0,%$+# .,: -$.-,+ # :!,. .,-,##)'*2

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

L!"# :$'C "# #" 1) ,/ ". !, )',)# $& #$& :)', ,.5".,,'".5 )./ &$'()% (, !$/#J +)' "-1%)'%* !, #$& :)', /,#"5. )./ !, 1#)5, $& &$'()% #+,-"K-) "$. %).51)5,# $ 1.)(9"51$1#%* #+,-"&* )./ 0)%"/) , #,-1'" *8/,#"5. ($/,%#2 HUV )./ ,7 ,./,/ #,8 -1'" * +'$K%,# )', 9,-$(".5 !, /, &)- $ ($/,%".5 %).51)5,# ". #$& :)', "./1# '*

<L$)!-!$$/,, ! "#$ >??@A2 HUV -). ()".%* 9, /"0"/,/ ". $ # '1- 1')% )./ 9,!)08

"$')% /")5')(# -$'',#+$./".5 $ # ) "- )./ /*.)("- 0",:#J ',#+,- "0,%*2 L!, :"/, 0)'", * $& /")5')(# ".-%1/,# H#, G)#, W")5')(J G%)## W")5')(J ;. ,')- "$. /")5')(#

Q&1' !,' /"0"/,/ ". $ N,61,.-, )./ G$%%)9$') "$. /")5')(#RJ N ) , )./ F- "0" * W")8 5')(#J )./ =!*#"-)% W")5')(# -$.# " 1 ".5 G$(+$.,. )./ W,+%$*(,. /")5')(#2 X$:,0,'J #$& :)', +')- " "$.,'# /$ .$ %"C, $ !)0, $0,'%* /,#"5.,/ )++%"-) "$.#

<U)' ". >??>A )./ !1# +"-C ) #19#, $& !,#,J ,##,. ")%%* !, -%)## /")5')(#2 F.

$90"$1# ',)#$. $ !"# )++'$)-! "# $ )0$"/ #+,./".5 ,7 ') "(, )./ !, ($.,* $.

#$& :)', /,#"5.2

G%)## /")5')(# !)0, 9,-$(, "./"#+,.#)9%, )# !,* +'$0"/, ) #1Y-",. )($1. $&

/, )"% $. )++%"-) "$. -%)##,#J +)-C)5,# )./ $9Z,- #J )./ !,"' ',%) "$.#!"+ /,+"- ,/ )#

-$. )".(,. J ".!,'" ).-,J )##$-") "$.#J )./ $ !,'#2 L!,#, ($/,%# )%#$ !,%+ /,#"5.8 ,)(# $ (1 1)%%* -$%%)9$') , )./ 9')".# $'( <E)'C,' >???A2 F# ). )/0). )5,J E)'C,' &1' !,' ',-)%%# !) ',61"',(,. # ($/,%# ',/1-, -$# )# :,%% )# +'$9)9"%" *

$& $0,''1.#J ". )//" "$. $ !,%+ :" ! #1++$' )./ #1# )".(,. $& !, +'$/1- 2

N$& :)', /,#"5. "# )%#$ ,7+,- ,/ $ 9, &',, &'$( 915#J )./ 915# #!$1%/ .$ 9,

+'$%"&,') ,/ ". !, "(+%,(,. ,/ #*# ,(#M *, !"# "# .$ +'$("#,/ 9* -%)## /")5')(#2

D,#,)'-! -$((1." * !)0, )%',)/* /,0"#,/ #$%1 "$.# <D"-! ,'# [ \$5$%%) >???A $

0)%"/) , )./ 0,'"&* HUV ($/,%# <V"%"1# [ =)% $' O@@@A2 ],'"K-) "$. $& HUV ($/8

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

!" #" $ % % &' ()'#% * +()#', $'& -. /& % *0 &+ % "#1$ , 23#!#4" 5 6(!&', 78889:

;', -(<.! = )>?3 23#!#4" 5 6(!&', 78889 /'$) ,&" >?3 <'% !" #$&' 6@A?B3C

". /#D/(&#'$ ($% #$)'E " ( <'% ! /+ /E , $(< % F6GH &' ) ,#I0 &+ <'% !": F#<J

#!(,!0= >?3J*(" % F. /#D/(&#'$ B$)#,'$< $& K>FBL &''! )(!#%(& " >?3 <'% !"

(41< $& % M#&+ AN3 /'$"&,(#$&" 2O'1'!!( ! "#$ PQQR9:

AI& $= <(E#$1 ( "0"& < $&#, !0 , !#(*! #" /'$'<#/(!!0 ($% & /+$#/(!!0 #<.,(/J

&#/(! K -/ .& I', ()#'$#/" ', "'< '&+ , "(I &0 /,#&#/(! "0"& <"LS $'$ &+ ! "" '$ /($

/+(,(/& ,#T "'!4&#'$" /'$&,#*4&#$1 , ("'$(*!0 &'M(,% , !#(*! "0"& <": A$ .'""#J

*! M(0 'I (/+# )#$1 "4/+ , !#(*#!#&0 #" &+ !#1+&M #1+& 4" 'I I',<(! < &+'%" "#$/

I',<(! < &+'%" (, ., /#" ($% 4$(<*#14'4": ;',<(! ". /#D/(&#'$ !($14(1 " +() M !!J% D$ % "0$&(- ($% " <($&#/" M+#/+ ()'#% +()#$1 <4!&#.! #$& ,., &(&#'$" 'I

&+ ". /#D/(&#'$: ;', -(<.! = U I'/4" " '$ ". /#I0#$1 &+ I4$/&#'$(! (". /&" 'I

" V4 $&#(! "0"& <" 4"#$1 <(&+ <(&#/(! "&,4/&4, " "4/+ (" " &"= , !(&#'$"= ($% I4$/J

&#'$"S "&(& &,($"#&#'$" (, 1#) $ #$ & ,<" 'I ( ., %#/(& !#$E#$1 &+ #$#&#(! ($% D$(!

"&(& ": W+ $'$JI4$/&#'$(! (". /&" 'I " V4 $&#(! "0"& <" <(0 #$/!4% . ,I',<($/ = , (!J&#< /'$"&,(#$&"= " /4,#&0 .'!#/# "= ($% (,/+#& /&4,(! % "#1$:

X .(,&#/4!(,!0 /'$"#% , &+ $'$JI4$/&#'$(! (". /&" "4/+ (" " /4,#&0 .'!#/# " *0

&+ 4" 'I U #$ &+#" &+ "#": >"#$1 U M#&+ >?3 % "#1$ #" ( "'J/(!! % "0$'$0< &'

#$/',.',(& &+ ., /#"#'$ 'I I',<(! < &+'%" #$&' #$&4#&#) 1,(.+#/(! <'% !": X /($

% $'& #& (" ( !#1+&M #1+& (..!#/(&#'$ 'I I',<(! < &+'%" %4 &' $4<* , 'I , ("'$"

#: := $'& +()#$1 .,''I" *4& ($#<(&#'$ 'I <'% !"= ($% $'& +()#$1 ) ,#D/(&#'$ *4&

)(!#%(&#'$: C/&4(!!0 &+ 3#1+&M #1+& I',<(! < &+'%" %' $'& $&(#! ( % . (..!#/(&#'$

'I &+ & /+$'!'10: ;', -(<.! = I',<(!#"< $ % $'& * (..!# % #$ I4!! % .&+ &' (!! /'<.'$ $&" 'I ($ $&#, .,'%4/& ($% &+,'41+ (!! "&(1 " 'I &+ #, % ) !'.< $&

2X''%/'/E ! "#$ PQQ89:

F /4, "0"& < $1#$ ,#$1 #" ( %&'% (! *(" % '$ "0"& < ($% " /4,#&0 $1#$ ,J

#$1 Y &+(& < ($" I4$/&#'$(! ($% $'$JI4$/&#'$(! (". /&" 'I "'I&M(, "0"& <" "+'4!%

$'& * &(E $ ',&+'1'$(!!0: W+ " %(0"= "4/+ (..,'(/+ " (, #$%#". $"(*! &' ,#1J ','4"!0 (%%, "" &+, (&" ($% <(!#/#'4" (&&(/E" #$ " /4, (..!#/(&#'$": A*)#'4"!0= #&

" <" " $"#*! &' (%%, "" " /4,#&0 ,#1+& I,'< &+ * 1#$$#$1: @ / $& (%)($/ < $&"

2Z[,\ $" PQQ]9 #$ " /4,#&0 /,#&#/(! "0"& <" (!"' "+'M &+(& " /4,#&0 .,'. ,&# " "+'4!%

$'& * , &,'D&& %: X M#!! %#"/') , !(& , #$ &+ %#"" ,&(&#'$ &+(& I4$/&#'$(! (". /&"

<(0 #$^4 $/ $'$JI4$/&#'$(! (". /&" Y M+#/+ < ($ #$% . $% $& % ) !'.< $& 'I

&+ " /'$/ .&" <(0 ',#1#$(& " ,#'4" ,#"E" &' &+ " /4, ("" &":

;',<(! ". /#D/(&#'$ !($14(1 " "4/+ (" U= _= ($% C!!'0 +() * $ 4" % I', )(,#'4"

#$%4"&,#(! /(" "&4%# ": W+ "" $/ 'I &+#" 4" "& <" I,'< &+ I(/& &+(& ". /#D/(J

&#'$" "+'4!% * 4$(<*#14'4": `#&+ ,&'= &+ <(&+ <(&#/(! "E#!!" , V4#, % &' 4"

&+ " !($14(1 " (, ( 1 $4#$ , ("'$ I', &+ #, !(,1 J"/(! #$(%(.&(*#!#&0: `()#$1 - /4&(*! ". /#D/(&#'$" K'4, U I',<(! ". /#D/(&#'$ (, /'<.! & !0 - /4&(*! *0

&''!" "4/+ (" Z(T(:L '$ &'. 'I % "#1$ /($ * #$& , "&#$1 "'!4&#'$ &'M(,% (/+# )#$1 ( ,#1+& *! $% 'I I',<(! < &+'%" M#&+ % "#1$ (,&#I(/&": C!&+'41+= I',<(! < &+'%" /($

(!"' * 4" % (& ($0 "&(1 'I ( .,'1,(< % ) !'.< $& "4/+!#E , V4#, < $&" /(.&4, =

". /#D/(&#'$= )(!#%(&#'$ & "&J/(" 1 $ ,(&#'$= , D$ < $&= ($(!0"#"= ) ,#D/(&#'$= ,4$J

&#< /+ /E#$1 Y *4& &+ #, 4" #" #$/, ("#$1 (& (,!# , "&(1 " "4/+ (" ". /#D/(&#'$ ($%

!"! #$%&'(%&$)* ()+ ,--$./0&*1.2)%* 3

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

!" #$%&'(%&$)* ()+ ,--$./0&*1.2)%*

01#" "!)2#(% !345(642!" 78(% (76 6!"!46)1 9(2#:42#(%"; 4% "75"!<7!%23= #")7""!"

21! )(66!"8(% #%$ 4))(983#"19!%2" 94 ! 2( 21#" !% #% 21! #""!6242#(%/

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

>% "!)76! "(?2@46! "="2!9"; "8!)#A)42#(%" #%)37 ! ?7%)2#(%43 4"8!)2"; !")6#5#%$ 1(@

#%?(6942#(% #" 86()!""! ; 4% "!)76#2= 4"8!)2"; @1#)1 !")6#5! @1( 94= 4))!"" 21!

?7%)2#(%43#2#!" (? 21! #%?(6942#(% "="2!9/ B!84642#(% (? )(%)!6%" 2!% " 2( "!84642!

?7%)2#(%43 4% "!)76#2= 9( !3"/ C72 "#%)! 21! "!)76#2= 9( !3 6!?!6" 2( !3!9!%2"

(? 21! ?7%)2#(%43 (%!; #2 #" %!)!""46= 2( #%2!$642! 21!9 2( ?733= 4 6!"" "!)76#2=

)(%)!6%" 4% 8!6?(69 9(6! )(983!2! "!)76#2= 4%43="!"/ B7)1 9( !3" )4% 4 !<742!3=

"788(62 21! "27 = (? 943#)#(7" 4224)*" 4% 216!42"; @1#)1 #? 3!?2 7%4 6!""! ; )4%

5! )(%?6(%2! #% 21! #%"2433! "="2!9"/

'#21 21! 4 :!%2 (? %!@ )1433!%$!" ?6(9 "!)76! #%?(6942#(% "="2!9" "!:!643 86(D 8("43" 14:! 5!!% 94 ! ?(6 "!)76#2=D !"#$% 9( !3" &C4"#% ! "#$ +,,-./ 01!6! 46! %(2

"( 94%= @(6*" !E)!82 &C4"#% ! "#$ +,,-. 2142 )(95#%! 3= "8!)#?= ?7%)2#(%43 4% "!D )76#2= 86(8!62#!" (? 4% 4883#)42#(%/ F76 @(6* #" 94#%3= #%G7!%)! 5= 21#" #6!)2#(%/

H7621!6 2( 21#"; 2#33 2(D 42! IJI (? "!)76#2=D !"#$% 9( !3" 54"! (% KCLM 14:! (%3= #")7""! 21! "242#) 8462 (? 21! "(?2@46! !"#$% 4% 84# %( 422!%2#(% 2(

4%#942! 21! =%49#) 4"8!)2"/ 01! "242#) 4"8!)2" (? KCLMD54"! "="2!9" #%)37 ! 424 "267)276!" 2142 ( %(2 )14%$! (:!6 2#9! @1#3! =%49#) 4"8!)2" #%)37 ! "!""#(%

94%4$!9!%2 NM1482!6 O @#33 !")6#5! 21!"! 4"8!)2" #% !24#3P/ Q(@!:!6; #2 "1(73 5!

!E2!% ! 2( )(:!6 IJI (? =%49#) 4"8!)2" (? 21!"! KCLM 54"! "!)76#2=D !"#$%"

9( !3"/

>% 4 #2#(%; "242! (? 21! 462 4886(4)1!" !%453! <7!6=#%$ 21! 9( !3 572 ( %(2 (R!6 834=#%$ 4 "!<7!%)! (? 4)2#(%" (:!6 4% #983!9!%242#(%D#% !8!% !%2 "8!)#A)42#(%

(? 4% 4883#)42#(%; @1#)1 #" !A%#2!3= @(621 "27 =#%$; 5!)47"!; #2 )4% "#97342! 21!

"2!8" (? 4% 4224)* ")!%46#(/ '! 46! 43"( 8462#)73463= #%2!6!"2! 2( "27 = 1(@ !:(3:#%$

"242!" (? 4 9( !3 3!4:! 5!1#% "!)76#2= G4@" 8(2!%2#433= !E83(#2453! 5= 21! 4224)*!6"/

01#" @4= (? 4%43=S#%$ 4% 6!4"(%#%$ (:!6 9( !3" )4% 5! 1!38?73 2( 4:(# "="2!9" 2(

!%2!6 #%2( 21! 7%4721(6#S! "242!"/

!"!" #$%$&'() 0+/,'-12,-+/%

01! ?(33(@#%$ 8(#%2" 86(:# ! 4 "79946= (? (76 8753#"1! )(%26#572#(%" 2( 21! "8!)D

#A)42#(%; :43# 42#(% (? "!)76#2=D !"#$% 9( !3" 5= 21! 4%#942#(% 2!)1%#<7!T

U 4/2-&5-(%&$) $6 *2-78&%9:+2*&;) .$+20*< L" ?(6 B!)76!VWX; @! 86(8("!

2( !E86!"" ?7%)2#(%43 4% "!)76#2= 9( !3" 4" VWX #4$649"/ 01!"! #4$649"

46! 21!% 264%"342! #%2( 4 "#%$3! ?(6943 "8!)#A)42#(%; !E86!""! #% 21! Y 34%D

$74$!/ K(Y 2((3 #" 7"! 2( $!%!642! ?7%)2#(%43 "8!)#A)42#(% (? 4% 4883#)42#(%/

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

! "#$! %!$&'!% (!) *+,!' -. /!(!*#-! '!0+*&-1 '2!0&30#-&.(' .4 #( #22,&0#5 -&.( #(% ,&(6 -"!7 -. -"! 4+(0-&.(#, '2!0&30#-&.('8 9"! *!'+,-&(/ : '2!0&5 30#-&.(' 0#( ;! #(&7#-!%<!=!0+-!% +'&(/ >#?#8 @#,&%#-&.( &' 2!*4.*7!% ;1

#'6&(/ A+!*&!' #;.+- -"! #00!'' 0.(-*., *+,!'B #' %.(! &( -"! C!0+*!DE@F -.., GH#'&( ! "#$ IJJKL8 M- &' #,'. #0"&!$!% ;1 2,#1&(/ '0!(#*&.'B )"&0" ,!#%

-"! '1'-!7 -"*.+/" '!$!*#, '-#-! 0"#(/!' #(% &($.,$! ;.-" -"! '!0+*&-1 #(% -"!

4+(0-&.(#, 7.%!,8 C+0" %1(#7&0 '0!(#*&.' 0#( !="&;&- '!0+*&-1 N#)'B )"&0"

0#((.- ;! %!-!0-!% ;1 '-#-&0 A+!*&!'8 >#?# &' # : #(&7#-&.( -.., ;#'!% .( # 0.7;&(#-&.( .4 2*..4 O'&72,&30#-&.(B *!)*&-&(/P #(% '!#*0" O/!(!*#-! #(% -!'-P -!0"(&A+!'8 M- 0.$!*' # )&%! *#(/! .4 : 0.('-*+0-' #(% '+22.*-' '.7! ,!$!, .4 (.(5%!-!*7&(&'7 &( -"! '2!0&30#-&.(' O2*.$&%!% -"! '!#*0" '2#0! &' (.- -..

,#*/!P8

Q 1$$20/#%0,+ 2&3&2 .4& ,5 6 5,' 781!9 F' '-#-!%B E+* '!0+*&-1 7.%!,

&' ;#'!% .( RHFS GT!**#&.,. ! "#$ IJJUL #(% C!0+*!VDW GH#'&( ! "#$ IJJKL8 C!$!*#, #--!72-' GF;%#,,#" X Y"#1#- IJJZLB G[+#( ! "#$ IJJZL "#$! #,*!#%1

;!!( 2,#0!% -. '2!0&41 RHFS &( : ;+- 7.'- .4 -"!7 #*! -"! '2!0&30#-&.(' .4 RHFS 7!-#57.%!,8 9. .+* 6(.),!%/!B (.(! .4 -"!'! "#' ;!!( +'!% &( 0.(5

\+(0-&.( )&-" #( #(&7#-.* &( .*%!* -. $#,&%#-! # /&$!( '!0+*&-1 2.,&018 E+*

#22*.#0" !('+*!' # 4!!%;#06 .( -"! ;,.06!% .2!*#-&.(' 4.+(% &( -"! '2!0&30#5 -&.('B )"&0" -"!( 0#( ;! +'!% -. &72*.$! -"! A+#,&-1 .4 # '.4-)#*! #22,&0#-&.(8 Q :#20-#%0,+;3&'0</#%0,+ ,5 -=+#>0/ #4$&/%4 ,5 781! ?#4&- 4&/.'0%=

$,20/0&49 S+**!(-,1B '!$!*#, -..,' !=2,.&- ESW &( .*%!* -. $#,&%#-! RHFS .*

C!0+*!VDW '2!0&30#-&.('8 C."* !- #, GC."* ! "#$ IJJ]L "#$! #%#2-!% -"! VC^

ESW -.., GC."* ! "#$ IJJ_L 4.* -"! #(#,1'&' .4 '!0+*&-1 2.,&0&!'8 C!0+*!DE@F GH#'&( ! "#$ IJJKL &' # -.., %!%&0#-!% -. C!0+*!VDWB -. $#,&%#-! RHFS ;#'!%

'!0+*&-1 2.,&0&!'8 9"&' -.., #,,.)' A+!*1&(/ -"! '!0+*&-1 2.,&01B #(% 0#( #,'.

!$#,+#-! )"&0" #0-&.(' #*! 2!*7&--!% 4.* # /&$!( *.,! &( # /&$!( 0.(-!=-B %!5 2&0-!% #' #( .;\!0- %&#/*#78 C-&,,B ;.-" -..,' .(,1 #%%*!'' -"! 4+(0-&.(#, 7.%!, '-#-&0#,,1B &8!8B -"!1 %. (.- #(&7#-! -"! .2!*#-&.(' .4 -"! 4+(0-&.(#, 7.%!, #(%

#,'. 2#*-,1 0.$!* -"! %1(#7&0 #'2!0-' .4 RHFS8 ! "#$! 2#*-&0+,#*,1 7#%!

2*./*!'' -.)#*% -"&' -12! .4 #(#,1'&'8 `.)!$!*B C."* %.!' #(&7#-&.( .4 -"!

#%7&(&'-*#-&$! 4+(0-&.(' .4 RHFS8 ! )&,, !$#,+#-! #,, '+0" -!0"(&A+!' &(

%!-#&, &( S"#2-!* a &(0,+%&(/ -"! .(!' +'&(/ F,,.1 '+0" #' G`+ X F"( IJJ]LB GC0"##% X D.b!-- IJJILB GF"( X `+ IJJcLB G:#. ! "#$ IJJdL -"#- '2!#6 #;.+-

$!*&41&(/ #(% $#,&%#-&(/ RHFS5;#'! '!0+*&-1 2.,&0&!'8

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

Q @) A#>#'B [8 W!%*+ #(% F8 M%#(&e C!0+*&-1 f!'&/( D.%!,'e T.*7#, C2!0&5

30#-&.( #(% @#,&%#-&.( +'&(/ :B T.*7#, D!-".%' #(% C.4-)#*! ^(/&(!!*&(/ 5

Ud-" M(-!*(#-&.(#, S.(4!*!(0! .( T.*7#, ^(/&(!!*&(/ D!-".%' OMST^D IJUUPB

I_-"5I]-" E0-.;!* IJUUB f+*"#7B V(&-!% Y&(/%.78

!"! #$%%&'()($*+ ,*)-.)/ 0 1! 2).)'! "# $%&'( )*& +# ,&)*-. /0)1()2-*3 45+6 7(889'2%& :%;<*-=(%>

)*& :<%-' ?)1-&)2-9* )*& ?%'-@;)2-9*! -* 2<% A'9;%%&-*3> 9B C-B2< ,*2%'*)2-9*)1 D9'E><98 9* 7%;('% 79B2F)'% /*3-*%%'-*3 G7%;7/HIIJ -* ;9*K(*;2-9* F-2< 2<%

L2< ,/// ,*2%'*)2-9*)1 69*B%'%*;% 9* +0)-1)M-1-2N! 4%1-)M-1-2N )*& 7%;('-2N G+4/7HIIJ! ?-%**)! +(>2'-)! +(3(>2 OO*& P OL2<! OQII#

"# $%&'(! 1! 2).)'! +# ,&)*-! R# 4-;<-%' )*& S# $)M-)&<. ?)1-&)2-9* 9B 7%P

;('-2N A91-;-%> MN 2<% +*-T)2-9* 9B U 78%;-@;)2-9*>! -* A'9;%%&-*3> 9B 2<% IL2<

+6S 7NT89>-(T 9* +;;%>> 69*2'91 S9&%1> )*& :%;<*9193-%> G7+6S+:HIIJ!

,**>M'(;E! +(>2'-)! R(*% IVPIW! OQII#

"# $%&'(! +# ,&)*-I! R# S-1<)(! 1! 2).)'! 4# $)1%)(! R# 4-;<-%' )*& S#

$)M-)&<. :)E-*3 -*29 );;9(*2 B(*;2-9*)1 T9&%1> -* 2<% 0)1-&)2-9* 9B ,7 >%;(P '-2N 891-;-%>! -* ,*2%'*)2-9*)1 D9'E><98 9* ,*B9'T)2-9* 7N>2%T> 7%;('-2N /*P 3-*%%'-*3 GD,77/HIIJ! )>>9;-)2%& F-2< 6+-7/HII! $9*&9*! XY! R(*% OQII#!

A(M1-><%'. 78'-*3%' G$Z5,AJ#

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

:<% 2<%>-> <)> 2<% B9119F-*3 >2'(;2('% G%[;1(&-*3 2<% 6<)82%' IJ. A)'2 , -*;1(&%>

;<)82%'> O! \! )*& ] 2<)2 );2()11N '%B%' 29 >2)2% 9B 2<% )'2# A)'2 ,, -> M)>%& 9*

;<)82%'> V! L! W# 6<)82%' V F-11 @'>2 ;90%' 2<% (*&%'1N-*3 >%;('-2N E%'*%1 F-2< 2<%

<%18 9B )* %[)T81% B'9T T%&-;)1 &9T)-*! F<%'%)> ) ;9T8)'->9* 9B 9(' 2991>%2 F-2<

7%;('%S^?+ )*& X7/ F-11 M% &->;(>>%& -* 6<)82%' L# 6<)82%' W F-11 &%2)-1 9(' 9_%'%& >%2 9B B9'T)1 =(%'-%>#

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

6<)82%' O. T)-*1N ;90%'> 2F9 2<-*3>. -2 -*;1(&%> 2<%9'%2-;)1 &%2)-1> 9* 2<%

U B9'T)1 >8%;-@;)2-9* 1)*3()3% -*;1(&-*3 B(*&)T%*2)1 ;9*;%82> >(;< )> >%2>!

'%1)2-9*>! >;<%T) ;)1;(1(> M%>-&%> >9T% 92<%' -T89'2)*2 *92-9*># ,2 )1>9 &%2)-1>

2<% 49U 2991 F<-;< -> (>%& 29 3%*%')2% B9'T)1 >8%;-@;)2-9*> 9B B(*;2-9*)1 T9&%1> GT9&%1%& -* XS$J# :<-> ;<)82%' F-11 )1>9 &%>;'-M% 2<% R)`) 2991#

6<)82%' \. :<% *92-9*> 9B );;%>> ;9*2'91 T%;<)*->T> >(;< )> 45+6! S)*&)P 29'N +;;%>> 69*2'91 GS+6J! a->;'%2-9*)'N +;;%>> 69*2'91 Ga+6J )'% -*2'9P

&(;%& -* 6<)82%' \# :<-> ;<)82%' )1>9 %[81)-*> 7%;('%XS$! ) XS$ 8'9@1%

F-2< )(2<9'-`)2-9* ;9*>2')-*2># D% 2)E% )* %[)T81% 9B ) T%%2-*3 76b/aP X$/4 29 -11(>2')2% 2<% (*&%'1N-*3 -&%) 9B 2<%>% );;%>> ;9*2'91 T%;<)*->T>#

6<)82%' ]. :<-> ;<)82%' 8'90-&%> )* %0)1()2-9* 9B 45+6 >(889'2%& 0%'-@P

;)2-9* )*& 0)1-&)2-9* 2%;<*-=(%> F-2< 2<% <%18 9B 8'989>%& ;'-2%'-) M)>%& 9*

45+6 B%)2('%># ,2 )1>9 &%2)-1> *(T%'9(> >2)2%P9BP2<%P)'2 2%;<*-=(%> MN 3-0-*3

)* 90%'0-%F 9B %);< 9B 2<%T#

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

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

!"#$%&' () *+',%- .& $'/0&&1 %/ &2$/,& %"& 341&'56+47 ./'8 /9 /3' #$$'/#0"

."+0" +, /9 9/':#5 4#%3'& 3,+47 ; ,$&0+<0#%+/4 5#473#7&,= >"+, &2$5#+4, %"&

,&03'+%6 8&'4&5 %"#% "#, ?&&4 +4%&7'#%&1 .+%" @/; &4#?5+47 # 9/':#5 #4#56,+, /9 ,&03'+%6 $/5+0+&, #41 "&5$, '&$/'%+47 ?37, %/ %"& ,&03'+%6 &47+4&&'=

!"#$%&' A) >"+, +, 1&B/%&1 %/ 0/:$#'& /3' ./'8 .+%" C&03'&DEFG #41 HCI

%//5, #41 +553,%'#%&, /4 %"& ?&4&<%, #41 0/4%'+?3%+/4, .& $'/B+1&= >"& ;J?#,&1

%//5,&% +, &2$5#+4&1 +4 1&%#+5 #41 .& "+7"5+7"% %"& +:$/'%#40& /9 ,&K3&40+47 /$&'#%+/4, /9 #4 #$$5+0#%+/4 %/ 1+,0/B&' ,&03'+%6 L#., +4 %"&:=

!"#$%&' M) >"+, 0"#$%&' +, #0%3#556 # 1&,0'+$%+/4 /9 9/':#5 K3&'+&, %"#% .& 3,&

+4 0"#$%&' ( %/ &5#?/'#%& /3' #$$'/#0"=

!,+/1.20,+ #+- 3.44&2%0,+2 5,' 6.%.'& 7,'8

!"#$%&' N) >"+, 0"#$%&' ,"#'&, ,/:& 0/4053,+/4, ?#,&1 /4 %"& ./'8 0#''+&1

/3% +4 %"+, %"&,+, #5/47 .+%" 93%3'& $&',$&0%+B&,=

!"# $

!"!# $% !&# "'!

!"#$%& '

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

!"#$"#%

!" #$% & '()*+(*% ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! !"!" #$% & ,(-./- ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! "0 !"! 1%2 34)-25+/245- ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! "6 !"!0 78%5(2.4)- 4) 1%2- ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! "9 !"!6 3:4-+5% ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! "9 !"!; 12(2% 34)-25(.)2- ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! "<

!"!9 1/$%=( 3(:/+:+- ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ">

! ?4& #44: ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! !"

! !" #$% @%%2.)* 13ABCD'B? ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ?4& #5()-:(2.4) E54/%-- ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 0 ! !0 ?4& #F8%- ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 6 ! !6 ?4& 3:(--%- ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! 6 ! !; #5()-:(2.4) 4G ?%:(2.4)- ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ; ! !9 H%)%5(2.4) 4G B:%=%)2(5F 78%5(2.4)- D-.)* ?4& ! ! ! ! ! ! <

!0 D-.)* I(J( 24 K).=(2% 2$% @4L%: ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! # !6 C.-/+--.4) ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! # !"# $!%&'() $*+,"-(./0 &)(#(-'# '!( 1 2*)+%/ /%-34%3(5 %-. '!( 6*15 (##(-'"%/

'* 4-.()#'%-. '!( %&&)*%$! &)*&*#(. "- '!"# '!(#"#7 8- 9($'"*- :7;5 <( =)#' ."#$4##

'!( 24-.%+(-'%/ -*'"*-# *2 1 '* ,( 4#(. /%'() "- '!( ."##()'%'"*-7 !( ')%-#/%>

'"*- ?%-. %--*'%'"*-@ &)*$(## *2 6*1 2)*+ ABC $/%## ."%3)%+# '* 1 "# "-')*.4$(.

#4,#(D4(-'/0 "- 9($'"*- :7: 4#"-3 '!( +(('"-3 9EFGHACG6 (I%+&/(7

!" #$% & '()*+(*%

!( 89J #'%-.%)."K(. ?:LL:@ 2*)+%/ /%-34%3( 1 !%# "'# 2*4-.%'"*-# *- =)#'>*).() /*3"$ %-. 1()+(/*>M)%(-N(/ ?1M@ #(' '!(*)07 15 &)*-*4-$(. %# 1(.5 !%# %,4->

.%-' )(#(%)$! /"'()%'4)( O9&"P(0 ;QQ:R5 OH%P"(# S T**.$*$N ;QQUR %-. $%#( #'4."(#

OV*<(- ;QQUR7 !( 1 /%-34%3( *W()# %- (I'(-#"P( #(' *2 $*-$(&'# %-. $*-#')4$'#

2)*+ =)#'>*).() /*3"$ %-. #(' '!(*)07 9(P()%/ '**/# O9%%/'"-N ;QQXR5 OY"% :LL:R ?'*

+(-'"*- ,4' '<*@ $%- '!(- ,( 4#(. '* &%)#( %-. "-'()&)(' '!(#( 1 -*'%'"*-#7 !( 1 +*.(/ *2 $*+&4'%'"*- "# ,%#(. *- % -*->.('()+"-"#'"$ #'%'( ')%-#"'"*- +%>

$!"-(7 !( +*.(/ "'#(/2 $*+&)"#(# *2 #'%'( P%)"%,/(# %-. ')%-#"'"*-#5 %-. ')%-#"'"*-#

! "#$%&'( !) * $+, -.*/ 0+ 1+&(.,23&4.+

!" !"# !$"$ % &'" (' )#"% *+ &'" , !- ./" , /0"%1 2'" .%&! (& 3 %4"(-5( &-*)%

+*(0% &* $"%(!-." 6' & %7%&"8 $*"% ! &'"! &' ) '*6 -& $*"% -&1 2'" / )#0 #"

' % ."") %0(("%%+0//7 44/-"$ &* , !-*0% -)$0%&!- / 4!*9"(&% +*! +*!8 / 8*$"/-)# )$

$","/*48")& :;*6") <==>?1

2'"!" !" &6* 4*%%-./" $"%(!-4&-*)% 6-&' 3@ -1"1@ A& &" B"%(!-4&-*)% )$ C4"! &-*) B"%(!-4&-*)%D

E !"!# $#%&'()!(*+% E A& &" $"%(!-4&-*)% -),*/," %"& *+ , !- ./"% &' & ( ) ' ," . %-( &74"% %0(' % -)&"#"! )$ 8*!" (*84/"F $ & &74"% /-G" !"/ &-*)% )$

+0)(&-*)%1 2'" %& &" *+ , !- ./"% 4!"%")&% &'" %& &" *+ %7%&"8 & )7 -)%& )&1 A* %& &" %4 (" *+ ) 44/-( &-*) ( ) ." 8*$"/"$ 0%-)# %& &" %('"8 %1 A('"8 -% )*& &-*) HG-)$ *+ .*FI &' & &'" 3 )*& &-*) -)(/0$"% +*! %&!0(&0!-)#

%4"(-5( &-*)%1

E ,)#'"!(*+ -#%&'()!(*+% E C4"! &-*) $"%(!-4&-*)% !" (*)%-$"!"$ 4 !&-(0/ ! 6 7 *+ 3 &* $"4-(& J"(&% *) &'" %& &" , !- ./"%1 2'" *4"! &-*)%@ %-8-/ ! &* )7 4!*#! 88-)# / )#0 #"@ 8 7 ' ," 4!"(*)$-&-*)H%I@ .0& 3 $*"% )*& $-%&-)#0-%' ."&6"") 4!"K )$ 4*%&(*)$-&-*)%1 C4"! &-*) %('"8 % 8 7 *! 8 7 )*& "F"!&

(' )#"% &* &'" %& &"1 L %-84/" *0&40& *4"! &-*) 6-// ' ," )* J"(& *) &'"

%& &" 6'-/" ) *4"! &-*) -)&")$"$ &* 8*$-+7 %*8" (*)&")&% ( ) 04$ &" &'"

%& &"1

3 -% &74"$ / )#0 #" 6'-(' 8" )% &' & ","!7 , !- ./" -) 3 ' % %4"(-5( &74"

H-1"1@ %"& +!*8 6'-(' -& -% $! 6)I1 2'"%" &74"% //*6 ("!& -) 8*0)& *+ 8 ('-)"

('"(G-)# *+ %4"(-5( &-*)% &* ,*-$ M*.,-*0%M "!!*!% 0%-)# &**/% %0(' % 32N :O- <==<?1 P& /%* '"/4% ,*-$ )*)%")%" %4"(-5( &-*)% :;*6") <==>?1 C) %0(' #-,") &74"%@ (*)K

%&! -)&% *! 4!"$-( &"% ( ) ." 44/-"$1 A('"8 % !" &'" 8 -) %&!0(&0!-)# 4!-8-&-,"

-) 31 L %('"8 -% $-,-$"$ -)&* &6* 4 !&% -1"1@ %-#) &0!" 4 !& -)(/0$-)# , !- ./"% )$

&74"% 6'"!" &'" %"(*)$ 4 !& -% ( //"$ 4!"$-( &"1 Q (' %('"8 -% #-,") &-&/" -)

*!$"! &* ." ( //"$ -) +0!&'"! %('"8 % *! !"4!"%")&-)# 4 !&-(0/ ! (*84*)")& *+ &'"

%7%&"8 %& &" *! ) *4"! &-*)1 R"&M% (*)%-$"! %& )$ !$ "F 84/" *+ 3 %4"(-5( &-*) .*!!*6"$ +!*8 :A4-,"7 STT<?D

BirthdayBook known : P NAME

birthday : NAME 7→ DATE known = $*8 birthday

2'" %('"8 !"#$%&' (() -% %-84/7 %& &" %('"8 &' & $"5)"% %& &" %4 (" *+

.-!&'$ 7 !"(*!$%D )*(+* -% &'" %"& *+ ) 8"% 6-&' .-!&'$ 7% !"(*!$"$@ ,!"#$%&' -%

+0)(&-*) 6'-('@ 6'") 44/-"$ &* ("!& -) ) 8"%@ #-,"% &'" .-!&'$ 7% %%*(- &"$ 6-&'

&'"81 2'" 4 !& ."/*6 &'" /-)" #-,"% 4!"$-( &"U %%"!&-*) 6'-(' -% &!0" -) ","!7

%& &" *+ &'" %7%&"8 )$ -% 8 -)& -)"$ .7 ","!7 *4"! &-*) *) -&1 P& %& &"% &' & &'"

%"& )*(+* -% &'" % 8" % &'" $*8 -) *+ &'" +0)(&-*) ,!"#$%&'1 2'-% -% ) -), !- )&

*+ &'" %7%&"81

!"! #$% & '()*+(*% ", FindBirthday

ΞBirthdayBook name? : NAME date! : DATE name? ∈ known

date! = birthday(name?)

! "#$%&'("! !"#$!%&'#() () *)$+ '" ,!+ '-$ +&'$ ". /(%'- ". & #&%'(0*1&% #$%)"!2 3' () &1)" $4#%$))$+ &) & )0-$5&2 6-() )0-$5& (11*)'%&'$) '7" !$7 !"'&'("!)2 6-$

+$01&%&'("! Ξ$!%&'#()$**+ )-"7) '-&' '-() () &! "#$%&'("! (! 7-(0- )'&'$ +"$) !"' 0-&!8$9 '-$ :&1*$) +"*,"- &!+ .!%&'#()- ". '-$ "/)$%:&'("!) &.'$% '-$ "#$%&'("! &%$

)&5$ &) :&1*$) ". +"*," &!+ .!%&'#() /$."%$-&!+2 6-$ "#$%&'"%) /01 &!+ /21 +$!"'$

(!#*';"*'#*' #&%&5$'$%)< %$)#$0'(:$1=2 !"#$!%&'#() "#$%&'("! '&>$) & !&5$ &) (!#*'

&!+ =($1+) '-$ 0"%%$)#"!+(!8 /(%'-+&= &) "*'#*'2 6-$ #%$0"!+('("! ". '-$ "#$%&'("!

(11*)'%&'$) '-&' "(340 () "!$ ". '-$ !&5$) >!"7! '" '-$ )=)'$52 3. '-() () '-$ 0&)$<

'-$ "*'#*' #(&42 () '-$ :&1*$ ". '-$ /(%'-+&= .*!0'("! &' &%8*5$!' "(3402

!"!" #$% & '()*+)

6-() )$0'("! .*%'-$% $4#1&(!) !$$+$+ /&0>8%"*!+ '" *!+$%)'&!+ ? )#$0(,0&'("!)2

@$'A) %$:()(' '-$ *!+$%1=(!8 )'%*0'*%$ B"% )>$1$'"!C ". $!%&'#()$**+ )0-$5&< 7-(0- () &0'*&11= 0"5#%()$+ ". D B+$01&%&'("!B)CC &!+ P BD%$+(0&'$B)CC< &) ."11"7)9

Schema Name D

P

P () &1)" )"5$'(5$) %$.$%%$+ '" &) /"+= ". '-$ )0-$5&2 E"7$:$%< )0-$5&) 0&!

/$ +$,!$+ (! &!"'-$% ."%5&' &) 0"!:$!($!'9 F0-$5& G&5$ == HI J DK

)0-$5& 0&! 0"!'&(! & 0"11$0'("! ". :&%(&/1$) &!+ #%$+(0&'$) +$#$!+(!8 *#"! '-$

)=)'$5 '" /$ 5"+$1$+2 .$7 !"'("!) &))"0(&'$+ '" )0-$5&) &%$ +$)0%(/$+ (! '-$

."11"7(!8 )$0'("!)2

!"!"!" -.(.% /0120)%).3

L"!)'&!' )$') %$#%$)$!' '-$ '=#$) (! ?2 ) )'&'$+< '-$ +$01&%&'("! #&%' -&) )'&'$

0"5#"!$!') 7-(0- &%$ (!'%"+*0$+ &) *!+$%9

var : Type

! "#$%&'( )* + $,- ./+0 1, 2,&(/-34&5/, )* * *) 67%'8 5, +

!"#$ %"& '( ) %*"+',+-&'.(% /0%& 1" 2#-3( 4#./ %./" 1-%'+ &$*"5 67'% -8%. -**8'"%

&. &7" "/*&$ %"&9 '5"59 &7"#" '% - 2':"#"(& "/*&$ %"& 4.# "-+7 &$*"5 ; 1-%'+ &$*" +-(

1" "'&7"# "(0/"#-&"2 &$*" .# <'!"( &$*"5 ; <'!"( &$*" '% 2"+8-#"2 -% =>;? @ 37"#"

>;? '% - &$*"5 67"%" &$*"% -#" 40#&7"# 0%"2 &. 10'82 +./*8'+-&"2 %*"+',+-&'.(%

0%'(< -A'./-&'+ 2",('&'.(%9 %&-&"9 .# .*"#-&'.( %+7"/-%5 ) 7-% - %'(<8" *#"2",("2

&$*" '(&"<"#%B Z C9 -(2 *#"2",("2 .*"#-&'.(% 8'D" %01&#-+&'.( -(2 -22'&'.(5 ;( "(0E /"#-&"2 &$*" '% 2",("2 -% 4.88.3%F

Weekdays ::= Monday | Tuesday | Wednesday | Thursday | Friday | Saturday | Sunday 5

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

G%'(< )9 %"!"#-8 %"& +.(%&#0+&'.(% -#" *.%%'18" 2",('(< &7" #"8"!-(& %&#0+&0#"% &.

/.2"8 &7" %$%&"/5 67"%" #-(<" 4#./ %"& "A&"(%'.(%9 *.3"# %"&%9 %"& +./*#"7"(%'.(9 H-#&"%'-( *#.20+&%9 &. #"8-&'.(% -(2 40(+&'.(%5 67"%" %&#0+&0#"% -#" &7"( 0%"2 &.

/.2"8 %.*7'%&'+-&"2 -%*"+&% .4 &7" #"-8 3.#82 %$%&"/%5 I./" .4 &7"/ -#" <'!"( 7"#"F )* *)* 9'& :;&',85/,

J" +-( '(&#.20+" - ("3 &$*"2 %"& "A&"(%'.( .4 3.#D'(< 2-$% -% 4.88.3'(<F Workings Days == {Monday, Tuesday, Wednesday , Thursday, Friday } !"#$%&' ()*' '% - %01%"& .4 &7" 1-%'+ &$*" ++#,)*'5 K& /"-(% &7-& '4 - %01%"&

'% %0L+'"(&8$ %/-889 3" +-( 2",(" '& 1$ -( "A&"(%'.(5 )* *)*) 9'& "/<%('#',85/,

67" %"& +./*#"7"(%'.( '% - +./*-+& 3-$ &. -!.'2 +0/1"#%./" %"& %*"+',+-&'.(%5 I"& +./*#"7"(%'.( '% - <"("#-8 3-$ .4 %*"+'4$'(< %"&%5 M.88.3'(< '% &7" <"("#-8 4.#/

.4 &7'%F

{x : Type | Predicate(x)} .# {Signature | Predicate }

37"#" &7" %'<(-&0#" /-$ '(+802" %"!"#-8 !-#'-18"%5 ;( "A-/*8" '%F {x : N | x mod 2 = 0} N ({0, 2, 4, 6, ...}) 5

K( )9 '& &-D"% &7" 4.88.3'(< 4.#/ -% 3"88F

{Signature | Predicate • Expression}