UNIVERSITY
OF TRENTO
DEPARTMENT OF INFORMATION AND COMMUNICATION TECHNOLOGY
38050 Povo – Trento (Italy), Via Sommarive 14
http://www.dit.unitn.it
INTEGRATING BOOLEAN AND MATHEMATICAL
SOLVING: FOUNDATIONS, BASIC ALGORITHMS
AND REQUIREMENTS
Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti,
Artur Kornilowicz and Roberto Sebastiani
2002
Technical Report # DIT-02-0042
Also in: "Artificial Intelligence, Automated Reasoning, and Symbolic
Computation. Proc. of Joint AISC 2002 and Calculemus 2002"
Marseille, France, 2002. LNAI series N.2385, Springer Verlag.
.
!#"$&%'(')
* +,,-/.01-24352
67,8-9
:;<$+,8=>-@?
ABDCECEF(GHIKJLFMONQPRJTS2UWVKXYBDF(P[Z\BD]\P[Z\BD]^_F(Pa`R]QCEBbScVKHCEF(GRG[NQdKJLPR]Oe_BEMONf`[`[BgSfV
HP[`[IhPij]\P[dhBECEk ]fl!BEmncSRoWVTNWdKJp!]\qTF(Pa`R]srtF(qKNQGa`[BuNWdKBbS&v
wsxzy6{}|~x/Qyt
2c
QtyTRW
Qx~a(
( cf&t(WWcf T¢¡c Rt(Q T~£\(¤\ c(¥\¦2§Q Q¡©¨z (
ª'« QxzhQ¬\®R¯¢°
(±²
2c7\³7t´s¯¢7µµµh¶\a³7
· x°¯z¸Q/
(±²{>
(¹1º¸QR_Q³7µ7\³7\¬\®R¯¢°
(±»}D2¼\¯z
(½LL
®t¾
¿'À x°yQ¬µc[¯¢µ
Á ¾\TyT7f
\
2c
\yT7f
\\xa
WW(cW¨¢Â(QfÂW ¤\ (§(Q ¨~¤\ ¤²¨ 2
ÃÄÅ7Æ7Ç2ÈtÉ(ÆÊ x'Ë1®¯zf&2¯!ÌËt&cjÌ6R¯¢¯¢&¾,(,µ¹1º\R¯¢¯¢®¾\((\³7
µOËRÍ1³R®R³RO
±>ÎL
f
(µ&(¯¢
µWµÏ7³aË®Ðf¸R¯7Ì6˵³aËËt(¯_Î\
(¸ÏËf_®Ï
ºQ7W®
(¸¯¢$µW¢a³Ra(Î\µ1º\
Î\µ7¹1¯!!Ë\&³[Ë'
(±¯za2R|~
(±D|~Ë\R|¢¯¢
(®R¯7Ñ
¬_\±u
¢¸7fW¯¢µ¹1ºµÎL
f
(µ&(RÒQº\7¯¢¯¢µ
\¯Y\
([Ò\ºQ7¯¢¯¢µc/7\
¸\Ï˱u
(
7ºQ7¯¢7fµÏ¹(f&(|gÌ
D¾º\
(ε7¹1¯7\Ì6˵³[ËO&Ðf¸\µËtt¾Q®µ\ϵ¯¢
µ\|
7Ï(R
(&(_µ¸7¯
(¾Ó
ºL[a
(¯7ÑÔÓË
(Ë[Ë(t¾h²¹ËR¹µ³&(
¯¢
(®R¯7Wµ®½_³7
(¹1º¸QR¢|(µÏ7ÎQa!¯z\¯zR¹1¯}
³7
(¯z¢a(µf¯¢
(®R¯7W³&(\
>Ë(\|
¾Q®6RÍj³7µ7fµº\
(ε7¹1¯²®Wc
(µQµ\Ï!Ë&&fÎL
f
(µ&(¯¢&2³[ËKf
(>¾\
!\
(}Ët(¾\µ
Ë\7¹Õ2(µbÑKx°O˵¯/º(ºLR/Ì>ºQ7¯¢7f/˱u
(¸¾µ
(¯(¾sËÎ(¯¢µ³j|
Ï(
(˹1¯±E
(_=\RÌÖ³7®(¯¢¯6
(±©º\
f³77¾\¸\R¯±u
(Y¯¢
(®WµÏÎL
f
µ&(³7
¹=εt2®
(¯
±_¹2Ë7¹2µ³&(º\
(ºL
¯¢µ
\¯7Ì6˵³[Ë׳7
¹=ε1ÎL
f
(®7(0(¾×¹Ë\7¹|
³&6¯¢
µcR¯7²t¾Ì˵ÏË\®µÏ(ËWË
¹(µ,&Ðf¸7¹17f¯ËtÎL
f
µ&Ø(¾
¹2Ë7¹2®³7(K¯¢
µcR¯6¹¸\¯z±u¸\µÙµTµs
a¾\R6
1³[Ë\®Rc/Ë/¹2ÒQ®¹=¸¹ÚÎL7\|
RÙ\¯=±D
¹@Ë\7jµf7Ï(a2µ
TѲ¶µ(µ,Ì
¯¢Ë
&ÌÛË
&ÌÜRÒQ®¯zµ\Ï'¯zQ¯z7¹1¯=
³&º\¸Q&¾Îf
¸QY±Da(¹1RÌ>
(½LÑ
Ý
Þàß6áLâã>ä>áhâß_åæäåçéèYß6äêaë
ì dØ`[íhFCuNQGa`îQFNWP7Gjl_F$íKNcïQFsl!BD`[dhFG[G[F(JðNQdÓBEMsñhPRF(GRGaBEïQFN\JLïfNWdKmFOBDdÓ`[íKF$F2òmBDF(dKm2îó]Wô
qT]t]QCEF(NQd1Ga]\CDïtBEdhZ/`[Fm7íhdhBuõ\IKF(GYö°rLH÷ø&Vl!íhBum7í1íKNQG²qhPR]QIhZ\í\`CuNWPRZQFñhPRFïtBE]QIKG[CEîBEd\`RPRN\m&`7NWqhCEF
ñhP[]\qhCEFMOG0Nf`,`RíhFðPRF(NQm7íÜ]WôGa`RNW`[F2ùz]Wôbù°`[íKF2ù¢NWP[`G[]QCEïQF(PRG(úSØHG0N#m]QdKG[F(õIhF(dKm2F\VG[]QMsF
íKNWP7J0PRF(NQC®ùzl_]\P[CuJ,ñhPR]QqKCDF(MsGíKNcï\Fq©FF(dðGaIKm(m2FG[GaôgIhCECDî0G[]QCEïQFJ0qtî0FdTm2]LJLBEdhZ×`[íhF(MûBDd`R]
rLH÷jú6X6PR]Qñ©]\G[B®`RBD]\dKNWCñhCuNWdhdKBDdhZýü i1þÿr NWdKJ qT]t]QCEF(NQd Ms]LJLFCDù¢m7íhF(m tBEdhZ ü ^e!
e NWPRFjNQMs]QdhZ`[íhF1q©F(Ga`NQm7íKBDF(ïQFMsF(d\`7Gú
{ « {>¬ « ´¬! cx |~²
y {,º\
z7³R&c³7
f¢a(³[}³R
W¾\
y˵¯Ì
½µ¯}¯¢ºL
(¯¢
&¾jÎf=Ë\Y
!!!"!!$#%! /t¾ÓË(¯1ËW¸¯ÎL7[Ù&¾Ó
±!ËsÙt(\³7®(_³7
f¢µÎ¸Q®
(Ø
(±!Ë\
{>
¹1¹1µ¯¢¯¢µ
Ë\
¸\ÏË
Ë/&x /0º\
Ïa(¹1¹1Ñ
w ' ²y ºQ
f³7&¾Q¸\7¯2j³7
¹1¹1
(O³&µ®7)
¾ (+*, -".+/0(µË1 }y ³7
¹1¹=¸fL(Ë\
¸Ï(Ë$Ë\
¾\µ¯zµ³[®
(jÎLRÌ771
(2*", -%3546(8 79/:*8-%35466(<
¾ ;=*">?79@AB3546¯¢RW®³R7¯}¹7¯¢¸Ï(Ï7¯z
/³7(µ\Ë\7¹
79/C*"-".+/+(Ñ
D dLôg]\Pa`RIhdKNf`RFCEîQVGaBEMsñhCDFqT]t]QCEF(NQdOF ELñhPRF(GRGaBE]QdTGNWPRFdh]W`_F ELñhPRF(GRGaBEïQF/FdK]QIhZ\ísôg]QPYPRFñhù
P[FGaF(d\`RBDdKZ0MONWdtîóPRF(NQC®ùzl]QPRCEJÓñhPR]QqhCEFMOG(úGFK]QPFEhNWMsñhCEFQV}ñhP[]\qhCEFMàJL]QMONQBDdKG
CDBHQF$`[F(Mù
ñT]\PRNQC²PRF(NQG[]QdKBDdhZTVKPRF(G[]QIhP7m2F1ñKCENQdhdhBEdhZKV©ïQF(P[JB ITmNW`[BE]Qd,]QôYGaîLGa`[FMOGl!B®`RíÿdtIhMsFPRBEm(NWC>JhNf`7N
]QP/]Wô>`[BEMsF(JGaîLGa`[F(MsG(VLPRF(õIhBEP[FíKNWdTJLCDBEdhZONWCuG[]m]QdKGa`[P7NWBEd`RG]Qd×BDd`RFZQF(P!]QP/PRF(NWCõIKNQd`[BDù
`[BEF(Gö~G[FFQVFQú ZKúEVtü He/K
A 'LV LMLN'hVµeHP
^ OQ9RtV T
þ S²V
H UQWYX%bø2úfþ,]QPRF]fï\FPV2Ga]\MF_ñhPR]QqhCEFMÛJL]Qù
MsNQBDdTG}CEHB QFM]LJLF(Chm7íhF(m tBEdhZ]Qôb`[F(dPRF(õIhBEP[FNWdF ELñhCEBEmB®`PRFñhPRF(G[Fd`RNW`[BE]Qd]QôKBEd\`RFZ\FP7G}NQdKJ
NWPRB®`RíhMsF2`[Bum]Qñ©FP7Nf`R]QP7GVl!íhBum7ím(NWdhdK]W`/qTF1PRFñhPRF(G[Fd`RF(JFòm2BEFd`[CEîqtî$G[BDMsñhCEF1qT]t]\CDFNWd
F ELñhPRF(GRGaBE]QdKGOöGaF(FQVF\ú ZTúDVü eH=P
^ OQ$RtV T
þ S}Q
H UVWZXgø&\
ú [=dÓ`[íhF]Q`[íhF(PíKNQdKJVMONf`RíhFMONW`[BumNWC
Ga]\CDï\FP7GVCEJB \F$m2]\MsñhIL`[F(Paù¢NWCEZQF(qhP7N'G[îLG`RFMOG1]QPm2]QdTG`RPRNQBDd`
G[]QCEïQFP7G(VmNWdKdh]W`íKNQdKJLCEFF2ôbù
ITm2BEFd`[CEî ñKP[]\qhCDF(MOGOBDdtï\]QCEïBEdhZØíhFNcïî qT]t]QCEF(NQd#GaFNWP7m7íV]QP$JL]ðdK]W`íKNQdKJLCEF`[íhF(M NW`
NWCECú
d X"'OlFíKNcïQFñhP[]\ñT]GaFJ0N'dhFl Z\FdhF(PRNQC>NQñhñhPR]\N\m7í`[]×qhIhBECEJÓJL]QMONQBDdLù¢G[ñTFm2JB ITm
ì]
JLF(mBEG[BD]\d ñhPR]Lm2F(JhIhP[FG]\d#`[]\ñ ]WôrhH÷;Ga]\CDï\FP7Gÿü A1r LVA1r W'W°ú!÷/íhFóqKNQG[Bum0BuJLF(N lN\G
`[],JLF(m]QMsñ©]\G[F
`RíhFGaFNWP7m7í0BEd\`R]×`l_]]QP[`[íK]QZQ]\dKNWC>m2]\Mñ©]QdKFd`RG(V]QdhFsñhIKP[F(CDî,ñhPR]Qñ©]\G[BDù
`[BE]QdKNQCTm2]\MsñT]\dhFd`_NQdKJs]Qdh_
F ^aq©]]\CDFNWdLù°ôgPRF"F `jJL]\MONWBEdLùzG[ñ©F(m2JB ITmm]QMsñ©]QdhF(d\`NWdKJ`R]IKG[F
N×ö~Ms]tJhaB IKFJK
ø bNcïtBEG!XYIL`[dKNQc
M S]\dhZQF(MONWdhd
d S]fï\FCuNWdKJó&ö egfVhihYø/rLH÷ÜGa]\CDï\FP1ü bjSkSG'l
ôg]QP1`RíhFOôg]QPRMsFP
NQdKJðNñhIhPRFJL]\MsNQBDdhùzG[ñTFm2JB ITmOñhPR]Lm2FJLIhPRFôg]\P1`[íKF$CuNf`a`RFPú}rt]ô~NQP`[íKF
rLH÷#qKN\GaFJNWñhñKP[]NQm7ísñhPR]fïQF(Jsï\FPRî8F m©Fm&`RBDï\F=BEdïfNWPRBD]\IKG_ñhP[]\qhCEFM JL]QMONQBDdKGYCDHB QF\V\F\ú ZTúDV
M]LJhNQCNQdKJ1JLFG[mP[BEñL`[BE]Qd
CD]\ZQBumG6ü A1r WW°V(`[F(MsñT]\PRNQCQPRF(NQG[]QdKBDdhZü He/K
A °VP[FGa]\IhP7m2FñhCuNWdLù
dhBDdKZ0ü LMLN'°ú
ì d$`RíhBEG/ñTNWñ©FP/l_FjñhPRF(G[Fd``[íhFjôg]\IhdKJhNW`[BE]QdKG/NQdKJ`RíhFjqKNQG[Bum=NQCDZ\]QPRB®`RíhMOGYôg]\P!NdKFl
m2CuNQGRGj]Wô_ñKP[]Lm2FJLIhPRF(G=ôg]QPG[]QCEïtBDdKZ×q©]t]QCEF(NQdóm2]\M
qhBEdKNW`[BE]QdKGj]Qô_MONf`RíhFMONf`RBEm(NWCñhPR]Qñ©]\G[BDù
`[BE]QdKG(VWl!íhBum7ísBDd`[F(ZQP7Nf`RF!rhH÷ NQdKJMONf`[íKFMONf`RBEm(NWCKG[]QCEïQF(PRG(VfNWdKJlF!íhBDZ\íhCEBDZ\í\``RíhFMONWBEd
P[Fõ\IKBDPRFMsFd`1rLH÷ NQdKJ0MONf`RíhFMONW`[BumNWCG[]QCEïQF(PRG=M
IKGa`ôgIhaC ITCDCBEdó]\PRJhFP=`[]NQm7íhBEFï\F`[íKF
MsN ELBDMIhM q©Fdh8F Ih`RGôgPR]QM `[íhF(BDP6BEd`[F(ZQP7Nf`[BE]Qd²úc÷/íKF!IhC®`RBDMONW`[F!ZQ]NWCtBuG>`[]1JLFï\FCE]QñsGa]\CDï\FP7G
NWqhCEF`[]OíKNQdKJLCEFjm]QMsñhCEF E$ñKP[]\qhCDF(MOG/CDHB QFj`Ríh]\G[FjíhBDd`RF(JNWq©]fïQF\ú
÷/íhFñKNWñ©FPOBuGGa`[PRIKm&`RIhP[FJ N\Gôg]QCECD]flG(ú ì d rtF(m2`[BE]QM
d lól_F0JLFG[mP[BEq©F'ôg]\P[MONQCDCEîð`[íKF
ñhP[]\qhCEFM l_FØNWPRFóN\JhJLPRF(GRGaBEdhZTú ì dÛrtF(m2`[BE]Qo
d n l_FÓñhPRF(G[Fd`$`RíhFÓCD]\ZQBum,ôgP7NWMsFl]Q2P ]\d
l!íhBEm7íÖ`[íhF×ñhPR]tmF(JLIKP[FG
NWPRFqKN\GaFJú ì d rtFm&`[BE]Q]
d pÿlF$ñhPRF(G[Fd`NÿZQF(dhFP7NWCEBDn(F(JðG[F(NQPRm7í
ñhP[]LmF(JLIhPRF/l!íhBum7ím2]QMqhBEdhF!qT]t]\CDFNWdONWdKJMONf`RíhFMONW`[BumNWCTGa]\CDï\FP7G>NQdKJsBEd\`RP[]LJLITm2FG[]QMsF
F2òm2BEFdKmîBEGRGaIKF(G(ú ì dórLF(m&`RBD]\r
d qslF
íKBDZ\íhCDBEZQí`=`[íhFMONWBEd0P[FõIhBDPRFMsF(d\`7G!`RíKNf`jqT]t]\CDFNWd
NWdKJ'MONf`[íKFMONf`RBEm(NWCG[]QCEïQFP7G_M
IKGa`!ôgIhJC IKCDC²BDd]QP7JLF(PY`R]NQm7íhBEFï\F`RíhFjMsN ELBDMIhMq©Fdh8F Ih`RG
ôgP[]\M5`RíhFBEPBDd`[F(ZQP7Nf`RBD]\dú ì d rLF(m&`RBD]\]
d 0lF$qKP[BEF sKîØJLFG[mP[BEqTF×Ga]\MsF$F ELBuG`RBDdKZÿGaîLGa`[F(MsG
l!íhBEm7í,NQP[FjmNQñL`[IhPRF(J'qtî$]\IhPôgPRNQMF(l_]\+P V NWdKJ$]QIhP!]fl!d×BEMñKCDF(MF(d`[F(J×ñhPR]Lm2FJLIhPRFQú
Fh]QP>CuNQm j]WôKG[ñKNQmFQVBDd
`[íhBuGñKNQñTF(P}lFY]\MBD`>`[íhFñhPR]]Qô~G²]QôTNWCEC\`[íhF`[íKF]QPRF2`RBEm(NWCP[FGaIKC®`7G
ñhP[FGaF(d`[F(JVLl!íhBEm7í,m(NWd×qTFjôg]\IhdKJ×BDdðü rtFtq WZX%zú
u
vrwyx{zQ|Kß~}=ê0xk
LóFNQJhJLPRF(GRG>`[íKFñhPR]QqhCEFM
]Wôm7íhFm tBDdhZj`RíhFGRNf`RBE0G ITNWqKBDCEB®`î]Wôq©]]\CDFNWdm]QM
qKBDdKNW`[BE]QdKG6]Wô
ñhP[BEMsB®`RBDï\FNQdKJOMONf`RíhFMONW`[BumNWCñhPR]Qñ©]\G[BD`[BE]QdKG(ú'S²F2`? q©F`RíhFjJL]QMONWBEd]Qô²FBD`[íhF(P/BDd`[F(ZQF(P
dIKM
q©FP7Q
G ]QPPRF(NQC²dtIhMqTF(PRy
G V>l!B®`Rí,`[íKF
PRF(G[ñTFm&`[BEïQFG[F2`K
PÚ]QôNQP[BD`[íKMF`[BumNQC²]Qñhù
FP7Nf`[]\PR
G 18"J%9+Y]QQ
P 18"J%$PRF(G[ñTFm&`RBDï\FCEîQ'ú S²F2V
` 1JhFdh]Q`[F`Ríhj
F
9"
NWdK]
J :
,q©]t]QCEF(NWd ïcNQCDIKF(G(úYABDï\FdÖ`RíhFG`7NWdKJhNQPRJ qT]t]\CDFNWd m]QdhdKF(m&`RBDï\F(_
G ?iNQdKJ
MsNW`[íð]\ñTF(PRNW`[]QP7g
G 11
8¡"¢8£8¤KVCDF1
` ¥¦§¨ S +¨ U 8©"©8©J$q©F$N0G[F2`
]Qô/ñKP[BEMsB®`RBDï\F
ñhP[]\ñT]GaBD`[BE]QdTGVCEF2`ª«¬ S + U 8©8©"©a$NQdKJ¯®°±"² S 0² U 8©8©"©aPRF(G[ñ©F(m&`RBDï\FCEî0q©FN,GaF`]Wô
dIKMF(P[BumNQCm2]\dKG`7NWd`RGBE
d NQdKJ×ïfNWPRBENQqhCDFG]fïQFP`RíhFK$ú
LóFOmNQCDP
C ³)´µB¶·:µC¸8¹%º»`[íhFOMONf`RíhFMONW`[BumNWCF8EtñKP[FG[G[BD]\dKGqhIhBEC®`IKñÿôgPR]QM m]QdKGa`RNQd`RG(V
ïcNQP[BuNWqKCDFGNQdKJNWPRB®`RíhMsF2`RBEm(NWC]Qñ©FP7Nf`R]QP7GY]fï\F?
P ½¼
Nsm2]QdTG`7NWd`y¿\À½ªÿBEGNþÿNf`[íhù`RFPRMÁ
F ² ¿ Àd®#BuG!NþÿNf`[íhù`RFPR
M Á
¾ NïcNQP[BuNWqKCDK
®
B
ô
u
B
G
s
N
0
þ
f
N
R
`
L
í
ù
R
`
F
R
P
M
t
V
[
`
h
í
(
F
d
r
¾
S
S BuG!Nsþ0Nf`RíLù°`[FPRMdÁ
®
B
ô
V
W
N
R
P
j
F
ÿ
þ
f
N
[
`
h
í
ù
R
`
F
R
P
s
M
(
G
t
V
[
`
K
í
F
ð
d
Âö ~
¾
S U
S Ã U øBuGNsþ0NW`[íLù°`[F(P[MV Ã ÀÄ
?ú
LóFjmNQCDÅ
C ³)´µÂ¶9·ÇÆȹ%º1ÉÊJ´»j`[íhFjMONf`RíhFMONf`RBEm(NWC©ôg]QPRM
IKCEN\G_qKIhBDCD`!]Qd'ñhP[BEMsB®`RBDï\F=ñKP[]\ñT]Qù
GaBD`[BE]QdKG(Vhþ0NW`[íLù°`[F(P[MOG(VL]Qñ©FP7Nf`[]\PRG/NQdKJ$q©]t]QCEF(NQd×m]QdhdhFm&`RBDï\F("G ¼
¾
NñhP[BEMsB®`RBDï\F1ñhPR]Qñ©]\G[B®`RBD]\d½¨ ¿ Àd¥ BuG!Nsþ0Nf`RíLùôg]\P[MIhCuNZÁ
®
B
8¡8¢
¾ ô\ S VY U NQP[F1þ0NW`[íLù°`[F(P[MOG(VL`[íhF(dÖöÂ SyË&Ì U ø/BuGNþ0NW`[íLù°ôg]QPRM
IhCuNhV ËÌ Àr11
¾
¾
¾
8£"¤K'Á
B®ô\Í S BuG!NþÿNf`[íhùôg]\P[MIhCENKVt`[íhF(dTÍ S BuGNsþ0NW`[íLù°ôg]QPRM
IhCuNZÁ
B®ô\Í S VtÍ U NQP[Fjþ0NW`[íLù°ôg]QPRM
IhCuNQG(Vt`[íKFdðöÎÍ S Í U øBuGNsþ0Nf`RíLù°ôg]QPRM
IhCuNhú
Fh]QP/BEdKGa`RNWdTm2FQV¨ S ÿöaöβ S Ïq© W\øi¤ ö&l© WV2² o øaøNQdKJ_¨ U ½/öaö[ö&lV%² S øid<² U ø?¡MqQø_NWPRF
þ0Nf`RíLùôg]\P[MIhCuNQG(útU
O]W`7Nf`RBD]\dKNWCECDî\V6lF0IKG[F0`[íKF0CD]flFP'mNQG[F0CEF2`[`[FP7GÐ%+ S "©J©H©Y`R] JLF(dh]W`RFóþ0NW`[íLù°`[F(P[MOG(V
NWdKJ`RíhFAPRF"F 'CEF2`[`[F(PRj
G ÑÒ+Ó~+Í?+Ô `[]×JLFdK]W`[Fþ0Nf`RíLù°ôg]QPRM
IhCuNQG(úZLÓF
IKG[F`RíhFGa`RNQdKJhNWP7J
NWqhqhPRFïtBuNf`RBD]\dKGVT`[íTNf`1BE"G ¼^+Í i
P ^/&ö Í S TÍ U 0ø `h
V ^2Í 1
P ^2/Îö Í S
S Õ Í U `$ôg]QÄ
S Ö Í U `$ôg]\d
Í U =ø `KY
V ^2Í Í
/
`
g
ô
Q
]
P
Q
2
^
/
ö
Î
Í
~
Í
ø
2
~
/
ö
&
Í
~
Í
ø
=
h
`
V
Y
^
j
`
g
ô
Q
]
}
P
W
N
t
d
î
f
ï
W
N
E
C
u
B
J
g
ô
\
]
[
P
MIhCuNhVNQdKJ
S ×
U
S
U
U
S
^j`Oôg]\d
P ^2~j`hú L#íhF(dÿ`RíhBEGjJL]tFG=dK]W`mNQIKGaFNWMqhBDZ\IhBD`[BEF(G(V©lFIKGaF`[íKFsN\G[G[]Lm2BuNf`RBDïtBD`î
NWdKJýñhPRF(mF(JLF(dKm2F,PRIhCEF(GO]QôNWPRB®`RíhMsF2`[BumNQC]Qñ©FP7Nf`R]QP7G`[]ÖG[BDMsñhCEBDôgî `RíhFÿNQñhñTFNWP7NWdKmF]Wô
þ0Nf`RíLù`RFPRMO8G ÁLF\ú ZTVLl_Fjl!PRB®`RÄ
F ^(Îö S Âö ² U ز S ø Ø S ² o ] o ² v =ø `BEdKG`RF(N\J']QV
ô ^öaöa&ö S QÎö ² U
² S ø[
ø &ö S 8² o øak
ø &ö o 8² v øa=ø `Kú
LóFm(NWCEk
C ÙBÚtµC¸8¹Û¹+¸8µ:´µÙÎÈÚNMsNQÝ
ñ Üðl!íhBum7íNQGRGaBEZQdT
G ïfNWCEIhF(G_NWdKJOq©]t]QCEF(NQdïfNQCDIhFG`R]
þ0Nf`RíLù`RFPRMOG!NWdKJþ0NW`[íLù°ôg]QPRM
IhCuNQGPRF(G[ñTFm&`RBDï\FCEî$NWdKJ×ñhPRF(G[FPRïQFG_m]QdKGa`RNQd`RG!NWdTJ×NQP[BD`[íhù
MF`[BumNQC]Qñ©FP7Nf`R]QP78G ¼ o
¾ Üö&¨ ¿ ø?À)1\Vôg]\P!FïQF(P[ ¿ Àd¥ÞÁ
Ü ö&¿øÒN¿[VLôg]QP!F(ïQFPRîп\À½ª\Á
¾ Ü öβ°¿ ø?À½'
VLôg]\P!Fï\FPRîÞ²¿\À®VÁ
¾ Ü
Î
ö
Ü öÂ S ø Ã Ü öÂ U ø[ø&VLôg]\PNWCEC²þ0NW`[íLù°`[F(P[MOGP S Y
V U NWdKJ Ã À)K
ú
¾
S Ã U ø~ öJ
ª/yË_(¯¢¯¢¸\¹1º\µ
1Ë>Ë\¾Q
¹®µ¯>Ë\YÌ6Ë\
µ?'
ß
(ÅÓ
à µ¯
7¯z¢µ³RµcQ¯>Ì_³&(1R|
¯z¢µ³R˾Q
¹®=
(±KW(®(Î\µ\áKâ Ì6µµÎf=¾¾QµÏ
Ë\>±u
¹¸\D_¯¢
¹1³7
(¯z¢a®f¯
µµ½c\Ñ Ï\ѵ
ãBá wyåç
ä æè æé
ãBá w~êrë è æé R³Ñ
·P
[̹(½c'µ¢µO(Î\¸¯¢
±/\
(aµ
(óÌ6ËóË\³7
(¯za(f¯1t¾,Ë
ºLRa2
(¯µ
ñ ÎL
(Ë1Ë_DÏ(¸t(Ï(/¯zQ¹ÎL
(tµ
ìQíî ÑWx°±b³R&QÑ Ï\ѵWÌ/¾Q7
ÎfjË\¯(¹1Y¯zQ¹ÎL
(ï:ð?=
ò î ã5ó w ð°ó ª é (t¾jË\2µË\¹1Rµ³_
(ºLRa
µÐã ò î ã5ó w é ð ò î ã5ó ª é:é ÑWyËY¯(¹1_¾\µ¯¢³7
(¸\¯¢
Ë
(®¾\¯±u
YË\!³7
\¯za(f¯~ôâöõ1$
÷ t¾s®¯¢
j±E
(6Ë!
(ºLRa
¯ åVø åV
ä øùø+úøûø ê ¦ Ñ
÷/íhF_qKBDdKNQP[îjPRFCuNf`RBD]\d½ü qTF`l_F(FdNBEd\`RFPRñhPRF2`RNW`[BE]QdQÜÓNWdTJN=þÿNf`[íhùôg]\P[MIhCENQÍ_Vfl!PRBD`a`[F(d
^&ÜMü NÍ`ö ^Üo»8´µ&Ù5»Âýi¸»ÝÍ`]\PÞ^&Ü G[NW`[BuG=ITF(GÍ`\øBuGJLF8IKdhF(JN\GYôg]\CDCE]flG"¼
Ü«ü o¨ ¿ y¨ ¿
Ü«ü öÂ S ËÌ
Ü«ü Í S
Ü«ü öÎÍ S Í
Àd¥
þ<ÿ¬ÜöΨ ¿ ø~
øU ËÌ Àr11
8¡"¢8£"¤KPþ<ÿ¬ÜöÎ S ø ËÌ
þ<ÿ¬Ü ü MÍ S
øU
þ<ÿ¬ÜNü MÍ S
Á
1Á
ÜöÂ U ø%Á
ÜNü NÍ U ©
LóF!GRNcîj`[íKNW`Njþ0NW`[íLù°ôg]QPRM
IhCuQ
N Í0BEi
G »8´µÙ5»Âýi´8ÊJ¸BDô©NQdKJ]QdhCEî1B®ôT`[íhF(P[F/F8EtBuGa`RGNWdBDd`[F(P[ñKP[Fù
`RNf`RBD]\dQÜÿG[IKm7í
`[íKNW`ÜNü NÍúú ZKúEVB®ôZ°MVt`[íKFd1¨ S Ö ö[ö² S gl² U ø?¤ pY© qQøBuG>G[NW`[BuG=IKFJ
qîNWd,BEd`[F(P[ñhPRF2`7Nf`RBD]\<
d Ü#G[IKm7í`RíKNfP
` ÜÎö ¨ S P
ø 'V Üöβ S øP X©HXQVTNWdKJÞÜöβ U øP WZ© húFh]\P
FïQF(P[Ä
î Í S NWdT)
J Í U VlFsG[Ncî×`[íTNfÝ
` Í S ü Í U B®ô/NWdKJÿ]QdhCEî0BDÅ
ô Ü ü Í U ôg]QPjFï\FPR<
î ÜÜG[IKm7í
`[íKNW
` ÜNü MÍ S 9ú LóFjNWCuGa]G[Ncî`RíKNfÝ
` ü NÍ#&ö ÍðBE
G ´ÊÇÙhøBDô}NQdKJ]\dhCDîOBDtô ÜMü NÍðôg]QPFïQF(P[
î Ü!ú
` Í S ü NÍ U BDôNQdKJ']QdhCEîBD
ô ü oÍ S Ö Í U VKNQdKJ`RíKNf1
` ü NÍÖBDôNQdKJ
ì `BEG/FNQG[îO`[]sïQF(P[BDôgîO`RíKNfy
]QdhCEîBD\
ô Í BEG/IKdKG[NW`[Bu=G I©NWqhCEFQú
vrwyx7ß~|Y
äê|hä\ xØß~|
!#"%$!&'()$*+$!-,.'/*01&
; ³)´µÂ¶9·ÇÆȹ%ºgÉÊJ´jµÂ¶Z´µ7 ´ÚYÚȵ2 ¸<'
¸=7 ȺyÛYÈ»8¸>Ò
Û¹+ÈÛZÈ·
2 #"%$!&'()$3465 ¸87 ´ÊBÊ 9&(4: ´Ú+Q
»ÙBµÙÎÈÚ
´ÊBÊ?;Ag
@ µB¶Y´µ1Ù5»=@1´Ú+;¯³)´µÂ¶9·ÇÆȹ%º1ÉÊH´CBG¶YÈ»8¸TºÞ´ÙBÚ7ÈÚYÚ
¸>7µÙD¸)Ù5»dÚȵ<´EÈÈÊJ¸´Ú
È2ÛY¸¹+´µCȹGFH 0&'#,0 Ù5»Ø¸8ÙBµB¶Y¸¹¯´Ú ´µ:ȺJ=I ´LK (41&1M) ÊÇÙBµ:¸8¹+´Ê «
N ȹTÙBµ&»TÚ¸P$
O ´µÙÎÈÚQ=I ´
$!.R)9&'M4 ÊÇÙBµ:¸¹+´Ê NF
\EhNWMsñhCEF(G]Wô_CDBD`[F(PRNQCEGjNWPRFQV ¨
öaö&l² S d² U ø¡ q\ø&ú ì ô
S Vö¨ U V6ö² S MqZ© WT¤ lZ© W² o ø2Vk/
YBuG1N$dKFZ\NW`[BEïQFCDBD`[F(PRNQC~ÅÔV`[íKFdÓqîo^2Î`$l_Fsm2]\dtïQFd`RBD]\dKNWCECDîMsF(NQd)Ô P7Nf`[íKFP`[íKNQd
\Å
Ô úYÓ
L FJLF(dh]W`RFqtî_¨Q=d ö&
Í ø/`[íhFG[F2`]Qô>Nf`R]QMOG/BEdd
Í ú
2 #"%$!&'()$TS65 ¸U7´ÊBÊÒ´ &(+&0V&',/W&XY'R)$*:C.$Z&\[ Æȹд³)´µÂ¶9·ÇÆȹ%º1ÉÊH´ÐÍ
»¸8µ
´
ö=Xcø
S 8©"©8©2Ñ!]12ÅÓ S " ©8©8©82ÅÓ)^Ø2¨ S 8©8©"©+¨_P2¨_` S "©8©"©82¨ba $
»É+7¶<µÂ¶Z´µÅ¸G¸8¹c;´µ:Ⱥ ÙBÚ¨Q=döÎÍøjÈ'7>78ɹ»´»Q¸ÙBµÂ¶Z¸8¹Q´?ÛYÈ»%ÙBµÙD¸jȹQ´ÝÚ¸PO'´µ&ÙD¸QÊÇÙBµC¸8¹+´Ê
[ {Ñ
ÙBÚ [ FdHCK 9
,A&'04&G,/W&Xe'R4$*:C.$Z&f[ Æ È¹GÍÏÙ5»P´y»%É+»8¸µöÈ=Æ?´VµCȵC´Êµ¹%ɵB¶1´»»%ÙgOÚtº<¸8ÚYµ
ÆȹQÍhFiÂÆ [ k
U j [ S @~µB¶Y¸ÚlBҸݻ8´;е¶Z´µ [ S dm&.$!*[ U ´ÚZ޵¶Z´µ [ U /!n*/!:E#o[ S F
H R` ]W`RNQCK`RP[Ih`[í'N\G[G[BEZQdhMsFd` [ CDBHQFö=XøYBuGYBEd`[FPRñhPRF2`RF(JN\G_N`[PRIL`[í'ïcNQCDIKFN\G[G[BDZ\dhMsFd`6`R]
NWCECL`[íhF=Nf`[]\MOG]Wô Íi¼$Ñ ¿ À [ MsF(NQdKG>`[íKNW`iÑ ¿ BEGYNQGRGaBEZQdhFJ`R]1V'ÅÓ ¿ À [ MsF(NQdKG`[íTNf`~Ó ¿
BEGNQGRGaBEZQdKF(J×`[T
] úrtîtd\`7NQm2`[BumNWCECEî'BuJLFd`RBEm(NWC>BDdKGa`RNQdKm2FG]Qô`[íhFsGRNWMsFNW`[]QM;NQP[F
NQCDl/NcîLG
NQGRGaBEZQdhFJ$BuJLF(d\`RBEm(NWC`RP[Ih`[í,ïfNWCEIhF("G ÁhG[îd`7NQm&`RBEm(NWCECDî×JLJB m©F(P[F(d\`NW`[]\MsG(VLFQú ZKúEV²Îö S £ U ø/NQdKJ
Âö U ¤ S ø&VNWPRF`[PRF(Nf`RF(JJLJB m©F(P[F(d\`RCDîNWdKJMONcî`RítIKGq©FNQGRGaBEZQdhFJJhaB mFPRFd``[PRIL`RíïfNQCDIhFGú
O]W`7Nf`RBD]\dKNWCECDî\VlFOIKGaF`[íhFAP[F(8F ÿCEF2`[`[F(PRG [ qpó`[]0PRFñhPRF(G[Fd`1`RP[IL`RíÖNQGRGaBEZQdKMF(d`RG(ú
LóF1]Qôb`[Fdl!PRB®`RFN`[PRIL`[í,NQGRG[BDZ\dhMsFd` [ NQG`RíhFm2]\d rIhdKm2`[BE]Qd]WôBD`RG!F(CDF(MF(d`RG(úh÷²]s`RíhBEG
FEt`[F(d\`VWlFG[Ncîj`RíKNf` [ BEGYG[NW`[Bu=G ITNQqhCEFBDô©`[íhFm]Qd rIKdKm&`RBD]\d]QôTBD`RGF(CDF(MsFd`RGBuG6GRNf`RBE0G ITNWqKCDF\ú
2 #"%$!&'()$s65 ¸g»8´;dµB¶Y´µV´µ:ȵ:´Ê\µ¹%ɵ¶ش»»ÙgOÚYºÞ¸8ÚYµ [ ÆȹÍtK ,( K (41&()$!+001u
'9&'"*. Ív@%B\¹%ÙBµ&µ:¸Ú [ ü xwjÍv@\Ù ÆK´Ú)ÞÈÚYÊ?;<Ù ÆVÙBµ~º<´y¸»Í ¸G´ÊÇÉY´µ:¸µ:È@ŵ¶Z´µ~Ù5»>@Æȹ
´ÊBÊö»%É+8 ·ÇÆȹ%ºgÉÊJ´»yÍ S 2Í U È0ÆÍ<z
Í
[ ü w Í S Q
[ ü w Í S
Í
[ ü w Í S
S Àd¨y=Ä\ö&Íøiþ<ÿ
U
þ<ÿ
þ ÿ
<
Í S À [ Á
[ ü w Í S Á
[ ü w Í S [ ü w Í
U ©
5 ¸Ð»8´ ;TµÂ¶Z´µK´<ÛZ´¹%µ&ÙδÊÒµ¹%ɵB¶Ï´»»gÙ OÚYºÞ¸8ÚYµ [ K ,( K (41&()$!+001u3'&''"%# Í Ù ÆдÚ)
ÈÚYÊg;Ù ÆP´ÊBÊZµÂ¶Z¸QµCȵC´Êµ&¹%ɵ¶<´»»%ÙgOÚtº<¸8ÚYµ&» Æȹ\Í{BG¶9Ù7¶Ð¸=|µ:¸8Ú) [ Û¹2È2ÛYÈ»%ÙBµ&ÙÎÈÚ´ÊBÊ?;Ý»8´µÙ5»ÂÆ>;
Í<F
FhPR]QM9dh]fl ]\dVKBDô6dh]Q`=Gañ©F(mBaITF(JVTl!íhFd0JLFNWCEBDdKZl!B®`Rí,ñhPR]Qñ©]\G[B®`RBD]\dKNWC²GRNf`RBEG0ITNQqhBDCEBD`î$lF
JL]sdh]W`JLBuGa`[BEdhZQIhBuG[í×q©F2`lFF(d$`R]W`7NWCNWdTJ'ñTNWP[`[BuNWCNQGRG[BDZ\dhMsFd`RG(ú
LóFGRNcî`[íKNW
` Í BuV
G Û¹+ÈÛZÈ»%ÙBµ&ÙÎÈÚ´ÊBÊg;)»8´µÙ5»Âýi´dÊJ¸1B®ô!NWdKJÓ]\dhCDîÿB®ô`[íhF(P[FsF8EtBuGa`
NWdØNQGaù
GaBEZQdhMsF(d\` [ GaITm7íÿ`RíKNf` [ ü xw_Íú ì d`[IhBD`[BEïQF(CDî\VBDôlFOm2]QdTGaBuJLFP1N,þ0NW`[íLù°ôg]QPRM
IKCE
N ÍÚN\G
N0ñhPR]Qñ©]\G[B®`RBD]\dKNWC6ôg]QPRM
IhCuN,BEdÖB®`7GNW`[]\MsG(V}`[íhF(d ü xwBuG`RíhFG`7NWdKJhNQPRJðGRNf`RBE0G ITNQqhBDCEBD`îóBEd
ñhP[]\ñT]GaBD`[BE]QdTNWCCD]\ZQBumWú÷/íITGV}ôg]QPsFï\FPRÏ
î Í S NWdT]
J Í U VlF'GRNcîÓ`[íKNW<
` Í S ü w Í U BDô=NQdKJ
]QdhCEîÿBDô [ ü w Í U ôg]QP
FïQF(P[î [ G[IKm7íÓ`[íTNf` [ ü w Í S k
ú LÓFNWCuGa]0GRNcî,`RíKNf
` ü w Í Îö Í BEG
Û¹+ÈÛZÈ»ÙBµÙÎÈÚ
´ÊBÊ?;L´ÊÇÙhøBDôNQdKJÿ]\dhCEî,B®ô [ ü w Í#ôg]\PjFïQF(P[î,N\G[G[BDZ\dhMsFd` [ ôg]Q
P Íú ì `1BEG
F(NQG[î'`[]$ï\FPRB®ôgî'`[íTNfj
` Í S ü w Í U BDô_NWdTJ]QdhCEîB®V
ô ü w Í
Í
V
W
N
K
d
J
R
`
K
í
f
N
`
Þ
ü
ÍýB®ôYNQdKJ
w
S Ö
U
]QdhCEîBD\
ô Í BEG/ñKP[]\ñT]GaBD`[BE]QdKNQCDCEîOIhdKGRNf`RBE0G ITNQqhCDF\ú
O]W`RBEmF1`[íTNfg
` ü xwBuGGa`[PR]QdKZQFP`[íKNQ]
d ü VK`[íKNW`BuGVTB®Ò
ô Í S ü xwÍ U VT`[íKFT
d Í S ü {Í U VKqhIL`
dh]W`1ïtBEmFï\FP7G[NK)ú ú ZTúDVÎö ² S ¤{² U ø ðÎö ² U ¤{² o
ø ü 9Âö ² S ¤ ² o ø2VqhIL`Âö ² S ¤{² U Å
ø ÖÎö ² U ¤
² o V
ø ü xwÎö ² S ¤ ² o ø&ú
N Í?¼
} |9´ºQÛÊJ¸~Fe_]QdKG[BuJLFP/`RíhFjôg]QCECD]fl!BEdhZMONf`[íhùôg]\P[MIhCE<
ͯ{/ö&l² U ز o ¡MlQø Õ ¨ S Ý
¨ U Õ öl² S rp²K¡ n\ø
t öÎn² S ¯l² U ¤ nø Õ ¨ U
/
ö&l² o ϲ v £MqQø Õ /öÎn² S ز o ¤«\ø Õ ¨ S
¨ S\Õ ö&n² S Ïl² U ¤«n\ø
t ö² S r²¤ Xø Õ öβVNqj¯n² v ø Õ ¨ S
¨ S\Õ öβ o Nn² Ïptø Õ ¨ U '©
÷/íhFj`[PRIL`[í,N\G[G[BDZ\dhMsFd`/ZQBEïQFd×qtîO`[íKF1IhdKJLF(P[CEBDdKF(J×CDBD`[F(PRNQCEG!NQqT]fï\F=BuG"¼
/öl² U ² o ¡MlQø2¨ U (ö&n² S Ql² U ¤«n\ø%ö² S ²K¤ Xcø%2/ö&n² S ² o ¤ ø%(öβ o Mn²Vptø'©
O]W`RBEmF`RíKNf``[íhF$`l_]ó]Lmm2IKP[PRFdKmF(G1]Qô
öÎn² S «l² U ¤ nø1BEdÖPR]flGnÿNQdKJ]q]QôQÍÛNWPRF
qT]Q`[í,NQGRGaBEZQdKF(JÄ
ú [ BuGNWdNQGRG[BDZ\dhMsFd`!l!íhBEm7íñhPR]Qñ©]\G[BD`[BE]QdKNQCDCEîG[NW`[BuG=ITF(GÍVKNQG/BD`G[F2`RG
`[]`RP[IKF
]QdKF
CEB®`RFP7NWC>]Wô6Fï\FPRî×JhBEGrIhdKm2`[BE]QdÿBEd)
Í ú O ]Q`[Bum2F`RíKNf` [ BuGdh]Q`GRNf`RBEG0T
I NWqKCDF\V©N\G
[
qT]Q`[í×`[íhFjôg]\CDCE]fl!BEdhZOGaIhqhùzN\G[G[BDZ\dhMsFd`RG]Qô [
töÎn² S Ïl² U «
¤ n\ø2/öl² U r² o ¡«l\ø%/öÎn² S r
² o ¤«\ø%
tö² S r²¤ cX ø%ö² o on²Òçpø%/öÎn² S ز o ¤ \ø%
JL]sdh]W`íKNcï\FNQdtî$G[NW`[BuGôgîtBEdhZsBDd`RFPRñhP[F`RNW`[BE]Qdú
ö&l\ø
öÎnø
; µÂ¶Z´µ´e7 ÈÊBÊJ¸>7 µÙÎÈÚl
[ S "©8©"© [
TÈ=ÆIJÛZÈ»2»%Ù8Ê?;1ÛZ´¹%µ&ÙÎ´Ê N
2 #"%$!&'()$-W65 ¸Ý»8´½
´»»%ÙgOÚtº<¸8ÚYµ&»?Û¹+ÈÛZÈ»ÙBµÙÎÈÚ
´ÊBÊ?;½»8´µÙ5»ÂÆ>;ÙBÚ#OgÍ Ù5» d(4: K 0 d& Ù ÆÝ´Ú)_ÈÚYÊ?;_Ù Æ
ü xwKÍ × [ ©
BG¶Z¸8¹+¸1¸´d72¶Ø´»»%ÙgOÚtº<¸8ÚYµ [
öÂptø
Ù5»B\¹%ÙBµ&µ:¸8ÚØ´»´7ÈÚG%ÉÚ)78µÙÎÈÚrÈ0ÆÙBµ&»¸8ÊJ¸8º<¸8ÚYµ&»GF
BEGm2]\MsñhCDF`[FBDd$`[íhFjG[FdKG[F`RíKNf`V\ôg]\P_F(ïQF(P[î`[]Q`RNQC©N\G[G[BDZ\dhMsFd`vpG[IKm7íO`RíKNf`<pü w Í_V
`[íhF(P[FF8ELBEGa`RG [ Àe GaITm7ís`[íKNW` [ j pú÷/íKFPRF2ôg]QPRFx BuGYNm]QMsñKNQm2`YPRFñhPRF(G[Fd`RNW`[BE]Qd
]Wôh`RíhF/l!íh]QCEFG[F2`]Qôh`[]Q`RNWCLN\G[G[BDZ\dhMsFd`RG}ñhPR]Qñ©]\G[B®`RBD]\dKNWCECEîjGRNf`RBEGaôgîtBDdKZjÍúO]Q`[Bum2Fíh]flFïQF(P
`[íKNW¯
` üHü üHüBuG$l]QP7Ga`aù¢mNQG[FF ELñ©]QdhF(d\`RBENQCBEd#`[íKFÿGaBEnFó]WÝ
ô ÍVY`Ríh]QIKZQíý`îtñhBumNWCECEî MIKm7í
GaMONWCECEFP/`[íTNWd'`[íhFG[F2`]QôNQCDC`R]W`RNQCNQGRGaBEZQdKMF(d`RG!GRNf`[BuGaôgîBEdh<
Z Íú
[ S 8©"©8©" [
)È=ÆÞ´»»%ÙgOÚY·
2 #"%$!&'()$T65 ¸1»´;dµB¶Y´µV´e7ȺQÛÊH¸µ:¸U7ÈÊBÊJ¸>78µ&ÙÎÈÚ
º<¸8ÚYµ&»<Û¹+ÈÛZÈ»%ÙBµ&ÙÎÈÚ´ÊBÊg«
; »´µ&Ù5»ÂÆ>; ÙBÚ.Ï
O Í Ù5» $*(4$W,.*/!$*!+$Z& Ù Æ1Æȹϸ¸8¹c; [
À@
[ Ù5»)Ú
ÈçºÞȹ2¸67 ȺyÛ
ÊJ¸µ:¸1
<
@ ÙBµ<Ù5» ,.!/*$!*$Z& ȵ¶Z¸8¹cB\Ù5»8¸'FV
Ù5» '&G,(4$*R)01u
@ Æȹ¸ ¸¹c; [ ¿ [ À6
@ ö [ [ øjÙ5»iÛ¹+ÈÛZÈ»ÙBµÙÎÈÚ
´ÊBÊ?;½ÉÚZ»8´µÙ5»Âý~·
$!()$=,#*/*$!*$Z& Ù Æ=Y
S
U
´8 ÊJ¸'F
F 2PTV\NWdTJO`[íTNf`(V
ì `BuGYFNQG[î
`R]ï\FPRB®ôgî`[íTNf`(VtBDô! BuGYPRF(JLIKdKJhNWd`VQ`RíhFd [ ¿ j [ ôg]\PG[]QMs
B®W
ô BuGYGa`[PR]QdhZ\CDîdh]QdLùzPRF(JLIhdTJhNWd`(VW`[íhF(dB®`BEGYdh]Qdhù°PRF(JLIKdKJhNWd``R]]TVQqhIh`Y`[íKFïtBEmFïQF(PRGRN
JL]tF(G/dh]Q`íh]QCuJú
} |9´ºQÛÊJ¸\#FQSF`QÍç¼Ç
ö&Ñ Õ Ó ÕU ø óöÎÑ Õ Ó Õ ø2VYÑ_VZÓðNWdKJ qTF(BDdKZNf`[]\MOGúh÷/íhF(d
XQújÑÒ+Ó~ '8Ñi0Ó~ $Ñi2ÅÓÒ 'ÑÒÅÓ~2 '8Ñi0Ó~ $ÑÒ+Ó~2 jBEG`[íKF
GaF`]WôNWCEC`[]Q`RNWCN\G[G[BEZQdhMsFd`7G_ñKP[]\ñT]GaBD`[BE]QdKNQCDCEîGRNf`[BuGaôgîBEdhZÞÍ?Á
lLújÑ~$Ñi0Ó~'ÑÒ $ÑÒ+Ó\'8"Ó\$"ÓÒ2 'ÑÒ $Ó~ BEGm]QMsñhCEF2`[F/qhIh`6P[Fù
JLIhdKJKNWd`"Á
nhújÑ~$"Ó~j
BEG!m]QMsñhCEF2`[F\Vhdh]\d'PRF(JLIKdKJhNWd`!qhIL`dK]W`Ga`[PR]QdhZ\CDîOdh]\dLùzP[FJLIhdKJhNQd`"Á
pKújÑ~$Ñi0Ó~j
BEGm]QMsñhCEF2`RFjNQdKJG`RP[]\dhZQCEîOdh]\dLù°PRF(JhIhdKJhNQd\`ú
ÊJ¸8µW
[ S 8©"©8©8 [
2 ¸´27 ȺyÛ
ÊJ¸8µC¸
!
X .(4,#:4k ¸8µkÍ32 ¸´<³T´µB¶·ÇÆȹ%ºgÉÊJ´Ð´Ú)g
27 ÈÊBÊJ¸>7µÙÎÈÚ)È0ÆQµ¹%ɵ¶_´»2»%ÙgOÚYºÞ¸ÚtµÎ»Û
¹+È2ÛYÈ»%ÙBµÙÎÈÚ
´ÊBÊ?;<»8´µÙ5»ÂÆ>;ÙBÚ#OÍ<F8
¶Z¸8ÚÐÍMÙ5»y»8´µÙ5»Âýi´8ÊJ¸
Ù Æ´ÚZ_
ÈÚtÊ?Þ
; Ù Æ [ Ù5»K»8´µÙ5»Âýi´8 ÊJ¸iÆȹ»8Ⱥ<¸ [ ÀeF
DS
2 .*9n%01&>uE$*T(): K 0#m1&>u
UNcïtBDdKZ$Nþ0NW`[íLù°ôg]QPRM
IhCuNÐÍV©B®`BEGNWCElNcîLG!ñ©]\GRG[BDqhCEF1`R]ÐIKdKJÿNm2]\MñKCDF`[Fm]QCECDFm&`RBD]\d,]Wô
G[NW`[BuGôgîtBEdhZN\G[G[BDZ\dhMsFd`RG6ôg]QPP#
Í ö~G[FF=CENW`[FP&ø&úL÷/ítIKGYôgP[]\M ÷/íhF]\P[F(M =
X l_F=íKNcïQF`[PRBDïtBuNWCECDî
`[íhFjôg]\CDCE]fl!BDdKZô~N\m&`ú
¶Z¸1»8´µÙ5»Âýi´d ÙBÊÇÙBµ
; Û¹+Èd ÊJ¸8º°Æȹ<´Þ³)´µB¶·ÇÆȹ%ºgÉÊJ´ÄÈ ¸¹g´µ:Ⱥ1»gÈ=Æ´
A, ( K ()'&'(4$t4 O ÙD¸Ús78ÊJ´»»_Ù5» '¸=78Ù´dÊH¸dÙ Æ_´ÚZ¯ÈÚYÊg;TÙ Æ޵¶Z¸_»8´µÙ5»Bý?´8ÙBÊÇÙBµ;rÈ=Æл8¸µ&»_È=ÆÐÊaÙBµC¸8¹+´ÊÇ»½È=Æе¶Z¸
»´º<¸87 ÊJ´»»ÝÙ5» ¸>87 Ù ´8 ÊJ¸F
Fh]QPjBEdKGa`RNWdTm2FQV`RíhFOG[NW`[BuG=I©NWqhBECDBD`î,]WôN'G[F2`1]WôCDBEdhFNWP1m2]\dKG`RPRNQBDd`7G]\dØ ]\Pj]QdØ
Vt]QPjN
GaF`]Wôdh]\dLù°CEBEdhF(NQPm2]\dKG`RPRNQBDd`7G!]QdTÜ
BuGJLFm2BuJhNWqhCEFQVTl!íhBECEGa`NG[F2`=]Wôdh]Qdhù°CEBDdKF(NWPögñ©]QCEî\ù
dh]QMsBuNWCbøm2]\dKGa`[P7NWBEd\`7G!]QdTý
BuG=dh]W`jJLF(mBEJhNQqhCEF$ö~G[FF\VTF\ú ZTúDV>ü pW¡VWZXb ø2úe_]\dKG[F(õIhFd`RCDî\Vh`[íKF
G[NW`[BuG=TI NQqhBECDBD`î]Qôþ0Nf`RíLùôg]\P[MIhCuNQG]fï\FP6CEBDdKF(NWPm2]\dKG`RPRNQBDd`7G]QdÐý
]\PY]QdÐ
V]QP_]fïQF(Pdh]QdLù
CDBEdhF(NQPm]QdKGa`[P7NWBEd`RG1]\d]Õ
BEGJLF(mBEJKNWqhCEFQV>l!íhBECEGa`
`RíhF'GRNf`RBEG0T
I NWqKBDCEB®`îÓ]WôþÿNf`[íhùôg]\P[MIhCEN\G
]fïQFP/dh]\dLùzCDBEdhF(NQP!m2]QdTG`RPRNQBDd`RG]fï\FP BuG!IhdTJLF(mBEJhNQqhCEFQú
Fh]QP`[íhF×JLF(mBEJhNQqhCEF$mN\GaFGV²N\G
Ga`RNQdKJhNWP7JÓqT]t]\CDFNWdØôg]QPRM
IKCEN\GNWPRFN0Ga`[PRBEm2`G[Ihq©m(NQG[F
W] ôþÿNf`[íhùôg]\P[MIhCEN\GVBD`Oôg]QCECD]flG`RP[BEïtBENQCDCEîØ`[íTNf`$JLFm2BuJLBDdKZó`RíhF0GRNf`[BuG0ITNWqhBECEB®`îÖ]Qôþ0NW`[íLù
ôg]QPRM
IhCuNQGBuGÞ^[NW`/CEF(N\G`N\G/íKNWP7JZ`NQG/q©]]\CDFNWdG[NW`[BuG=I©NWqhBECDBD`îQú
A, ( K ()'&'(4$sS
¶Z¸yÛ¹2È8ÊJ¸º§È0Ƹ>78ÙÙBÚ#O½µÂ¶Z¸Ý»8´µÙ5»Bý?´8ÙBÊÇÙBµ;È=Æ1´<³)´µÂ¶9·ÇÆȹ%º1ÉÊJ´gÍ
Ù5»x¢b£?·&¶Z´¹F
÷/íITGV©JLF(mBEJLBEdhZ$GRNf`RBE0G ITNQqhBDCEBD`î$BuGm2]\MñKIL`RNW`[BE]QdKNQCDCEî$ï\FPRî$F ELñ©FdKG[BEïQFQú©÷/íhF
m]QMsñhCEF ELB®`î
Ihñhñ©FPqT]\IhdKJsMONcîJhFñ©FdKJO]\ds`[íhFVtBDdKJs]QôMONf`[íKFMONf`RBEm(NWCKñKP[]\qhCDF(MOGl_F=NWPRFJLF(NQCDBEdhZTú
Fh]QP!BEdKGa`RNQdKm2F\VBDôl_F1NWPRFjJLF(NQCDBEdhZsl!B®`Rí×NQP[BD`[íKMF`[BumNQCF ELñhPRF(GRGaBE]QdKG_]fïQF(P/qT]\IhdKJLFJ$BEd`[F2ù
ZQFP7G(VQ`RíhFd$ôg]QP/Fï\FPRK
î Ü l_FjmNQd$ï\FPRB®ôg
î ÜMü NÍðBEd'Nñ©]QCEîdK]QMsBENQC©NQMs]QIhd`/]Wô`RBDMsFQVLNQdKJ
`[ítIKG/`RíhF1ñhPR]QqhCEFMBuG!NWCuG[<
] O=Xù¢m2]\MñKCDF`[FQú
¤
¥
è~x²åyxk|häêa⧦ x}ç9ë$xä|+¨tw¬zQ|hßh¨
x²ç©y|Zx
÷/íhF]\P[F(c
M XNWCECE]flGIKG`R]GañhCEBD`6`[íhFdh]W`RBD]\dO]WôG[NW`[BuG=ITNQqhBECDBD`î
]QôN1þÿNf`[íhùôg]\P[MIhCENKÍóBDd`R]
`l_]s]QP[`[íK]QZQ]\dKNWCm2]\MsñT]\dhFd`RG"¼
N Û
ɹ+¸Êg;ªÈÈÊJ¸´ÚØm2]\MsñT]\dhFd`(Vm]QdKG[BEGa`[BEdhZ0]Qô`[íKF'F8EtBuGa`[FdTm2F$]QôN0ñhPR]Qñ©]\G[BD`[BE]QdKNQC
d
Ms]tJhFCôg]\PyÍiÁ
N Û
ɹ+¸8Ê?;¯º<´µB¶Y¸ºÞ´µÙ7´Êm2]\Mñ©]QdKFd`(Vm2]\dKG[BEGa`[BEdhZÓ]Wô`RíhFFELBuG`RFdKmF']Qô=NWd BDd`RFP[ù
¾ Ä
ñhPRF2`RNW`[BE]Qd'ôg]QPNsG[F2`]WôNf`R]QMsBumö~ñT]G[G[BEqhCDî$dhFZNf`[FJKø_MONf`[íKFMONf`RBEm(NWCñhPR]Qñ©]\G[BD`[BE]QdKG(ú
¾
÷/íhF(G[F1`l]NQG[ñTFm&`RG=NWPRF1íKNWdTJLCDFJV©P[FGañ©F(m2`[BEïQFCEîQVKqîNĵ¹%ɵB¶)´»»%ÙgOÚtº<¸8ÚYµy¸8ÚYɺ޸¹2´µ:ȹ
NWdKJ'qtî'
N º<´µB¶Y¸ºÞ´µÙ7´Êk»ÈÊ?¸¹&ú
2 #"%$!&'()$s«65 ¸b7 ´ÊBÊ
´ &G,/!&'XCR)$!:C.$Z&b#$/*:C#,9&'(4, ´1µCȵC´Ê"ÆÉÚ)87 µÙÎÈÚ¬®
G¯1°!± ²±³´µ¶Z·9¸¹W¶ºBG¶Ù72¶TµC´y¸»Ý´»KÙBÚÛɵP´<³)´µÂ¶9·ÇÆȹ%º1ÉÊH´ÝÍ{´Ú)й+¸8µ&ɹ%ÚY»K´U7Ⱥg·
ÛÊJ¸8µC¸7 ÈÊBÊJ¸>87 µ&ÙÎÈÚ) [ S "©8©8©" [
È0Æ´»»%ÙgO ÚYºÞ¸ÚtµÎ»j»8´µÙ5»BÆ>; ÙBÚ.<
O ÍhF
O]W`RBEmF$`RíhFJLaB mFPRFdTm2F×qTF`l_F(Fd Nÿ`[PRIL`[í NQGRGaBEZQdKMF(d`FdtIhMsF(PRNW`[]QPNWdKJ NÿGa`RNQdKJhNWP7J
Tq ]t]QCEF(NQd×G[]QCEïQF(P"¼tNqT]t]\CDFNWd'G[]QCEïQF(P/íKNQG_`[]gIKdTJ¯ÈÚYÊ?;_ÈÚ¸/GRNf`RBEGaôgîtBDdhZON\G[G[BDZ\dhMsFd`v»ý]\P
`[]$JLFm2BuJLFj`[íKFPRFBEGdh]QdhF» l!íhBECDFNWdFdtIhMsFP7Nf`R]QP!íKN\G/`[]ÐIKdKJ,Nl7ȺQÛÊJ¸8µ:¸72ÈÊBÊJ¸>7µÙÎÈÚ
]WôG[NW`[BuGôgîtBEdhZNQGRGaBEZQdKMF(d`RG(úÎö LóF
l!BDCEC}G[íh]flÚCuNf`RFP!íh]fl G[]QMsFjqT]t]QCEF(NQd,Ga]\CDï\FP7Gm(NWdq©F
M]LJLJB IKFJ$`R]OqTF1ITGaFJ'N\G/FdtIhMsFP7Nf`R]QP7Gúø
LóFGRNcîs`[íKNW
` ¬'¯1°W± ²±W³´Vµ¶Z·9¸¹!¶,BuG
»%µ&¹+ÈÚ#OÊ?;QÚ
ÈÚt·:¹+¸>ÉÚ)'´ÚtµfB®ô+¬''¯1°W± ²b±³´Vµ+¶Z·9¸¹!¶öÎÍøBuGGa`[PR]QdhZ\CDîdh]QdLùzPRF(JLIhdTJhNWd`(V
¾
¾
¾
ôg]QP!F(ïQFPRî_ÍV
ÚÈÚY·:¹+>¸ ÉZ
Ú ´ÚY
µ BDô¼¬''¯1°!± ²b±³´µ¶Z·9¸¹W¶ö&ÍøBuG!dh]\dLùzP[FJLIhdKJhNQd`_ôg]\P!FïQF(P[î½Í_V
¹+¸>ÉÚZ´Útµ]W`RíhFPRl!BEG[FQú
Ľ½9¾À¿WÈ#ÁLÂÃÄ.ÅÆÈÇ9É%ÊËÀÌ#Í'ÎGÏÐ.ÑÀÒUÓ ø ÒdÔÔ>Õ1Ö×ÏØ× óÚÙsÛ ø Õ1× ó ØcÎÜ.Î'Ø ó Ò ó Õ1ÍG× Ù ò Ý
Þ)½
Û ß åáà Øcâ óã Éhã>ã=äÀå)æ ç%æèéÚêdë.ÃÄ9ì+ë ã Ó é:é+íAî \RÒW6® Û w øèÇèÇèaø Û4ï ¦ î'í
ðÀñ ãòÛ åá
ä à Ð9ÑòÑ é
ò ß å Â ÃÄ9Å4Ç9ì+óPô4êdë òã Û é õ
ö÷ ð ¾À¿ ã:ã ò åEà Ð9ÑòÑ é È.Á)Þ ãòÛ åá
ä à 9Ð ÑÀÑ é:é
ðÀñ ã ò åá
9
Ð
À
Ñ
Ñ
é
ä à
Æ ÷ ¿ÿ
Á ÇGW¿ ÆcT
ø Ç'Ásù /0@$. õ
¿u¾ Å>O
¿ ÇW¿ Æc©
ø ÇGÁû)ü , (2. õ
ý ðÀþ Ê ÿÊ
íAî bú|~¯µ¯zÙLε(¯¢¯¢µÏ\¹17f±u
(¸t¾ 'î í
ú |~¯2®¯zÙt(Î\®¯¢¯¢µÏ¹1RW6±E
¸¾ Gî í
Aí î \
o
Q³aË7¹
(±Ë\/Ï7\Ra(µ7&¾s¯¢7³aËOº\
f³7&¾Q¸\±E
(vú!|¯2µ¯zÙL(Î\µ®fÑ
¸ Z¹
!µ¶
2 #"%$!&'()$65 ¸b7 ´ÊBÊ
´ :C9&X!.:C&'d0*'()01M)d, ´1µ:ȵ:´ÊÆÉÚ)87 µ&ÙÎÈÚC·9
B ¶9Ù7¶«µ:´'y'¸%»T´»dÙBÚÛ
ɵ1´r»8¸µ<È=Æ6IJÛZÈ»»Ù8Ê?;ÏÚ
¸O$´µ:¸>>Nç´µ:ȺgÙ7ij)´µB¶·ÇÆȹ%ºgÉÊJ´» [ ´Ú)
G
¹+¸µÉ¹%ÚZ»´ÚØÙBÚYµ:¸¹Û
¹+¸µ:´µÙÎÈÚ)»8´µÙ5»BÆ>; ÙBÚ.O [ i
@ ȹÄ
ÎPÙ ÆKµÂ¶Z¸8¹+¸Ù5»ÚÈÚ
¸'F
÷/íhF0ZQF(dhFP7NWC=G[m7íhF(MONØ]Wô
NÖG[F(NQPRm7í ñhPR]tmF(JLIKP[F,ôg]\P$GRNf`[BuG0TI NWqhBECEB®`î BEG$P[F(ñT]\Pa`RF(JýBEd
F}BEZQIKP[FgXQúC·9¸®)¬Ü`7N\F(G/NQGBEdhñhIL`N
ôg]QPRM
IhCuNgÍÖNWdKJÓögqtîOPRF2ôgF(P[F(dKm2FcøYNQd'BEdhBD`[BuNWCECDî
FMsñL`îjNQGRGaBEZQdhMsF(d\` [ NQdKJ1NWd1BEdhBD`[BuNWCECDîdtIhCECQBEd\`RFPRñhPRF2`RNW`[BE]Qdy!
Ü úh
F ]\P²Fï\FPRî=N\G[G[BDZ\dhMsFd` [
Í ø&Vá·9¸Z®)¬
BDdj`RíhFYm2]\CDCEF(m2`[BE]Qdg [ S 8©H©J [
6
ZQF(dhFP7Nf`RF(J=qîo¬'¯1°W± ²±W³´Vµ¶Z·9¸¹!¶öÎ
BDdtïQ]'Q FGá·9¸Z¹
!µ+¶$]fï\FP [ V\l!íhBum7íOFBD`[íKFPP[F`[IhPRdKGYN
BDd`RFPRñhP[F`RNW`[BE]QdGRNf`[BuGaôgîBEdhZ [ V
]QPÄ
Î6
BDô`[íhF(P[FBEGjdK]QdhF\ú÷/íhBEGjBuG1JL]\dhFIKd\`RBDCYFBD`[íhF(P1]QdhFsG[NW`[BuG=©
I NWqhCEFN\G[G[BEZQdhMsFd`jBEG
ôg]QIhdKJV]QPdh]'Ms]\P[FsNQGRGaBEZQdKMF(d`RGNWPRFNcïfNWBECENQqhCEF
BEdç [ S 8©H©J©H [
ú ì dÿ`RíhFôg]QPRMF(Pm(NQG[F
Í BuGG[NW`[BuG=©
Ö
I NWqhCEFQVtBEd'`RíhF1CuNf`[F(PmN\GaFjBD`BEG/dh]Q`(ú
á·9¸Z®)¬
ñTF(Paôg]\P[MOG×Nf`M]G`ÏüJü üHY
ü CE]t]QñKG(ú/÷/íITGV/BDô
Fï\FPRî m(NWCEC=`R]C·9¸®
Z¹
!µ¶`[F(P[MsBEdKNf`RF(G(V`RíhFdá·9¸Z®Z¬
`[F(P[MsBEdKNf`RF(G(úþ0]QPRF]fïQF(P(VB®`>ôg]QCECD]flG²ôgPR]QMÛ÷/íhF2ù
]QPRFM¬X`RíKNf`á·9¸Z®Z¬ BuGm]QPRP[Fm&`_NQdKJ$m]QMsñhCEF2`RF=BDôá·9¸¹
*µ¶×BEG/m]QPRP[Fm&`_NQdKJ
m2]QMsñhCEF2`RFQú O]Q`[Bum2F`[íKNW`(VBD`jBuGdh]W`jdhFm2F(GRGRNWPRî$`R]×m7íhFm×`[íhFl!íh]QCEFsGaF`]Qô6`[]Q`RNWC>`RP[IL`Rí
NQGRGaBEZQdhMsF(d\`7G²GRNf`RBEGaôgîtBDdhV
Z Í_VP7Nf`[íKFP²BD`BEG}GaILòmBDF(d\`}`[]m7íhF(m jNWd
NQP[qKB®`RPRNQP[îm2]QMsñhCEF2`RF_m]QCDù
CDFm&`[BE]Q
d ]Qô²ñKNWP[`[BuNWCN\G[G[BDZ\dhMsFd`RG_ñhPR]Qñ©]\G[B®`RBD]\dKNWCECEîsGRNf`RBEGaôgîtBDdKg
Z ÍVLl!íhBum7í$BuG`îtñhBEm(NWCECDî
M
IKm7íGaMONQCDCEFPú
F X/BEG
ì `6BEGï\FPRîBDMsñ©]QP[`RNQd\``R]1dh]W`RBEmF/`[íKNW``[íhFG[F(NQPRm7íñhP[]LmF(JLIhPRF!G[m7íKFMON]Wô F}BEZQIKP[K
2m ]QMsñhCEF2`RFCEîsBDdKJhFñ©FdKJLF(d`]\dO`[íhFVtBDdKJ]WôMONf`RíhFMONf`RBEm(NWCJL]QMONQBDdlFNQP[FNQJhJLPRF(GRG[BDdhZTV
]QdKmF
lFíKNcïQFNMONf`RíhFMONf`RBEm(NWCGa]\CDï\FP!ôg]\P=BD`(ú÷/íhBuG=MFNWdKG`[íKNW`=`RíhF
F8ELñhP[FG[G[BEïBD`î×]Wô
á·9¸Z®)¬V(`RíKNf`BuGV`[íKi
F tBEdKJ]QôKMONf`[íhùôg]\P[MIhCEN\
G C·9¸®)¬#m(NWdíKNWdKJhCDF\VcJhFñ©FdKJhG
]QdhCEîs]QdO`RíhV
F tBEdKJO]Qô²GaF`RG]WôMONf`RíhFMONW`[BumNWCNf`R]QMsBumñhPR]Qñ©]\G[B®`RBD]\dK
G C·9¸Z¹
!µ¶×mNQd
íKNWdKJhCDF\ú
W
W/!&'9n%0 ¬G¯1°!± ²±³´µ¶Z·9¸¹W¶ ÷/íhFôg]\CDCE]fl!BDdKZ
NWPRF/`[íhFMs]\Ga`_G[BDZ\dhBaI©mNWd`Yq©]t]QCEF(NQdOP[FNQG[]QdhBEdhZj`[Fm7íhdhBuõIhF(GY`[íKNW`_lFmNQd
NQJhNQñL`/`[]Oq©F1IKGaFJ'N\G!NQGRGaBEZQdKMF(d`/F(dtIhMsFP7Nf`[]\PRG(ú
OBDD
α
Τ (α)
{α}
α
F (α)
Τ(β)
Τ {−α,β}
DPLL search graph
Tableau Search Graph
β
F(β)
α
β −γ
γ
β
α
β −γ
α
α
β −γ
{α} {α,β} {α,−γ} {α,β} {β} {β,−γ} {α,γ} {β,γ}
−α
{α} β
{−α,β}
−β
γ
F
ÊKÊ Ô/» À/À fy©(ε&¸¯¢7³aË
Ïa(º\Ë(t¾!#"$%$ׯ¢&³aËÏ(aºË1±u
>˱E
(¹¸\®Ýã'&(*)(
é, ã'&-(!).(-/ + é Ñ
+
ý ðÀþ
21032 ÷/íKFG[BDMsñhCEF(Ga``RF(m7íhdhBuõIhF
lFm(NWd,IKG[FN\GNQd0FdtIhMsFP7Nf`R]QPBuG`[íhF4ÝÙ5»D%ÉÚZ7µÙD¸
¢È¹%ºÞ´Ê65Gȹ%º I74¢85Nsm2]\dï\FP7GaBE]Qd²úHñhPR]Qñ©]\G[B®`RBD]\dKNWC6ôg]QPRM
IhCuNÄÍ mNWdðq©F$m]QdtïQF(Pa`RF(J
BDd`[]Nôg]\P[MIhCu
N 9:<;OÎö Íø/qtîÓögBbø/P[Fm2IhP7G[BDï\FCEîNWñhñhCEîtBDdKÐ
Z bFþ,]QPRZ\NQ%
d = G/PRFl!PRBD`[BEdhZOP[IKCDFG
`[]<ÍðIhd`[BEC`[íhFPRF(G[IhC®`/BuGNJLBuG1rIKdKm&`RBD]\d']Qô}m2]\drIhdKm2`[BE]Qd×]Wô²CEB®`RFP7NWCuGVtNWdTJóö~BDBbø_P[F(M]fïtBEdhZ
NWCEC>JLIKñhCDBumNW`[FJ0NWdKJÿGaIhqTGaIhMsFJ0JLBu1G rIhdTm&`RG(ú÷/íhF
PRF(G[IhCD`[BEdhZôg]\P[MIhCENBEGdh]QPRMONWC°VKBEd0`[íKF
GaF(dKGaF`RíKNf
` 9:<;O&ö ÍøBEG/ñhPR]Qñ©]\G[BD`[BE]QdKNQCDCEîOF(õIhBEïfNWCEFd`/`[Þ
] ÍVKNWdKJ$`[íTNf`ñhPR]Qñ©]\G[B®`RBD]\dKNWCECEî
F(õIhBEïcNQCDF(d`ôg]\P[MIhCuNQG/ZQF(dhFP7Nf`RF`RíhFGRNWMs
F bVOVF Ms]LJLIhCE]sP[F(]QP7JLFPRBDdKZKú
^_î b8F IKdhBD`[BE]QM
d pTV6l_F0m(NWd G[FFÖög`[íhFÿG[F2`']Wô1JLBEG rIhdKm2`RG$]WôR
ø 9><;OÎö ÍøN\GNðm2]\Mù
ñhCDF`[FNQdKJÿdK]QdLùzP[FJLIhdKJKNWdb
` »ýqhIh`dh]W`Ga`[PR]QdhZ\CDî,dh]\dLùzP[FJLIhdKJhNQd§` » m2]\CDCEF(m2`[BE]QdÓ]Wô/NQGaù
GaBEZQdhMsF(d\`7G
ñKP[]\ñT]GaBD`[BE]QdKNQCDCEîóGRNf`RBEGaôgîtBDdKØ
Z Í\
ú Fh]QPBDdTG`7NWdKmFQV>BD{
d \EhNWMsñhCE½
F lLV}`[íKF×G[F2`]Wô
NQGRGaBEZQdhMsF(d\`7G
NW`
ñT]\BDdÞ
` lLúNWdKÏ
J nKú>NQP[FPRF(G[ñ©F(m&`RBDï\FCEîÿ`RíhF$PRF(G[IhCD`RG
]WôGa`[Fñ ögBbø
NQdKJ#ögBEBuø
NWq©]fïQFQú
ú}HæM]\P[FO8F m©Fm&`RBDï\Fdh]QPRMONWCôg]\P[M5ôg]QPP[F(ñhPRF(G[Fd`[BEdhZ,N,q©]]\CDFNWdÓôg]QPRM
IKCENBDô
?
2 2
ZQBEïQFdØqtîó`[íhFA@?¹=¸8¹+¸>CByÙBÚ´¹c;C4g¸=78Ù5»%ÙÎÈÚD4ÙδGO¹+´º1»I@EBE484»PNü ^PRîGF'°V>l!íhBum7íÖNWPRF
FEt`[F(dKGaBEïQF(CDîýIKG[F(JÚBDd íKNWP7JLl/NWPRF0ïQF(P[JB ITm(Nf`[BE]Qd NQdKJ Ms]LJLF(Cjm7íKF(m tBDdKZKú!ABDï\Fd NÖ`[]Q`RNWC
]QP7JLFPRBDdKT
Z ² S "©J©H©J+²
]Qd `[íhFNf`R]QMOG]QV
ô ÍV>`[íhT
F [P
^ bVb9PRFñhPRF(G[Fd`[BEdh)
Z Í Iö HKJ.9:9ÿÎö Íøaø
BEGN JhBDPRF(m2`[F(J NQmîtmCDBum0Z\PRNQñhí G[IKm7í `RíKNf`ðögBbøFNQm7í dK]tJhFóBuG×FBD`[íhF(P']\dhFó]Qô`[íKFÿ`l]
`[FPRMsBDdTNWCdh]LJLFK
G LyM;sV]QPNQdóBEd`[F(P[dKNQCdh]LJLFsCENQqTF(CDFJÿqtîÿNQdÓNW`[]Q¦
M ²,]W
ô Í_Vl!BD`[íÓ`l]
]QIL`7m2]QMsBEdhZ×F(JLZ\F(K
G L
Îö ²tøö ^+²,BEG`RP[IK"F `\ø=NWdTN
J ;OÎö ²tøs8ö ^0²,BuGô~NWCuGaF `\ø&V6ö~BDBbø=F(N\m7íÓNQPR1
m ² ¿ Ö
² BuGOGaITm7í `RíKNfÞ
` ² ¿ ¢¬² BDd `[íKF'`R]W`7NWC!]QP7JLF(P(ú ì ô1NódK]tJhF CENQqTF(CDFJ l!BD`[«
í ²ÖBuG`[íKF
P[]t]W`s]W
ô HKJ.9:9ÿPö OøsNWdKJ S V U NWPRF'`[íhF×`l]ÓG[]Qd dh]LJLF(Gs]Qô `RíhP[]\IhZQí `[íhFFJLZQFG
L
Â
ö ²Lø/NWdK3
J ;OÎö ²tø!P[FGañ©F(m2`[BEïQFCEîQVt`RíhFd S V U NQP[F`RíhFPR]]Q`RG/]QQ
ô HKJR9:90Pö O>ü ²½{Qbø/NQdKJ
HKJ.9:90I
ö O>ü ²Ä°QbøP[FGañ©F(m2`[BEïQF(CDî\úTH ñTNf`[í0ôgP[]\Mæ`RíhFPR]t]W`]QE
ô HKJ.9:90&ö Íø`R>
] Lü P[FGañ²ú
;j_BuG
N,ñhPR]Qñ©]\G[BD`[BE]QdKNQC6Ms]tJhFC=ü PRF(G[ñú²m2]\Ihd`[F(PaùzMs]tJhFJ
C Y]Wy
ô ÍV>NQdKJÓ`[íKF$JLBu1G rIhdTm&`[BE]Qd ]Wô
GaIKm7í×ñKNW`[íKG!BuG/ñhPR]Qñ©]\G[B®`RBD]\dKNWCECEîOF(õIhBEïcNQCDF(d`!`[Þ
] ÍÚü P[FGañ²Yú Íkzú
÷/íITGVhlFmNQd,GaF(.
F HKJ.9:90&ö ÍøN\GNOm2]\MñKCDF`[Fm2]\CDCEF(m2`[BE]Qd]Wô6N\G[G[BDZ\dhMsFd`RG/ñKP[]\ñT]Qù
GaBD`[BE]QdKNQCDCEîÖGRNf`[BuGaôgîBEdhÏ
Z Íú6HGsF(ïQFPRîðñKNQBDPs]WôñKNf`RíKGsJLJB m©F(Psôg]QPs`[íKF'`RP[Ih`[í ïcNQCDIKF×]QôNW`
CDFNQGa`]QdhFOïfNWPRBuNWqhCEFQ
V HKJR9:90&ö ÍøBEGNWCuGa],Ga`[PR]QdhZ\CDîódh]Qdhù°PRF(JLIKdKJhNWd`ö
ú Fh]QP
BDdKGa`RNQdKm2F\V²BEd
F}BEZQIKP[Q
F lOö~CDFôb`7ø`[íh
F [?
^ bjb ]Qô`[íhF!ôg]\P[MIhCuNjBD
d ~EhNWMsñhCEQ
F lBEGYP[F(ñhP[FGaF(d`[F(JúQ÷/íhFñKNW`[íKG
`[
] L NQP[F`Ríh]\G[FjZQBEïQFd×qtîO`[íKFGaF`]Wô>N\G[G[BEZQdhMsFd`7G!Nf`!ñT]\BDdy
` pTúL]W¼
ô \EhNWMsñhCEK
F lhú
H Ga`RNQdKJhNWP7Jsq©]]\CDFNWdG[]QCEïtBDdhZ`[F(m7íKdhBEõIhF=BEG6`[íKNW`]Qô²GaF(MONWd`[Bum
.:C$Z&&9n*0./Wm¼
`RNWqKCDFNWIEðü rLM
IYSFzúABEïQF(dÿNWd,BEdhñhIL`ôg]QPRM
IKCENÐÍV©BDdóF(N\m7í,qhPRNQdKm7í,]Wô`RíhFG[F(NQPRm7í×`RP[F(F
`[íhF1G[F2j
` ÍiBuG!JLFm2]QMsñ©]\G[F(J$BDd`[]sNGaF`/]Qô²CEB®`RFP7NWCuG [ qî`[íhFP[Fm2IhP7G[BDï\F=NWñKñhCDBumNW`[BE]Qd']Wô
`[íhF1PRIhCEF("G ¼
[%TVU Í S " ©J©H©J2Í
&ö ø
[ T U W Y¿ X ÍÅ¿0
S
[%TSU Í
S
©H©J©H©
[%TVU Í
ö Õ ø
[Z Y¿ X Í ¿0
S
ñhCDITG=NQdKNWCE]QZ\]QIKG!PRIhCEF(Gôg]QPö Ö ø2Vö × ø&Vö&\ø2Vö Õ ø&Vö& Ö ø&
V ö& × 2ø ú©÷/íhFMONWBEdÿG`RFñKG
NWPRF¼
[
T
U
ö~mCD]GaFJ0qhP7NWdKm7í©øBDô [ m2]Qd`7NWBEdKGq©]W`RírÍ ¿ NQdKJ)Í ¿ ôg]QP1G[]QMsFG[IhqLôg]\P[MIhCuN½Í ¿ ]WôPÍ_V
`[íhF(d [ BuG!G[NQBEJ'`R]q©F78ÊJÈ»8¸>1NWdTJ'm(NWdhdh]Q`!qTFJLFm2]\Mñ©]\G[F(J×NWdtîOôgIKPa`RíhFPÁ
¾ ö~G[]QCEIL`[BE]QdðqKPRNQdKm7íTø=B®ô [ m2]\d`RNWBEdKG1]\dhCEîÿCEB®`RFP7NWCuGV`RíhFdðBD`
BuGNWdÖN\G[G[BEZQdhMsFd`G[IKm7í
`[íKNW` [ ü xwjÍ?Á
¾ &ö }ùzP[IKCDFcø!BDô [ m2]Qd`7NWBEdKGNm]Qd rIKdKm&`RBD]\dVK`RíhFd0`[íhFCENW`a`[F(P=BuGIKdhP[]\CDCEF(JBEd`[]$`[íhFGaF`
]WôB®`7G!m2]\d rIhdKm2`R"G Á
¾ ö Õ ùzP[IKCDFcø!BDô [ m]Qd`RNQBDdTGNJLBu1G rIKdKm&`RBD]\dVK`RíhFd0`[íhFGaFNWP7m7í'qhP7NWdTm7íhF(G!]\d,]QdhF
]Wô`[íKF
JLBu1G rIhdTm&`RG(ú
¾
÷/íhF'G[F(NQPRm7íÓ`[PRFF$P[FGaIhCD`[BEdhZÿôgP[]\M `RíhF'JLFm2]\Mñ©]\G[BD`[BE]QdÖBuG
G[IKm7íð`RíKNf`sNWCEC_BD`RGGa]\CDIhù
`[BE]QdÓqhPRNQdKm7íhFG=NQP[FNQGRGaBEZQdhMsF(d\`7GBDdØN'm]QCECDFm&`RBD]\d\LQ^]%&$öÎÍø&VTl!íh]\G[FsJLBEGrIhdKm2`[BE]QdÓBEG
ñhP[]\ñT]GaBD`[BE]QdTNWCECDîF(õIhBEïfNWCEFd`_`R1
] Íúh÷/ítIK
G LQ^]%Î$>&ö ÍøBEGm2]\MsñhCDF`[F\VqKIL`BD`!MONcîq©FP[Fù
JLIhdKJhNQd`(9ú Fh]QPYBDdKGa`RNQdKm2F\VQBE_
d F>BDZ\IhPRV
F lOö~mFd`[F(P7ø`[íhFGaFNWP7m7í
`RP[F(F]Wô²NG[FMONQd\`RBEm`7NWqhCEF(NQI
NWñhñhCEBEF(JO]\ds`[íhFôg]QPRM
IhCuN1BE
d \EhNWMsñhCEV
F ljBuG6PRFñKP[FGaF(d\`RF(Jú÷/íhF=G[]QCEIL`RBD]\dKG6qhP7NWdTm7íhF(GZ\BDï\F
P[BuGaF`R]`RíhF1PRF(JLIhdTJhNWd`m2]\CDCEF(m2`[BE]Qd×]WôNQGRGaBEZQdhMsF(d\`7G/Nf`ñ©]QBEd\V
` lhúL]W%
ô \EhNWMsñhCEÝ
F lLú
÷/íhF/Ms]\Ga`Ym2]\MMs]\dhCDî1ITGaFJq©]t]QCEF(NQdG[]QCEïtBDdhZñhPR]Lm2F(JhIhP[F/Bu~
G egfVhÒh ü bVSGSk$l°ú
A BDï\Fd)ÍýBEdÿBEdhñhIL`Vöe1fjhÒh#`[PRBDFG`R]$qhIhBECuJ0PRF(m2IKPRG[BDï\FCEî']\dhFN\G[G[BEZQdhMsFd` [ G[NW`[BuGôgîtBEdhZ
Í_VNf`F(NQm7íðGa`[F(ñ NQJhJhBDdhZ0N0dhFl CEB®`RFP7NWC`R] [ NWdTJðGaBEMsñhCDBDôgîtBDdKZ)ÍV>N\mm2]\PRJhBDdhZ×`R]0`[íKF
ôg]QCECD]fl!BEdhZOG`RFñK"G ¼
2 __ ögqKN\GaFcø ì ôkÍr VW`RíhFd [ ñKP[]\ñT]GaBD`[BE]QdKNQCDCEî
GRNf`RBEG0IKF(G6`[íhF]QPRBDZ\BDdKNQCLôg]QPRM
IKCENKVQGa]`[íKNW`
BuG/PRF2`[IKP[dhFJ Á
g
ö
K
q
N\m `[P7NQm høBDôÅÍr V [ ñhPR]Qñ©]\G[B®`RBD]\dKNWCECDîô~NWCuG[BaIKFG6`RíhFj]QPRBDZ\BDdTNWChôg]\P[MIhCuNhVtGa]
`[íKNW`
¾
egfVhÒh qKN\m `[P7NQm LG8Á
¾ ögIhdKB®`jñhPR]QñKNQZ\Nf`RBD]\dTøBDôYNCEB®`RFP7NWCG6]tm(m2IhP7GBEd)Í#N\GNOIhdKB®`1m2CuNWIKG[FQVK`[íhF(dØegfVhihýBEG
BDdtï\] QFJjP[Fm2IhP7G[BDï\FCEî=]\1
d Í` Xa NWdKJ [EU :V Í` Xa q©FBEdhZ`RíhFP[FGaIhCD`]WôKG[IhqKGa`[BD`[IL`RBDdhZ
Üôg]\y
P BDd
d Í NQdKJGaBEMsñhCDBDôgîtBDdKYZ Á
C >BEGGaF(CDFm&`[FJVhNWdTd
J egfjhÒh BEG!BEdtïQ'] QF(J$P[Fm2IhP7G[BDï\FCEî]\d
¾ ö~G[ñhCEB®`&ø/]W`RíhFPRl!BEG[FQVLNCEB®`RFP7NWö
Í ` XaÖNQdKJ [!U =\ú ì ô`[íhBuGmNWCECGaIKm(m2F(F(JhG(VQ`RíhFd$`[íhFPRF(G[IhC®`BEG_PRF2`[IKP[dhFJV]W`[íKFPRl!BEG[F
egfVhÒh BuG/BDdtï\] QFJPRF(mIhPRG[BEïQFCEîO]Qd
d Í` Xb NQdKJ [:U =\ú
¾
[
r`RNQdKJhNWP7ç
J egfVhihÛmNQdÖqTF×NQJhNQñL`[FJØ`[]ÿl_]\P+ØNQGN0q©]]\CDFNWdðF(dIKMF(PRNW`[]\PqtîØG[BEMñKCDî
M]LJLBDôgîtBDdKZ×BEdÓ`[íhFOqTNQG[Fm(NQG[Fr^ [ BuG1P[F`[IhPRdhFJZ`$l!BD`[í{^ [ BuG1NQJhJLFJ0`R]×`[íhFm]QCECDFm&`[BE]Qd²V
NWdKJ'qKNQm `RPRN\m 9`'ü A1Zr hVrtF(Yq WZX%zú
÷/íhF'PRF(G[IhCD`[BEdhZØGaF`]Qô=NQGRGaBEZQdKMF(d`RG 9:cdEd&ö Íø
BuGsm2]\MñKCDF`[FNWdKJ G`RP[]\dhZQCEîÓdh]QdLù
P[FJLIhdKJhNQd`'ü rLFYq WYXzG
ú Fh]\PBEdKGa`RNQdKm2F\V²BE]
d F>BDZ\IhP[
F lðögPRBDZ\í`7øj`RíhF'G[F(NQPRm7íÓ`RP[F(F]WV
ô egfVhih
NWñhñhCEBEF(JØ]QdØ`RíhFOôg]\P[MIhCENBEC
d \EhNQMñKCD_
F lBuGPRFñKP[FGaF(d\`RF(Jú÷/íKFdh]QdÖmCD]GaFJÓqhPRNQdKm7íhFG
ZQBEïQFjP[BuG[F=`R]`[íhFG[F2`]Qô>NQGRG[BDZ\dhMsFd`RG!NW`/ñ©]QBEd`ypKúL]Qô%~ELNQMsñhCDFlLú
O]W`RBEmF6`RíhF!JLaB mFPRFdTm2FYq©F2`lFF(dNQ<
d [P
^ bVbýNQdKJ$ög`[íhF/GaFNWP7m7íj`[PRFF]WôRøÅegfVhih¼"IKPRGa`(V
`[íhFôg]QPRMsFPBuG>NjJLBEPRF(m&`NQmîLm2CEBEm_ZQP7NWñhíl!íhBECEGa``[íhF!G[F(m2]\dKJBuGN=`[PRFF ÁfG[F(m]QdKJVcBEÞ
d [P
^ bjb=G
`[íhF]QP7JLFP=]WôYqKPRNQdKm7íhBEdhZïfNWPRBENQqhCEF(GBDÒ
ô IYEtFJ0NñKP[BE]QPRBV©l!íhBECDÞ
F egfVhih#mNQdÿm7íh]t]\G[F
FNQm7í
`[BEMFj`RíhF1q©F(Ga`ïcNQP[BuNWqKCDF`[]OG[ñhCEB®`ú
WDS
()$>'/*1&9n%0 ¬'¯1°W±
0
²±W³´Vµ¶Z·9¸¹!¶ ì `=BuGï\FPRî$BEMñ©]QP[`RNQd``[]$dh]W`RBEmF`[íTNf`(V©BEd0ZQF(dhFP7NWC°Vhdh]Q`=Fï\FPRî$q©]t]QCEF(NWd0G[]QCEïQF(PmNQd0q©F
NQJhNQñL`[FJ`R]l]Q2P NQG/Nq©]]\CDFNWd×FdtIhMsFP7Nf`R]QP$ú FK]QP!BEdKGa`RNWdTm2FQVLMONQdîOBEMsñhCEFMsFd`RNW`[BE]QdKG
]W~
ô e1fjhÒh BDdTm2CEIKJLFNWCuG[]`RíhFjôg]QCECE]fl!BDdhZsGa`[Fñq©F2`lFF(d'IhdKB®`ñKP[]\ñKNWZNf`[BE]Qd'NWdKJG[ñhCDBD"` ¼
d Í_V
¾ ögñhIKP[F0CEBD`[FP7NWCbøBDô1NQd Nf`R]QM Ô ]Lm(m2IhP7GO]QdKCDî ñT]GaBD`[BEïQF(CDîÜü PRF(G[ñú6dhF(Z\NW`[BEïQFCE$î BEN
`[íhF(]
d egfVhÒh BuG1BEdï\] \F(JóP[Fm2IhP7GaBEïQF(CDî,]\Ï
d ÍefXaÜNWdKJ [CU "ÔQ0ü PRF(G[ñk
ú ÍegXbÜNQdKJ
[:U ÅÔy8CÁ
öglFm(NWCEC}`RíhBuGjïcNQP[BuNWd
` e1fjhÒh?Ò
X S}ø2
ú egfjhÒhii
X SðBuG1m2]QMsñhCEF2`RFN\GjN$q©]t]QCEF(NWdÓGa]\CDï\FPV
qhIL`!JL]tF(G_dh]W`/ZQF(dhFP7Nf`RFN
m]QMsñhCEF2`[Fjm2]\CDCEF(m2`[BE]Qd]Qô²NQGRGaBEZQdKMF(d`RG(VG[]`RíKNf`/B®`!mNQdhdh]Q`_q©F
IKGaFJNQG!NWd×FdtIhMsF(PRNW`[]QPú
J egfVhihiÒ
X S$NQ%
G ¬G¯1°!± ²±³W´Vµ¶Z·9¸¹!¶sBD:
d á·9¸Z®)¬#NQdKJ
} |9´ºQÛÊJ¸-hdF ì ôTlF_ITGaF1
Z\NcïQFóBDd BDdKñhIL``[íhFÓôg]\P[MIhCEN BD
d \EhNQMñKCD¯
F lLy
V egfVhÒh?Ò
X SÛMsBEZQí`P[F`[IhPRd `RíhFØ]QdhFù
FCEFMsFd`m2]\CDCEF(m2`[BE]Qd ÑÒVTl!íKBEm7íÓBEGjdK]W`m2]\MñKCDF`[FQú ì P
ô Ñ#BuGO7ö iTy
U X½¤°W\øNWdT)
J Ó BEG
ö jd¤ki©ø2fV ikMjdÀT_V}`[íKFÏ
7
d Ñ~BuG!dh]Q`=G[NW`[Bu=G I©NWqhCEFQVKG[]s`[íTNfK
` C·9¸®)¬ l]QIhCuJ×P[F`[IhPRd
IhdKGRNf`[Bu0G ITNWqhCEFQöú [=d,`RíhF]Q`[íhF(PjíKNWdKJVK`RíhF
ôg]\P[MIhCu_
N ÍýBuG=GRNf`RBE0G ITNWqKCDFqTFmNWITGaF\VTF\ú ZTúDV©`[íKF
NQGRGaBEZQdhMsF(d\K
` ÑÒ+Ó\1BEGGRNf`RBE0G IKFJ$qt
î Ü=7ö i©i
ø {X© WsNWdK<
J Ülö jh~
ø NWY© WKú
«xo<©â0|Zxk
m
n
x²å_áhëU7ß~|<prqfqgsutKv
Üäåç}~8
*##{6|
wxvyzx{6|*}~#|
HñKNQPa`ôgPR]QM `[íhF!FòOmBDF(dKm2î]W
ô á·9¸Z¹
!µ+¶»#l!íhBum7íïfNQP[BEF(Gl!BD`[í`[íKy
F tBDdKJ]Qô©ñhPR]Qqhù
CDF(MÕN\JhJLPRF(GRGaFJsNWdKJsl!BD`[íO`RíhF`RF(m7íhdKBEõIhFN\JL]Qñh`[F(JV\NWdTJOl!BDCECKdK]W`_q©F=JhBEGRm2IKGRG[F(JíhFPRFc»
NWdKJ`[íTNf`6]Wô©`[íKF=rLH÷ Ga]\CDï\FPIKG[F(
J »ýl!íKBEm7íOJL]tF(G6dh]W`6dhFm2FG[GRNWPRBDCEîBEMsñhCDîB®`7GF2òmBDF(dKm2î
NQG!NWd×FdtIhMsF(PRNW`[]QqP »8MONWdtî]W`RíhFP/ô~N\m&`R]QP7G/BDd sTIhFdKmFj`[íhF1Fòm2BEFdKmî]WE
ô á·9¸Z®Z¬ú
C#$*uE,AG/*1,.:C.$Z&'P(+, ¬G¯1°!±
#
²±³W´Vµ¶Z·9¸¹!¶
()01u$*(4:C0UMd#m K (4$*.$Z&'0 K $ ¬'¯1°W± ²±W³´Vµ¶Z·9¸¹!¶ LóFÓl]QIhCuJ
PRNW`[íhF(Pá·9¸Z®)¬éPRF(õIhBEP[F$ñT]\CDîtdh]\MBuNWC/G[ñKNQmFQúHG mNQdÖqTF'FELñ©]QdhF(d\`RBENQCDCEîØqhBEZ
l!B®`Rí,P[FGañ©F(m2``R]s`[íhFGaBEnFj]W\
ô ÍVKlFjl_]\IhCEJ×P7Nf`RíhFPN\JL]QñL`NZ\FdhF(PRNW`[F2ù¢m7íhFm\ù¢NWdTJtùzJhP[]\ñ
ñKNWP7NQJLBEZQd
M ¼>Nf`FNQm7í Ga`[F(ñV>ZQFdKFP7Nf`[F`[íhF×dhF Et`sNQGRGaBEZQdhMsF(d\` [ ¿ Àt V>m7íhFm óBD`RGsGRNf`[ù
BE0G ITNWqKBDCEB®`î\VNWdKJØ`RíhFdýJLPR]QñÖBD\
` »ý]\PJLPR]Qñ `[íhF×ñKNQPa`]WôBD`l!íKBEm7í BEGdh]Q`sm]QMsMs]Qdð`R]
`[íhF×dhF Et`ONQGRGaBEZQdKMF(d§` » q©F2ôg]\P[F'ñKNQGRG[BDdhZÿ`[]ÿ`[íh
F X2ù¢Ga`[Fñ²ú>÷/íhBuGMFNWdKG
`[íTNfU
` ¨
G¯1°!± ²±³´µ¶Z·9¸¹W¶ÿM
ITG`q©FNWqhCEF`[]sZQF(dhFP7Nf`RF`[íhFN\G[G[BDZ\dhMsFd`RG]\dhF1Nf`N`[BEMsFQú
÷²]j`RíhBEGYF Et`[F(d`(VQq©]W`RÐ
í bVOVFØNWdKÐ
J [P
^ bVb NWPRF!dh]W`GaIhBD`RNQqhCEFQVQN\G`[íKFîôg]\PRmFZQF(dhFP7Nf`[ù
BDdhZ`[íhF_l!íh]QCEFYNQGRG[BDZ\dhMsFd`²m2]\CDCEF(m2`[BE]Qk
d ]QdhFùzG[íh]Q`(ú ì dTG`RF(NQJVq©]W`[íGaF(MsNQd`[Bum`RNQqhCDFNWI E
NWdK_
J egfjhÒhØNWPRFN1Z\]t]tJOm7íK]QBum2FQVNQG6`[íhF(BDPJLFñL`RíLù IKPRGa`G[F(NQPRm7íOGa`[P7Nf`RFZQîNWCECD]flG6ôg]QP_ZQFdhù
FP7Nf`[BEdhZONWdTJ'm7íhFm tBDdhZ]QdKFNQGRGaBEZQdhMsF(d\`!Nf`N`RBDMsFQú
0
(4$W,.!/*$*!$*u( ¬'¯1°W± ²±W³´Vµ¶Z·9¸¹!¶ LóFOl/NWd`j`[]PRF(JLIKmFONQGjM
ITm7íÓN\G
ñT]G[G[BDqKCDF$`[íhF'dIKM
q©FP]WôNQGRG[BDZ\dhMsFd`RG1Z\FdhF(PRNW`[FJðNWdKJÖm7íKF(mQFJú}÷}]ÿJL]ÿ`[íhBuG(V>N)QFî
BEGRGaIKFBEG=NcïQ]\BEJLBEdh>
Z á·9¸¹
*µ¶0q©FBEdhZBEdtïQ'] QF(J×]\d0NWd,NQGRGaBEZQdKMF(d`l!íhBEm7í,F(B®`RíhFP=BEG
BEJLF(d`[BumNWCh`[]NWdsNWCEPRF(NQJhî\ù¢m7íhFm QF(J]QdhF!]\PF Et`[F(dKJhG]\dhF/l!íhBEm7ísíKN\Gq©FFdONQCDPRF(N\JLî1ôg]QIKdKJ
IhdKGRNf`[Bu0G ITNWqhCEFQú÷/íhBuGBEG]\qL`RNQBDdhFJÖqtîðIKG[BDdKZóNódh]QdLùzPRF(JLIhdTJhNWd`F(dtIhMsFP7Nf`[]\P(ú÷}]ÿ`RíhBEG
FEt`[F(d\`VKG[FMONWd`[Bum=`RNQqhCDFNWI E×NWPRF=dh]Q`NZQ]t]LJ'm7íh]\BEmFQú
O]Qdhù°PRF(JLIKdKJhNWd`FdtIhMsFP7Nf`R]QP7GYNcïQ]\BEJsZ\FdhF(PRNW`[BEdhZ
ñTNWP[`[BuNWCNQGRGaBEZQdhMsF(d\`7GYl!íK]\G[FIhdLù
G[NW`[Bu=G ITNQqhBECDBD`î'BuGNñhP[]\ñT]GaBD`[BE]QdTNWC²m]QdKG[F(õIhF(dKm2F1]Qô`[íh]GaF
NQCDPRF(N\JLî$Z\FdhF(PRNW`[FJú ì f
ô BEG
G`RP[]\dhZQCEîsdh]QdLùzPRF(JLIhdTJhNWd`(Vtíh]flFï\FPV\FNQm7í$`[]W`7NWCNQGRG[BDZ\dhMsFd8
` p$ñhP[]\ñT]GaBD`[BE]QdTNWCECDîOGRNf`[BuGaù
ôgîBEdhK
Z ÍBEG}PRFñhPRF(G[Fd`[FJ1qtîj]QdhFNWdKJ1]\dhCEî1]QdhF [ À VfNWdKJ1F(ïQF(P[î [ À PRFñhPRF(G[Fd`7G
IhdhBEïQ]LmNQCDCEÐ
î lg lM*YV `[]Q`RNQCN\G[G[BEZQdhMsFd`7Gú÷/íITGGa`[PR]QdKZQCEîdK]QdLùzP[FJLIhdKJKNWd`YFdtILù
MF(PRNW`[]\PRG!NQCEG[]NcïQ]\BEJ×ZQF(dhFP7Nf`RBDdKZOñKNWP[`[BuNWC²N\G[G[BEZQdhMsFd`7Gm2]fï\FPRBDdhZONQP[FNQG/]Wô`RíhFG[F(NQPRm7í
GañKN\m2Fjl!íhBum7í×NQP[F1m]fïQFPRF(J$qtî$NWCEP[FNQJLîùzZQF(dhFP7Nf`RF(JO]\dhF(G(ú
Fh]QP$FdtIhMsFP7Nf`R]QP7Gs`[íKNW`×NQP[F,dh]Q`×Ga`[PR]QdhZ\CDî dh]Qdhù°PRF(JLIKdKJhNWd`V6`[íKFPRF0BEG×NØ`RPRN\JLF] m
qTF`l_F(Fd
PRF(JhIhdKJhNQdKm2îjNWdKJ
ñT]\CDîtdh]\MsBENQC\MsFMs]\P[î\ú ì dô~N\m&`Vl!íKFdN\JL]Qñh`[BEdhZN=ZQFdKFP7Nf`[Fù
m7íhF(m ù¢NWdKJtù¢JLPR]Qñ=ñKNWP7NQJLBEZQMV&`RíhFYNQCDZ\]QPRB®`RíhMÚíKN\Gdh]l/Ncî`R]!P[F(MsFM
q©FP²B®ôhBD`²íKN\GNWCEP[FNQJLî
m7íhF(m \F(JÿN×Z\BDï\FdóN\G[G[BEZQdhMsFd`j]QPjdh]Q`(VIhdhCEF(GRGjBD`F ELñhCEBEmB®`RCDT
î \FF(ñKG=`[P7NQm ,]WôB®`Vl!íhBum7í
P[Fõ\IKBDPRF(G=Ihñ0`R]'8F ELñT]\dhFd`[BuNWCMsFMs]\P[î\úr`RP[]\dhZ$dK]QdLùzP[FJLIhdKJKNWdKmî×BEdKGa`[FNQJ0ñKP[]fïtBuJLF(G=N
ÊJÈOÙ7´ÊLl/NWPRPRNQd`6`[íKNW`NWdNWCEP[FNQJLîOm7íhFm QF(J'NQGRGaBEZQdKMF(d`l!BECDCdKFïQF(P_q©Fm7íhFm QF(J$NWZ\NQBDd²ú
DS
m K 0(4&'$!Rá&X!ª$Z&'#,&()$
C·9¸Z¹
!µ¶
nf#&..$
¬G¯1°!± ²±³´µ¶Z·9¸¹W¶
+$!
$Z&'#,:C.!9&''R)$*:C.$Z&8AX*#$!R! ì ôKNQd
NQGRGaBEZQdKMF(d` [ T BuGIKdKG[NW`[Bu=G I©NWqhCEFQV`[íhF(d
WN CEC6B®`7GF8E`RFdKG[BE]QdKGNQP[FsIhdTG[NW`[BuG=ITNQqhCEFQú²÷/ítIKG(V²l!íhF(dÓ`[íhFIKdKG[NW`[BuG=I©NWqhBECDBD`îÿ]Qô [ T BuGJLF2ù
`[F(m2`[FJ×JhIhP[BEdhZsBD`RG!PRF(mIhPRG[BEïQFjm2]QdTG`RP[IKm2`[BE]QdV`RíhBEGñhP[F(ïQF(d\`7G!m7íhF(mtBEdhZ`[íhFGRNf`RBEG0ITNWqKBDCEB®`î
]Wô©NQCDC`RíhF/Ihñ
`RK
] l l ¡¢S [£7 `RP[Ih`[ísNQGRGaBEZQdhMsF(d\`7G²l!íKBEm7íF Et`[F(dKJ [ T úW÷/ítIKG(VfNWdh]Q`[íhF(P
QFî'BEGRG[IhF1ôg]QP=F2òm2BEFdTm2î×BEG`[íhFñ©]\GRG[BDqhBECEB®`î×]WôMs]LJLB®ôgîtBEdh
Z ¬G¯1°!± ²±³´µ¶Z·9¸¹W¶ÓG[]
`[íKNW`}BD`>mNQd1ñTF(Paôg]\P[MÜBEd\`RFPRMsF(JLBuNf`RFYmNQCDCuG`[
] á·9¸Z¹
!µ+¶NQdKJjBD`>mNQdj`RN QFYN\JLïfNWd`RNQZQF
]Wô>`[íhFö~IhdTøGRNf`RBE0G ITNQqhBDCEBD`îBDdhôg]QPRMsNW`[BE]Qd×P[F`[IhPRdhFJ`R]OñhP[IKdhF`[íhFG[F(NQPRm7í×GañKN\m2F\ú
L#B®`Rí G[FMONWd`[Bum$`RNWqKCDFNW
I EÖNWdT]
J egfVhÒhV²`RíhBuGm(NWd qTF×F(N\GaBECDîØ]\qL`RNQBDdhFJÖqtîØBDd`RP[]Qù
JLIKm2BEdhZ NWd BEd`[FPRMsF(JLBuNf`RF0`RF(Ga`(V/BDMsMsF(JhBENW`[FCEîýqTFôg]QPRF0`RíhF ö Õ ù°PRIhCEFø$NWdKJý`RíhFýö~G[ñhCDBD`7ø
G`RFñ0PRF(G[ñTFm&`RBDï\FCEîQVhBEd0l!íhBum7N
í á·9¸Z¹
!µ+¶ÿBuGBEdtïQ'] QF(J×]\d0NWd0BEd`[FPRMsF(JLBuNf`RF
NQGRG[BDZ\dLù
MF(d` [ T NWdKJV\BDôB®`BEG_BEdKm2]\dKGaBuGa`[Fd`VQ`RíhFl!íh]\CDF=qhP7NWdKm7íOBuG_mIL`ü A1r 'hV H^e ` W'lz$ú L#B®`Rí
[?
^ bjbGVBD`jBuGñT]G[G[BEqhCDF
`[]×P[FJLIKmFNQd0F ELBuG`RBDdhT
Z [P
^ bVb qtî`[P7NcïQF(PRG[BEdhZBD`jJLF(ñL`[íh&ù IKP7Ga`
NWdKJóP[FJLBEP[Fm&`[BEdhZ$`[]×`[íh
F ; dK]tJhF`RíhFsñKNf`RíKGjPRFñhPRF(G[Fd`[BEdhZ'BDdKm]QdKG[BuG`RFd`jN\G[G[BEZQdhMsFd`7G
ü eH=?
^ OV$R"zYú U]fl_F(ïQFPV`[íhBuG!PRF(õIhBEP[FGZQFdKFP7Nf`[BEdhZ`[íhF1dK]QdLùzP[FJLIKmF(Ä
J [?
^ bjb NQdîtl/NcîQú
#$*#,9&'$!Rº$!3X*$!*0$!RE()$¥%& d& ABEïQF(dÿNWd,IKdKG[NW`[BuG=I©NWqhCEF
NQGRG[BDZ\dhMsFd`
V l_FOmNQCDC6Nª7ÈÚ¦iÙ78µy»8¸8µ6NWdtî,IhdKGRNf`RBEG0ITNQqhCDFsG[IhqLù¢NQGRGaBEZQdhMsF(d\` [ T§ [ ú6öú ZTúDVBEd6~Etù
NWMsñhCEFÏXÖö&lQøsNQdKJ öÎnøsNWPRFm]QdsTBEm2`'GaF`RGôg]\PO`[íhFóNQGRGaBEZQdhMsF(d\` [ úøsH QF(îÖF2òmBDF(dKm2î
BEGRGaIKF!ôg]Q
P C·9¸Z®)¬ BuG`RíhF=m(NWñKNQqhBDCEBD`î
]W
ô C·9¸Z¹
!µ¶`[]PRF2`RIhP[ds`RíhFm]QdsKBum&`GaF`
l!íhBEm7íóíKNQGjm(NWIKG[F(J`RíhFBDdKm]QdKG[BuG`RFdKmî,]Wô_NQdÿBEdhñhIL`1NQGRGaBEZQdKMF(d`(VNWdKJ0`[íhFOmNQñKNWqKBDCEB®`î
]WÚ
ô ¬G¯1°!± ²±³´µ¶Z·9¸¹W¶0`[]OITGaF`[íKBEG!BEdLôg]\P[MONf`RBD]\d$`R]sñhP[IKdhFGaFNWP7m7íú
¤
[
Fh]QPBEdKG`7NWdKmFQVq©]W`[íØ^FCEMONWdLù:Fh]\PRJ0NQCDZ\]QPRB®`RíhM;NWdKJÓrtBEMñKCDF8EØS²XÚñhP[]LmF(JLIhPRF(GmNQd
ñhP[]LJLITm2FYm]QdsKBum&`>GaF`RGYü H^e ` W$ltV LMLN'zúrtF(MONWd`[Bum`RNQqhCEF(NWIZENWdTJÝe1fjhÒhm(NWd1q©F6FdLù
íKNWdKmF(Jqtî=N`RF(m7íhdhBuõIhFYm(NWCECDFJ1ºÞ´µÂ¶Z¸8ºÞ´µÙ72´Ê.´d7=y§%ɺyÛ
ÙBÚ#O=ü U=X_rSFLV LMLNhV H^e ` W$l¼
l!íhF:
d á·9¸Z¹
!µ+¶ö [ ø}P[F`[IhPRdKGNm2]QZd sKBEm2`6GaF*
` pV ¬''¯1°W± ²b±³´Vµ+¶Z·9¸¹!¶m(NWV
d rIhMsñ
qKNQm ×BDdóB®`7GjGaFNWP7m7í'`R]$`RíhFJhFFñ©F(Ga`jqhPRNQdKm7íhBEdhZñ©]QBEd`BEd0l!íhBum7íÿNCEBD`[FP7NW
C ?ÀLp,BuGNQGaù
GaBEZQdhFJN=`RP[IL`RísïcNQCDIKFQVWñhPRIhdhBEdhZ`[íKFGaFNWP7m7í`[PRFF!q©FCE]fl1ú egfVhihÿm(NWdsqTF!F(dhíKNQdKm2FJNQCEG[]
l!B®`Rç
í ÊJ¸´¹%ÚtÙBÚ#O'ü LMLN'hV H^e ` W'lC¼h`RíhF
dKFZ\NW`[BE]Qd,]Qô>`RíhFm]Qd sTBEm2`=GaFj
` *pBEGNQJKJLF(JBEd
m2]Qd rIhdKm&`RBD]\dÓ`[]`[íKFBDdKñhIL`1ôg]QPRM
IKCENKV²Ga]×`RíKNf1
` egfVhih l!BDCECYdhF(ïQF(PNWZ\NQBDdÓZQF(dhFP7Nf`RFNQd
NQGRGaBEZQdhMsF(d\`m]Qd`RNQBDdhBEdhZ`[íhFm]Qd sTBEm2`GaF<
` pú
¤
#$*#,9&'$!Rt$! X!+$!*0$!Rt!#,1M)# 'R4$*:C.$Z&'d Hdh]Q`[íhF(P
F2òmBDF(dKm2îóBEGRGaIKF
ôg]QPRá·9¸Z®)¬æBEG`RíhFmNQñKNWqhBECEB®`î0]QôC·9¸Z¹
!µ¶Ø`R],ñhPR]tJhIKm2FONWdÓFEt`RPRNNQGRG[BDZ\dLù
MF(dx
` p'JLF(P[BEïQFJ×JhF2`[F(P[MsBEdhBuG`RBEm(NWCECDîOôgPR]QM9NsG[NW`[Bu=G ITNQqhCEFBEdhñhIh`=NQGRGaBEZQdKMF(d` [ VTNWdKJ'`[íKF
mNWñTNWqhBECDBD`î]W4ô ¬''¯1°W± ²b±³´Vµ+¶Z·9¸¹!¶`[]=IKG[F6`[íKBEG}BDdhôg]QPRMsNW`[BE]Qdj`R]dKNQP[PR]flÿ`RíhF_G[F(NQPRm7í²ú
Fh]QPBEdKGa`RNQdKm2F\V2BDdj`RíhF6ñhPR]Lm2FJLIhPRF>ñKP[FGaF(d\`RF(JBEdü H=^!e ` W$ltV Heir W'lzV C·9¸Z¹
!µ¶
m2]QMsñhIh`[F(G/FõIhBDïfNQCDF(dKm2F1m2CuNQGRG[F(G]Wô>P[FNWCïfNWPRBENQqhCDFG/NWdKJ'ñTF(Paôg]\P[MOG!G[IhqKGa`[BD`[IL`RBD]\dKG/l!íhBum7í
mNWdÓñhPR]LJLIKm2FsôgIKPa`RíhFPN\G[G[BDZ\dhMsFd`RG(
ú ú ZKúEVBDôjÎö ² S ² U ø (Îö ² U ² o 1
ø À [ V_Âö ² S ç² o ¡
lQ<
ø À [ NWdTJ [ BEG1GRNf`RBE0G ITNWqKCDF\VT`RíhFD
d á·9¸¹
*µ¶ö [ Q
ø IKdKJKG`[íKNWÝ
` ² S NQdKØ
J ² o q©FCE]QdKZ
`[] `[íhFÓG[NQMFóF(õIhBEïfNWCEFdKmFÓmCEN\G[G'NWdKJÚP[F`[IhPRdKG×NWd 8F E`RPRN NQGRGaBEZQdKMF(d
` p m2]\d\`7NWBEdhBEdhZ
/Âö ² S r² o ¡MlQø&VLl!íKBEm7íBuG/IhdhBD`aùzñhP[]\ñKNWZNf`RF(J$Ncl/NcîOqt½
î egfVhih!ú
ô C·9¸Z¹
!µ¶'BEG
$!,#:E#$Z&0&>u6( C·9¸Z¹
!µ¶ Hdh]W`RíhFP_F2òm2BEFdKmîsBEGRGaIKF]W
`[íKNW`/]Qô}q©FBEdhZdÙBÚ)78¹+¸8º<¸8ÚYµ:´ÊµVhG[]`[íKNW``R]ONcïQ]QBuJOPRF(Ga`RNQPa`RBDdhZm2]\MñKIL`RNW`[BE]Qd'ôgP[]\MG[mPRNW`Rm7í
l!íhFdhF(ïQF(P²BD`>BuG²Z\BDï\FdBEdBEdhñhIL`NWdNQGRGaBEZQdhMsF(d\` [ T G[IKm7í1`RíKNf` [ T¨ [ NWdKJ [ íKNQG}NWCEP[FNQJLî
ñhP[]fï\F(JG[NW`[Bu=G I©NWqhCEFQúKö÷/íhBuG6íKNQñhñTF(dKG(VQFQú ZKúEV\NW``[íhFBDd`[F(P[MsFJLBENW`[FN\G[G[BEZQdhMsFd`7Gm7íhF(m tBEdhZ
G`RFñKG(ú ø=÷/ítIKG(V C·9¸Z¹
!µ¶ØG[íh]QIhCuN
J ^[P[F(MsFM
q©FP `s`RíhFGa`RNW`[IKG]Wô`RíhFsm2]QMsñhIh`RNf`RBD]\d
ôgP[]\M ]QdhFjmNQCDC©`[]`[íKF]Q`[íhF(P(Vtl!íhBECuGx
` ¬'¯1°W± ²±W³´Vµ¶Z·9¸¹!¶,G[íh]QIhCuJ'qTFjNWqhCEF=`[g
] QFF(ñ
`[P7NQm O]Wô>`[íKFm2]QMsñhIh`RNf`RBD]\d×Ga`RNW`[IKG]WQ
ô C·9¸Z¹
!µ¶>ú
Fh]QPOBEdKGa`RNQdKm2F\VYBD`BEG$ñT]G[G[BDqKCDF`R]ðM]LJLBDôgîýNÖrtBDMsñhCEF E«S²XÕñhPR]Lm2FJLIhPRF0Ga]Ó`[íTNf``R]
MsN QFB®`1BEdKm2PRFMsFd`7NWC°V©NQdKJ,`R]×MON Qg
F egfjhÒh m(NWCECB®`jBDdTm2PRFMsFd`RNQCDCEî0Nfôb`RFPFï\FPRî×IKdhB®`
ñhP[]\ñKNWZNf`RBD]\dóü LMLNzú
©
zê=xk
$
ª
x²å_áx²ç9ëS«!ë\áxkÕë
ì dð]QP7JLFPj`R],ñhP[]fïtBuJLFOFïtBuJLFdTm2FO]Wô/`RíhFZQF(dhFP7NWCEBD`î0]Wô/]QIhPNWñhñhPR]\N\m7íVBEdØ`[íhBuGG[F(m&`RBD]\d
l_FqhPRBD8F sKîñhPRF(G[Fd`!Ga]\MFF EhNQMñKCDFGú F>BDP7Ga`/lFFdtIhMsFP7Nf`RFG[]QMsFF ELBEGa`[BEdhZñhPR]tmF(JLIKP[FG
l!íhBEm7í NWPRFmNWñh`[IhPRF(JØqtîØ]QIhPôgPRNQMF(l_]\+P ú²÷/íKFdÖlFñhPRF(G[Fd`N,qKP[BEF2ôJLFG[mP[BEñL`RBD]\dð]Wô
]QIhP!]fl!dGa]\CDï\F
P á·9¸Z®)¬ú
«
m: K 0.
[=IhPôgPRNQMF(l_]\+P Om(NWñL`RIhP[FG_NG[BDZ\dhaB I©mNWd`!NWMs]QIKd\`/]Wô>F ELBuG`RBDdhZñhPR]Lm2F(JhIhP[FIKG[F(J$BDd×ïfNWP[ù
BD]\IKG!NWñhñKCDBumNW`[BE]QdJL]QMONWBEdKG(úLóF1qKP[BEFsKî$P[FmNWCECG[]QMsFj]Wô²`RíhFMú
ü XYIh'Z $l"6BEG1N×ñhPR]Lm2FJLIhPRFIKG[F(Jÿôg]QP1JLF(ñTF(dKJLF(dKm2FNQdKNWCEîLGaBuG]QôG[]Wôb`l/NWPRFQú ì `1BEG
WN dBDd`RFZQF(PñhP[]\ZQP7NWMsMsBDdKZ=NWCEZQ]\P[BD`[íKMÜqTNQG[F(J]QdNQdF8Et`[FdTGaBE]Qd]Wô
Fh]QIKP[BEFP[ùzþ0]W`[n"tBDd
ïfNWPRBENQqhCDF=FCEBDMsBEdKNf`RBD]\d'MsF`[íh]LJú ì `/íKNWdTJLCDFGqT]t]QCEF(NQd'm]QM
qKBDdKNW`[BE]QdKG_]Wô}CDBEdhF(NQP!m2]Qdhù
G`RPRNQBDd`7G/qî'GaBEMsñhCDî'ñhPRF2ù¢m2]QMsñhIh`[BEdhZ`[íh
F bjOQF ]Wô>`[íhF1BEdhñhIL`!ôg]\P[MIhCuNhú
A BEG}NWd1]Qñh`[BEMBEnFJjñhPR]tmF(JLIKP[Fôg]\P`[F(MsñT]\PRNQCWP[FNQG[]QdhBEdhZ!NWqKCDF`R]íKNQdKJLCEF
%¬ ü He/K
GaF`RG/]Qô}JLBu1G rIhdTm&`[BEïQF`RFMsñT]\PRNQCm2]QdTG`RPRNQBDd`RG(ú ì `!BDd`[F(ZQP7Nf`RF(P
G e1fjhÒh l!B®`Rí×NG[BDMsñhCEF E
S²X `[]t]\CVKN\JhJLBEdhZOGa]\MsF=ôg]\P[Mæ]Wô>ôg]QPRlNQPRJm7íKF(m tBDdKZsNQdKJ×G`7Nf`[BumjCEF(NWPRdhBEdhZKú
_f
ü LMLN²BEG=NWd]Qñh`[BEMBEnFJñhPR]tmF(JLIKP[Fôg]QP=þ0Nf`RíLùôg]\P[MIhCuNQG/]fïQF(P!CDBEdhFNWPPRF(NQC
¬
m2]\dKG`RPRNQBDd`7GVIKG[F(JÓ`R]0Ga]\CDï\FsñhP[]\qhCEFMOG1BEdØ`[íhFJL]\MONWBEdÓ]Qô!P[FGa]\IhPRmFñKCENQdhdhBEdhZKú ì `
NQm(m2Fñh`]QdhCEî,ôg]QPRM
IKCEN\Gjl!B®`RíðñT]GaBD`[BEïQFsMONf`RíhFMONf`RBEm(NWCYm]QdKGa`[P7NWBEd`RG(ö
ú h~fZ¬ BDdLù
`[F(ZQP7Nf`[F
G egfVhih l!B®`Rí NWdðBEdKmP[F(MF(d`RNWCGaBEMsñhCEF EÏS²X `R]]\CV>NWdKJÖñTF(Paôg]\P[MOG1qKN\m ù
rIhMsñhBEdhZNWdKJ×CEF(NQP[dhBEdhZTú
^ OQ$RBEd`[FZ\PRNW`[FG
G [P
^ bVbG²l!BD`[íNõIKNQJLP7Nf`RBEmm]QdKGa`[P7NWBEd`
2 ³ _f ü eH=P
%¯®3°x±²C¬
Ga]\CDï\FP
`[]ÿï\FPRB®ôgîó`[P7NWdTGaBD`[BE]Qd G[îLG`RFMOGl!B®`RíÖBDd`RFZQF(PJKNf`RN0ïcNQCDIKF(G(ú ì `sñTF(Paôg]\P[MOGN
ôg]QPRM]WôBEd\`RFPRMsF(JLBuNf`RFjN\G[G[BEZQdhMsFd`m7íhFm BEdhZTú
þ S²Q
H UVWZX8\NWPRi
F [P
^ bVbù°CEHB QF6JhNW`RN!Ga`[PRIKm&`RIhP[FGíKNQdKJLCEBDdhZ!q©]t]QCEF(NQdjm]QMqhBDdTNf`[BE]QdTG
2 22 ü )
]WôL`RFMsñT]\PRNQC\m]QdKGa`[P7NWBEd`RGBEdj`[íhFYôg]QPRM lö i#´Þ¤«n\ø2Vl!íhBum7íNWPRF6IKG[F(J`R]ïQF(P[BDôgî`RBDMsFJ
GaîLGa`[F(MsG(úQ÷/íhF(î
m2]\M
qhBEdhV
F [P
^ bjb=Gl!BD`[íONQdBEdKmP[F(MF(d`RNWCLï\FP7GaBE]Qd]Wô^FCEMsNQdL:ù Fh]QP7J
MsBDdhBEMONWCñTNf`[í,NQdKJ'mîLm2CEFjJhF2`[Fm&`RBD]\dNQCDZ\]QPRB®`RíhMú
^ bjb=G`RíhF,JLPRNcl!qTNQm Ó]Wô
D dLôg]\Pa`RIhdKNf`RFCEîQV`RíhF'CuNQGa``l_]ØNWñhñKP[]NQm7íhFGBEdhíhFPRBD`ôgPR]QM [P
P[Fõ\IKBDPRBDdKZ8F Etñ©]QdKFd`[BuNWCG[ñKNQmFjBDdl]QP7G`mN\GaF\ú
?
:C.R)
¸ Z® )
¬ 2_E_ =n*+'.s: K 0#:E#$Z&9&'(4$E( C·9
`
ì d×ü H^e 'W lLV HeirW$lhlFñKP[FGaF(d\`RF(Já·9¸Z®)¬VWNJhF(m2BuG[BD]\d
ñhPR]Lm2F(JhIhP[F_ôg]QPþ0NW`[íLù
ôg]QPRM
IhCuNQG]fï\FPq©]]\CDFNWd1NWdTJ=CEBEdhF(NQPMsNW`[íhF(MONf`[BumNQCWñhPR]Qñ©]\G[B®`RBD]\dKG]fïQF(P`[íhFYP[FNWCuGúC·9¸ ®
)¬
IKG[F(G>NQG%¬'¯1°W± ²±³W´Vµ¶Z·9¸¹!O
¶ NWdBEMsñhCEFMsFd`RNW`[BE]Qd]QôegfVhih!V(NQdKJN\GC·9
¸ ®
Z
¹ !µ¶ N íhBEFP7NWP7m7íhBumNQCjG[F2`0]QôMONf`RíhFMONW`[BumNWC
ñhP[]LmF(JLIhPRF(G'ôg]\P,CDBEdhF(NQP0m2]\dKG`RPRNQBDd`7G
«DS
¬
]Qd#PRF(NWCïcNQP[BuNWqKCDFGONWqhCEF,`[] íKNWdKJhCDF,`RíhF]\P[BEF(G]WôjBDdKmP[FNQG[BDdKZðFELñhPRF(GRGaBEïQFñ©]fl_F(P(úY÷/íKF
CENW`a`[F(PóBEdKmCDIKJhF N#ñhPR]Lm2FJLIhPRFðôg]QPØm2]\MñKIL`[BEdhZ NQdKJ FELñhCE]QBD`[BEdhZ F(õIhBEïcNQCDF(dKm2F m2CuNQGRGaFG
ôgP[]\MF(õIKNQCDBD`î m]QdKGa`[P7NWBEd`RGCEJB \F 7ö i µjhø2VN#^FCECDMONWdhùCFK]QP7J MsBEdhBEMsNQCñKNW`[í NWCEZQ]Qù
P[BD`[íhMl!B®`RíÜmîtmCDFðJLF`[Fm&`[BE]Qd ôg]QPíKNQdKJLCEBDdKZýJhaB mFPRFdKmF(G×CEJB \Fýlö iç¶jc¤ pø2VNWdKJ N
rtBDMsñhCEF ENS}X ñhPR]tmF(JLIKP[F,ôg]\P$íKNQdKJLCEBDdKZÖ`[íKFÿPRFMONWBEdhBEdhZÖCEBDdhFNWP×m2]QdTG`RPRNQBDd`RG(
ú C·9¸®
)¬
BDMsñhCEFMsFd`7GNWdKJ IKG[F(GM]G`]Qô=`RíhF,`RP[Bum LGONWdKJ ]Qñh`[BEMBEn(NW`[BE]QdKG$JLF(GRm2PRBDq©F(J BEd
rtF(m2`[BE]QÄ
d qLúh÷}F(m7íhdhBumNQCJLF2`7NWBECEG!m(NWd'qTFjôg]\IhdKJ×BDdØü H^e ` W'lzú C·9¸®)¬ BEG!NcïfNWBECuNWqhCEF
Nf
` ·^¸G¸S¹*ºM»G»¼V¼G¼*½¾¿¸½IÀGÁ¿¸VÁ½¿¸f»gÂÃÄ[ÅÇÆfÈG»É^ÈS¸Ç·ÄÇÈǸ½I·^¸ÊËKú
ì d×ü H^e ` W'lLV Heir W$lhñhPRFCEBDMsBEdKNWPRî1F ELñ©FPRBDMsF(d\`7NWCLF(ïcNQCDITNf`[BE]QdTG}lFPRF/mNWPRPRBDFJ]QIh`
]Qd#`RF(Ga`RG×NWPRBEG[BDdKZðôgP[]\M `RFMsñ©]QP7NWCP[FNQG[]QdhBEdhZ ü He/K
A 1NWdKJ#ôg]QPRMsNQCï\FPRaB ITm(Nf`RBD]\d#]Wô
`[BEMFJÿG[îLG`RFMOG
ü Heir W'l°ú ì d0`RíhÝ
F IKP7Ga`m2CuNQGRG]Qô6ñhPR]QqhCEFMOG(VKlF
íKNcï\F
m2]\MñTNWPRF(J]QIKP
P[FGaIhCD`RG6l!B®`Rí`RíhFPRF(G[IhCD`RG]QôT`RíhFGañ©F(mBENQCDBEnFJñhP[]LmF(JLIhPR
F k·9¸ÅÁNWCD`[íh]\IhZQ>
í á·9¸Z®)¬
BEGNWqhCEF`R]$`7NQm tCEF
Nl!BuJLFPjm2CuNQGRG=]Wô6ñhPR]QqhCEFMOG(VTBD`=PRIhdKGô~NQGa`[F(P`RíKNf``[íKF kG·9¸ÖGa]\CDï\FPV
l!íhBEm7í,BuGGañ©F(mBENQCDBEnFJ×`[]O`RíhF
ñhPR]QqKCDF(M9mCEN\G[G(ú ì d,`RíhFG[F(m]QdKJm2CuNQGRG(VKlFíKNcïQF1F(dKm2]LJLFJ
qT]\IhdKJLFJ Ms]LJLFCm7íKF(m tBDdKZÿñhPR]QqhCEFMOGôg]QP`RBDMsF(JýG[îLG`RFMOGBDd`[]ó`[íKFGRNf`RBE0G ITNQqhBDCEBD`îð]Wô
þ0Nf`RíLùôg]\P[MIhCuNQG(VhNWdKJ×PRIh\
d á·9¸Z®)¬ ]\d×`[íhF(M×ú ì `!`[IhPRdhFJ]QIL`!`RíKNf`]\IhPNWñKñhP[]NQm7í
lN\G_m]QMsñKNWP7NWqKCDFBEd$Fòm2BEFdKmîl!BD`[í$`l_]l_F(CDCDùzF(Ga`RNWqKCDBuGaíKF(JOMs]LJLFCm7íhFm QF(PRGôg]\PY`RBDMsFJ
GaîLGa`[FMOG(VhNWdKJG[BDZ\dhJB ITmNQd\`RCDîOMs]\P[FjF ELñhPRF(GRG[BDï\Fü Heir W'l°ú
xW2xk|Zx²åV¨
x}ë
n
_»{QÍ æÎÏÐ Ñ_¸¾\7¹2a¾KÑc»>R¢
(®b'Ñf{>µ¹¢bÑÑ!
(\µ¼µ
&Ì6µ³Qt¾jÑQQ7Î(¯z®(\bÑY
'²yÓ»¯¢&¾gYººQ
c(³aË1±u
_Q
µWµÏ=¶
(¹=¸®(¯}
2cR6»>
f
(µ&((t¾ « µ\&Y´s2Ë\|
7¹µ³&>
ºL
(¯¢®
(¯7Ñ1xxÒ/:*%; ÓÔÕEÖ×Ø ÙÇÚÚÙÇÓ® Î"æ"æ Î Ñ1y©
sººL&2&ÑY
µDε
Ì
6Û cÜÝßÞÞ¥¥c¥²¨Q 2¨~c¤\ 2¤²¨¢ [ÞÇà&QÂ(\ÞáÜcfQc c²¨ Û &L Ñ
Z
Ñ 6¹(¾\
\L{_ÑK{(¯zR®µµb©(¾ Ñ Ð µ¸\³[Ë\µÏµ®QÑ}y>|~Î(¯¢&¾sºQ
f³7&¾\¸Q7¯_±E
(
Ð*ââÏ
7¹1ºL
(a&(¯¢
(µÏQÑØx°N
Ò/:*%;ÓQ×@/:*+7'. ü 4Ôk*"4ã%.+/=.+49;+.Ð*"4\Ò\, ü 4'4$3546äKÔÒ6åPææ(
Ñ
ç âââ
Ñ Y¸t¾\R¹a¾KQ
Ñ1{>µ¹2¢gj
Ñ Ñ!
¼µ
2Ì6µ³ ((¾ Ñ1W7Ît¯zDbÑ ' ²y>|
Ì Y{Ñ
æÎÏÐ K
»(¯¢7¾ó»>
(¸¾\&¾0´
W¾Q7Y{>Ë7³a½WµÏs±u
yµ¹1&¾0WQ¯z7¹1¯7Ñ Î8ææÎ Ä
Ñ YµDε
Û c
Ü%ÝßÞÞ¥c¥¥²¨Q ¨~c¤\ (¤²¨¢ Þà&QÂ(Q ÞáÜcfQf Â(¨ Û t Ñ
Ñ}»>µR
Ñ>{>µ¹¢b Ñ{>®½c>(\
¾ é=Q
Ñ èLËW¸TÑÖfQ¹ÎL
µµ³¹1
W¾Q76³[Ë\7³a½Qµ\Ï
Ì »{{Qè
ââÏ
Ì6Ë
¸Q_» À/À ¯7Ñx
Ò/:*%;ÓÔÕêØ ææ( ç âââ Ñ
ëì Ï Ñ Ñ(»}¢WW&Ñ Ð a(ºËQ|»(¯¢&Q
¾ _µÏ(
(˹1¯©±E
(²»>
f
(µ&(1¶¸\³Rµ
(j´sµº¸\D2µ
TÑ
Ì »}¢S
_¸\ϸ¯z ç â ëìWÑ
ù / ü 4$( ü ;2AB3B*"4$(V*"4<Ôk*">i79@A&.+/+(h{}P| î ë ã7ë é ß ìïïð[ì â ç t
í ×××
{ _Å
» â ï ÏKñ Ñf{>ËtTfÑ òQÑ _¾\R¯¢
(TfÑc»>&(¹1(f(¾ À Ñ _
(½WµTÑK{>
(¹Î\®\µÏ/³7
(¯z¢a®f
Ì ¯¢
µWµÏ(¾¯zQ¹ÎL
(µ®³¹1
W¾\7h³aË7³a½W®\Ï=±E
(³7®(¯¢¯Y
(±¯zQ¯z7¹1¯Ì6Ës\
Q|µµ7
³7
\¯z¢a(µf¯7Ñ©xR
Ò\/C*%;ÓÔÕêØ æó2Wc
(µ¸¹1 ç Î ëáô
(± õö8Ô÷fº(ÏRQ
¯ î ç ìðî Î ïf$ (±bW
x°¯za7b^ ò¸\ ç ââ ïfÑhQºQµÏ[¢P| ø²R®(ÏQÑ
´'Ñ À &Qµ¯7 Ð Ñ «
Ï(7¹(\T2t¾ À Ñ «
7®(t¾hÑ 0¹(³a˵º\
(Ï(a¹ ±u
Ë7
7¹
Ì À «T« ì
ÎÏ
º\
2WµÏ\6
Ñ ù*8@/04 ü , *ßãPAYú$.*ÕÔûO ë ãlï é ç â ì Î Ñ
ì
>
¶
Ñ
®
\
¸
³a˵ϵ®st¾ÑTW7Ît¯zDbÑ1»}¸µ®¾\µÏ¾\7³7µ¯¢µ
'º\
f³77¾\¸\R¯/±u
(¹1
W¾\(
Ì
Ð
â
Ï
Ð
µ
ϵ³7¯s±D
¹5º\
ºL
(¯¢®
(t=¾Q7³7µ¯¢µ
º\
f³77¾\¸\R¯|Ë\'³&¯¢×¯z¸¾QØ
±¹1
W¾\(
ÑjÑx°1
Ò\/C*%;Ó\*ßãVAYú$..üýAYúNÔk*"4ã%.+/=.+49;+.Ý*"41Õ?@AÎ*"> ü A&.þ-ÖV.uþ"@';2AB3Â*84 « ?_x[Z _RÌ
»}¸\¯zÌ6µ³[½L9 ò\Q¬! ' _¸\ϸ¯z ç ââ ìQÑKWº\µÏ(R6
ø}[DÏ\Ñ
>
¶
Ñ
®
\
¸
a
³
Ë
µ
Ï
µ
®
s
t
¾
T
Ñ
W
7
t
Î
z
¯
D
b
1
Ñ
}
»
¸
µ
®
\
¾
µ
Ï
¾\7³7µ¯¢µ
'º\
f³77¾\¸\R¯/±u
(¹1
W¾\(
Ì
Ð
ææáÏ
Ð
µ
ϵ³7¯s±D
¹5º\
ºL
(¯¢®
(t=¾Q7³7µ¯¢µ
º\
f³77¾\¸\R¯|Ë\'³&¯¢×¯z¸¾QØ
±¹1
W¾\(
Ñãb¹
é Ñ í 4ã2*"/+> ü AB3Â*"4 ü 4Gþ:Ôk*8>?79@A ü AB3Â*84 ç ì Î ã ç íÎ"é KÔ³R
(ÎLR í _
7¹ÎLR Î"ææ"æ Ñ
ë
[
x
Ñ
_
(
¢
f³a½W¯Ø(¾ Ñj¶>Ñ
7|°Q³aË\7®¾\R&Ñ ¶t{y t¾ À « Ñ x°ÿ
Ò/:*%;2(¡Ó
Ì >
â
Ï
ù9ü ,a. ü @Ø æ(tW¸¹=ÎLR ç î â ïµ « P_xaQºt(Ï(7¯ Î ïðî æ ÑKQºQµÏ[¢P| ø²R®(ÏQ ç ââ ëQÑ
ì
=Ñ Ñ¸\ À Ñ´%³ _µµ7¯zR&(t¾»¢Q7µ¹(KÑ ³7
W¾QµÏ_²®(\¯µ
(ºL
¯¢µ
t
Ì Ñ´O
â
Ï
«
(ϵ³Ñ}x°
Ò/:*%;Ó-Ø æ
2 ç ââ ìWÑ
« i æ ç Ï òQÑt´
fR®µR&G ò\Ñ « µ³aËWRQÎL[Ï\ ='Ñ _¾\R¯¢RTQ(1
¾ Ñ ¸µÏa¾hѲ¶¸µWQ¹=ÎL
µµ³
Ì ´
´
W¾\7{>Ë7³a½WµÏj
±yµ¹1&¾OWQ¯z7¹1¯>¸¯¢µÏ À h[7³7 À 7³7µ¯¢µ
À ®Ï(a(¹1¯7Ñ}x°
×~,a.:;2AB/C*"4$3Â;*öy*8A&.+(P354
ù ú$.:*"/:.+AB3Â; ü ,%Ôk*">?79@A&.+/÷9;23Î.+4;0.[\c
µ¸¹1 Î îWÑ µ¯¢7WµR_Q³7|
7³R Î8ææ ç Ñ
ÑT²¸\ÏËKÑ1yË1Ô¹17Ïc
y©7¯zc ßT
±u(¯z=(¾$ºQa(³Rµ³&}µf7Ï(Rº\
Ïa(¹1¹1µÏ(|
Ì ¸Ï
âÎÏ
ñ
Ï
(º\˹9±E
(
¾Q7ºL7t¾Q7³Rs((Q¯¢µ¯7Ñ Ôk*">V>j@4$3Â; ü AB3B*"4ç*ßã1AYú'.-ÕÔûk
Y¸Ï(¸¯z
Ñ
ç ââÎ
ø æ çÏ
ÑWY
Î\®\¯¢
(
¾ Ñ ø}
\½c
2hc&¾\
(¯7
Ñ ü 4Gþ *%**ßãEÕÒ@AÎ*"> ü A&.uþ~. ü (2*84$3546(Ñ
Ì
µ¯¢7WµR/Q³7µ7\³7¸Îµµ¯¢Ë[¯7 Î8ææ ç Ñ
ÑtQRÎt(¯z®bѲx°f7Ï(a2µÏ }yÖW
µcR¯Ì6Ë´sË_&¯¢
\R>¯ ßL¶
(¸¾µ
(¯
Ì W7Î
æ çÏ
(¾Ø»(¯¢µ_
³ _µÏ(
(˹1¯7Ñ y©7³aË\µ³&(Y_RºL
(¢ æ ççç | ÎÎ x°y6{}|x/QyÅ
_
2c7¹ÎL[
Ñ
Å
_
(
(
µ
®
(
\
Î
µ
6
Û c
Ü%ÝßÞÞ¥c¥¥²¨Q ¨~c¤\ (¤²¨¢
Þà&QÂ((\
ÞáÜcfQf Â(¨ Û 2L Ñ
ç
Î"æ"æ
¸ ìë Ï Ñt´'ÑtQ¹¸\µµf(TÑ û 35/+(=A7å/uþ.+/*õk*=6"3Â;RÑ>QºQ®\ÏR¢l| ø²R®(ÏQ$ Eé ç â ìëQÑ
Ì W¹G
hÑ ñ
±u¹t¾ À Ñ ñ 7®¾hÑQyË « > }y \ϵ¼
Ùóµö
¯ Yºº\®µ³&2µ
Y7¯¢
¸Q³7
Ì
ñ
ñ
ââáÏ
²®µ\Ï\Ѳx°
Ò\/C*%;Ó í ùGÔÕ í ç âââ Ñ
Ì
Y{
© Copyright 2026 Paperzz