Professional Documents
Culture Documents
Semantics-Based Filtering: Logic Programming's Killer App
Semantics-Based Filtering: Logic Programming's Killer App
(G1B9Tz__z0__[@$G[IEu$V_TI_[zzEu1R[z
_I10[o_[1z1$u_p_10[o_[$VIEu$V_)zo[1*
_01z_z[XuB1zrz__z;__[@$z;Bz@[I1uuB1z
_1Tz_"[PuB1zuk1G)R[G_u_;;11*1(zT$z[B1G
[1
1*u!1R[[Vku1*[B;uG!IB1*11z0
$"[z
[kB1GTozI1uPuqzoBTz9z_z
__[@$G@$
R[z)Bzzku$BGE[Gf11G"iz1"_z;R_1zzizkzV1[_uz
_1*_uz_GEu1I_-kuB1z!1o"[1zP_![G1qu
1[Bz
I1uB[I_Vzq1*E[Gzzr)u$z!zzz1E[1G1_G_o_0GE[*1z[
[Gzu1z_GXEu1Ru1z$[VEuzzE[z_(1(*PEu1R[z
1!zK10[)VBr[[*11zz0BRu[GuG1[1*
_
_V1[u1z;1_[$[uET;;p_9*1[[
1_[$[uEG[G1_0["[zz_*Eu1z
_uzo[1zo[11Vp_iquBr
_oEu1zorV_[z_Xz_zu[1[pru1!q1@P*_z_oI_XGqBz_z
zBI
BR1; >[
1*1BEu1z_TR[[_
!o1i
V@1;1[u1VI_u_E[z_1
[1*I_u_E[z_[1z!_*1
I1*qGB1zqBG1)u1;0[z
rVrB*[1z1o[1zkG1
zz*P
0)[B))__p)0_E[7I_7_@[z_1B1N
[1*[zkB11*9Bku$z_$z_[G1_Eu1z10z$
I1B_Ru1zz010XzB$@Eu1z__[3z_op_vzqG
z[V
G(1nI1z@Eu1z_[V_pR_
$![B1i1;1[u1__[1z1z
_o[1zR[E[z_
19u$zz19@u1*R[
[1T1u_
Eu1z_T1u)[*_@z;1G
!iqpB1X* q*1
;p 1
*1 _r "!#!$%&%#')(%*) +!#,$
(%#,)-#(*) .!/ $
!10&(!#,&2#,*435.6!&,#%&%1(%&!*4798f:
!#,$<;=%10'1(*>7 8R?
!)0#(!#,#2&,*8@5AB!#!&%#2&%#C#'*4 B!#,)0#-#(&0!
DE*1 _/ 3F;'&'1G5%;=%#%&2#CIH1# J pD FKL.5<q M H>7[D N" OM
P.5<q
MB H9# J_B
11N<
<DN#*QKRAS.k *QT
Nrq* _r U*OAV* qr1 Wiq
[ M =uU M
MB H9# J_B
11N<
<DN#*U1K5RYB[r [ZP1[ \Q*Q[r Z1[ \Q*D5YFM
X .5<q
q 91N<
<DNq* ^_" 0 ^EK
_&1 H9`MO*
_ *UAX# JFB *^4aM
] V
MB H9# J_B
11N<
<DN#*QRcedEf#
N ur
K/
_#1 g #*Uao"R rD N*^Rd+M
b .5<q
h.5<q
MB HZ & # #*U5=cidEf#
N ur
K/
_#1 g #*Uao"R rD N*^Rd+M
j #q
q *>8kDN#Ml*Zrr U*Qd MnmF[ _ #*`8kDN#M
Eu$
[1XXG_;[@z_E[G1R[G$__[@1z19z(1E[K10Bz
[zBG1_Eu$z;_E[@1z10IEuz
1*u1z_o[Po[Eu[)
r @R[1z[uE[o[1;1Eu1Ru1z01zB1[!1B[1z([
B@B1z11*z(_
I;$1o[z90z_1uI(1PB(1I*
1zE[G1R[u p*R_
k1o_1zu0z1z0[1uIE[z_$uk1G)[$;_zTzz
kuB!1
Eu1R[;11_zz_1;_z B11Kp_10[BE[z_
1[1"V(1(T1 11z^11zo(11T1z1o[1z$*1(1G
[;Gz_[9[)@zz$[R_ zozBz[1B;0"$o)G_
1)u$zz1o_1zq*qG_iG1Eu_BGz11z)^__[I_BR[1z!
z[V
oB
zB_zqz1B1@uz0""_;1@Eo[9[1B1$
[zz"(o"_
X1*q0u$[@[zE Iz_*G XB*E[z
1B1$" z1z[zzq*1;
X1*z1GrV
$zzzB_z_0"o"_
E[zB10[Bo(
1G)1z1Gz*_B1[1"o1$G1z_
1z1o[1z
010E[z_(z(z1G$1z1z_(zB1*11*"o"_$
0$zz9u_*P!0* _[1z("T"_0B1zz
X1BqB[
[zk11*10"
"zz
z)uB1zBBzBzuzB
[$)G_Pu0111K[1GG_Eu1z_(9o$Eu1R[[1To
zBI1TBo[1zu9uB1z;1B1zo I_$PX k1_Pz1;u
@zz)z9;o_1zz$90[($uqz)u01_G10E[z_
I 1;[E[__[P rT1G[o"Xkz_z0_G1T_G11*
z1@z1z$_z@G1_IEu$V_$z_oT1BR[zz$[Gz"[z
11G1z$[Vzr
Bo_V$z(1T1Eu1Ru1K1*q
I>1_Eu9PKB@B1
1z1zTR[[@u
Bz_[zB K1B1*T[VzV_z(o11
BEuizzz[V1Eu1Ru1_I_ 1T [(^1zz)Eur
R[1;1E[G1R[
k@1Eu1Ru1_1B1R[zzz)00[0I_710[B1z
u
1T10uqz)u r1z[o$V$G1B>uu1B[[_^_z
1_[$@T[^I1ukuB1zI$Euzz(z_z(z$1[R[1 r
_uq[01G
1BBEu>u010[B1zu! _@1z1z[z1o*9z
1z_z_B$_R
p KI_*pqz@110[B1z[!1z1
[[1;1uVBzkuB1z*o[zk*q*Euz)[G BI)I
[R p1! "I"zkE[G1R[_!u$o$G1@1
E[G1R[1*q*[P
1Bz_[zB!B1*;[VBk"[
1;E[G1R[_zu1u1z[zz;_GEu1
I110[B1z*[z_PGz[_[z_1*f
B;1ou1z_*
[z[zzB[R[[o1;"
o(z_oz$E[G[9$zz
1G_z_
# : $&%1"[V_"_*_$o[1*)
1Euz1z_u[quE!uqz
[@z1zIEu$V_)o[Bokuu_[BEu_"
uqzu1
*o(z10[_X)_*11Eur
pR[k11G)
"1[BBEuuz>1uo
[_u1zuz0_GE[z*Rr _z01[u1
I)Eu1R[z
1B[PV1Bz_[zB!1*q*[PVzkEuzII1*BzVz[
_G11G;11*u1z_o[Xu1uz_z__[@
[B[zzB
E[[BGuz_ou_z1Bzo_[1zo[
_[z1
1G)$u$Bo;Bq!Gz1z_
o"1_o1_"$G_[V0
Bz
_$uq[Pi11G0I_u1^1Eu1Ru1_$u$Vz[1*_1T1Eu1R
1
_[z([)G1[_[GK_1[;([1$u1u1z[zz_GE[z*I_
1;*R[Eu1z_10[B1z*o[oG11G_ *
[@;B[z@q
1[Bz
*_11;uP110[B1z1o"[1zP_;10[B1zV1o
1z_@_G1z1[kR*_$o_z1z_uz;*o1z_;z_11G1
[0o
uB[zz
E[Gz01_0G;1B[p
1iI!$1$zR[[10[V11;1uu1_B1*qB
1zE1[zG_1!R[u_
ozB[B1z1o*zu1B[P r_Go9G_1*
1uI_[_[G1z_G(B_ $G11zB1z1
(10o)*_B
1BV1G1z1z_ # G %1E[Gz_uq*_$Gzz1z__z!zz$z))o[1z
[B1BI1!
f
R[G_u_
# : % uz
G_
*1z_*uz$
_BBk1z;u_o[_* 1@1z
uz$R[[!z
1"
z1z_o[V_@zz0_z_(1*1z1@zT_*1*_$G*9u_r!1o[z
zz1_B[z01_1"X[@1uo[10I_[zz;1[;_1"
zz1
z$
z0_
_9z_z
10[B1z o[1*
[G1z1qu
P"![(o1z_$1[Gz>T
"_uzuzzr0[qz)u)o[1_*Eu11*1_z
zzz(Ru_u_0o1z^1B1 z@11zz
(uB1z([1X [u)1G
$zr*_$*I1N0u1u$1*[B0o[1^R1G[r [
1z;$zzz1z1(z9[Tz$oEu1z_;R[[_ r9*_B1[1"X1G)qB[
[T1*[B1o"[1z((;[$z;RuE[z_z*oz0_z
1_[$@z
[G1quu1z_z$__[@$z$zzuzT1GI)Eu1R[z
I_uRu_u_"![z1_1zuzT1ouqzoRu1[Ru_o[_@1[u1z_^u
_[!1rVz I1 zz__z;__[@$G
$*1_*R_G1[Bz
*G)
_
P1G[o1z^"_T[z"Bo _G1zz@1EuB1z$z
_@G"1oRuzzV_1z@[Pz1*_$G1zoz;1*1zBG)[I
u1_G_oEu1zq1@G[u1_o_o[
_*1p1BBu01Bz11G
1*k_E[@1
o$B[*_z_z[!Vzr r!uuBz11u1V1$
*)z1K1[Bu; #&%1Bz_z_*1
)uzzr@1$G1*
[0[B$R[G_u_"
uzz_G11GEu1R[_Vz1;rVT_G
B0;RK0_[$0[o1ou1z_o1)u_zzqo$1
z@r
Euq # &%1qu1;Bo[!_B*[Vz_>I_
Eu$E[$_zI
[G(ozz_1u_z_zG1_Eu$$[ru1zB
zzX1[on
R[vI_;1GET1z[ # :: : %1uz[G_[BEu_
B[zB0G_
z__zV10[B1zi[u1B[zk[1 "" z1*1V[@zzp[G1qu
1o_G1B(
I)E[G1R[GEBu1[;BEurI10"
1z_TR[[ # : %1u1_BB(_G>I_;_G"E[G1R[v_1u
zzz
zz1*1z_uX1[u11Bz0_*EurBG $*z!I_@zR[[ BG[k
v)[_[I_;[_z$BG$B1(@1r111"[GoqG
zzzzz1*1z_o[PEu1R[_rV(rV$;Xzz*I"[1zz
G)
1*11GE[@zzzrq
(kozz_V1u10[B1ziz1Gu!1o_B1R[Bo$Vz__z!G1_Eu
$z VBzzuzz[z_PG)_*11zzzzr0[k)Eu1R[z_q1To11o
z10zz[o
Gzu0$BPBz_*1 [G
u[_[z11*
1$[1_@
[1G1u1_G
*z(1z;oznEP
Bo1zG$zT1*1 Izz
[GBz@1z;1G_z_1z*0_u1Bz01z1u1z_Go1zoT1G;u*
1_;[@z1zuBzG_
i1
1!
"" ! # % $'& ( ) !
*
"_p_pR +"_p # : : G % zkkzr1[zz1*$$*1B_I!1
1z_X1zP[u[zB1z;[_E[@$zR[[ r(1G_[[
10[B1z!u1B[P110[B1zi[P;1_[$@zR[[[Eu1z_
z!*
0z1@[[0[1zuB1z*o19u1
[@IG1z_GGG_"
1z_o[o10[B1zuu_o[_u1
$o_B
, [p" - p " IR .oukB1G;[!1u1
1 ozz_@$
*
u_Eu$$uz01GVI10[
, ")I
_ / .1G1B10[u1zu___n1G1 I_!*qG11z1G
@[z[__[z11*z$1GRu_u_ B1[0[1zuB__*1
rBzuz[1_uGRu1uz_1*1GR[1zG1 uz_z1
u11BRu1*E[z_[GGR[1V1G
z$*q[1;1*1
0 B "IR! 2.!1u1@I*1z_uz@[101$z@B1[
, " qIf_1
1*[B;[z_*Eu
3 z_
G_Eu1z_o[uqzPuvR[[!;_[1_[5
46z11*
z1Eu1z_@[ 4 6
1Eu1z_uuB1z!u0_[z@q
[GBz1Bz_uo[1zp);1u111*[% 4 6 [GE[z_
[# 4 6 V[B1zr1u!zu$o[zV1;I10[Bu10["[_G1B1zu1B
[
@Bou uzz[o;[$Gz[(o1*(101[)G1_o1z
[7 4 6 !_z@[oE[GrI1$*Eu1@1G1BE[z_u7 4 6 f_ z
*_$GzT1*1BEu1z_["[o0B $_ $zB1z # : %I r1G
[o;Vu11G$
[;1G1u
zr[$zzR[Vz10I10[PuB1z Euz*
B1z1z$uo;I@ # : &%1
8 9 ;:'#< !r[% $& ( ) !
E[Gz_u*_[1z[z*qG1
1BBEu>uVEu$u1"qu1G
10[B1z[z_*Eu)[(_uz[p
z>
= uzz@_v__zu
B0[B1zu(R[G_u_01BrR[9z_zR$G1 1q 1*qG[z
1
$o_*q[!1G
Eu1z_uX10[B1zuR[G_u_ # : &%1Bz1z$G
[0E[z_(p_B1GG_[[uB1zGz01*1z1z
z9z_
[_@)*R[Eu1z_@r^R1G$1*1z1zT1*[B*z
11GE[Eu1
1u$*_[1z[Rz[GkB*ku[Gz"[1z # : % u1[1rk*_
[_uBE[
: u11*)u(@_[zTp1_71@1BBEu9*o[(z1(zzz
R
I_G1k;1o"[1z[ R[[[T11zBR[zz1[u1T10
*
!Rp@
? B
A_)
I; 3 #G &%1oz;1BBEu1ou1z_PB*
[k 3 [[@zq[G)z$ 1_z
1B19[$;o[1[G1_0["[zz_
EuGPG[1;uo
1*1@[1
_E[@1z1z0 u0_[z
1*[1
1*X10[B1zuz_[0_uo[1zIG1z_G[9uz1o
Bz@_0R[z_z_ 1*1zG101GBq[0[@10[B1z*
[z_u1
B*Euz)9[B$Eu[z_;_E[@$
1B1Tu
z_k1q0z1o[
X1B_oEu1z_uP@qGzkzzX;EuG010I
1BBEu9Bz([(uqz)_uz[9BT$G[Bz
X1*q*q*1z
1E[_zVz;_zV1_Eu B*1z_qG_!* u$z_"z11BBE[[_
zI [r1z_B" 1_z1rBz_Bz_z1_1*1z_G1*qo[1z
zkEuGPB0B1Eu1BB$p R " # % *q*1z1[1*_$zV1*
1*[u11zzEuGPvz_z1B$z
*1B;_[zu1z_@1z
I_X*_[z[z1i10[B1zI*1z_"11z_uz[PB1*P_uo[1zP
1Pu(EuzPXB"XzB111$uT_@z*1)fB@u1u_[z
1z_uP1;zB11*1V[0[z1_[z"[1zz # : % "V1zo_1_
#&%k
Euz # %k_uz[Po1 Bzq[01_[ ;G_Eu1z_Tuo
_@P
V1z_z[i10[B1z[^0^I_[_u1z_o[P1G$*ur
[0[10[
_1z_z$uo91I^B11z^11z@[
1_[$"B
_10z_z[Xuqz[kR[G_u_[K
BzV[;[
[Bz_0[1 u1z_[!
R[[;_11;u[G
10z_"[X$"[z
R*_[1z[1_Eu
1z1$zR[[kVu1_B!u[[
[Bz_0[1 u1z_u1Gkz_z!z$zzzz
V1_Eu
^_![![[Bz_u1 u1z[
[P1z1u z!1G10
1_[zkuBu1 [z_;[@1*
z)G1z_zz_V__[@$G_z
fB1G$z)*q[z__
11ou1z_@z11*![u1[R[1z1B191[Bzz)1[_uz)1
z1"oEu1uk1oIBz01z1*;I1 10k*_1
uk1oIBz01G
G$Ru10_[@[I; 3 I_$[GVu[G1_G1R[$_[zu1z_
1*z[z*11*qR[zz1R[Ruu1
1;[1u1u11;1
[1[P X 4
!o;11_@z_XG1zu1Ik; 3 uP [
Eu_
0B1*
[ v[1zuT1B*)u111 Iz"PX
4
o !o;1;10*_Xzu1I_
; 3 [ [[_*B1*
[P u11*[G1B*u11 o I_VzBX r X i1;_
z_o_[zu1z_1G"[1;[!R[ko[11uP u @11R[z_
4[
X r 1 4
o
X
o1
RuE[z_z*!!Bz_[zGku1!_[G[_1*qG1G
10[B1zVuz;_z_*P_G
1G"[1;u$o@I_i_[zz
_z_*
[ " """ _[_1[[V_"_[ 4 4 u
r "k
o1o
z1$"[1I_V1
1*z[
1o
1z11zz
* _z_o
_
1o[;*[110[B1z1o(G_[[zzBB1
Bq[9u
10[B1zo1o"[1z)u VR[[![1i_z;BzXk;$Eu$urkzX_G
1BBEuz)z1BBE[K1ou1z_T*
k;qG1zu_G)uqz
1z
z01G)uqz1ou1z_To;k;G1Bz_PXu1z_uzBG[k
1$[GqzzR[
1*z["
o;G0zGz_[zu1z_1*z[I
10[B1z" z1B11BBEu1z0")o;B1B*P;k;(_[@[[
zI1z_@1zzET*(10*z@o[1*z$; 3 RB*_B_1z
1z_B 1z_;1G*E
!"1
!
(
Bzz1Eu1_ IEu$V_$z1>_
Ru1_[Gz"[1z1@zEK_
[
1B[$o[V*1*1 IzzuzzP_;1uk
[zzu1z_uP_[G1qu
1
_[[V$_z_[1*)BEu1zuX"*1;11*[V1B1
ukz)zB1*11z0;_n"1[u1z_qu$_1zzzzr[P1GEu1R[z_
1B*1[!k[z@1EuBXu1qG11_G1u_o[_o[11VV1
u*G0Eu1[!1Eu1R[G_u_Rr _zB1u11* 4 u_G
z$zzz1** ruz [i1@1[u1)[1o>I [
$q!uV_1XG1_1"[1G1z1
u;1;_G1_G*V;k
1zqzo
! $ $ .-7
:0/ #2143
# [ 2 $p) ! <%$( ' &)( * &,+
[
(1)*_G)01z [E[G1R[G@1K[1^k[zzzB$*q
1 !z$G1*$[0I1T 1 p[u1z *1G(
z1o[zz r@[z1*$B1GB1E __[V* 0*qz$ E[;z_*11zr0[ I*
B1;[[!B**$G_o[1zPo$ 1T__Tu;1TqKB
1([1z1zz(1*q$zz11Guu10[*uB**_i0_qu
[1@1"[
90[u1*[z;$_$[*1G0B[zzz$o[z1
1B1
u01_Ru1uk[u1z"B@19K[10VEuzz;zE[z_01*
I_*qGG[u1zz1@u1z[
ru1zI
rk(0[z(1"[1;f _ukVEuzz0*1$z_z6
5 ([[1(Iu$zz$
_[@[zz[*qo[1@IBz(0[u1z P[RzR1(q
k[zzz
B1z
[G1qu[T_G0o
p_zz[k0z*1Euz9u1"uo__
zk1zz1@_@z10[B1z1ou1z_P
11G[zq_oz1VR[ 3 Eu$0[1VI; 3 [Pz_z 1_Eu$$zVu$o
1*I_!*Bz)u_[zz
[1iI!_BBrr1z1z__Eu$0[1[!Vzr
; 3 u[_*1@_B1*qzBI1u1z_@I_ 1G$11*Ru_u_[^1*
_GG!z!1
G1B1[111*_BBuI_zz[z_G!1$z_z[Buqz
IEu$V_Xki1_1k zR[kE[@"GI_@1u1
VEuzz
B_Iz[VB$;10[B1z0[zI_$u1@k[zzB
u1
1 B r0110[B1z;1ou1z_1G
u*_uz[!_$[!1G
1$)u1@oB(10zBI1u1z_0z(1G$qBBB_@BXo[
z
1[@1BBE[1*1 Ru11;[1izouo1
G XBkuqz
oz_1G_B1*qVzBI1u1z_z!BkzP r1*!1
Euz)1
10[B1z"!V"1^[01T_BBzBp_10[(Bzz1^1T_z0_
[1R[o1*qoz1[ I_$P
(1*1B9 R*_GEuz1z$G*
u IEu_@B[)9*qG(z[
z[Gz01(E[G1R[[ [)R 9f1*1o_zB$R[$[zz[1
zqG_$Ru;1B*u)Bo_*qE*!(1_z$1G$1BBEu([;1o_zBu
$R[zVRB19z$u1@k[zz*qG[); 3 [VB1Go[1z
[TqG[1@11*9zp_
@zzzrV1*11z)$Bo;[_u1R[G
[@[zz[kokz_01K10[B1z[@1Eu1Ru1@[11K1u
*$11G11*1o_z$ Gu1*[zB11z_G G
@1u10VE[zzz;B)Eu1R[_u[G*qz19u1u@_B1*_1zzzr
[!1G1B1[_
*_*1PBo1G)uqzuk@1T[9VEuzz
B;u_z_*$z1*1z[ B 1B;[1G[[ B-o[1
1"
#%$&'$)(*+*-,,.%$)(*/
#%$&'$)890;:'0=<**>,,.
%$)8*0;!?$&: *0@#%$)<*/
%$)9$)(**E,,.GF$)(*/
%$)9$)KL0NM90@8**,,.
F$)K*0QP'$)M*0N%$)8*/
!?$&!%$)ML0NR**>,,.SP'$)M*0>T)RU9/
!?$&!%$WVYXBV+0IR**>,,.ZTWV[XBV\U90]T)RU9/
!?$&!%$)R**E,,.`T)RU9/
P'$T
c
U*-,,.dT
c
U9/
P'$T
cBef4U*E,,.dT
c
U90NP'$&4 */
F$)#*J,,.ZT)#U9/
F$)k*J,,.ZT)kU9/
F$& *J,,.ZT&U9/
F$ml*J,,.ZTmlU9/
F$& *J,,.ZT&U9/
)Bq[9uT10[B1z1ou1z_[1BGE[Gu9B)[G1_0[
[zz$G1[Bz
;z19@E[G1R[01B19oBokV)zB[01z;__[3_(
z__z_E[@$z;1B1 [u1$I_zz[z
BX
1*;Iz[z
u1Vz_[z
z$11*1o_;1
-*qG11z_ uB _z
[
qG"1i1z-[z_z;R[[1Eu1Ru1_ # : : &%_p1_-$*1
[k[zzzB # %1 u$ou1zz
1z_@I10[IEu$V_X
1[u1I_3@19K[1Kk[zz;B10 [_;"_[zR[zGqzPV
zz!_GG1z_u1B[P! r ["
*_$G*1Eu1R[_ukoK_**
B$_G__ r1B_@;_z0 " u$@_B1ukV_1@1@1B*))Eur
R[1)[G(1([$zz1(KE[(1u)[_z1*z$o_1zz)BT1[EG1
z[1z1z_01G_z_ #
5 %1G1Eu1Ru1_z*G Xr1*11*[10[
BB_IVz([G9[zz
r@[z9[G911z1" _B1o[zzqG;zz
[G"_[zR[G;[u9[ $BzB1_oq01[pru1$p ! r 3
[V_BG1B1zB11*1o[uz1uu1T 1($*1
[(k[zzz)B@1[u1
zz
zPP;pE[@V_1K1B1z(ozP
z1(1G1I_ 1G;"Pu G[z_P1Tz_(o1orV1G
[G_Eu1z_^I@k[zzz
[(E[z_0I;Bz9K[1Gu1zG1(z
_o;[( oB [G1*$u1T_[0101u;zG9[K1z_B1*
1B1[EG_R[E[1"[1*E[u1*[zI1 @[ 1[$B
z[_
8
' [ ! $ !f 9 ( #< + ! ! ( ! &
& P (
B!VzB_
[![Gz"[1z
[X_i1Eu1Ru1z_IEu$V_;1
_zBGEu1
[1z-z;_@Eu1z_o[[z_z_B1V[_I_1!;[[kzu
1G_z_ r I_[z_uzzr RBE _q*k^z1r r1_ 3 [1@B
_G1_1zp__$1z;1*1u19z@_@Eu1z_o[oz_z_q[G*
_B
zNG1B1 1^$[([0_[1z)[Ir[1BG_zI_@z_zB
I_u1z
V_1@B_1GTz1uE1" r1Gz_zBI10[1z*!1*_[
1uIru1@1B_z"o1u1I__1o[1Bz_1(0[_
zBp_10[
Gzz)"_uzuzk[G1[u z" *_$@_;z_zBp_10[*
[uzqzk[zz1z1u1Gp_zz[G
1
: V B fu1zvB[ z$*q [E(B_R # %!;T10B1(@zz
[[u1[P_*1z;zBI1u1z_;zz_ 3 *u$[G 3 ;_G1*1zV[P1G
1B*1;z
@_zRu!1B*_
GenBank,
GSDB,
...
Blast
Clustal
Phylip,
Paup,
...
_11NrVrq
LJ;
N*
"D<DN#M
8 UQ^L
1_[zz_;X T # %Pz10$[zz_$;$*R[!B*
[_uz
$z
uEB1_GP
uq[
*1B1z
Eu_11!1G_z-B;1$![Ir[k[o[zB1z
1B_zVz1u_u 1z0B$1BG)1_ [uB)rBouzG
I_u1)u$o_1zz9[1Bz(1([1([@uqTrB*$[
1GI1u1
[;o_1zz_G_;zE[G_X 11z19u1[z[zz$_ 1*_
*1B;z I_[uT1$[
)G XB1GI10[1"B[V_*
1z1u_*10[PX;B 0 z!B*)[zz_@Bu_i1BG
1[u1z_[11*__Gz_q*G10z$X;B 0 z!k[Euq$
k1
[z1V1z$*iz_*E[q
vB ,[zz;1$!Gz
nI_1G[oG1@q1*k_E[@[[G$1$Vz$o_1[BzVI_u1![
_V1G1P
G[G1B[1z$_z z1^_*(zz1*1z_o[1[R[1I
zqrr__[7_@z[z_01zK_
_z_"[10[B1z[quE # : %1
r_Gz_)1Gu"[9u!11_[$Gz1*9z1 z[_*
B1Eu1Ru1_;[T1[ I_$KB$[TB1u11*q[PXz1
_B10rVK1
Eu_[
zozz;[zE[G1u1B1z@1_
10E[GrI1u1z_T[;10zB1[1B[1zzB1*1z11GI_
uG[z[G_[BEu_
uz[TB1u!1*1BEu1z_^;[;p_;_*1
I_u k;1GGG[V1[R[1z(rV
[^10zB1[
1G1BE[z_P
zz1Eu1^zz_ 1GzB1*1uk1*1BEu1z_EG_1*p_1@z
1*1z_uX1[u1 ;
# %1B$BR[V[0Bu[GI10[!*uz
GenBank,
GSDB,
...
Blast
Phylip,
Paup,
...
Clustal
Translator
Blast
Phylip,
Paup,
...
Clustal
Translator
GenBank,
GSDB,
...
Blast-Nexus-Clustal
Clustal-Nexus-...
8@J
=JL<
E`<^&M
fBGz__z1EV$$G1z_z@1*1z$uzP_*1z
B* I_
u1z_@G[zz0*B9@1B1u1z
z_z1" (1G_90[B$1I_
u1VB11*1B
11*qG"X$1V[!1G u1;p_1oRuP1
_;q[zT I_[z_$[;z
(B9@[1zRuG1_Eu9(_BE[q
[VquGu11*qz_$z@1u1iI[*[
[PzkzB11zI
1uz1quX[!1[BzzGp_1 G[G_VI10[iI_urB
[_G1zR[1*1uIr[1* uE(G XBqz(uzBI_u1z_0z( ^z
z1Tz9zBE0z0[_*_1"[uz
B> BuP 1*z@r
Euqi_*z![V1GEu[$zV_ Bzz[zz[z;1GGBzV[
zBEB I__1z$o[Ep_o_1zzI1G1z_z_"[X[zzu1z_" ;0z
[
1[z
G) ;0zI10[VGoB
uk[Buzz[PBzz
z
[z10[zz[$o$zBI10[1zI@1o_E[7u1Gu1z0zzG
G1_Eur1o$GBXVG11*qzz ;zz)o_1zz$9n9uV1G
111*1Bz1*(I
1B1u1zz_z_[Gzu1z_G
zzzop_
zE[G_
Eu G_Eu1"1*ou11z*Buz@[Bz1[*oBo[@1
qBI!I10[PzB1*1_o[zzzr)V"z_o$uko@_G11
1z0$_1^z__zu10[B1z)uq[PBuB1z
u ;(z
B1
z1@$uT_[1zI_u11(Euz11zz9E[G1R[_1"V1T[
1z
[G1B[9o[
o(z$G*$B1*G1z 1z_( _z_ Gz z9; 3 I
1BBEu*[z_([_Gu _z_p_uB1z*[z_* 1zz
11BBEu u10[B1zV[P;_[iI_[Rz$u1*R[V[ ;Vuko
[*_$GzI_zz[z;1Euz1z_o[1[$B
$zz"_1"_;1u
_[[;z;zB1
zz1u[[*qGoBPo1;B*[;1u
[_B_*11*)zB1;zz1Pu1_"[z1P*1V1_Gu1V[1G; 3 u
o[1
1
[PXz[zzqu1
o[1;11*)zV_z_u[G11R[;10[B1z"
[V_"_zB$zu$[PG[z1z!*[1_
1[z1z[o*[
1GzB1*1uXI1u11*q[Por vzzu
z_z
*_B1BV1G1z1z_R[[
R_ z[zB1*1z"_*I1uXI!u1* # %f*
Bzzzr[ ;0[qz*[z$z@BE[z[)uzG_
[0z1
; 3 z
_9Ru1_ rr[
;Tz
z90[B0"B;$11z$zR[9@qG[
R[[
1u(19@[V$
R[G_u__ r(1G10[z[1z
1z
k1o[z!z1*1
_@)u1GB*
1*z1G@z$*q[$uu([
1*1[v K11_Go_zB1*q[z$Ru_u_
G1z_p_10[
R[[Eu_[1z*1z_*9BBr_@1*zB1z1)(o"__B1*q
1G1z1z_I"[1G1"
G1z01uz0zz1;[[[B;__* (z>zuBq[z
z$*q1Vp_zz[GI1u
[1G1B1z1G
1_T1*__G [T1G1[ uT_z@B_z[
[V1__*9zT1z_
0B_z[u101*zRu1E[G1R[1Eu_@1(@1[_*1(1G
1*X_ oGu1zu1_XG)[GG$1*EGzqG
9z1Eu1Ru1_
[qGB1o[X["Bzz
1z)Br1*1$zz 1[G$zBzr
[!1_0nz1z_K0 ;Xzu1$Bo[!1"[1iRRV1_
z( u1@_Bru1$z_ fR$$*q;[^q*z1z_fzR
G1_("BKB11* [0R[[
Rz@_@$B1"[ T1
[T[1[Vz1zzrBo X*_$@B1u9o"_@[*_)@[GG[z
zIu$z
$0[Br)B
z91GB0$u1o[;11z
q1o XRi1*__Gz_$u__*u$V_1GV1*1z1z11G*_B1Bz
z$1G[o["
kEuz1z_uq; 3 zBk*_1!u[Gz)u_[G zPu1_
[TGz
zz1
[)
E z zT1$; 3 1u11 z_ r;z
z[
I1 10B ^1z1u)zB_u_qT(1*1
1@1u1@1@zu__*;([G_[1z*1[!@[GG[k1_
[^z11"[[[$*_$o_GB1$[0*B(10qBi1*EGzqG
kG1_o_up_zz[ 1z1)zT1uz9u(u11zK1zzEu_G1zq _*1
1z$;V1u$z)G1z0u11z0[
zB_B I_
@1_Tk"[z!$G1zu1
Gz9[1G11*qz;11"[5 B "R_T0EG9*11G
1B_11*1o_;1
_Bo1*PX*_*1G
zB;
_101
*qo__*P
r[zzz"Bz;1G1BzGkzBEu
11uk1* 3 z;[@
[Gz*P_GV" Xzuz[!Gzzkqo_z
zq u[z)zGz1oEuzVI_[1z; v[B[o[1zzB
1ukG1
E[Gz_uX_@zz;_z_zzX;1BG1$)G1_
1GBz
G1z zzz1Eu1(BR$0z$z01GpE[$B1[(z
1 1rku1_G$B1;u
u1$__*[T1@rB
*1X1z1T[1$*qzz;u101zz1G;_
_;[
1$zz1z_PGR[1$u1$Bz$1G1z1z(qB[Kz$B0[1*[
1zo9[;*_zzu1GP
V k P(')
K
H
1[1[!1G)E[G1R[0z;I10[1[G1z@ uzB1[z
B
1BEu1z_ # : %1q*
[1zz)[G
u1
1
_*Eu1Eu1R[z_
zkorp_1@P! r@1
Eu1R[z_$Eu_;1;u111B*zu*11G
1Bz0_VI1u!G1
_z_z[X[G1B[01*1z*[z*
u1ukz@z$B[1zu1@1[u1)u)o1([1z [_q r
ukG1B*z0
1_1z$
f*1V1u 5[@_B1G![PV_ *V1B1z
zko_1zz1z[XE[G1R[[$
;X BBzz[G>vB
9E[G1R[_1@"_0o 11-1@z@1[Bzqz_z1
k1I_iz[Vz)[_*E[XBG10Bzz_BB1"q01 I_[k[oz[*
Iuz$o_;I_1*1p_10[_z11[[z0
1$@qGz
z1
$BIBz
B;1_Eu*
1 z__zu10[B1z@[-[quE_1"[1z^uzz[1*1K@z
$B[1z[!1z*o;_@zBzr[
zEu1R[_z*9
1oIBz1k;(_[@[ "_B1zz1uz!1_0[_0[1zuzf1z
_z(1BBEuz9[1*[B@1zz* *$V1BG1z_o
V_@GGz11GEu$u;["[^zI1u)[G ;^u)$1
1z$*_$z
[$z$z1nou1[;R[$uI_[ I_[i
z1z_@z$1G
zEu1_*
k;u01;_[@[I[@I1u_[zz
; 3 [@1ou1z_0[P;_[zu1z_1*z[[V1z$GV1[z_BVz
z1G1Eu1R[_1B_^*11o[(p0[(@_B1[V_X$_)uz
u!_$;I_u z1zBI_u;1o0_[@"1[P_u1z_I_
u1 r["P; 3 _[$0[[ z
1 1)*__@z1o[1
_*zzVI v >_1[1
zz1o[1[$ G [1I[zz
1G1)uk $z
[1)zzBz)$z0GzK1z01"
z1z_o[_z_$G;1 G_B1*qz_
[@_ : !u1_
r_1z@1
Eu1R[z_$1Bz;[
_G1Eu1Ru1_zzo)"_uzuz
11z_zBI1u1!$Gr1_
V01_"
9.# ( :
!r 3 ( :
TB010[B1z0z1z_z V9*_Gz$E[G1R[u)K
!_z*i z1Gu1rRu_u_(zzr1-11G1BB
$B!_@1(PB!*KzuTo[1*$R[[iI_Vu1Bz0_z
[0q[oz!zK (u_$ rB1*10[*1GK1_
1
u !R "1 n"B!zKzz@z_o9B*__1z
[ r(vBX011_Ru [Bz1; "_ "1 i1uGr
1[!_z*@[
[1uPPV I_[z_q[z;!!*
u1_*BGV)o[_!*@[z1uz[XV1zB1[VR1G1_G_
*Eo
z1$
VBr[;qR1
uz)G1[1*_;_
Bz [$k*pI_$(*_B1B I1K_Eu$0[1"Xzz_o[1GE[
[[11z9; 3 p_$zTR_G; 3 z9oVEu$u
1G"
zzz[1u111z
[z1K[z01o*PPB9uz0[TB1E
[_@Bzz(1u11@1zBq P[11@[@[$z
_G11z$1@ku1Gu1111*[k*_$o_GBkBrEu1"
; 3
1z*_1z1
[$*q*Euz
__[T_[zzo;1Eu1Ru10zB1_1Go[1
1z_*u1*u1u1z[zz1G)[zq[G
zB1 1;1B19"B
_;u0_@z1z$"_z$"Bz
uPz101G)[z_1z1G$_@[1z[
[*1uu1G
B*IBG
1;uqz![PK@1$!u!zK0zk;Bk10z
1V1z_z!10[B1z o[1*u1B[P z[V1u0[
@[11
[1
1*_11o_Gz9B1G[1G!_z;[1oPG1
1*z[;_z_) $uz1$"[91 z[111* _[z
*Gz0_
1;_uG[1G1$
_
1o[;11*[B*z1KE[z_uzB[K1u)z1
uqzz)o;_[@[V1G Gk"
G(1uz[k_[
[z_@I*1z__9uzP[V1
1zzz1z1G; 3 1zI
1G1[
io1_uo[1z0I*1z_
u1$zzGP[o[_1BBEuu
10[B1z;*o[([(o$zB[T_( _z_0zB11*1[(*q*1*
1[u101*q*$p1_ 9!zK!!B"_z_*1Gz
B@B1$nIo[Bz_u*qi_z;(BG$B[$1G)Bz
_[z
$0[z9[G_[BEu_[G1(z_"[ku1B[TI
_B1G
1!zKTu1
*9zG
[1@[!zzz11Eu1Ru1_u
[*_$GzP z1oI$1G91*[)_G1z I_@1T"1G
1[u1)Bu11GT[^_z1[R[10!zK B$*q
[1^iV_9[0[-[G1qu[ __1 z_0u uz1o[1
Euz[GzBVzGI_$fr GG
Eu_"_$z11_
_ *1$zz1z0 3 _BrVzoI_$@Bz1*1zu$z[
: _[@" nI_z!1u1P_o[11iI0u11[z1z[B
zz1G_z_[
R[_
[0Bz1_@z #&%1B(_$zzG1_1;1zz
_@z11[u1VI1T)i_z;!
" ' [ ! $!R
r$[o[@z_[V;_z1GG1_G*[P0[Bz;rk[[u1zB1*1_
Eu1
z$uEK_1Gr_G
1Ru1z_u u[1*__nrr_zB1Po(;1z
1G1_G* u Eu1R[z
__[@[G[;B1*11*z$1*u1z_o[uEu[
I_u)u__nrr_zB1-uEu[I10[ r u11zGu$V9*_G1G
1[u1z_u;-p;1[u1 *>G!G1_Eu$![@[;1;;p;1[B
[ _
P[G_u_V_E[@u0[o pTuEu[
V_G1zBzrouPz_o[ 1[u11[PkG_z$BXu1Ru1z_u
[[u1kuzz[z_Xz*GBI_ 1[[BuEu[!BB_@BX1[
zz[0u
_G$109pE[*BBu1_ r_X*1_G_;[T_G_
[[u1BBz1$B" >1z_*
[10o$n RB9[_G_E1o[
0[
;-G1_Eu$Eu[1 ;1_[$[uEGG1z_*1;I;_[1z
1Ru1z_uPq1@)[)R[z0[9G_[;0[_E[@Eu[[
;;G"[o)_G_B[uRu*uiGio1$1*R[z*1u;!
[V_*Xkz1(0[);V_1Tz1T__*rr_*qo[Eu[1G
1z!o_@k;z!$1V_@zX_[!G1_Eu$![o[EB110R[1z[zz
z$o"_;E[GrI1$*1__[@k[@[
*qG11Tz[@__*r
_*q("q _z1z91z
G1_G*z
1Kzz9uqz
z1
[[
;T__[@E[o[EV
;@__[0[uE;;TI_*k1P[G_u_z
(
11_zozz_1u;10[B1z;z1z0u9o$ z EIf_ I__z
1_[$@oqzz1zu9o_1z@1z$;[1z)10p1BBKK1z*1
[ zG11B [zz
_zBGG1_G*$!z1uz[Pz_V__[@$z
[T1Tz__zu10[B1z;u("[T10_G1z[z$G1BzqzrB[z"G1
quG)[$BzBI1_G)Bo1zGV_1Bz0_^zzz@z1
p_
[Ir[
1B1$I_
GzBI_u1zuGzGG$o[E[G1R[_;I
*$[
k[zzzB
G)
z1o[G_B[X@[p1z[ I_1G[zzu1z_
u1Gi1B
_z_B ukBo!uRB@BkrBonz1z_GEV[EGuk_zR
Eu1"[K9fGK[1BPu_o[_"PzG_Eu1z_I_1oIBz;[
R[[XI!u11zGu_0[zPz *z@z1*1!u1*1
G1Gzk[[1r1o;u1r)Ru_u_Rr _z_zk[V[PEu_Vz1
1**@[GG_[qB[1G*1u!_[1@1z)uP1*1;Eu_B1@
B0[E I_u1BzB@B11;[1G)"[VIG11G!q*1
[_0[1zuz[z1BouiEB0[_Eu__z1*$z@
I_1G$Eu$[1X$*$*1B
9*_B_B@B1[_
1z_;_B*1)u_"q;[z1
GV1
Eu1R[
;_ EG
10K!o1[;;^B$*q;[(o)GR"_T_T1GkX
_G1_1zo[V_@$z1@^R*1*1zz)BrBz[[ku$;B
R;0EurI10[1zEGI!__[@$G1E[G1R[u[GBu11z
_zqz[G9[
_*_$G*1z$GT_*o(;zz
1uR[G_u_z1z
1G_z_
_zG)z1zui@_1V" Xz1[Bzz_z1;1G1
1[ I_[z__zTB
*_[_uBE[ui 10z__zuX[_
_(1o[zuz[1[ I_u1z_1(o*qG11 zT1*_1zzu"
1u
z!0Eu1R[_1o^I)Eu1R[z9T
: 1([1
[_0[1zuz;Bzz1[R[1!p_1[R[1z
1
:
X_z__[@$Go[1*uB1zz1zV_qVz01z1u1z_Gk*1
1
1[z1z[[G1B[0"G_uI![@z_[P1R[[kzV_B1*qV1*1z1z
_Vzzk
: *! r$1GEK[E[Gz_u$zzV[01@z
k1XB_G1Bz_z_@z1B19! r0u1
u!1;*$>K[10VEuzz
B 71[u1z__zT!$zBzruT1z u$
1u)z
[*$^@1G1T1z_$G1zT1Euz1z_o[!$zz
_B
[V_*_i_$z_z[B1*[B*![uq[VV1_i_z[z
1
_z__zT[kV[G
zz11B1z1_z [$B1
[PV_ ;Eu$zV11GukV__@zzz
1[R[11iI_Vz_zBp_10[*
1uIru11B1$"
P Ni
9! B1!
E[Gz_uz;$zzz;1z__o[V*G10p_V1_zBz;z1z1z$"
[V_*[G1"[1zz"B1Euz1z_o[o_@zz;_z_uu1z)o
z@z1@10_BBp1_
: R[[X011z1"[1*9u1
_*Eu11
10[ # $&%o"_o01*B1zz_o$[!"[$o[z
REu
u1 u9zB1B@_@[1z)zB1T1Go[1$(u_$o[1z
zf[zzB1P!f[1z
z
# $&%I* uz[zz
uz$1V_@z
R[["[V[Voz*_1o[z_z;u11*1iI_*$k[zzV[
[ ;@z1zzoBz[@*1EuBG)z1G1;1B1@B(oz*_[
1[@[zz!
z[_Po[1*$u11*11o[!"*$B1z@_**
# %1*k1
[i_@z_1
_G1!z1u![PB
#% G
1*1z@Ru
[ G1qu$1*uEu1z_z1oI@_@z*11GuE0zk*0BR["
1z_*uz
o[1;11*
[1)0[zz11G1z_G 1G _B[o
zz$$zz!z>[_[z11*;"[1G[@10[B1zz1
r1Go[o$V$1*q-[[G1quu1z_z$__[@$G>u
I_uX10[B1zIGR[[1zz1oIBz01[u11G)[G1qu9[
z
z1E[(BR0Eu1zuk[Gz"[1z;[1G1z__Tzo_$G1u1uVRR
uqz;
V9[*1zz
_01G
PfzV0[Bz
0[1Gu1zku1zz)
zz1B VRzz uqzGz__zuP[Ir[)q1@;_**TI_;BBz__n
@zBIzB1*1_o[10z1^[^_1G Rz;uqz0R[1z[V[[u1
k1(z1^__*rr_*quEu[ V[Pf[_u1zuz0_*Eu1z([
[z
*_1_uzu1z[1iI_V[K!Buzz[[PzIEu$V_
[*1B1z0zzB_*11zB[1*PB[@zqEuz0_*$*qV[zq1G11)u
_@zz1;[;_0[z*oR[[
# : % _Tzu9ozT1*
1z_(RRz1ork*1GK[1G1VEuzzG_Eu1z_q )[G$*1
[PXRzRV1*1_G1f_ zB[V"BG1z_z$"[*_$Gz!p_o*
1B1$"Rzz 1[u1I_ y1ou1z_TR[[
# : $&%10 B_X_
[!qXIE[Gz[zz$*pqz@uz_orV(Eu1z_[;zz
[_0[1zuz[1_1z_z[1BBEu)[1*[BV1o"[1z!u
*G)*_z_oP
" P
k _iq
;
p 11
" X[ B
r
[ r [
X _r
[ " " k
_r
k
qrpr
" r "
1 r
0
$*r X
B p
R* 1
1 *1
Vrr ; _ q" R* _ 1 11 P 1 r q" $ k*
q"r q _
p
B!
Br
q " 1
rp _B
p *qpB B _V
$"p "r "r
B* q o 1 1
V R*
E
V [ _ k
!_r
u
!_r
[
!_r
"
i qr V
q"r q $p E" q
q
_ 1
i qr
_ B qrp1 _ B
q"r" B X _1" )r
"
1 I
[r ;
[ _1
i qr
_ @ k* ; _ z1 * * "
_r" " _ $
B Prr [ q q*
i 1 _ p_ V _B
qr;
;#M M
*M .FMK
J U*^M` @MQ &J
DN<
*OA4=N D * ^EA M 51$
#M4;=!#,&CM
(M`M M
N DIZRMSM17
N
\ UM)
DN ^N HQ ^N
^<DN
DJL< M
*D( -#(C -'#,*O;!&,1-1M
'M M /Q<@M4d 1
#J
DN ""dEa4Z
N A4N D M;!&!10M &J$
#LK
_& M
2
M SM D< ^ .M^
M
OMUA
"7_
ic ".R< #^ H
G5<D a #
N
* "!#$&% ('*),+.-/103254
6"7.' M
& #J
-MRMQ.
M>=J
NL H
8
Q *
/
#N +
"3
a #
N
DE.5<
TJ
N MQd ^ MQRd KFM
^M^(%#%&%M
C8
M MO^
<
OM 35YRa48 # &#< +H@ <DNL #N
\ &##*_& "'M-N#M./
D
*^.5 JL<
H9G5<D
N *QK/
_^*
M
D U*1
&*O;!&!#'M
08
M M eM^a 1QMQ D
Ha &
N # #JLJDM>#
D# :9
&MQ(^E= MQ;!&,101M
,MM`G
1H
U* M
N 1 MQA D5V5dEa 3 D1 \QM <
NL3 @MU;!#!&,M
!M
;
;c/ccM c/'M
;& g #
;VaM
;=%M
;
;c/ccM c/'M
;A/
;f M
;&;#M
;
;c/ccM c/'M
;A/
;_
N=f1J< ;
; (MGMUG MR3
E #
N <
^
D<
N M 8 >
=*?*@BA
"CDFEHGI
"CGIJKL6
KB ! C&EJGMJNCK:0 =*?*@:!*@"OP 25QSR @ JG.T *1 #& ;(#0 ^;=C#%MU#
^& :9
#*U;!&!#!M
;='MGMG *)7/M
<@M
$@
[.R<
&N
F#QN< DN
D
9
^N H $
JL1
J M>8k EGM
D UWV @ J
6 P K @FX RT PY@ KFT X R1K[Z,
6
T\5K *^ DN<
N *^UMQ('&%$ ('&!MD.5N#MU;!&!10M
;=2MGMG
D"7/M
@M
3
#
N
J
N H #J c
\EH
QN< DN O*
J
=JL<
4* DE_#
DN H #J QN ^N ^ &# MR7
H
Q ] c \1@*U#
^& F9
#*aON
&J
1N<
<DN#*
Q M
i qr
Vq"
V ; p
r 11
0r P
RV r 1 *p _ q" q 1
q 1
p
_
ErRiqrp
i qr B qiq" ;
1 P _"
*1 1 R
_
B 1
V
V
iq o1 B
p "p 1 r
" ; _ q"
1 r
[r"
i _ 1 1 *1
*q
; _ E
r
iqr ; q r
" _
B
B qr
qr k
X R*
"
_r
E " i qr
_
i
" _ 1 1
R* " X[ ! 1 *1
9 1 r
_
iB _ 1p 1 i Br
E _ _1 * R o1 q
p 1 r
1
;
[ B
[ *q
X
_r
_ E
Bp
p
_
V
r V
P @
r
X
[ q
R ;" R! [r ; R ;"
@
r ( V
r
q* " "rr r[q rr
[ 1 1r B "
k
p
p 1 R p " !
V"r
1 *1 _ _ VB *kp
q
1 R! 1
r
*r [_r
_ *
p ;"
r r
up _r
_1* * B
1
V
_
1
p 11
_ 1 1
B ; _
V [ 9 q
o o
r !"r
" ;* 1
_q " [ !
[ #" "q 1 !1! 1
r $
u
_ " _ k
1rp1
! r
1 r Xr1* r q"r
*1 1
&%
q
_ 1
k q [ q q*1 1
q
V"p_1 rr " B q
^^N
DJL< M @P3?
N
T ! ! R
K:
CR *1(C#C '#,&
' )2#%1(1*4;!&!#CM
(1;#8
M M M>8
*GM>G *U7M
<@*.MU U*4Z5MUd[
UM8
` +Q<$
c eZ H J
N +A
#
N+ & #J J^
#N OM8k EGM
D EGMJD P D J
$ TYZ @ D P T
d
\
a D #&#*
V5dEa
A c
/H
Z Q<@M
;
;c/ccM
^ c \QM N &S
J ; D< D%1
; ;Q< D%#21(21%;&M
J[M
(2MR. _#
Md # O*9. _#
aM1c
* ^ #D M4d #1 UM"57V5K*
f
<
B
5H J
H
J
N5H J
O
M X RT P <
*12#C @2 -!&
% 1C)(;&*O;!&!101M
(&-
M #D M>d # D". _#
Md #1 UM JD % JN @ 0 $B! J
RT 3T:
LZ ? R
C @! R
#N
*4;!&!10M
J ! NSD ? JGIJD P @ G @
\ P <
! @ G.T<
! )5457 M>) D *U D
D *>d
(C
M ]LM^d[
<1` # *QZRMQ ## M
9 &JLJ
N OM
(&0M M1RJL UM1A ^R5J
Z
L 1/H
d
^J
N DN
<^N=
;!10&(
/=_# @ \1H ]B
Y 5J
N
D[3
5H
^Z^Q*;=!10&(
(,MR M M
]<H@#MA DF H H #MQd 8@A MU;!#!&%M
(!MRA M
M
;1;ccc M M M
'&%MRaM1N #OMEd \1^ d
^=J
N
D
1N<
<DN 5NN=
:Z^ D
A
D
A4=N #& #M 1N=1^
H7 1
!&C*U;!#!&CM
';#MR.M1N DJ
M
@!
P J P
! J
X @ KBJ !,P <D T 0J @P?
N
"CR
G A J ! C\5JC @ @ @
Z K @!*P M
SM MDZ c ^ *;=!#,#CM
')(MR.M1N DJ
M # #JLJD ^ &#
J
N M98k B3 ^1 \ H &J
N<
^N&*
<"A DN \) *^QM
*UTT *QZ 1N
O*U4a*U;!&!#CMU DJLJ
E_& U*
5 d
#J ^ _& (,$;
;!#!&C (C)- $ (C)0M
'&'MRaMQ
D
^MQ MA ^
H &M9d 8 A * !&2M
'&2M`M`
<D #MQ3/
8k
#J OM <
N=3 @M4;!&!#'M
')-M`MU.M1c