




 !"#$  !"#"
%&'(&)$ $%&"'(&)*+
,-"."/
&)*01&23
4&5!."6!
7+89:"
 *$ ;&&"<=";&=8>?@
ABC>ADE
+&,+&
>
/!01232'4*5636
7)62'4*5636
=(F=";&=8GFHI!2JK&!L9E36!=8+)MN3O=?!(P8QR=89J8G8=*@S=(FTU
?=R&8=*@STFHVQW&?9T98G9J8G8=*@
X  (Confidentiability): tài sản chỉ Y$Z!=)*"O[J\8"]&&$^8!_`)*a
X  (Intergrity): tài sản chỉ Y$Z!=b(cd_9cHe9Yf8J\8"]&&$^8!_`)*a
X  (Availability): tài sản sẵn HF&YgY#[ &HeQ6&!"("]&&$^8!_`)*a
 !
 &=h&_!"-!L9&$^8GO[=-"T8+ST8<!d#!Yi"Y$Z!3j=["3a3S3j=="F"
["["3a3GFY'3J'(Y$Z!=N"9=(F=";&=8GFT8<!d#!Yi"["3a3!_Y'3J'(
Y$Z!EYk!=N"=+3j=!#!"!2JK&"l="9*m";&
8. 9*5636
_3j=HI="I!GF["3a3F(Y$Z!GF39!,&!_G48748["3a3!_"8a)G(b8_
"]&G48=";&="$^&Sm";&'""$\&Yn=N"9=(F!L9["3a3_"]&G48Gb8&2*
'""$\&&"8+3=5&S!_="gJimodl)GZ8Q6&Ygm"98="#!2*GF"]&G48["3a3
m"8n!"(3j="9*3j=TF8=N"!"l=mg=+JiT8["b3

=(F!_="g!"q3rG<"TF(3j=!"$%&=-"!_&)*!%Ji=FJjY<3TF="I!="83rG<"
Y_)"n=!#!T8)H"9*H2)["#==#=+Q8<j&Ya)m"98="#!="R(G48F*_!_="g!"L
Yj&["#==#3Fm";&!HI!9="8<[!L9&$^8QW&?&8p&"$T8)HG2*P8GR="$^&="I!
"8<GF!!_HI="9(=#!!L9&$^8QW&@odl)m"8Yrm"98="#!Y$Z!G48F*!_="g="I!"8<
l="8a)="9(=#!m"#!"9)"$3\!f&Yg!"8n3`)*aY8a)m"8gTFY8a)m"8g=hd9S!F8Yk=
•
3j=J9!mQ((G+HRTRSYk=["3a3&8#Y8<[(€9"9*!F8mR*G(&&RYgGl*!•[=F8m"('
!L9&$^8QW&
."b3T8'""$\&!L9G48=FJjY<3=W*=")j!TF(`)*a!L9&$^8QW&Y‚&"O[TF(
"<="p&_=$^&"Z[modl)=)*m"98="#!Y)Z!G48F*"]&m";&GF3Y$Z!&-"$&!,&
!_"]&=$^&"Z["O)`)'GFT;!W&&"8+3=5&NQ6!#!Qi!"T6"<="p&"$.C
R3(=R.(!RQ)R9GGHGF!#!8Q!"€T6`)9=5&!L9"<="p&!L9u8Q(u#!Qi!"T6
F*Y$Z!!"b*=IYj&Q$v8`)*a!L9)HRƒwC3j=)HRt!L9"<="p&!_`)*a!9(
=(&"<Y8a)"F"n)Qi!"T6F*JiYfTzS"<="p&Hx&h&"(b=Yj&
jY<3!_"98!#!"=f!" !G$)=]Y_GF=+H=9!m?QW&YgG$)!#!J8n=:"@TF"R9[?G$)
!#!J8nY$Z!!l[["#=Yj&=";&`)9!(=}@„(Y_=FJjY<3!,&!_"98G(b8m"98="#!
m"#!"9)M
X FH=9!mM
o "8YqG+Y89!"|='Ta!L9"F3M2*GF3j==(&"]&m:=")O=!%J'"l=!L9
=FJjY<3…=$\&!L9["$%&["#[m"98="#!F*Y_GF&"8YaG+Yi9!"|='Ta
!L9"F3K3=(&H=9!m(&=$^&"Z[Gy=$\&S"F3="9*T-=\TaG<"=8n[
="R(H9)G^8&58"F3S_Hx"'*=v83rG<"3Fmodl)3(&3)pS`)9Y_="I!"8<
Y(b3rdl)Y_
o "8YqG+ƒ?=)!=)RQƒd!R[=8(9QG8&@ƒGF!l)=/!`)'GyRd!R[=8(
=(&u8Q(u_!" 9!#!!(=}=}=v8!#!"F3deGyRd!R[=8(m"8!_Rd!R[=8(
d'*9NQ6"$=";&J#(&(b8G<F*G+3F"-":=")O=m"98="#!F*Hx!p
&•&&"8YqG+!#!!(=}F*Yg=}=v83j="F3="I!="8dl)TF&2*9Rd!R[=8(
=$%& &†)9Y_="I!"8<Y$Z!Y(b3r="I!="8dl)
X FR9[MF"R9[GFm:=")O=m"98="#!m"_"%TF\3 !Yj!9("%wj=Hpm:=")O=
"8<9*m"98="#!J9(&13&"8YqG+!(=}=}=v8"F3=Gƒ=R8=8!9GR!=8(=(&.ƒ

3'&99*Y$Z!m"98J#(["N9=+"$%&=-"F*!" &=}K&=-"J8+Qi!"m";&"a
m8g3=9Y8a)m8<J8+!L93j=3'&
2*&8^!"/&=9dR3ds=Jj"vY$Z!=f!" !"$="nF(+3#*=:"dˆ˜?E>J8=@!#!
="9"&"8!_YjQF8E>J8=.!_="g`)'GyY$Z!=p8Y9™wYi9!"|(&Y_>Yi9
!"|!9(=hˆAAAAAAAYn••••••••HxY$Z!QF"!"("2!L9"<Y8a)"F"TF!#!!l)=/!Q]
G8<)Q)*=-"59=Yj&!L9"<="p&W&Q]G8<)=hAAAAAAAAYnŽ•••••••HxQF"!"(!#!
&Q6&["3a3HeQ6&Yg!$–&* 9j8Q)&!L9P8GRRdRY$Z!b[TF(SH=9!m!L9!"$%&
=-"!" 9!#!J8nY$Z!m"98J#(=N""83j=!"$%&=-"Y$Z!!"b*S"<="p&Hxb[={9Jj
˜
Sep 05 2008 !"#$%%&'
Discoverer:()*#+,-.%
Descripon : ,$%%&'%//&$/'"/%&00
1 %%%2"%&'&34&5&%6,7(89&2
&.*$/!"
/.%&2%$1:.&;&$%&'/
'&
<=:2>>"""%&'1>%>>?
Sep 05 2008 !"#$%%&'
Discoverer:()*#+,-.%
Descripon : ,$%%&'%//&$/'"/%&00
1 %%%2"%&'&34&5&%6,7(89&2
&.*$/!"
/.%&2%$1:.&;&$%&'/
'&
<=:2>>"""%&'1>%>>?
P8GR"i["2TF(TW&Yi9!"|J•=Y)GFAA•AAAAA-"Q$v8="g"8<=f!" !Jj"v=(&"<
="p&
4567.$8
8n[="R(S!"/&=9=-3"8g)Yn`)#=-"&58"F3!L93j=!"$%&=-"=(&"<="p&
-"Q$v83;='`)#=-"F*8'He3j=!"$%&=-"Y$Z!b[TF(=(&Jj"vTFY9&="I!

QW&Yr"O[&8#=iY)TF(GF"Z[G<hY_S"]&*+)!)!L9&$^8QW&3v8!_y&":9GF
Y$Z!="I!"8<3j=!#!"Y/&Y•†)#=-"m8g3=9F*&58GF3RQ89=8(
748m";&Y*YLd'*9m"83F3j= &Q6&["3a3!"l["O"]&&8#=iY)TF(
m";&!"N"d#!?Ta3k=m8g)Q]G8<)SYi"Qb&Q]G8<)Sj8Q)&TT@S†)9Y_!"$%&=-"
["3a3F*Hx="I!"8<m";&!"N"d#!NQ6"$m"8Y$Z!*+)!)"O[HpY8<="(b8S
&$^8QW&="9*T-"O[HpBD•ˆˆ˜•B˜Ž="-Gb8"O[&8#=iBD•Xˆˆ˜X•B˜Ž2*GF3j=&8#=i
"O[TF(!_y&":9"$&Gb8m";&Y/&Yi"Qb&_="gm"8n!"(["3a3deGym";&
!"N"d#!‹DDŒ
(&G48m";&Y*YL!"/&=9=O[=)&=-3"8g)TF(!#!&8#=iY)TF(m";&!"N"d#!
J9(&13M
X ";&Y/&Yi"Qb&M„?Q9*(PJ(@MD•ˆAXA•XED
X ";&!_y&":9M„"O&8#=iDˆŽ˜XDAXD>wj=&$^8Y9&Hp&"8<=b8m";&="g!_
&F*H8"TF(‚3DˆŽ˜
X ";&Y1&"l=Tv8!#!&8#=im"#!
„(Y_S=(&="I!=nSYg["{&!"p&G48m";&Y*YLSYk!J8<=Tv8!#!["3a3auRJS
!"/&=9["'8#[Q6&m8g3=9&8#=i!L9J8n=b8!'"98["N9!G8R=TFHRTR"$%&=-"["'8
m8g3=9Yp8Tv8!#!Q]G8<)Y$Z!"O[J\8&$^8QW&+!b"Y_!"$%&=-"["'8m8g3=9
T8<!&$^8QW&!_Y8a)!"|"Q]G8<)"9*m";&Yp8Tv8!#!=b&="#8Y$Z!&$^8QW&G$)Gb8
8.8.8. PG"+'(&'H3,9MN!F5OFL
Šs=3j=TNQ6Y%&8'M
"9J)P‹ˆAŒ“
(8QT)GR9JGR?@•
=GR‘R9Q›8=›P(3›R=u(m?@“
"9œ[‘R9Q›H=8&›P(3›R=u(m?@“
P?GR•H8žR(PJ)P@•
ƒ(?”GR&="=((G9&R—@
R=)“
•
’
wR3![*?J)PS[SGR@“

=9?!"R!m8&@3j=Y8a)m8<F(Y_?TNQ6"$3j=!" &!"|J'(3O=@TFT8<!HeQ6&!#!mn=
`)'m8g3=9Y_
"98="#!3j=Y8a)m8<Y{8"}8="^8&89!"N"d#!Yg!"•!!"•K&!#!"(b=
Yj&!"qTF(!L9mo=l!;&Y/&Tv8!#!b"2(&TNQ6=+Smo=l!;&["'8="I!
DA
"8<!#!!)j!&58"<="p&G8+mn==$Z&=$&!"N"d#!&8]9!#!accessTFopen"(!)j!=l
!;&!")&"l=Smo=l!;&["'8Y$Z!G+mn"(b!"Yg="I!"8<H9)348"(b=Yj&!L9&$^8
Ji"b8S!{Y$Z!&58GF"single – stepping”
¢=")O=QW&3j=J$v!3j=!"$%&=-"b"2J9(&133+!)&"<="p&=O[=8TF
!#!!)j!=l!;&[" !=b[=")O==(#(&!'"98=$^&"Z[S"]&mo=l!;&YrY8a)m"8g
=b&="#8"<Y8a)"F"Ygm8g3H(#=Gi!"=-"!L9b"2
"$9!_&8'8["#[!")&Yg["{&!"p&S\Y2*&8'8["#[d#!Yi"Tv8"<="p&
=O[=8"8<=b8.Š.X„R99)>AA•Tv8!"8n=")O=M
X 8g3=9=:"!"(3p8&)*"8g3?="^8&89J8+Qi!"@

khó thực hiện
X 9!mH!"$%&=-"HR=)8Q?Yk!`)*a=p8="8g)@ dùng fix các lỗi thông thường cho các
ứng dụng đơn lẻ
X ."#="8<&)*+"2TF="8<="b8?9!R)9Q@ khó thực hiện
X eQ6&!"nYj&$^8QW&?HRX3(QR@["#="8<Yj&

đòi hỏi thay đổi API(Application
programming interface), không triệt để, có tính xác suất
X "9*Yf8&89(Q8<

Phương pháp phổ biến nhất cho các vấn đề chung
8.I.8. PG"+'(&'H3,9FS!>@
(&8dS 3r H9)Y2*S m"8Y$Z!HeQ6& =(& 3j=!"$%&=-" setuidS GF3j=G48

8P?9!!RHH?£P8GR£S‰›@¤‘A@•

YaGF3="nF(YgY'3J'(Y$Z!9=(F["3a3_"8a)J8<["#[Y'3J'(9=(F["
3a3m"#!"9))*"8+!_="g["2!"899="F"J9"_3J8<["#["$H9)M
D>
X '3J'(9=(F["3a3=";&`)9m8g3="e["3a3?H(P=u9R=RH=8&@
X '3J'(9=(F["3a3=";&`)9m8g3Yi""-"=" !?P(39GTR8P8!9=8(@
X '3J'(9=(F["3a3=";&`)9GO[=-"9=(F?HR!)R!(Q8&@
."Q$v8Y2*S&$^8T8n=d8=-"JF*!6="gTaJ9["$%&["#[F*
I 7T6'U*5636
8g3="e["3a3!{&58GFH(P=u9R=RH=8&GF3j=["$%&["#[["fJ8nY$Z!="I!"8<
"K3Y'3J'(9=(F["3a38g3="e["3a3!_="gY$Z!=8n[!O=+"8a)"$v&
m"#!"9)-"Q$v8="g"8<J9"$v&=8<[!O!%J'=(&m8g3="e["3a3M
I?!JK*+'G4H
X V*MHW&MT6'U4'(&)MT6'UM8p&Tv8`)#=-"m8g3="e["3a3
=";&="$^&`)9!#!J$v!m8g3="e"$M
o 7T6'UFXYZ[':A'!\M."Gv!#!["$%&["#[="8n=mn["3a3Ya)Q~
Yn!"89["3a3="F""]&3;XY)"9*!"$%&=-""}!_!#!Q]G8<)TF(TFmn=
`)'8+&"9*!{&58GF!#!Y%Ti?)8=@["3a3+!#!Y%TiF*!"/&=9Hx=8n
"F"m8g3="e8<!m8g3="eY%TiHxmn=="/!m"83F=l=!'!#!=$^&"Z[m8g3="e
Y$Z!="I!"8<="F"!;&
o 7T6'U'G&]*Z':!E2':A'!\$Y$Z!="I!"8<H9)m"8Yr="I!"8<m8g3="e
Y%Tiw6!=8+)!L9&898Y(bm8g3="e=N!""Z[GFm8g3=9HI&89(=8n[TF=9(Yf8Q]
G8<)&8]9!#!="F"["["3a3(&&898Y(b=N!""Z[S!_="g!_m"'‚&["'8He
Q6&!#!="F"["m";&Y$Z!["#==8g=(&QI#["3a3S3FGF"]&="F"
["Y$Z!!)&!l[HVJ\8!#!="$T8<"9*="O3!"NGF!#!="F"["Y$Z!!)&!l[
J\8"<Y8a)"F"
o 7T6'U^&_!Z`1&':A'!\M(&m¢=")O=m8g3="e!" !‚&SQ]G8<)
m8g3="eY$Z!d)l=["#==hYk!='["3a3J9(&13MYk!='!#!*+)!)?Yp8Tv8m8g3
="e"<="p&@SYk!='="8n=mn?Yp8Tv8m8g3="e=N!""Z[@TFYk!='!"8=8n=3;Y)?Yp8
Tv8m8g3="eY%Ti@7F3j=m8g)m8g3="e"j[YRm";&`)9=23!l)=/!TF"F"T8
J+=(&!L9["3a3S!"|!`)9=23YnT8<!=-3!#!"8<=$Z&3F["3a3

=")O==(#Y$Z!!F8Yk==(&"<="p&2*!,&GF["$%&["#[d#!Yi"m"'‚&Y#[ &
Y$Z!!#!*+)!)Ya9!L9"<="p&["3a38g3Yi""-"=" !!_y&":9Gv=(&T8<!
!" &38"=N"Y/&Y•!L9!#!"<="p&"$M!#!&89(=" !3r"_9S!#!3b!"=f&"Z[S3b!"
Hp"_9‹DŒ
†)#=-"!" &38"+)=+Y$Z!="I!"8<3j=!#!""-"=" !S=";&`)9!#!3;"-"
=(#"5!¡Y_S348"<="p&"(k!="F"["!L9"<="p&["3a3Y$Z!3;"-""_9JK&
3j=3;"-"=(#"5!#!36!=8+)S*+)!)Ya9!,&Y$Z!3;"-"S!")*gYf8="F"J8g)
=" !S!#!3<"YaS=(#"5!=$%& &Tv83;"-"=(#"5!+)=+8<!!" &38"=N"
Y/&Y•!L9"<="p&Y$Z!!")*gTaJF8=(#!" &38"Y$Z!J8g)=" !S3<"Ya=(#"5!‡
d#!Yi"Y$Z!&F*9*S!_"98["$%&["#[m8g3Yi""-"=" !["fJ8nGFm8g3Yi"3;
D•
"-"?3(QRG!"R!m8&@TFH)*Q80G(&8!?G(&8!9G8PRR!R@(&["=8n[="R(!"/&9Hx=-3
"8g)!6="gTa"98["$%&["#[m8g3Yi""-"=" !F*
I.8 7T6FY6Nc
8g3Yi"3;"-"!_=")O=&]=8n&"GF“Model checking”"9*“Property checking”.
(&G:"TI!&"8+! )Tam"(9"5!3#*=N"Sm"#88<3m8g3Yi"3;"-"Y$Z!QW&YgYa
!O[=v8JF8=(#m8g3=93j=!#!"=IYj&3;"-"!L93j="<="p&!_Y#[ &Y$Z!*+)!)
Ya9"9*m";&‹>Œ";&="$^&m8g3Yi"3;"-"Y$Z!#[Q6&Tv8"]&"<="p&!_"])
"b=b&="#8"$GF!#!&89(=" !=)*a=";&SHI&89(=8n[&8]9!#!3b!"Y8<#!Yk!='*+)
!)!L9"<="p&Y$Z!J8g)Q80JK&!#!3<"YaG(&8!8]9!#!=b&="#8=(&"<="p&!_
!#!!")*g=8n[?&58GF=9H8=8(@†)#=-""(b=Yj&!L9"<="p&Y$Z!="g"8<JK&Y1="-
!")*g=b&="#8H=9=RC=9H8=8(F8=(#m8g3Yi"Y$Z!"8g)GF`)#=-"Q)*<=`)9=l=!'
!#!=b&="#8!L9"<="p&=";&`)9=l=!'!#!!")*g=8n[=+Y1="-!")*g=b&="#8!"(Yn
m"8!#!3<"YaG(&8!Y$Z!="}93r‹EŒ
#!3<"YaG(&8!=(&m8g3Yi"3;"-"="$^&J8g)Q80=" =Id)l="8<!L9!#!HI
m8<!")*g=b&="#8=(&3j=m"('&="^8&89"l=Yi"#!3<"YaG(&8!Q(Y_Y$Z!&58
GFG(&8!=b3="^8?G(&8!=(&m"('&="^8&89@8g)Q80G(&8!=b3="^8!_"8a)!#!"m"#!
"9)(&Y_SHeQ6&!2*G(&8!?RRG(&8!@GF3j=!#!"="$^&Y$Z!HeQ6&2*G(&8!Y$Z!
d2*QI&=hY1="i!")*g=b&="#8-"Q$v8Y2*‹EŒGF3j=TNQ6Y%&8'!L9T8<!!")*gY1
="i!")*g=b&="#8H9&!2*G(&8!w48"#"!L9!2*G(&8!="g"8<3j=m"'‚&!_="g="I!

‡
•XD’.•’
•’‘••’
-"Q$v83;='`)#=-"H)*Q80"<="p&=";&`)9["$%&["#[=(#"5!
D˜
P# 7%!Q(!
PG"+3A1O"e,!&
g"8g)Ÿ"%Ta`)#=-"H)*Q80G(&8!S!"/&=9ds=3j=TNQ6Y%&8'"$H9)M!"(
3<"YaQ]G8<)TF(•MdS*∈“A¦d¦D’TF3<"YaQ]G8<)9•MdS*∈“d•*¥E’(b=-"
.‘.D∪.>∪.E∪.•"$H9)M
dM‘Dcd¥D“?.D@
*M‘*¥D“?.>@
dM‘d¥>“?.E@
dM‘d¥*“?.•@
7/!F*=9!_Qr*J8nYf8=N"!"l=Q]G8<)TF(c9"$H9)M
•’.D•DMdS*∈“d•>’
•D’.>•>MdS*∈“d•>’
•>’.E•EMdS*∈“d••’
•E’.•••MdS*∈“d•*¥•’
"I!"8<=)=I!#!["s[J8nYf8.DS.>S.ES.•=9"O="l*mn=`)'Y)9="('3rJ8g)
=" !G(&8!=(&•’O*=9!_mn=G)O•’.•’"9*_8!#!"m"#!GF.Y/&Tv8Q]G8<)TF(
•’TFQ]G8<)9•’
)'F32E:AU"+!'E!A1O"e,!&
(&H)*Q80G(&8!SYgJ8nYf8Y%&8'TF!"N"d#!S&$^8=9="$^&#[Q6&"<=8+Ya
(9RJ9(&13‚3=8+Ya!%J'M
F3-$F3'15'(
DŽ
n)3<"Ya•’H9)m"8!"i)=#!Yj&!L9m"p8!l)=/!Y8a)m"8g.=9Y$Z!•’TF3<"
Ya•’H9)m"8!"i)=#!Yj&!L9!l)=/!Y8a)m"8g†=9Y$Z!•’="-•’!"i)=#!Yj&=)
=I.S†Hx=")Y$Z!•’9*_8!#!"m"#!SY2*!"N"GF=8+YaTaQr*="9(=#!Mn)•’.•’

Šs==+m"N9!b"F(Y_SGO[=-"9=(FGF3j=m"#88<3l=3%"17F3="nF(YgJ8n=
Y$Z!["3a3Y$Z!GO[=-"="R(3j=&8'8=")O=3F&$^8GO[=-"T8+="I!"8<="R(GF9
Dˆ
=(F"9*m";&&9*=b8="^8Y8g3["3a3Y$Z!["#==8g¨lYa=h)=$Z&TF=$\&"$
m"_m"‚F*Y$Z!=8n[!O="R("$v&QI9=+m8"&"8<3l="8a)=f!" !Yr&"8+! )
TFYa9"]&&)*+=•!S`)*=•!GO[=-"9=(FTv8"8T5&Sn)&$^8GO[=-"T8+="I!
"8<Y/&"]&&)*+=•!S`)*=•!F*="-["3a3Y$Z!["#==8gHx&8'3="8g)Y$Z!m"'
‚&3•!G48!L9["3a3
„$v8Y2*GF3j=Hp"]&&)*+=•!GO[=-"3FGO[=-"T8++=)2="R(M
X w(Q)GR"_9["3a3M"$%&=-"["3a3Y$Z!!"89="F"!#!="F"[""}TFY%
&8'&58GF!#!3(Q)GRw48="F"["F*!"|Y'3"O3j="8<3T6Y%&8'"l=Yi"
†)9Y_ST8<!d#!Yi"=N"Y/&Y•!L9348="F"["HxY%&8'"%8<!GO[=-"!#!
="F"[""}SY%&8'Hxm"_3•!G48"%†)*=•!F*!,&&8/[!"(T8<!&zp8S=-3G48
GFQ0QF&"%SJv=!"8["N
X [Q6&=N"Y_&&_8=(&GO[=-""$v&Yp8=$Z&M&F*9*Sl="8a)!#!!"$%&=-"
GvY$Z!GO[=-"="R(d)"$v&QW&3;"-""$v&Yp8=$Z&.N"Y_&&_8=(&
"$v&Yp8=$Z&m"8#[Q6&=(&GO[=-"Y_GF!#!Yp8=$Z&`)'GyQ]G8<)TF!#!
["$%&=" !="I!"8<!L98+&_#!Yp8=$Z&m"#!m";&="g=$%&=#!=I!=8n[TF(Q]
G8<)!L9Yp8=$Z&F*w)p="9(=#!?Gl*=";&=8SHe9Yf8=";&=8@!L93j=Yp8=$Z&
["'8=";&`)9 !#!["$%&=" !Yp8=$Z&Y_ !)& !l[ "9*=";&`)9!#!&89( Q8<
?8=RP9!R@eQ6&=N"Y_&&_8!_="g!"RQl)Y$Z!=";&=8Ta!#!"!F8Yk=S=";&=8Q]
G8<)"b*!'3S"b!"nhY_&8'3="8g)Y$Z!"]&=)*!O[m";&m8g3H(#=Y$Z!S"]&
="9*Yf8T;=N"S="9*Yf8m";&!="8n=S&8'3="8n)Y$Z!G48["3a3
+!b"#[Q6&"]&`)*=•!GO[=-"["3a3=";&="$^&SYgGO[=-"9=(FSGO[
=-"T8+!,&+#[Q6&!#!`)*=•!="+3TF("$H9)M
X 7O[=-"="R(!")tM2*GFT8<!#[Q6&="R(!")t=hT8<!Yk==+S!")t["2Jp!(QR‡
"K3Y%&8'"_9T8<!J'(=-["3a3Sd#!Yi"GFHe9G487O[=-"="R(!")t!,&
&8/[N!""K3"b!"n!#!G489=(F="$^&&k[\&$^83v8GO[=-"?=(&m"8"]&G48
F*YrY$Z!"8a)&$^8m"#!&k[["'8SY/!/=m8"&"8<3TFY$99!#!"=" !GO[=-"=p=
"l=@

‹ŽŒ"==[Mccuuu8P(38=!(3c9=8!GRHc9=8!GR9H[d¨[‘EDŽˆ>
‹ˆŒF8&8'&=(F["3a3CG48["3a3S !"#"Sb8"5!#!""(9F
j8
‹•ŒR!)8=*8(3[)=8&S•()="ƒQ8=8(S"9GRH..PGRR&RS"9879uR!R.PGRR&R
‹DAŒ1#”748=FJjY<3=+‰8Q(uH—S7$%&"#"(F&SGv[8BC•ˆ#!""(9
Fj8
‹DDŒ.(&93HR!)8=*Sƒ)RQ)"==[HMccuuu&((&GR!(3Tc)G¨
H9‘= !=‘€ `‘ RH!‘H H()!R‘uRJ !Q‘E TRQ‘A„†•€ )G‘"==[•E•>•
•>•uuu!HR)RQ)•>•©3&)RH
•>•!H•BA•>•!H•BAH[DA•>•7R!=)RDE›.(&93R!)8=*(=[[= R8‘ª«*BP3ww8†PEB
•• )H&‘•†€X!.Š[ª•ˆ•uPž«•>T&Š JT3‘JT•ŽˆˆEŽŽˆSQJ3m !9Q‘€9
‹D>Œ"==[MccRu8m8[RQ89(&cu8m8c83R›(P›!"R!m›=(›=83R›(P›)HR
>D