! "
#
5 6
$ % &' ( &% ) * + , - . ( * / ( $ % ,0 ( 1 2 , ( / ( $ % ,0 ( 1 2 , 3 , % 4 , + 2 % ) 2 ,
6 7 86
9 6 ::6 ; 6
<=> 6 ? @ :
: =J B = < = > 6 H =K 6 ? A B H A
8A K 6 OB @ :
6
K PE=6 :
6
> @ ?
<7 B C D @
f(),
F 7 A :HQ A :
6
:A B :6 C D @
F 7 A
> 86E6
> @ B :HEL = 6
E A 86 > =@ B 6 ; 6 :
8=:H6
> @ ?
6
F 7 A
9 @ ; A EG6 ? @ :
:=? 9 8A :? A B HA
R S T UVW T W X
; @
HAE
? A 8I @ E 6 ; @
8=J 6 ; 6 M N :H6
> L ; =J @
F 7 A
:AB :6 C D @
A :>EAK A ? @ :Y
=B > 87 =B ; @ Z
[ M
5 @
@ ? @ 9 @ ; A ? @ : 6 K 6 8=6 E 6 R S T UVW T W X ; A 7 ?
\
^ M
@ ? @
\
; A : A B K @ 8K A E > L ; =J @
9 E@ J E6? 6 ]
; A R S T UVW T W X ]
F 7 A : A : A J 7 A Y H A B H 6 E A ? @ : 6 _ @ E ; 6 E A :H 6 : F 7 A :H Q A : M
` a bc d ba e f g h i j d f k d ` a hl d m n h
o p q r q s q t u vr qw xy s p q zs { u p | y s x p
x s†| r u
y u p x
xp
s| t „ v u t …x p q s p q zs
w x y vz{ u
r x
q y ˆ …zsx ‰
} z~ y { zq x  y w x y € q v zq  q r z‚ z s ƒ u
‡ˆ { x zs
Š „ Œ s
r x
u
{ u p „ vx x y r xv
„ vu t …x p q
s u …| Ž ƒ u w …u t q … q „ q v † zv r q s s u …| Ž  x s r x { q r q
w xy vz{ u
‘ x
u

„ vu t …x p q
r x { u p „ u v
„ v u w v x s s z‚ q p x y † x
v x ‡ x v zr q
y u ssu
{ u p u
x s†v| †| v q r q
ž Ÿ ¡
« £ ¡ ¬ «
›q
q
‡u v „ vu’ x {†q v | p
‡| y Ž ƒ u
p q zs
„ vu’ x {†u
„ vu w vqp q
x p
€ zxvqv“ | z{ q p x y †x 
œ 
q y q …zsq r u 
x s†x
r u „ vu t …x p q x p
„ vu { x ssu
„ vu {| vqp u s
s| t „ v u t …x p q ‰ Š
“ | x
w …u t q …
szp „ …x s
x
„ vu w vqp q
“ | x
x s†v| †| v q r u ‰ ”
‡| y Ž  x s
– — ˜™ š
r x
r x ‚ x p u s
¢ £ ¤ ¥ Ÿ ¦ ¤ § ¨ ¥ ¨© ¤ ª ¤
£ § ¬ ¡ ­ ² «¤ ª ¬ «
u
« « Ÿ
r ˆ ‹sx
{ u y s† v | zv
x s†x „ v u { x s su
u
| p q
r ˆ ‹sx u y u p x
ª ¨¼ ¨ª ¨£
ª ¤
½ ¨ £¤£· ® ¨§ ¤ ¡ ² © ¨² ª ­ ² ª ² © «Ÿ
§ ¬ ¡
ª ¤
¦® ² ³ ¶ ¬
º ¡
r x sx p „ x y € qv
 s† q
‡u vp q
x p
r x
x
zy r x „ x y r x y †x s
„ vu w vq p qv ‰
Š
„ u s s ‚ x …
„ v ˆ †z{ q
® ¡ ¤
¦¤ « ¤
ª r q
‡| y Ž  x s
„ vu’ x {†u
­ £¬ ¢ £¤¡ ¤£Ÿ

r u
u vw q y z• q r q s
„ vu w vqp q Ž ƒ u
„ vu w vqp q Ž ƒ u
­ £¬¯ §©¬
u
{ u p u
«© £ ® ©® £ ¤ ª ¬ ° ± «© ¬
­ ² «¤£¡ ¬ «
ª u
ž Ÿ
¦¬ £¡ ¤
§ ¸ ª ¨¢ ¬ ¨£ ´ © £ °
­ £¬ ¢ £¤¡ ¤ ³ ¶ ¬
¨² © £ ¦¤ § «
r q s ‡u vp q s r x
x s†v| †| v q r u  „ vu „  x | p q u vw q y z• q Ž ƒ u
§ ¬ ¡ ³ ¤£¡ ¬ «
r x ‚ xvˆ
| sq p u s …zy w | q w x y s r x
¦¬ £ ­ £ § ª ¨ª ¤
¹ « º ² ¦ »§ ¨¬ «
­ £¬¯ §©¬
q
sx w | zv “ | q y r u
ª { u p „ | †q r u v | p q
zp „ …x p x y †qv ‰
szp „ …x s
{u p x Ž qvp u s
¤² © «
r x
„ vu w vqp q
r x
„ vu’ x {†u
p q zs
· ® ¬ ² ¬ ««¬
ª ¬
u
‡ˆ { x zs
« ¨ «© ¡ ´ © ¨§ ¤ ² ¤ ¬ £ ¢ ¤ ² ¨µ ¤ ³ ¶ ¬
¡
†vq†qv ‰ Š
r x sy †x sx ‰
y u ssu
q†q { qv
x
«©£® ©® £ ¤ ª ¤
¢ ¥¬ º ¤ ¥
ª ¦ ¨² ¨ª ¤ «Ÿ
ª ¬
§ ®¯ ¤
£ «® ¥© ¤ ¡
­ £¬ ¢ £¤¡ ¤
©¤£ ¦¤
ª ¤
¡
­ ¬ ««¤
² ¬ ««¤
§ ¤­ ¤ § ¨ª ¤ ª ¦® ² ³ ¾ «
« £
«¨¡ ­ ¥ «Ÿ
² © ² ª ¨ª ¤
« ¡
£ § ¬ ££ £ ¤ ¬ ® ©£ ¤ « ¦® ² ³ ¾ « °
¿ ¥¢ ® ¡ ¤ «
¼ ¤ ² ©¤¢ ² «
©£ ¤ ª ¨§ ¨¬ ² ¤ ¥¡ ² © ¤ ©£ ¨º ® »ª ¤ «
¤ ¬
­ £¬¯ §©¬
À
­ £¬ ¢ £¤¡ ¤ ³ ¶ ¬
«©£® ©® £ ¤ ª ¤ Á
Â
Â
Â
Â
¤ § ¨ ¥ ¨© ¤ ¤ ¨¡ ­ ¥ ¡ ² © ¤ ³ ¶ ¬
¤ ¡ ¤ ² ® © ² ³ ¶ ¬ Ä ¨ ° °Ÿ § ¬ £ £ § ³ ¾ « ¡ ¥ ½ ¬ £ ¤ ¡ ² © ¬ «  Å
Ã
£¬ ¡ ¬ ¼ ¤ ¨¡ ­ ¥ ¡ ² ©¤ ³ ¶ ¬ ­ ¤ £ ¤ ¥ ¥¤ Å
Æ
ª ® µ ¤ ¬ § ¬ ££È ² § ¨¤ ª ££¬ « ª ­ £¬ ¢ £¤ ¡ ¤ ³ ¶ ¬ Å
Ç
¿ © ² ® ¤ ¬ « ¦ ¨© ¬ « ª ¼ ¨ ª ¬ « ¤ Ä ­ · ® ² ¤ «  ¤ ¥© £ ¤ ³ ¾ « Å
/
! " # $ % & % ' # $ ( # %
0 " 1 2 ' " " % $' /
5
/
3
) " $ $#
" ', " ( #
%
( % , - * # $ ) *# + * "
1 3 $' # + 2# 4 " 2 ( # ) * # + * "
( * % 1 6 7 #
0 " 1 2 ' " " # ) ' ) *%+ #
" ( # *% $.
" .
8 * % 3 '2! " 6 7 # .
! " 6 7 #
9
2+ 3
" $
( % $, " '"+ % $
"4 # *( "+ %
/
9
/
9
( #
) *#: % 1'#
1 " * " 1 '% *! " 6 7 #
/
( "
) *# + *"
" 6 7 #
% $'*3 '3 * " ( " ;
( % 1# **% '% $
( "
$% * + 3 " ( " ) # * &3 6 < % $ =
% $'*3 '3 * " ( # $ ( " ( # $ >
@
%
( %
% + 2+ % 1 " ( " .
3
) *# + *"
"
1 #
3
"
? 1 "
&3 6 7 #
+ 2# 4 " 2
) # ( %
$%*
3 % $'# - , % 2.
A 7 # '#
" %
1 # ' " " " ' 3 * % ! " % , # 23 ' , " ( # $ ) * # + * "
" $ .
9
( % 1 #
) # $6 7 #
"4 # *( "+ %
%
&3 6 < % $ 7 #
> " ? 1 " &# *
" ( % ( % 1 #
) # $ 6 7 # ) # $ $ B, % 2 C D
" # 3 '*"
4 " $ % " E $% " ( % '& 1 " 6 7 # ( % 1 2" $ $% $ ( % # 4: % 1 '# $ % $% 3 $ * % 2" 1 # "
% '# $ C D
@
@
( " ( # $ % &3 6 < % $
3 % # $
" ) 3 2"
; $% ( #
3 % # $ ( " ( # $ 7 # % $'7 #
# 4: % 1'#
% + 2# 4 "
( * % 1 ' "
% ' % " 1 % $ $ B, % $ ( #
% F '% *# * ( # # 4: % 1 '# C
9
" 4 # *( "+ %
H
* % '" ( "
4 " $% " ( "
%
H
H
4: % 1'# $ C
) # *
%, ( I 1 " " 1 #
) *% % $7 #
%
( $ 1 ) 2 " $
) "*'% ;
L $'%
J
c
" $
# 4: % 1'# $
$%*-
( % $ % , # 2, 1 # 1 % ) '3 " 2 ( #
( %
% $'3 ( " ( "
% '#
$$'%
) *# 4 2%
J + % K " * "
"
( $1 ) 2 "
- '1 #
( %
( %
) *# + *"
" $
G *# + *"
" 6 7 #
@
3 % ) < % %
" ; " '% $ ( " ) *# + *"
" 6 7 # ; $ % * - % $'3 ( " ( " ;
9
L # &'M " * %
%
- 2$%
%
# ( % 2" 6 7 #
( %
( %
" $ C
+ % * " 2; & " 2" E $ %
Y d e f ]
] Y
Y W
( %
( % 1 #
) # $6 7 #
%
N O P Q RS T U
V W
X Y V
Y W
W Z [ Y \]
^ ] [ V_`
aV_
Y W b
] gh V ij] k l ]
i b a]
[ ] a ] gh V ij] aU b
[ V i ] W ^ ] ame f ]
V W
W Z [ Y \] aU ] Y
c
] _ e b b a o b d j b p V d a b ^ ] d j b [ b a b d j V _ m] _ W V d j V U V d X Y b d j ] ^ _ ] i Y _ b _ V [ Y n m_
W ] [ Y \b _ mn b e f ] U _ V
b a [ V ao b d jbp Vd a k
q
b_V i V
aV_
b ^ \mi b e f ]
i \b_]
bp ] _b
[ V ajb
X Y V
b
W V j] [ ] \] p mb
W ] [ Y \b _ mn b e f ]
^ b aab
^ V \]
_V [ Y n
V ajY [ ]
b
i ] W ^ \V r m[ b [ V V
c
b ij] _V a
[ V
[ ] a
ma a]
s
g ] W k t
u Y b \m[ b [ V
[ ] a
^ _ ] p _ b W b aU ^ V \b a v V Y _ wajmi b a V ^ V \b a V aj_ b js p mb a [ V ^ _ ]h V i j] k
x y z {| } ~  € ~
 ‚ y ƒ„€ y € ~
… †
Ž 
‡ˆ ‰Š‹ Œ †
‡ˆ ‰Š‹ Œ †
Ž 
  ˆ ‘’Ž ˆ Ž 
  ˆ ‘’Ž ˆ Ž 
“ ‹ Ž  ”
’— Š Œ— ‹ †
†Œ
Ž ’• ’Ž ’Ž ‹ †
Ž “  — Ž  — Ž ‹
 ”
Ž 
‡ˆ ‰Š‹ Œ †
†Œ ” ˜
Ž 
‹ 
  ˆ ‘’Ž ˆ Ž 
— ™ ‹ ˜
 – ŠŒ— ‹ †
‹ š †Œ• › •  ’†

“  ‘‹
 Š’‘’œ ˆ Ž ‹ Œ 
ž ‹ †
‡ˆ ‰Š‹ Œ †
Ž 
  ˆ ‘’Ž ˆ Ž 
 – ŠŒ— ‹ †
 †Š™ ‹
’— ‰ ‘ ŸŽ ‹ †
‡ˆ ‰Š‹ Œ †
‰‹ ” ‹
ˆ
‰ ‹ ŒŒ ‰ ™ ‹ ˜
ˆ
Œ ‹ š  †Š œ  ˆ ‡ˆ ‰ ’‘’Ž ˆ Ž  Ž   Š’‘’œ ˆ ™ ‹ ˜  — ŠŒ  ‹  ŠŒ‹ † 
¡ ‹ † ‡ˆ ‰Š‹ Œ † Ž 
¢  ˆ ‘’Ž ˆ Ž 
’— Š  Œ — ‹ † ˜ £¤¥ ¤˜ Ž ‹ † ‡ ˆ ‰ Š ‹ Œ  † ¢  
“ Œ ‹ ¦ Œ ˆ ” ˆ Ž ‹ Œ  † ˜ Ž  †Š ˆ ‰ ˆ ” § †  Ž ‹ ’ † ¨ ‹
ˆ ‰ ‹ “ ‘ˆ ”  — Š‹
†™ ‹
‹ š † Œ• › •  ’† ˆ “  — ˆ † “  ‘‹ †
 ˆ ‰‹  †™ ‹ 
5
! " # $ % ! & " $ '
6 7 $ *(
!7 $
' )
& ( "
' )* !
*3 * ! ' )(
( & 3 %( " ' )
' & ! ! < * ( ' )* " # $ % ! 8 $ )= "
m
+ , -. - / ) * & ( ' ( ! 0 1 " 2 ! ( & 3 % ( ! 4
8 $ & " $ '
n o p q rs t
( !/
8 $ & ** !3 ' 9
& " $ '
& ( : ; & (* 4
u v w n w s n o p q rs x y z {w | p s w r}| ~ q w ~  n
€ 
s p }w ~ ‚w n w u s ‚‚ {ƒ s | p  w „
…
A() {
g
/* … */
y = B(x);
/* … */
l
}
†
!
" # $ % !
( & ! ! ?@ & " $ "
!
(
( & "
8 $ ( %8 $ *
)*( $ 1 2!
' $ "
3 * > % " ( ! !) ) 3 C
U S
C
U EYO
6 *)
1 2 !
U NNH E
V Q S
H Q Y N H Y LM H
Y LM H
F O
S ] F Q JH
Q EG S
)= "
+) 3
& ( " ' )
( & 3 %( " ' )
@ !*
@ )( ( !
" ( !
A
!
8 $ !); ( & 3 %( " ' )
3 ! ! ?@ % 4 5 %7 $ ' !
!; B
G JO I LK LJLF G F O F H M N H I N G S G T
F H E F G F H E LS M J L R G N \ G G JY O N G Z [ H
^ Q O
7 % > (
& " $ " 4
G JY O N O
F G F H E
NO_JO RYO S `EO
F H E S ] F Q JH E T
V H E
H Q YNH E
S ] F Q JH E
^ Q O
O E EO E F G F H E b
F O G R H M JG S O V YH
G R H M JG S O V YH
V O R O E E \ N LH E M G N G
( !
8 $ ( & 3 %( " ' )
( & 3 %( " ' )
M N LV R WM LH X G G JY O N G Z [ H
YGS K a S
S
" !" !
D E F G F H E I JH K G L E M N OP Q F LR G S
C
c
( !
" # $ % 0
^ Q O
H
_ H NY O X ^ Q O F O d O S H E O d LY G N X a H
H R H NNO
S ] F Q JH
^ Q GV F H
EO
F O EO S M O V e O
O V d LG
G
EQ G
G
Q S
G R H M JG S O V YH M H N LS G I O S b
S ] F Q JH
V [ H
_Q V Z [ H X S G E YH F G
GM O V G E
H E
G U EY N Q YQ N G
F G F H E
OS
^ Q O
O E E O E F G F H E O EY [ H LV E O N L F H E b f H N O g O S M JH h
™ š ›œ œ žš Ÿ œ
‡ {ˆ‚q ˆq ‚ w
s ˆ r Šs |  m ‹
ƒ  {{s w
‰
Œ  Ž  ‘ ’ “ ” • ‘ –
i
H
R G EH
F G F H E
F G
RH S H
_LI Q N G X G
H
U EY N Q YQ N G
V H S O X Y WY Q JH X
O EY N Q Y Q N G a Q S G E H JQ Z [ H
JG F H X M G N G d G JLF G N H
f H N
H Q YNH
JG F H X EO
LS M JLR GNLG S
M O EEH G
S H NG F G X
F O YO JO _H V O
H M Y\ EEO S H E M H N
G JY O N G Z k O E V H
LV R JQ LX M G N G G Ja S F H V j S O N H F O Y O JO _ H V O X H Q YN H E
i
G YQ N G JS O V YO ^ Q O M G E EG N G H S ] F Q JH YH F G G
OYR b
S G LE M H K NO F H
V j S ONH
—• Ž• ˜– ’ •
^ Q O M G EEGN GM OV G E H
a
M G EEGN
V O R O E E\ N LH
G
O
V j S ONH
EQ _ LR LO V YO
O EYNQ YQ N G X O d O V YQ G LE
H
F O YO JO _H V O b f H N Q S
V j S ONH
G JY O N G Z k O E
F O YO JO _H V O T
V G
O EYNQ YQ N G
S ] F Q JH b
m
w u s ƒ rw n  | ˆs
p ƒ | p | u }w!
 ƒ ‚ }n  
 | ˆ‚
p q w {
ƒ s ‚ˆw | ˆs 
Šq | "  {
s
# q 
 {ˆ}%  ‚  n
s { n o p q rs { n  rv s ‚ y ‡ }{ˆ n
}n w~  n 
ƒ s ‚
u s | ˆ‚s rs

ƒ s ‚
~ ‚wq
p 
u s  { s
 ƒ ‚ }n 
w
| wˆq ‚ ' w
p w {
| ˆ‚
p 
}| Šs ‚ n w s
{}y $ q w | ˆs
n w }{
‡ {ˆ  {
ˆ}ƒ s {
‚ rw "  {
Šs ‚w n
wƒ ‚ { | ˆw p s {
p  Š}| }p w y t
 {ˆ  ˆ }ƒ s
p  us  { s
u s  { s  wƒ ‚ { | ˆw p s { ƒ s ‚
{ # q  | u }w r
u s n q | }u w u }s | w r
u s }| u }p  | ˆ
u s ‚‚  {ƒ s | p   ƒ s ‚ˆw | ˆs  w s
p s {  r n  | ˆs { p 
w u w {s y
w ˆq ‚ w rn  | ˆ
u w ƒ w u } p ‰w p  |  n
- ‚ˆ| p  ({
q n
| ˆ‚
s {
 r n  | ˆs {
p  u‚  {u  | ˆ
ˆ n ƒ s ‚ w r
| ,%  r n w } {
{
u s n
u s  { s
# q  s { n o p q rs { { ) w n
p 
s ‚p n
p 
ƒ ‚s u  {{w n  | ˆs
| s
q n w & | }u w Šq | s
$ q w r}p w p   { s „ Šq | u }s | w r
ro ~ }u w
Š‚w u s
 | u s | ˆ‚w‚ n
n o p q rs
 ˆ  | { }* }r}p w p  ! |  n
p   % s rq }‚
ƒ s ‚ˆw | ˆs
s ‚p n
ƒ ‚ s u  p }n  | ˆw r
ƒ ‚s ~ ‚wn w s
# q 
ƒ s ‚
p + ( { s | s n  p  u s  { s Šq | u }s | w ry
m { ˆ }ƒ s { p 
Šw uˆs
w
p  u ‚  {u  | ˆ p  $ q w r}p w p  y
}| ˆ ‚ }s ‚ p s n o p q rs „ ƒ ‚ ˆ | p  n ( {  n o p q rs { u q ) s {  r n  | ˆs { ƒ ‚s p q ' w n
*  n
s q
p  {w u s ƒ rw p s {
s { {  ~ q }| ˆ  { ˆ }ƒ s { p  w u s ƒ rw n  | ˆ s „ p  p w p s {  ƒ s ‚
us | ˆ& p s y
u ‚  {u  | ˆ p  p  ƒ  | p | u }w   ƒ s ‚ˆw | ˆs  ƒ s ‚ s ‚ p  n
t
ˆ‚w| {Š‚ | u }w
u s n q | }u w n
p 

u s }| u }p  | ˆ y t
u s  {s
| q n

n o p q rs
u s }| u }p  | ˆ
u s  { s
u w ‚ w u ˆ  ‚ }' w ( { 
p  {ˆ
| s
ˆ }ƒ s
ˆ n
ƒ  rs
ƒ s ‚ n ‚s
ƒ ‚ w ˆ}u w n  | ˆ
p  { ‚ ‚  (q ˆ}r}' w p s y
Šs ‚ˆn  | ˆ
u s  {s { y $ q w| ˆs
n w }{ Šs ‚ˆ Šs ‚ w
u s  { s n  | s ‚ { ‚ + s w u s ƒ rw n  | ˆs y
. / 0 1 2 3 4 5 6 7 3 8 / 9 1 :; / 6 4 :
t {
v  q ‚ ,{ˆ}u w {
p q ‚w| ˆ s
ƒ s p  n
{‚
% }{ˆw {
s * {‚% w "  {
u s n s
p  {  | % s r% }n  | ˆ s n  rv s ‚ w n   n
t { v  q ‚ ,{ˆ}u w { p  ƒ ‚ s)  u ˆs { w w p s ƒ ˆw‚  # q  ‚  {q n  n
<
t
{}n ƒ r}u }p w p  =
<
t
r ~ }* }r}p w p   w
p 
* s n
{ | {s
# q 
{
wƒ r}u w p w {
~  ‚ w r w $ q w r}p w p  p s { ƒ ‚ s ~ ‚ w n w { y
q n
ƒ s q u s s
# q  % }n s {  }| u rq  n „
| p ƒ  | p | u }w
<
>
? 3 4 1 7 4 @ A 5 7 3 8 / 9 1 :; / 6 4 : B C : D E / 3 8 / F 1 :; / 6 4 : 9 : 1 G : H 4 1 7 4 :
I  rw ˆ}% w n  | ˆ  w  {ˆ‚ w ˆ J ~ }w { p  ƒ ‚ s)  u ˆ s
w p s ƒ ˆw ‚  n s { q n w ˆJ u | }u w p  {}~ | w p w ƒ s ‚ ƒ ‚s)  u ˆs
ƒ s ‚ us | ˆ‚wˆs y
t
ˆJ u | }u w p  - ‚ s)  u ˆs ƒ s ‚ € s | ˆ‚ wˆs
x ‚ˆ‚w| p Z 
KL M N OP Q
l
{‚
p q ‚w| ˆ
w
T U Q VW X Y V K! Š s } }| } u } w r n  | ˆ  ƒ ‚ s ƒ s {ˆ w ƒ s ‚
Šw r{w y
Šw {
u s | {}p ‚w p w
‚ ^[ [ _ ` y
l
‡ {ˆw ˆJ u | }u w * w { }w ( {  | w
p % ‚+
RS
 ‚  | s } | , u } s p s { w | s { [ \  u Š y ]Z 
q n
p 
| s s
p 
a }ƒ } u w n  | ˆ  
ˆ {ˆ { y
t
w { {‚ s y z n w
| q n
 }{ˆ | u }w
* q ~ y b ƒ s }{
p 
w {{‚ s
ƒ ‚s ~ ‚wn w
p 
p ƒ q ‚w p s 
w {
J q n w w Š }‚ n w s
w { {‚ "  {
q n w
w {{‚ s
q n
ƒ ‚s ~ ‚wn w
u s n
| s
{ s
s
wƒ | w {
% w rs ‚
p % ‚+
# q  | q | u w
%  ‚ }Š }u w p w {
ro ~ }u s
Šw r{s
J
w { {q n }‚
# q 
w {
w { {  ‚ "  {  {ˆ s w {  ‚ ˆ  {ˆ w p w { y
t
ˆJ u| }u w
p 
- ‚s)  uˆs
ƒ s ‚
€ s | ˆ‚ w ˆs
q {w
ˆ ‚ { ˆ }ƒ s {
p 
w { {‚ "  { p w {
# q w }{ q ˆ}r}' w ‚  n s {
w ƒ  | w { w { ƒ ‚ J  w { ƒ o { u s | p } "  { y
z n w
 {ˆ ) w
ƒ ‚ J (u s | p } s
w | ˆ { p 
J
q n w
  uq ˆw p w
p  u rw‚w s
q n w
p 
u s n s
s ƒ ‚w s y
 {ƒ  ‚w n s {
# q 
s
 {ˆw p s
p s
| p }u w  ƒ s ‚ˆw | ˆs  w { u s | p } "  { # q 
ƒ ‚s ~ ‚wn w
{
p  % ‚ s
>
%  ‚ }Š }u w ‚ # q w | p s
y t
yN M =W Ysqrt(x)
X X X
( J
Š w '  ‚ s ˆ {ˆ „ s
ƒ s p  ‚( { (}w
w Šq | s
x>=0
p w
| q n
sqrt
p s }{
p 
{ ‚ |  u  { {w ‚ }w n  | ˆ
y n
# q 
w
X Q VM N
X Q U
# q  n
p  %  ‚+ { ‚ s ‚ {ƒ s | {+ %  r ƒ s ‚
 ƒ r , u }ˆ w p  ‚  { ƒ s | { w * } r } p w p 
wq { | u }w
p 
ˆ {ˆ {
‚ {ƒ s | {w * }r}p w p 
p s
u r} | ˆ # q  ‚ s u s | {ˆ‚q ˆs ‚  Š u ˆq w n
J q n w p  u rw‚w s
{ w ˆ } { Š  }ˆ w
 {ˆw p  u rw ‚ w s
 ˆ‚ n s { „
ƒ ‚  {q n  n
# q ‚ s
z n w ƒ o {(u s | p } s
p  u s n s Š}u w s
# q ‚
s
ˆ {ˆ
J
u r} | ˆ
p w
# q ‚
s q ˆ‚w
s ˆ {ˆ! y
 {ˆ w p s p s ƒ ‚ s ~ ‚ w n w w ƒ o {   u q ˆ w p w
| p }u w  ƒ s ‚ˆw | ˆs  w { u s | p } "  { # q  w Šq | s ~ w ‚ w | ˆ {w ˆ}{Š w '  ‚
>
u w { s p w ‚ w }' # q w p ‚ w p w w ƒ o { ( u s | p } s ƒ s p  ‚ } w {  ‚ p w p w ƒ s ‚
 s q
s
‚  w r } { ˆ } u w n‰  | ˆ  ƒ s ‚
p  Š}| } s
q n
abs(y*y-x) < ε;
p w ƒ ‚J

 | ˆ‚
w
Y U Q VW X VU
ƒ w‚w q n
p w p s
ƒ o {(u s | p } "  { p  q n w
Šq | s

s {
{q {
ε>0
y*y=x
y
Šq | s
u r} | ˆ {
s
ƒ w ‚ˆ !
s ƒ ‚w s y
ˆ ‚n }| w ‚ y
t
ˆ‚+
ƒ ‚ J ( u s | p } s ˆ s ‚ | w  ƒ r , u }ˆ s
p 
Šq | s
 u  { { s p  ˆ  {ˆ  {
q n w
y t
( # q 
u r} | ˆ p w Šq | s
u w }‚
u s | {ˆ‚q ˆs ‚
J u v w n w p w y - s ‚   n ƒ rs  u s | { } p  ‚  ( {  w Šq | s ‚ w }' # q w p ‚ w p w 
ƒ ‚ J (u s | p } s
ƒ s p 
{ ‚ % }{ˆw
Šq | "  {
# q 
w
u s n s
w
wƒ o {
n w }{
p  Š }| } s
q ˆ}r}' w n ! y
m
p 
u s | ˆ‚ w ˆs
ƒ s p  ‚ }w {  ‚ ‚  p }~ } p s |  {ˆ  { ˆ  ‚ n s { „
"Eu, função fulana de tal, comprometo-me a fornecer um
estado final em que a pós-condição está satisfeita, se
e só se for chamada com a pré-condição satisfeita"

w
ƒ w‚ˆ
p s
u s | ˆ‚wˆs
p s
s * ‚ }~ w "  {  ƒ s p  ‚ + ˆ  ‚ s
u r} | ˆ
| s
us n ƒ s ‚ˆwn  | ˆs
Šs ‚
{ w ˆ } { Š  }ˆ w 
 | ˆ s
# q  # q }{‚ „ ~ ‚w‚ q n
w
Šq | s
‚  {q rˆ w p s
Š}u w
{ n
r}% ‚ 
p 
{ | ˆ}p s s q
n  {n s ƒ w‚w‚ w   uq s p s ƒ ‚s ~ ‚wn w y
w~ s ‚w
- w‚w
q n
u rw ‚ s
w rJ n
w |  u  { {}p w p  p 
p s uq n  | ˆw‚n s { p  % }p w n  | ˆ
p  p s uq n  | ˆw‚ w ˆw‚Šw
# q  q n w
Šq | s
  uq ˆw

s
u o p }~ s
# q w r s
{}~ | }Š }u w p s
p s { { q { w ‚~ q n  | ˆs { J Šq | p w n  | ˆw r  {ƒ  u }Š }u w ‚ n s { w { {q w { ƒ ‚ J 
- w‚w
wrJ n
p } { { s  ƒ s ‚ %  '  {  J & ˆ}r }| u rq }‚ n s { u s n  | ˆ + ‚ }s { | s
u o p }~ s
# q  ƒ ‚ s p q ' }n s { y
p  u w p w
w { ƒ o {(u s | p } "  { y
# q  | s { ‚r n * ‚ n
w % w r}p w p  p  u  ‚ˆw { u s | p } "  { y - s ‚   n ƒ rs „
x = a*a + 1; /* x > 0 já que é a soma de 1 com uma quantidade positiva ou nula */
y = sqrt(x);
z n w
% w | ˆw~  n
p s
ƒ ‚s)  uˆs
ƒ s ‚
us | ˆ‚wˆs
Šq | "  {   ƒ s ‚ u s | { # q | u }w  p s
ƒ s p 
| s
 p  %  w { {q n }‚ # q 
u s ‚ƒ s
s ˆ ({
J
w
{}~ | } Š } u w ˆ }% w
ƒ ‚s ~ ‚wn w y z n w % ' # q 
w ƒ ‚J (u s | p } s
 {ˆ+
{}n ƒ r}Š }u w s
p s
u o p }~ s
s ƒ ‚s ~ ‚wn w p s ‚ p  q n w
{ w ˆ } { Š  }ˆ w  | s
ˆ‚+ |  u  {{}p w p 
p 
p w {
Šq | s
w ˆ {ˆw ‚
p w Šq | s y
# q 
‰
ƒ ‚s ~ ‚wn w {

w
{}n ƒ r}u }p w p 
# q  
ƒ s ‚
s q ˆ‚s
J
q n
rw p s 
w {ƒ  uˆs
w
Šq | p w n  | ˆw r
us n ƒ r }p w p 
J
q n
| s
p s {
p  {  | % s r% }n  | ˆ s
n w }s ‚  {
}| }n }~ s {
p 
p w
# q w r}p w p  y
t r~ q n w { s q ˆ‚ w { % w | ˆw ~  | { „
<
- ‚s n s %  w
Šq | s
 { u ‚ }ˆ w
p  ƒ ‚s ~ ‚wn w { u s ‚‚ uˆs {
 {ˆ+ }n ƒ r n  | ˆw p w u s ‚‚  uˆw n  | ˆ
u s n s
{ | s
ƒ s p ‚n s { w { {~ q ‚w‚ # q  q n w
 {ƒ  u }Š } u w ‚ n s { ‚ }~ s ‚ s { w n  | ˆ 
s
# q  w Šq | s ˆ ‚ + # q  Šw '  ‚ ! =
<
w u } r }ˆ w w p s u q n  | ˆ w s =
q ƒ s ‚ˆ w s ˆ  {ˆ   w p  ƒ q ‚ w s y
<
s ˆ ({
# q 
‰
u r} | ˆ {! 
s
ˆ }ƒ s
OM 
w ˆq ‚ w rn  | ˆ
‰
{s Šˆ w ‚  y
p 
u s | ˆ‚ w ˆs
 {ˆw n s {
# q 
- s ‚
| s
s q ˆ‚ w {
w
p }{u q ˆ}p s
‚  Š ‚ }‚ n s (| s {
{‚+
‚w' s +%  r
ƒ w rw % ‚ w {
 {ˆw *  r u }p s
J
u s n q | }u w s
w { {q n }‚
ˆs p w
w
| ˆ‚
# q 
 | ˆ‚ w p w
s
p 
n  {n s
p 
Šq | "  {
Šs ‚|  u  p s ‚ {
{s Šˆ w ‚ 
{
ƒ w‚w
ƒ w { {w
}| Šs ‚ n w s
p s

{s Šˆ w ‚  y
 | ˆ‚
ƒ  {{s w {
q ˆ}r}' w p s ‚
ƒ w‚w

s
ƒ ‚ s ~ ‚ w n w ˆ ‚ + # q  { ‚ p  % }p w n  | ˆ % w r}p w p w y
t {
w {{‚ "  {
p  % ‚ s
{‚
 ƒ ‚ { {w {
ˆ s
Šs ‚n w rn  | ˆ
# q w | ˆs
ƒ s { { ,%  r
M P q {w | p s
 ƒ ‚  { {"  { x s s r w | w { y
‡ n
‚  {q n s „
<
m
u s ‚ƒ s
<
t
% }s rw s
p  q n w Šq | s
<
t
<
z n w % }s rw s
 n
% }s rw s
p 
q n w
p  %  ‚ + w { {q n }‚ # q  w ƒ ‚ J ( u s | p } s  {ˆ + { w ˆ } { Š  }ˆ w =
p    u q s p  q n w w { { ‚ s J {}| w r p  * q ~ | s ƒ ‚s ~ ‚ w n w =
ˆn ƒ s
ƒ ‚ J (u s | p } s
J
{}| ˆs n w
* q ~
p 
| s
u r} | ˆ
Šq | s
# q 
Šw '
w
uv w n w p w! =
€ s n s
  n ƒ rs
p  % s r% 
w
p  q n w ƒ o {(u s | p } s
p s
u w *  w
# q 
p 
w u w* w n s {
q n w
r}{ˆw y
p 
m
J {}| ˆs n w p  * q ~ | w ƒ ‚ o ƒ ‚}w Šq | s =
% ‚
u o p }~ s
u s | {}p  ‚  ( {
p  {ˆw
s
u w {s
Šq | s 
p w
Šq | s
}| u rq }| p s
wˆo n }u w
u s n  | ˆ+ ‚ }s {
# q 
J
s
{ ~ q }| ˆ „
/*
Retorna o item do primeiro nó do argumento, list.
Pré-condição: list != NULL
type lsthead(link list) {
return list -> item;
}
*/
s ˆ ( { # q   p w n  {n w Šs ‚ n w # q  s | s n  p w { Šq | "  { # q  n w | }ƒ q rw n
‰
ƒ s ‚

str
n w | }ƒ q rw n
# q 
m
€
s
u s | %  | u }s | w n s { ƒ s ‚
p } {ƒ s | }* }r}' w q n
ˆ  {ˆ 
 {ˆ+
r}{ˆw { u s n  w n
q n w
ƒ s ‚
n  u w | }{n s
| w
r}% ‚ w ‚ }w
ƒ s p n s {  {u‚ % ‚ „
lst
p 
q | }Šs ‚n }p w p  
# q 
ƒ s {ˆ  ‚ }s ‚ n  | ˆ 
<assert.h>.
s
{ˆ‚}| ~ { u s n  w n
| s n 
p w {
Šq | "  {
y
{}n ƒ r { ƒ w ‚ w %  ‚ }Š}u w ‚ w % }s rw s
p s { ƒ ‚ s ~ ‚ w n w {  ƒ  ‚ n }ˆ }| p s
p  Š}| }p s
# q  {ˆ s
- w‚w
q {w‚
w
{q w
 {ˆ
p  w {{‚ "  { p q ‚w | ˆ
p  { w u ˆ }% w s y ‡ { { 
n  u w | }{n s
| w
n  u w | }{n s
Šq | s
w | ˆ ‚}s ‚ 
#include <assert.h>
type lsthead(link list) {
assert(list != NULL); /* ou simplesmente assert(list); */
return list -> item;
}

w  ƒ ‚ { { s
~ ‚w p w
q n w
w‚~ q n  | ˆs
n  | {w~  n
p 
p w n w u‚s
‚‚s
Šs ‚ % }s rw p w  s
assert
w }| p }u w s
u s n
p s
ƒ ‚s ~ ‚w n w
Š}u v  }‚ s

{‚+
p w
w * s ‚ˆw p s
r}| v w

{‚+
 n
# q 
{
%  ‚ }Š }u s q
w
% }s rw s y t ƒ o {
s
ˆ  {ˆ 
p s
ƒ ‚s ~ ‚wn w 
w
%  ‚ }Š }u w s
p w
w {{‚ s
ƒ s p ‚+
{‚
p  { w u ˆ }% w p w {   { u ‚  %  ‚ n s { w p }‚  u ˆ }% w
#define NDEBUG
w| ˆ { p 
œžœ
Ÿ
#include <assert.h>.
œ x ‚ }w |
‡ rr}{
š
œ Ÿ
Ÿ
š
y ‹  ‚ | }~ v w n  Z y b  | | } { I }ˆ u v }  
M O VOU Q
šž
Ÿ ›š
M T
›
› š
W U P W X OQ P
X Q P X P M - ‚  | ˆ}u  ( w rr ^[ [ ^ y
s ‚ s }ˆ '  w ‚ˆ w)
VW Y V W M N OQ
w v | } q {w | t | p  ‚ {s | (
T  € s n ƒ q ˆ ‚ u } | u  - ‚  { {

‚  p 
Q X M Q VX
s ‚  ^[ [
N
U
L X VX
y
‰
] s q ‚ p s |  _
`
‡ y
s q ‚p s | 
‡ | ~ r s s p
y € s | {ˆw | ˆ}|  
y y ^ [ _
€ r}Š Š
VW Y V W M L M N OP Q  - ‚  | ˆ } u  ( w r r 
y
‰
Uma das primeiras e das mais relevantes referências sobre Projecto Estruturado.
Introduz o Diagrama de Estrutura, factores de Qualidade como Acoplamento e Coesão,
assim como discute várias heurísticas de projecto. Apesar da idade continua a valer a
pena ler.
]Z 
‚ [ _ `
l
 ‚  R M Y V ! W O M Q V M U V " X W M
l
 ‚ ˆ w n * J n v ˆ ˆ ƒ „$ $ y  } Š Š  r y u s n y
x  ‚ˆ‚ w | p
^[ [ _ y
I  Š‚ | u }w
s * ‚ }~ w ˆ o ‚ }w
w ƒ r}u w p s
#
Z 
w u ˆq w r}' w p w
ƒ w‚w
s
w* s ‚p w~  n
{s * ‚
 {ˆq p s
p 
Šw uˆs ‚ {
p 
- ‚s)  uˆs
T U Q N VW Y VOU Q  - ‚  | ˆ }u 
$ q w r}p w p 
ƒ s ‚
 n
€ s | ˆ‚wˆs 
{s Šˆ w ‚ 

w rr
‚ Š‚ | u }w
 {ƒ  u }w rn  | ˆ
# q w | p s
s ‚} | ˆw p w ƒ s ‚ s *)  u ˆs { y