Factorization of Unfoldings for Distributed Tile Systems Part 2: General Case Eric Fabre
To cite this version: Eric Fabre. Factorization of Unfoldings for Distributed Tile Systems Part 2: General Case. [Research Report] RR-5186, 2004.
HAL Id: inria-00071402 https://hal.inria.fr/inria-00071402 Submitted on 23 May 2006
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, est destin´ee au d´epˆot et `a la diffusion de documents scientifiques de niveau recherche, publi´es ou non, ´emanant des ´etablissements d’enseignement et de recherche fran¸cais ou ´etrangers, des laboratoires publics ou priv´es.
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
Factorization of Unfoldings for Distributed Tile Systems Part 2 : General Case Eric Fabre
N˚5186 May 2004
ISSN 0249-6399
ISRN INRIA/RR--5186--FR+ENG
Systèmes communicants
apport de recherche
! #"%$&'(*)+'-,/.0 1'324 56 87:9 1@?A!'
B CEDGFIHKJML1CEN OQPMR#STVUIWRXYZU[U]\ ^ _`Xbac^dSR e(f Ycg#WVSh/_`R#S f _jiklYZU m acn n Y f So W f WXpqW f XpqW^rQsutbvxwzy|{aP~}xxc%yn!ac
WR
bb xx- WXYZ^qR_`o W f a f
W/ou_`R#S f _ji \ SWoou_`RX f WVSWWVWV^dSR#PuR#SWVUIRb!GbR#PMRSWVUIRYZi Sac_j^qWoidPIXYZ^ ^qWXVS#_j^
an YxRR#_ji P a f
W[^d\ Ui1W f YcW WVUIWV^QSa f P6XYZU[n1YZ^qWV^QSRblPz a f
WE %¡lW[UIWbac^6S#p!acS&S#pqWR#_j¢bW[YclS#pqW[RPMR#SWVU n f WVWV^QSR_jSRR#S#\qouPacSa0
YZi!a 1 WVW Wn f YZn YxRW_j^qR#SWbaZoa£ f acUIWV¡¤Y f#¥ SYac^!a PuRWR#\qXpR#PuR#SWVUIRidPIn!a f SRb Sa ¥ _j^
¦aZouxac^dSac
WYcS#pqWV_ f UIYMou\ a f o WE§q^ _jS#_`YZ^K¨pqW ¥ WVP@_`R&S©¡¤YcY oª W[§ f R#S f WVn f WRWV^dSS#pqWV_ f&f \ ^qR0_j^«a S f \qW/XYZ^qXV\ f#f WV^qXVPRWVUac^QS#_`XxM¡ p _`Xp~a jf WbaZouP f Wou\qXWRlS#pqW¬R#SacSW¬WEMn YxR_`YZ^n pqWV^qYZUIWV^qYZ^&®(S f ag#WXVSY f _`WRl¡ p _`Xp YZ^ Pou_°¯ W f iQPS#pqW0Y f o W f _j^
Yc>XYZ^qXV\ f#f WV^QS¬WVWV^dSR/a f W£^qYZSou_`R#S#_j^
x\ _`R#pqWoª3¨pqW]XYZ^dWV^ _`WV^dS/oqacSa%R#S f \qXVS#\ f WR SY f WVn f WRWV^dSRWVSRYcKS f ag#WXVSY f _`WR¤_j^S#p _`RlRWVUac^dS#_`X£a f WXba j Woi f ac^qXp _j^
%n f YQXWRRWRYcªS#pqWRPMR#SWVUzMac^qoIS#pqWV_ f Uau_jUa Qf WVn f WRWV^dSacS#_jWlXY f#f WR#n1YZ^qo RSYS#pqW\ ^u±Y ou_j^
/YcqS#pqW3R#PuR#SWVUz¨pqW¤RWXYZ^qo&_`o Wba _`WRK_j^S#pqW(Y j Yb¡ _j^
f WR#\ SK®¬S#pqW%\ ^uY ou_j^
Yc aUIYQou\ a f R#PuR#SWVU-aZXVSY f _j¢bWR&aZR£S#pqWn f YMou\qXVS0Yc¤\ ^uY ou_j^
R0Yc¤_jSR£XYZU[n1YZ^qWV^QSRb ¡ p _`Xp²
x_jWRac^³WVWV^´UIY f W@XYZU[n!aZXVS f WVn f WRWV^QSacS#_`YZ^µYc f \ ^qR¶Yca·ou_`RS f _ji \ SWo´RPMR#SWVUz¸¨pqW f WEY f W¦YZ^qW R#pqYZ\ o f acS#pqW f n W f ±Y f U¹a j XYZU[n \ SacS#_`YZ^qRYZ^·S#p _`R0ºaZXVSY f _j¢bWo»Y f Uz W[n f YZn YxRWac^«a
WVi f ac_`XRWVS#S#_j^
¼SY o Y½RY ®6XYZU[n \ SacS#_`YZ^qRzSa ¥ W¦n aZXW@_j^³S#pqW@XbacSWV
Y f P´Yc0¾ac\
xUIWV^QSWo³i f ac^qXp _j^
:n f YMXWRRWR¿ 6ac^qo f W P_j^dSW f aZXVS#_`YZ^qR
ʰËKÌÀÍ©ÎbÏ ÌÐKÑjͺÒÓÔ Õ Ö×ÙØªÚ1ÛÝÜºÞ ÚªßØØàácáxÛÜâºã#äåæçèÉç!Õ¶á¿ÜºÛéGãëê¾âºØì£íîÉïÉí¼ßÝðcä/ì£íîÉïí@ñòóôàcðZä¿ã#äåbæ âºÖã(õܺãëðêÀÖ/ì/×öðc×öرâÜæÛÝó çãëØã#ßܺêÀÖd÷ Unité de recherche INRIA Rennes IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France) Téléphone : 02 99 84 71 00 - International : +33 2 99 84 71 00 Télécopie : 02 99 84 71 71 - International : +33 2 99 84 71 71
] '( '( $] ¸'(²!.0 324'(²' (É'( 56 ' 7:9½Éµ
^R _j^dS f WRRWo W
f ac^qo R&R#PuR#STVUIWR VV^VUIWV^dSR&ou_`RX f WVSR¿ªXYZ^qR#S f \ _jSR&WV^»XYZ^ ^qWXVSac^dS&\ ^ ^qYZUi f W WV o WXYZU[n1YxRac^QSRb e a f ©
f ac^qoM YZ^IR#_j
x^ _°§!Wd\qW öac^!a PuRWo WXWR(R#PuR#STVUIWR>^qWln1WV\ S(RW¤ºac_ f W/\ ^ ^ _jWbac\¦
YZi!a [Xbac\qRW&o \ ^¼n pV^qYZUITV^qW]o WEun YxR#_`YZ^¼XYZU]i _j^!acSYZ_ f Wx ^zn f YZn YxRW0\ ^qW&a SW f ^!acS#_jWx1XYZ^qR#_`R Sac^QS VS#\qou_`W f XWR(RPMR#STVUIWRÉn!a f UIY f XWbac\uªWV^%n f Yc§qSac^dSªgë\qR#SWVUIWV^QS3o W WV\ f ^!acS#\ f WUIYMou\ ac_ f Wx3klW a f WVn1YxRW R#\ f o WV\u¼_`o WRb! (^@n f WVU[_`W f£ _`WV\K1YZ^R#\ n n YxRW\ ^qWRVUac^QS#_"d\qW%o WXYZ^qXV\ f#f WV^qXW% f ac_`WR#\ f¬ WR¬S f ag#WXVSYZ_ f WR o W[XWR&RPMR#STVUIWR¿%klW aR#_j
x^ _°§!# W d\qW%o WR0S f ag#WXVSYZ_ f WR&^qW[ou_°¯ f ac^d$S Q\qWn!a f& WV^dS f W aZXWVUIWV^QSo %V V^qWVUIWV^QSR XYZ^qXV\ f#f WV^QSR^qW~RYZ^dSIn!aZRIou_`RS#_j^
x\ WRbX& W d\ _ n W f UIWVSo ¾g »o W f ou\ _ f W WEun YxR#_`YZ^AXYZUi _j^!acSYZ_ f Wx= @?Á_`Ra0S#\ n B ac^qo»S#_ WR f WR#n1WXVS#_jW PÉac^qoUIVK%_`R0S#pqW%_j^ _jS#_ a RSacSW[YclS#pqW[R#PuR#SWVU WMNEJOEQP:a f WIo WE§q^qWo»i W Yb¡ EYXa f _ aci WR a f W%o WV^qYZSWo@idP@Xbacn _jSa É WVS#SW f R[ZBEH\E^]`_aE^]b9Eacacacªac^qo¦Sa ¥ Wxa \qWRedEgfEJh!_EJhb9Eacacac£_j^S#pqW&§q^ _jSW%o YZUac_j^Ui¶ 1 IYcS ? _`Ra¦G\ ^qXVS#_`YZ^jIkNCml i½¨_ WRa f W
WV^qW f _`Xba j P:o WV^qYZSWo+iQP.n)EJnpoDEJn_aEJnb9E3WVSXxrq \ ^qXVS#_`YZ^ PUk)Gslut:v¦aZRRYMXV_ acSWRlSY]WbaZXpS#_ W¬S#pqWxa f _ aci W£RWVS¤YZ^¶¡ p _`Xp_jSYZn1W f acSWRVwQS#pqW¬xa f _ aci W¬RWVSNP ADn9R(_jU[n!aZXVSWo iQPS#_ xW n _`R3a RY0o WV^qYZSWo[idy P C1z(Y f R#pqY f Sb _°¯>6 Y[}HETjÁ- r ! tx[]4CC+9E%I K A]YRI K A]BR }uSn[G-G)9E P!JADn9R1C+SjPADn:RVC u Sn{G-+G)9Ex[]C+C+ESMVJADn)E^]YR M`ADnE^]yR¬ac^qU o OJADn)E^]YR sO!ADn)E^]YR¬YZ^n!ac_ f Y R ADnE^]yR¡ pqW f W S#pqWRW/±\ ^qXVS#_`YZ^qR¬a f W&o WE§q^qWoª W IVK , ¡ ¢IVK e YZ_j^dSt f W Q\ _ f WRIS#p!acSI_j^ _jS#_ a R#SacSWRXYZ_j^qXV_`o W¦YZ^AR#p!a f Wo+xa f _ aci WRbRYS#pqW f W¼WEu_`R#SRa6R#SacS0 o WE§q^qWo6YZ ^ £ C R#\qXp·S#p!ac[S IVK 4IVK¤ e YZ_j^dS%}WEMn f WRRWR£S#p!acS0S©¡lYzXYZU[n1YZ^qWV^QSR&U\qR#S]o WX a f W[S#pqW[RacUIW R#p!a f Wo%xa f _ aci WR>Y f a£XYZU[UIYZ^IS#_ Wxdvac¥ ^qo%n YZ_j^dS¬S#p!acS3YZ^[S#pqWRW R#p!a f Wo%xa f _ aci WRbxn f W ac^qo%n YxR#S ©XYZ^qou_jS#_`YZ^qR U\qR#S&a RY¶i1WS#pqWRÝacUIWx 5©^YZS#pqW f ¡¤Y f o RbªXYZU[UIYZ^S#_ WR0YZ^ P¼ou_°¯ªW f idPzS#pqWxa f _ aci WR¬S#pqWVP¦_jU[n!aZXVS£_j^@S#pqW XYZU[n YZ^qWV^dSR¶¡ pqW f W¦S#pqWVPAacn n1Wba f OMY·S#pqW f W¼WEu_`R#SR¶a»
YZi!a Ps¦£§¨P!&R#\qXp¡ p _`Xp@o WE§q^qW0S#pqW ML> ac^qo0Oë
O YZ^ªA£ ¢CR`|A£§ G- REdS#pqW f WR#S f _`XVS#_`YZ^qR f WWEu_`R#S(n!a f S#_ a G\ ^qXVS#_`YZ^qRM»ac^qo ¦
_jS#p&S#p _`RKXYZpqW f WV^qXWn f ZY n1W f SÀPxac^qo£S#pqWaZRRYMXV_ acSWo0o WE§q^ _jS#_`YZ^qRYc&MNEJOEQPÉcS#pqW(XYZU[n YxR#_jS#_`YZ^Yc!? _pEJ?b9EacacacVEJ? _`RR_jU[n Po WE§q^qWozidP A£§DCE£§¢G-E ¢I K EMNEOE&PR ët ? _H?bcacacH? ¡ , 5À^S#pqW/RW d\qW MidP¶aci \qRW£Yc^qYZSacS#_`YZ^qRbu¡lW¬UabPo f YZnS#pqW/_j^qo WE (_j0 ^ MLEJO(ac^q o P6K¡ pqWV^zo WE§q^ _j^
ac^qo¶\qR#_j^
XYZpqW f WV^QS¬XYZU[n YZ^qWV^dSR G£_jWV^aS#_ WR#PuR#SWVs U ?.4ADCSEHGEJI K EHMNEJOEQP1R3ac^qo%a/R#\ iqRWV§S C o C«YcZa f _ aci WRb¡¤W o WE§q^qWlS#pqW ? Q CNoKaZR ? ¤ v DA C o EHG o EJI K ¤ EHM ¤ 6v EJO ¤ 6v EQP o R v , ¡ pqW f WYG o pn G kxC1z,0G o ac^qoG o E-P o AHRx P AHRLC o B5©^YZS#pqW f ¡¤Y f o Rb? o ¥ WWVnqR¬S#pqWS#_ WR Yc? SYZa f _ aci WR¬ f YZUmCGo Sqq Y f R#_jU[n _`XV_jS©P ¡lW]¡ f _jSWB? ¤ v ADCoWEHG oWEJIVK¤ v EHMNEJOEQP+oWREqqY f a[
x_jWV^ ?¡ _jS#p»Za f _ aci WIRWVSFC£ WVS[C C ±Y f sFs* ac^qo»o WE§q^qWY? 4? ¤ v9¥ Epse Á%¨pqWV^»S#pqWY? a f W XYZpqW f WV^QS/ac^qo0? _ cacacH? ? ¤ ¥ v¥
~Ã b< W£o WE§q^qW0a aZR a]S f _jn W A!xE#"SE^l}REu¡ pqW f W$!ac^qo " a f W0ou_`R#S#_j^qXVS o WV^Q\ UIW f aci W 8 ac^qo RWVSRbKac^qo l A!|%"eR§£A&"4|'!BR_`R£S#pqW)( +* 1¬^_j^ _jS#_ a Ua f#¥ _j^
,! K ! UaP¦i1W aZo o Wo¦SY[S#p _`R/o WE§q^ _jS#_`YZ^K 1 K _`R£a%^qWVS£ac\
xUIWV^dSWo¦¡ _jS#pa aci W _j^
Uacn.-ªk!£/" l10/q¡ pqW f W 0A_`Ra&§q^ _jSW£RWVS Yc aci W Rb WVUIWV^QSRYc2!}£3"a f W£a RYXba j Wo (¨pqW£S f ac^qR#_jS#_jW0ac^qo f W!WEM_jW£X YxR#\ f W Yc3S#pqW !Yb¡ f W acS#_`YZ^ l YZ^@^qYQo WR¬_`R/o WV^qYZSWo¦iQ5 P 4 76 Y f S#pqW_ f#f W !WEM_jWn!a f S EF qqY f aI^qYQo W98_jSR 8 ac^qo : _j^¼S#pqW£^qWVS¬a f W f WR#n WXVS#_jW P~o WE§q^qWo¼aZ@?k?lA8Bac^q, o 8C; D@?k80lA?Ed 18^qWVS 8 f YZF U S9Y joª_`R£a%Uac. n G kH! £I" lJ![o£I"SoKR#\qXp¦S#p!acSt G§A!yR ![o G¡ _jS#p G A! K R ! K o EH G A&"eR " o uac^qo¶} £±Y f WVW f PIS f ac^qR#_jS#_`YZ ^ n£YcE H G f WR#S f _`XVSWo¶SY ; n/o WE§q^qWR a0i _ g#WXVS#_`YZ^~YZ^dSY ;KG ADn:RE>ac^qL o G f WR#S f _`XVSWo·S Y nM;%o WE§q^qWRai _ gëWXVS#_`YZ^ÁYZ^dS' Y G§ADn9R#;Z+ 5©N ac^qO o o3a f W aci W Wo6^qWVSRbP GÁ_`Ra RY f W Q\ _ f Wo~SY[n f WRW f W&S#pqW aci1W _j^
q 5À^¼a^qWVSb SÀ¡¤Y[^qYMo WR 8VEQ8+o a f W]Rac_`oSY%i1W (l !o WV^qYZSWo~idI P 8RS8+oGu_°¯S#pqW f W0WEu_`R#S S©¡lY[S f ac^qR#_jS#_`YZ^qR n)EJnoT"¸R#\qXpzS#p!ac S nU4V8- no4V8+oKac^q% o ;^n,;^npo§W u 18S#_ WR#PuR#SWV U ?j ADCFEHGEJI K EHMNEJOEQP1R¬Xbac^¼i WaZRRYQXV_ acSWozSYac^¦W Q\ _jxa WV^dS/^qWVSidP~Sa ¥ _j^ /
! C |0i¶ ! KX6A]EJIVKA]YRJR^E^] CS#pqW0S#_ W&RPMR#SWVU ?/qo WV^qYZSWo~id! P #" ±RWW0S#pqWY f WVU }x[_j^ ös E *%c $# "& Ç Ã ¿ Ã < 8 =/ >
D
$
',7V *L/+)"V* "&%B"%$&$&'()()+*,$-.*&)/1*N2s"&% 3N()/1*,$5N*,7 8N()"%$-9+
W ^qY¿¡ n f YZn1YxRW¶S#pqW¶^qYZS#_`YZ^qRIYc0ac\
xUIWV^dSWo:YMXXV\ f#f WV^qXW^qWVSRIac^qo:ac\
xUIWV^dSWo+i f ac^qXp _j^
6n f YMXWRRWRb(_j^ Y f o W f SY&o WRX f _ji W f \ ^qRlYca&R#PuR#SWVU Xba f#f PM_j^
WEuS f a&Xbac\qRa _jSÀP f W acS#_`YZ^qRb ac^qoISY ¥ WWVnS f aZX ¥ YcKWEuS f a&XYZ^ q_`XVS f W acS#_`YZ^qR/aZR¡¤W j ¨pqWRW0R#S f \qXVS#\ f WRa f W0YZi Sac_j^qWo~iQPUIW f
x_j^
IS#pqW0RSac^qoqa f o~o WE§q^ _jS#_`YZ^¦YcÉYMXXV\ f#f WV^qXW0^qWVSR f WR#nK3i f ac^qXp _j^
n f YMXWRRWR ¤¡ _jS#pzS#pqW&o WE§q^ _jS#_`YZ^¦Yc>n f _jUIW&WVWV^QSR#S f \qXVS#\ f WR ö} © ')( ã¬êÀÖÛÛEØã£âºÛ[ä¿+ã *Zðã/êëÛÝ,ð *.-EàÜ©ßâº×öÛEðcØßØØà,å / ðcãÀâºØëò1ó°ÛܬSß rßââºã¾ÜÛÝó(ÖuÛ r 0Û -Ýãëðcã¾×öâ æ÷~Õ Ö×ÙØêëÛÝðâÜ©ßÝØ±âºØ ÚK× âºÖâºÖcã/رâ©ßÝðZäßÜ©ä ä+ã *cðc× âº×öÛEð/ÚKÖ×öêÀÖÜ©ßâºÖcãÀÜê¾ÛEðcØ×Ùä¿ã¾ÜºØKØàcåcØãÀâºØÛóq#ã tVãëðâºØë÷ çç ðSRTUVXW
v
" Ã Ã È Ç 2 c à à à b < 1¬^ 8 ) 8 1 ) [ A]\FE_^E^l E 6 E R}R_`R¬YZi Sac_j^qWo¼idPzaZocgëYZ_j^ _j^
a[Xbac\qRa _jSÀP~ac^qo@a%XYZ^ q_`XVS f W acS#_`YZ^¦SY[S#pqW]YMXXV\ f#f WV^qXW&^qWVS)[ A]\FE_^E^ljRE_j^zR\qXp@a ¡aP~S#p!acS tx 6 _`Ran!a f S#_ a Y f o W ff W acS#_`YZ^¦YZO ^ ^ WEMSWV^qou_j^
IS#pqW&n!a f S#_ a Y f o W f 6 Yc A]\FE_^E^ljR1® $kE k o %^E
k 6
k o
k 6lk o
}u 6 _`R ¡lW j ±YZ\ ^qo Wo0® $k[l^EhdeMk o kSk o 6lk+dHfhg u R-_`RaR#PMU[UIWVS f _`Xac^qo]ac^QS#_ f W!WEM_jW f W acS#_`YZ^]YZ^ ^WEuSWV^qou_j^
)R³YcA]\FE_^E^ljR1®`$k)E k o k R
kpo
%^E kMR k o
q R_`R _j^ pqW f _jSWo Xbac\qRa _jS©P 6 ® kE kaoWE kpo o+%^TE k R kaoqac^qo kpo 6lkpo o k R kpo o ¨pqWac\
xUIWV^QSacS#_`YZ^Yc A]\eE_^E^l}RÉ_j^QSYA]\FE_^E^lE 6 ERjRacUIYZ\ ^QSR3SY f WVn aZXV_j^
]RYZUIWXYZ^qXV\ f#f WV^qXVP f W acS#_`YZ^qR i WVS©¡lWWV^¼WVWV^dSR WV_jS#pqW f iQP¶aXbac\qRa _jS©PY f idP¶aXYZ^ q_`XVSbH5© 6 ac^qo RXYZ_j^qXV_`o W£¡ _jS#p 6²ac^qoORM¡lW¬¡ _ j ^qYZS ou_`R#S#_j^
x\ _`R p [ f YZU [¶0lP¦aci \qRWYcSW f U[_j^qY YZ
xPKn!ac_ f R0Yc¤WVWV^dSR f W acSWoiQP R~`R f WR#nK 6/6 ¬a f W Xba j WozWEuS f a[XYZ^ q_`XVS f W acS#_`YZ^q R f WR#nK(WEuS f a[Xbac\qRa _jSÀP f W acS#_`YZ^qR E ^ ^ i \ S3^!acS#\ f a j P%n f YZn!ac
dacSWSY&a j ^qYMo WR3Yc [¶d_º WxÉSY \£$^>¨p _`R m W acS#_`YZ^qR 6 ac^qo R a f W o WE§q^qWoIYZ
n f YZn!ac
dacS#_`YZ^~_`Ro YZ^qW/idPIS f ac^qR_jS#_jQ_jSÀPIY f 6· ac^qoidP_j^ pqW f _jSac^qXW/±Y f R³R ac^ql o b Ak9_ R kbREkl+Y ©RWVSR¬ac^qo~XV\ SR/a f W&o WE§q^qWo f YZU ¸_j^zS#pqW£\qR#\!a ¡aP ¨pqW^qYZS#_`YZ^»Yc 8 %ou_°¯ªW f R£R _j
xpdS P¼ f YZU-S#pqW%YZ^qW%o WE§q^qWo¼Y f R#Sac^qoqa f oYQXXV\ f#f WV^qXW^qWVSRb£¨pq3 W 1 ) [ o A]\ o E_^ o E^l o E 6 o E R o R¤_`Ra[n f WE§ Yc [4sA]\FE_^TE^l E 6E R}REqR#S#_ j o WV^qYZSWo¼idP [ o [q_°¯ [ \[o \I ^ o ^ ^ [ Y f 6· \eoªac^q,o ^ oKa f W WE±SXbac\qRa j P~X YxRWo_j k[l^E k %^ o kM;F'\eo © l{oªac^qo 6oªa f W0S#pqW f WR#S f _`XVS#_`YZ^qR¬Yc l ac^qo 6 SY%^qYQo WRYc [Bo±!ac^qo¶§q^!a j P R{o > S#pqW f WR#S f _`XVS#_`YZ^¼Yc RSY ^ o± 5À^+YZS#pqW f ¡lY f o Rb [ o _`R%a@Xbac\qRa j P«X YxRWo½R#\ i º^qWVS[Yc [>Y f 663¡ pqW f WS#pqWXYZ^ q_`XVS f W acS#_`YZ^+_`Rn YxRR#_ji P [SYYZi Sac_j^aR#S f _`XVSln f WE§ Yc f WV_j^uY f XWoªH 5ÀS_`RlS#pqW f WE±Y f W/R#\ "XV_`WV^QS SY f WV_j^uY f XWS#pqW/XYZ^ q_`XVS f W acS#_`YZ^ R Yc [ G^qYZS#_`XWS#p!acSÉS#p _`R f WV_j^uY f XWVUIWV^dS(U\qR#SpqY¿¡¤WVW f PM_`W oaZa _`oac\
xUIWV^dSWo[YMXXV\ f#f WV^qXW^qWV S Eɨp _`R>RYZUIWVpqYb¡ \ ^Q\qR#\!a f W Q\ _ f WVUIWV^dS0YZ^@XYZ^ q_`XVS f W acS#_`YZ^qR0acn n Wba f RSYWV^qR#\ f W]S#p!acS [ o [ _°¯6WVW f PzXYZ^u§q
x\ f acS#_`YZ^»Yc [ o _`R G_`RYZUIY f n p _`X&SY a%XYZ^u§q
x\ f acS#_`YZ^@Yc
[¶!aZR¡¤W0¡ _ j RWW&i1W Y¿¡& 1¬^ > Yc [ ±Y f R_jU[n P ªY f R#pqY f S ¬_`R]azXYZ^ q_`XVS f WW ±Y f R n f WE§ :Yc [¶½¨pqW¼ac\
xUIWV^QSWoAXYZ^u§q
x\ f acS#_`YZ^ _`R[S#pQ\qRa RY6aXYZ^u§q
x\ f acS#_`YZ^UaP6^qYZSi1W S f ac^qRëY f Uaci W%_j^dSY~aXYZ^u§q
x\ f acS#_`YZ^6Yc [¶1WVWV^@_°Xbac\qRÝa _jS©P f W acS#_`YZ^qR&a f W[aZo o Woª1i WXbac\qRW R _`R£R#S f YZ^
W f S#p!ac. ^ R Wo WV^qYZSW&idP S#pqWR#Ua j WR#SXYZ^u§q
x\ f acS#_`YZ^XYZ^dSac_j^ _j^
~WVWV^d$S kw _`R Y f UIWo~idPza j WVWV^QSR_j^ S#pqW WE± S Xbac\qRa X YxR\ f W&Yc kd n \qR n f W lac^qozn1YxR#S ©XYZ^qou_jS#_`YZ^qR¬YcÉS#pqWRW0WVWV^dSRb1 ac^qo [¶ 1 pqYZUIYZUIY f n p _`R#U Yc YQXXV\ f#f WV^qXW^qWVSR0 f YZU [ S Y [Bo>_`R]a^qWVS&pqYZUIYZUIY f n p _`RX U G« f YZU A]\FE_^TE^l}R0SY A]\ o E_^ o E^l o RS#p!acSn!a f S#_ a j P¶UacnqR f W acS#_`YZ^qR 6 ac^q o R SY 6 o ac^q o R o ±RYZUIW£YcS#pqWVU UaP¶i W¬W f aZRWoªMi \ S ^qYZ^qW&Xbac^¼i1W0X f WbacSWo E!_º Wx k9_pE kpbel^E
G Ak_>R 6 o G§AkbR
k_ 6%kpb
ca ^qo G Ak_>RR o G§AkbR k_R kpb )/YZS#_`XW0S#p!acSXbac\qRa _jSÀPzac^qozXYZ^ q_`XVS f W acS#_`YZ^qRou\qW&SYTl a f W0n f WRW f WoªqYZ^ PWEuS f a f W acS#_`YZ^qRYc 6S6 ac^qo R© R Xbac^~i1W£W f aZRWozac^qoS f ac^qR#±Y f UIWo_j^QSY[XYZ^qXV\ f#f WV^qXVP 5©[ ac^qo[Bo1a f W£_`RYZUIY f n p _`XxqS#pqWV^~S#pqW f W0WEM_`R#SR a[YZ^qW£SYYZ^qW0Uacn n _j^
/G@i WVS©¡¤WWV^¦S#pqWVU ¡ p _`Xp¦WE aZXVS PUacnqR 6 SY 6 o ac^qo RSYR o $Gè% ç $Gí
] Ç G1] Ã &É Ã Ã bu Ç < ¨Y f Wou\qXW¶S#pqW_j^ pqYZUIYZ
WV^qWV_jS©P½Yc f WVn f WRWV^dSacS#_`YZ^qR[±Y ff W acS#_`YZ^qR 6*ac^qo ¡ _jS#p f WR#n WXVS&SY 6 ac^qoaR~ª_jS&_`R&XYZ^QWV^ _`WV^dS%SY f WVn f WRWV^QSWEuS f a f W acS#_`YZ^qRYZ^L^ idPUIWbac^qRYcou\ U[UP XYZ^qou_jS#_`YZ^qR/_j^qXY f n Y f acSWozSY/[¶1aZR _j^z§q
x\ f Wtx¤¨p _`R/a j Yb¡R¬SY f WVn f WRWV^dS [ aZR¬aIR#Sac^qoqa f o¼YMXXV\ f#f WV^qXW]^qWVS A]\ £ \YE_^TE^l}REH 1¸Xbac^qYZ^ _`Xba f WVn f WRWV^QSacS#_`YZ^@Yc [ Xbac^~i1W0YZi Sac_j^qWo¼idPS#pqW/Y j Yb¡ _j^
n f YMXWou\ f W(® tx±Y f WVW f Pn!ac_ f Yc(WVWV^dSBR Ak)E kao¢RlR#\qXp~S#p!ac`S k 6'kaoKac^qo%bxAk 6 kao¨REqX f WbacSW]a^qWV¡µXYZ^qou_jS#_`YZ^'i¬_j^ \=R#\qXp S#p!acS#p _`R f WVn f WRWV^QSacS#_`YZ^K R
(A,0)
(B,0)
t1
(A,0)
#
f Wtx® 8 8 X >
(A,1)
(B,1)
(B,0)
(A,0)
(B,0)
t1
t2
t2
(B,1)
t1 (A,1)
(B,0)
t1
t2 (A,1)
qÉ_j
x\
(A,0)
(B,1)
W= 8
t2 (A,1)
l < (
(B,1)
= I
+ 8 %
" à à ÈÉ $# " &É Ç Ã b à < 'KWVS [@@A]\FE_^TE^l E=-E 6 E RjR£i Wa aci W Wo«ac\
xUIWV^QSWo+YQXXV\ f f WV^qXW0^qWVSb [ _`Rac^ > 8 1/ e lYc>S#pqW0S#_ W&R#PuR#SWVU ?.4ADCSEHGEJI K EHMNEJOEQP1R _°¯ tx` -_`RÉa^qWVSpqYZUIYZUIY f n p _`R#U=i WVS©¡lWWV^A]\FE_^E^l}RÉac^qoS#pqWW Q\ _jZa WV^QS>^qWVSYc?ªwZ_j^n!a f S#_`XV\ a f XYZ^qou_jS#_`YZ^qR a f W aci1W WozidPn!ac_ f R Gxa f _ aci Wx Za \qWYcÉS#p!acSxa f _ aci WE!ac^qozWVWV^QSR¬a f W aci W Wo~iQPS#_ WRb }u` -zo WE§q^qWR/ai _ gëWXVS#_`YZ^¼i1WVSÀ¡¤WWV ^ A [ Rac^qo 6A]EJIVK6A]yRJR^E^]C`d u WVS E oªi1W£SÀ¡¤YI_`RYZUIY f n p _`X£§q^ _jSW&XYZ^u§q
x\ f acS#_`YZ^qR/Yc
[¶uS#pqWV^ o± e YZ_j^dS&aZRR\ UIWR3S#pqW _`RYZUIY f n p _`RU i WVS©¡¤WWV^ ac^qo o n f WRW f WRS#pqW aci W _j^
qMRY0S#p _`RXYZ^qou_jS#_`YZ^¶
WV^qW f a _j¢bWR n YZ_j^dS]_j^S#pqW/o WE§q^ _jS#_`YZ^zYcÉY f ou_j^!a f Pi f ac^qXp _j^
n f YQXWRRWRlYcL ?¬uac^qo_`RW Q\ _jZa WV^QS SY_jS¤¡ pqWV^ 6
36³ac^qo Ru R )¬WVW f S#pqW WRRb YZiqRW f W£S#p!acSXYZ^qou_jS#_`YZ^¦_j^~S#pqW0o WE§q^ _jS#_`YZ^zYcÉRSac^qoqa f o~i f ac^qXp _j^
In f YMXWRRWR_`R^qY o kpo¡ _jS#p@_`o WV^dS#_`Xba YZ^
W f xa _`ozY f ac^ > i f ac^qXp _j^
~n f YMXWRRb/¨pqW f WUabP¦WEu_`R#SSÀ¡¤Y~WVWV^QS$R kac^q' o k o a f W&^qYZS f W acSWo¦SYIYZS#pqW f WVWV^dSR/Yc aci W R/ac^qo¦XYZ^ ^qWXVSWo¼SYS#pqW]RacUIWX+Y ©RWVS _°# Y f WE acU[n Wx k%ac^ql [ _j^S#pqWRÝacUIW]Uac^ ^qW f Y f 6«F qÉ_j
qª}
x_jWR&ac^@WEqacU[n W%Yc¤R#\qXp6a¶R#_jS#\!acS#_`YZ^K ¡ pqW f W kE kpo>a f WXYZ^ ^qWXVSWo SYS#pqW]RacUIWXYZ^u§q
x\ f acS#_`YZ^ i \ S/aZRR#\ UIWou_°¯ªW f WV^dS f W acS#_`YZ^qR¬SYYZS#pqW f WVWV^QSR£Yc 1/R¬aIXYZ^qRW d\qWV^qXWYc S#p _`R f WVUa f#¥ ¥ WWVn _j^
¦S#pqª W A]\FE_^TE^l E=-+R]n!a f S_j^Áac^Áac\
xUIWV^QSWoÁi f ac^qXp _j^
@n f YQXWRR [ Ycx ?8o YQWR#^ SPQ_`W o a¼R#Sac^qoqa f o·i f ac^qXp _j^
¦n f YMXWRRYcx ?¬ /Yb¡¤WVW f (WVW f P6XYZ^u§q
x\ f acS#_`YZ^ Yc A]\FE_^E^lE=-+R]_`R_`RYZUIY f n p _`XSY çç Sð RTUVXW
tb
a¶XYZ^u§q
x\ f acS#_`YZ^ oYc " ¡ p _`Xp»UIWbac^qR£S#p!acSTA]\FE_^E^lE=-+R&Xbac^@i WS f _jU[UIWo_j^dSYzai f ac^qXp _j^
¦n f YQXWRR [ cY #?¬%OQn1WXV_°§!Xba j PS#pqW f WIWEM_`RSR&a\ ^ _"Q\qW%i f ac^qXp _j^
¦n f YQXWRR [ Yc? R#\qXp6S#p!acS0S#pqW f W[WEM_`RSR&aR\ f gëWXVS#_jW pqYZUIYZUIY f n p _`R#U Gªk+A]\FE_^TE^l E=-+RNl [¶ 1/RY f Y f ou_j^!a f Pi f ac^qXp _j^
¶n f YQXWRRWRbM_j^zS#pqW&RW Q\qW ¡¤W&o YI^qYZSou_`R#S#_j^
x\ _`R#pz_`RYZUIY f n p _`X 1¬ e R¿ (A,0) (B,0)
t1 (A,1) (B,1)
(C,0)
(A,0)
(D,0)
t1 (B,2) (C,1) (C,1) (D,0)
t2
t2 (A,1)
(D,1)
t2 (D,1)
t2
(C,2) (D,1) (C,2) (D,1)
f W}u® 8 ^= 8 8 X / > l Q Z 0= K > 8 8 X 3* * 8 K n b 8 A E R 8 X > * n)_ F = n_ +*
qÉ_j
x\
m VW Ua f#¥ R¿ xt G/_jWV^@ac^ac\
xUIWV^dSWo@i f ac^qXp _j^
n f YMXWRR [A]\FE_^E^lE=-1E 6 E R}RE_jSR f WR#S f _`XVS#_`YZ^rA^E 6 E R E=-R_`R ac^[Y f ou_j^!a f P aci W Wo n f _jUIW WVWV^dS3R#S f \qXVS#\ f Wx({@Y f WYbW f dS#p _`R(XY f#f WR#n YZ^qo WV^qXW_`R>i _ gëWXVS#_jWxd_º Wx
x_jWV^ S#pqWWVWV^QSR#S f \qXVS#\ f W±Y f azR#PuR#SWVU@?=ac^qo«a aci1W _j^
@Yc WVWV^QSRb>YZ^qWXbac^ f WXYZ^qR#S f \qXVSXYZ^qou_jS#_`YZ^qR \ ac^qo»S#pqW !Y¿¡ f W acS#_`YZ} ^ l³#)/WVW f S#pqW WRRbY f n f aZXVS#_`Xba n \ f n YxRWR f acS#pqW f S#p!ac^6S#pqWY f WVS#_`Xba YZ^qWRb¡¤W n f WE±W f SY~n f WRW f Wa f WEW f WV^qXWSYzXYZ^qou_jS#_`YZ^qR[ac^qo·SYzS#pqW !Y¿¡ f W acS#_`YZ^KK5À^6S#pqWRW d\qW ÉXYZ^qou_jS#_`YZ^qR a f WIXWV^dS f a _j^6S#pqWo WE§q^ _jS#_`YZ^«Yc _j^dSW f aZXVS#_`YZ^qRi WVS©¡¤WWV^½XYZU[n YZ^qWV^dSRb 1¬^qo»S#pq W !Y¿¡ f W acS#_`YZ^½a j Yb¡R aou_ f WXVSou_`R#S#_j^qXVS#_`YZ^n!acn W f ±YMXV\qRWR>YZ^±Y f Ua aZR#n WXVSR(YcXYZU[n \ SacS#_`YZ^qRlac^qoSWXp ^ _`Xba _jS#_`WR ou\qW£SYIXbac^qYZ^ _`Xba Y f UIR ¡ _ j i W WE±SaZR#_`o Wx
5½ 1 '> '(² "%! '> 11µ
/19$
8,()"8x()
5+
/W § f R#S n f Y¿W0S#p!acS _°S#pqW f W&a f W0RWVW f a _`o WV^dS#_`Xba j P aci W Wo~WVWV^dSRXYZ^ ^qWXVSWo~SY[RYZUIW0XY+©RWVS uS#p _`R Xbac^ YZ^ Pzi W]ou\qWSYS#pqW&ºaZXVS¬S#p!acS/S#pqWRWWVWV^dSR/p!aW%ou_°¯ªW f WV^dS0RWVSR/Yc3n f Wo WXWRRY f R¬Y f 6·S#p!acS/¡¤WXba j S#pqWV_ f ©n!aZR#SR¿ 5À^6YZS#pqW f ¡lY f o Rb_jS&Xbac^ ^qYZS]i1WIou\qW%SYzS#pqW%aZXVS0S#p!acS]S#pqWRWIWVWV^dSR]n!a f S#_`XV_jn!acSWI_j^·ou_°¯ªW f WV^dSWEMS f a XYZ^ q_`XVS f W acS#_`YZ^qRb 'WVS [i W/ac^zac\
xUIWV^dSWozi f ac^qXp _j^
[n f YMXWRRYcV ?Aac^qI o k_pE kpb/i WSÀ¡¤Y%WVWV^dSRYc [ R#\qXpS#p!acS ; k_ ;Kkbac^q5 o -LAk9_ R F-VAkbRE 'KWVS ¥ i W]S#pqW%R#Ua j WR#S0XYZ^u§q
x\ f acS#_`YZ^·XYZ^QSac_j^ _j^
¼WVWV^dS kp# ac^qo»o WE§q^qW o ¥ S#pqW R#S f _`XVS0n!aZRS&Yc kp¾aZR£S#pqWR#Ua j WR#S&XYZ^u§q
x\ f acS#_`YZ^«XYZ^QSac_j^ _j^ .
Mk ^ kLk 6 ka dY qqY f YZidM_`YZ\qR f WbaZRYZ^qR¿ª¡¤W Xbac^¡ f _jSW o ¥ ¥ `kaë 5º k_0ac^q. o kb]p!abW%_`o WV^dS#_`Xba n!aZR#SRbɺ ¿ o ac^qo o XYZ_j^qXV_`o W[WVW f PQ¡ pqW f WxK_jS¬_`R $Gè% ç $Gí
R#S f ac_j
xpQSë±Y f ¡a f oSY]XpqWX ¥ S#p!acS ac^qo a f W_`RYZUIY f n p _`Xx(lP[n YZ_j^dS 0_j^S#pqWo WE§q^ _jS#_`YZ^~Ycac^+1/ e QS#pqWVP a f W0S#pQ\qR_`o WV^QS#_`Xba ¡ p _`Xp¦n f YbWR)k9_Wkbx ¨YIpqW n¦_j^dS#\ _jS#_`YZ^K1YZ^qW&XYZ\ o~S#pqWV^¦R\ U[Ua f _j¢bW&S#p _j^
R_j^¼S#pqW£±Y j Y¿¡ _j^
Uac^ ^qW f ®¤WEMS f aXbac\qRa _jS©P f W a S#_`YZ^qR>a j Yb¡½SY¬ac\
xUIWV^QSS#pqW¤R#S f \qXVS#\ f WlYcac^Y f ou_j^!a f P&i f ac^qXp _j^
/n f YMXWRRidP&XYZ^ ^qWXVS#_j^
0RWVW f a YMXXV\ f#f WV^qXWR YcS#pqWRacUIWIS#_ W¶aGSW f RYZUIWX+Y ©RWVSYcXYZ^qou_jS#_`YZ^qRb>n f YbM_`o Wo·S#pqWRWWVWV^dSR%aZRR#\ UIWou_°¯ W f WV^QSn!aZRSRb1^qoª iQPXYZ^QS f aZR#Sb>WEMS f azXYZ^ q_`XVS f W acS#_`YZ^qRn f WVWV^dS f WbaZou_j^
¦YZ\ S&\ ^Q¡lac^dSWo½XYZ^u§q
x\ f acS#_`YZ^qR%YZ^6S#p _`Rac\
xUIWV^dSWo R#S f \qXVS#\ f Wx lPXYZ^dS f aZR#S¡ _jS#p¼Y f ou_j^!a f Pi f ac^qXp _j^
n f YMXWRRWR¿upqYb¡¤WVW f !S#pqW f W0UaPi W0ac^z_j^u§q^ _jSW0^d\ Ui1W f YcÉ_`o WV^ S#_`Xba j P aci1W Wo»WVWV^QSR k9_pE kb9Eacacac]XYZ^ ^qWXVSWo»SY~RYZUIW%X+Y ©RWVS KWbaZXp·aZRRYQXV_ acSWoSY~aou_°¯ªW f WV^dS0n!aZR#Sb* 'KWVS \qRlo WE§q^qW/S#pqWpqWV_j
xpdS Ycac^~ac\
xUIWV^dSWoXYZ^u§q
x\ f acS#_`YZ^¼aZR¤S#pqWUau_jUa R_j¢bWYbW f R#\ iqRWVSR Mk_pE kpb9EacacacVE k £Yc _jSRWVWV^dSRRacS#_`R#GPM_j^ 3
k _ 6lk b 64cacac 6%k 3OQ_jU[_ a f# P o WE§q^qWS#pqW¬pqWV_j
xpdS YcÉac^WVWV^dSaZR¤S#pqWpqWV_j
xpQSYcK_jSRln!aZR#S G_j^qX \qou_j^
_jSRW E(¨pqW0pqWV_j
xpdS/Yc(ac^¼ac\
xUIWV^QSWo¦XYZ^u§q
x\ f acS#_`YZ^¦_`R S#pd\qRS#pqW0Uau_jUa pqWV_j
xpdSYc>_jSRWVWV^QSRb M à · = I > 8 [ + ^= ? * m S N [ +8 K+ N E * = º 8 8 8 ,& Ǫ>Ç 7 < ¨pqWºaZXVSS#p!acS [ f WR#S f _`XVSWo¶SY]WVWV^QSRlYcKpqWV_j
xpQS Y¿¡¤W f S#p!ac^ _`R¤ac^~ac\
xUIWV^dSWo¶i f ac^qXp _j^
n f YMXWRR _`RYZiQQ_`YZ\qR¿qRY%¡¤W]YZ^ PXYZ^qR_`o W f S#pqW£§q^ _jSWV^qWRRb ¨pqW WVU[UaYZidM_`YZ\qR P~pqY o R¬±Y f RYaZRR#\ UIW]S#pqW f WR#\ S¬pqY o RY f pqWV_j
xpQS klYZ^qR#_`o W f ac^WVWV^dS kYc pqWV_j
xpdS x $k_`R0^qWXWRRa f _ P6a~XYZ^u§q
x\ f acS#_`YZ^½Yc pqWV_j
xpdS ¨pqW f W[_`Ra¶§q^ _jSW[^d\ Ui1W f Yc R#\qXp XYZ^u§q
x\ f acS#_`YZ^qRb a¦§q^ _jSW~^Q\ U]i W f Yc£S#_ WRIYZ^qW~Xbac^:XYZ^ ^qWXVSISY»WbaZXp 8 8 X3 ? S [ o A]\FE_^TE^l E=-E 6 E=RR + >= + (l 3 R 3R [ B 8 [ F S ¬R#S f \qXVS#\ f W [~ 8 8 3 ?£ ,& Ǫ>Ç 7 _° a/R#_j^
WWEMS f a£XYZ^ q_`XVS f W acS#_`YZ^[_`R f WVUIY¿Woª 1¬RR#\ UIW k_ R kpb _`Ra 8 >= WEuS f a%XYZ^ q_`XVS f W acS#_`YZ^K!_º WxY k _ R k b o YQWR^ SpqY oª!ac^q% o k _R k b _`R ^qYZS_j^ pqW f _jSWoªlOMY f WVUIY¿Q_j^
YZ^ P f W acS#_`YZ. ^ k9_ R kb0PM_`W o R [ o ¡ p _`Xp¦_`R¬R#S#_ j ac^ac\
xUIWV^dSWoYQXXV\ f#f WV^qXW^qWVSb W&¡ac^dS£SYIn f Y¿W]S#p!acS [ o 'KWVS E o(i1W f WVUac_j^qR%ac^·ac\
xUIWV^dSWo«i f ac^qXp _j^
@n f YQXWRRbª_º WxIS#p!acS]n1YZ_j^QS_j^6S#pqWIo WE§q^ _jS#_`YZ^ÁR#S#_ j pqY o Rb# SÀ¡¤YI_`RYZUIY f n p _`X/§q^ _jSW&XYZ^u§q
x\ f acS#_`YZ^qRYZ^ [ o ac^qo¼aZRR#\ UIW ¡laZR^qYZSaXYZ^u§q
x\ f acS#_`YZ^@Yc [¶OMY XYZ^dSac_j^qR WVWV^QS9 R k9_ac^q5 o kbx WIp!aW[SYn f Y¿W o±[OQ_j^qX/ W k9_]ac^q5 o kpb[o YZ^ S0p!abWIXYZU[UIYZ^·R#\qXXWRRY f R0_j^ [¶ o WXYZU[n YxRWR¬aZR _ £ b u¡ pqW f W XYZ^QSac_j^q`R k ac^qo~_`Ra%XYZ^u§q
x\ f acS#_`YZ^@Yc
[¶- %s9Egtu 'KWVS o i1W£S#pqW£_jUac
W Yc É\ ^qo W f S#pqW£_`RYZUIY f n p _`R#U f W acS#_j^
ac^qo o (¨pqWV^ o o_ £ ob ac^qoS#pqW o a f W0XYZ^u§q
x\ f acS#_`YZ^qRYc [¶ 6/R#_j^
[S#pqW£ºaZXVS S#p!ac S [ _`Rac^¦ac\
xUIWV^QSWozi f ac^qXp _j^
n f YMXWRRb YZ^qW£p!aZR o - 9EgtuqRY o lP f WXV\ f R_`YZ^K1YZ^qWXbac^ f WVUIYbW[a j WEMS f aXYZ^ q_`XVS f W acS#_`YZ^qR¬_j^»ac^dPz§q^ _jSWn f WE§ @Yc [¶ ac^qo@R#S#_ j
WVS£ac^ 1/ e x¨p _`R3a j Y¿¡R(SY£i \ _ o[ac^[_j^qX f WbaZR#_j^
&RW Q\qWV^qXWlYc§q^ _jSW 1¬ e R Y f S#pqWn f WE§ f W acS#_`YZ^ EdS#pqWlR\ n f WVU]\ U Yc>¡ p _`Xp¦_`R [Bo&4A]\FE_^E^l E=-E 6 E=RRE¤OMY [Bo _`RacK ^ 1/ e
W 1¬ e Rb¡ _ j i1W]\qRWo¼_jU[n _`XV_jS P¦_j^¦S#pqW m WVUa f#¥ /¨p _`R¬S©PMn1WYc¤a f
x\ UIWV^dSbªSY
YI f YZU §q^ _jSW]SY_j^u§q^ _jS3 RW Q\qW ®(UIYxR#S n f YMYcR ¡ _ j aZRR#\ UIW/§q^ _jSW 1¬ e Rb WVWV^¼_° f WR#\ SR¬a f W&R#SacSWoY f n1YxRR#_ji P_j^u§q^ _jSW 1¬ e Rb çç ðSRTUVXW
tb}
[Y_ 8 [ b * ) > + ?£ F/ Z /J + ) [y_ K J J + ' [[b ¶ Z [ b * - F = [y_c F3 8 W= _ 8 [ b = ,& ǪÇ>7 8 / ?£ F N [ _ + N [[b [Y_ 8 [ bd F I X W= [ _ 8 [ b ] ,& Ǫ>Ç 7 < lP WVU[UazuK¡¤Wa jf WbaZouP ¥ ^qY¿¡S#p!acS0S#pqWIR#S f \qXVS#\ f W[Yc [y_&_`R£Uacn n Wo»SYS#pqW[R#S f \qXVS#\ f WYcRYZUIW n f WE§ ¦Yc [ bx ¨Yn f YbWS#p!acS/S#pqW o WE§q^qWo¼_j^¦S#pqW]n f WVM_`YZ\qR/n f YQYc(_`R£a[pqYZUIYZUIY f n p _`R#Uz ¡lWYZ^ P~p!abWSY XpqWX ¥ S#p!acSWVW f P6XYZ^ q_`XVS f W acS#_`YZ^ R.b[_j^ A [y_^R0XY f#f WR#n YZ^qo RSY¦a~XYZ^ q_`XVS_j^ [y_¿ 1/RR#\ UIW[S#p _`R]_`R]^qYZS S#pqW/XbaZRW(® [ Ak9_>R R b[ Akao_ R(_j^ [ bxdi \ S bxAk9_ R_kpo_ R>_j^ [y_¿3OQ_j^qX$W k9_ 6[_Ekao_ ac^qI o kpo_ 6[_Ek9_ a f Wi YZS#p_jU[n YxRR#_ji W f WXba j S#p!acSµn f WRW f WR0Xbac\qRa _jS©P EªYZ^qW^qWXWRRa f _ P¦p!aZ$ R k _ _ kao_ &OMY¶S#pqW f W%WEM_`R#SR£a¶XYZ^u§q
x\ f acS#_`YZ^6Yc [ _ XYZ^QSac_j^ _j^
¼i YZS#L p k9_]ac^qL o k o_ 3 5ÀSR£_jUac
W%S#pd\qR]XYZ^QSac_j^qR[ Ak_^R£ac^qo [ Ak o_ REac^qo6_`R&aXYZ^u§q
x\ f acS#_`YZ^K¡ pqWV^qXW aXYZ^dS f aZou_`XVS#_`YZ^K 5À^@R\ U[Ua f P k [ _ l [ b n f WRW f WR 6 _ i \ S/UaP YxRW f W acS#_`YZ^qR R _ ¬¤P f WV_j^u±Y f XV_j^
RYb_j^ A [y_>RE ¡lW&Xbac^zS#pd\qRUa ¥ W²ac^z_`RYZUIY f n p _`RU i1WVSÀ¡¤WWV^ [y_¬ac^qo~_jSR _jUac
Wx pqWV^²S#pqW»X f _jSW f _`YZ^ YcS#pqW WVU[UaÁpqY o R~_j^²i1YZS#p²ou_ f WXVS#_`YZ^qRb _`Rza«i _ g#WXVS#_`YZ^ac^qo³n f WRW f WR~S#pqW R#S f \qXVS#\ f W¿O WVU[Ua EMi \ Sla RY R__`RlWE aZXVS PUacn n1WoSY RYb(MRY+_`Rlac^_`RYZUIY f n p _`RU i WVS©¡lWWV^ [Y_ac^qo [ bx
M Ã · [
2
D :*L9(:$!)"V*
5À^dSW
f RWXVS#_`YZ^¼ac^qo\ ^ _`YZ^~YcY f ou_j^!a f P e R a f W¬S#pqW ¥ WVPISYo WVW YZnS#pqW/^qYZS#_`YZ^~YcK\ ^u±Y ou_j^
q,qqY f ac\
xUIWV^dSWo e RbcS#pqWRWYZn1W f acS#_`YZ^qR>a f W WRRWbaZR#P/SYo WE§q^qW3_j^
WV^qW f a ZWRRWV^dS#_ a j P0i WXbac\qRW3Yc S#pqW¤WEMS f aXYZ^ q_`XVS f W acS#_`YZ^qRb / Yb¡lWVW f !S#pqW0R#S f \qXVS#\ f WR¬Yc 8 X ? # 0 Z 8 M Ã ·N 8 8 [ ? ^= ] _pE b - - [y_pE [[b [ Z [4 ) 8 X = J [ N [e [ _j^dSW f RWXVS#_`YZ^ [y_ 8 [ b S 8 8 >= [Y_§ [[bd $Gèç%$Gí
,& ǪÇ>7 < 1/RR#\ UIW [ [y_ [[bx ac^qo@XYZ^qR_`o W f S#pqW%aZRRYMXV_ acSWo¦RS f \qXVS#\ f WR [BoDE [Bo_ ac^qo[Bbo W]§ f R#S/n f YbW S#p!acS [ o [ o_ [ bo iqRW f W]S#p!acS [BoKRacS#_`Rë§!WR¬S#pqW&S©¡lYXYZ^qou_jS#_`YZ^qR/Yc(S#pqW WVU[UaI¡ _jS#p f WR#n WXVSSY [Bo_ ac^qo [Bbo Y f XYZ^u§q
x\ f acS#_`YZ^qR/Y f UIWo@idP¼S#pqWXbac\qRa X YxR#\ f W%Yc¤RYZUIWWVWV^dS ±R\qXp»XYZ^u§q
x\ f acS#_`YZ^qR]a f W%XYZU[UIYZ^SYac^1/ e ac^qo SY[_jSR RS f \qXVS#\ f W ElOQ_j^qXW0S#p _`RºacU[_ PYc>XYZ^u§q
x\ f acS#_`YZ^qR±Y f UIRaIXYbW f _j^
RWVSY f [ o WVU[UaI_jU[n _`WR S#p!acS [BoÉ_`R£_`RYZUIY f n p _`X%SYzan f WE§ Yc [B o ` 9EgtuK¡ p _`Xp»n f YbWR]n1YZ_j^QS]}u qqY f n YZ_j^dSItx WVS _ E b i1WSÀ¡¤Y~_`R+Y UIY f n p _`X0XYZ^u§q
x\ f acS#_`YZ^qRYc [ o_ E [ bo OQ_j^qXW£WbaZXp K_`RXYbW f WoiQPS#pqW£Xbac\qRa X YxR#\ f W/Yc_jSRWVWV^dSR¿u¡ _jS#p¶S#pqW _`RYZUIY f n p _`RU WEuSWV^qR#_`YZ^a f
x\ UIWV^QS¤\qRWoSY0n f YbW WVU[UauQYZ^qWWbaZR#_ P[XpqWX ¥ RlS#p!acS3i YZS#p Ka f W_`RYZUIY f n p _`X SY[S#pqW]RacUIW0XYZ^u§q
x\ f acS#_`YZ^ Yc [ o (¨p _`Rn f Y¿WRn YZ_j^dS]tx!RY[YZ^qW£p!aZR [ o [ o_ [ bo ¨Yo WE§q^qW [¶É¡¤WS#pd\qR[RSa f S]idP·i \ _ ou_j^
[Boac^qo«S#pqW_`RYZUIY f n p _`R#UIR G+i1WVSÀ¡¤WWV^:a¼n f WE§ ·Yc [Bo ac^qo [Bo W[n f YQXWWo·idP f WXV\ f R#_`YZ^K>R#Sa f S#_j^
¦¡ _jS#p [Bo>_`RYZUIY f n p _`XSY [B o ac^qo«XYZ^ ^qWXVSYZ^qWIWVWV^QS%acS aS#_jUIW ac^qo+_jSRR\qXXWRR#_jWzXYZ^qou_jS#_`YZ^q R [\ ^dS#_ a j n!ac_ f RYc£_`RYZUIY f n p _`X¼XYZ^u§q
x\ f acS#_`YZ^qRYc [ o_ | [ bo p!aW i WWV^zXYZ^qR#_`o W f WoªlOQn WXV_°§!Xba j P WVS A _pE bRac^qo A o_ E ob R¤i1W£n!ac_ f RYc_`RYZUIY f n p _`X&XYZ^u§q
x\ f acS#_`YZ^qR¿qRacS#_`Rë±PQ_j^
o `)kpY f RYZUIW[WVWV^dSS kaë- 1/RR#\ UIWS#pqW f WIWEu_`R#SR&a jf WbaZouP6a¶XYZ^u§q
x\ f acS#_`YZ^ o FG_A o_ RS Gb)A ob R¬_j^ [Boªi \ 9 S G+_`R0^qYZS&o WE§q^qWo«YZL ^ ka# Sm9Egtu¨pqWV^«XYZ^ ^qWXVSac^6WEuS f a~WVWV^d3 S k ac^qo6R#\qXXWRR#_jWIXYZ^qou_jS#_`YZ^q R _ _ b b SYX+Y ©RWVUS G A;k R G A;Kk RYc o RWV$S kpo 6lkY f WVW f P@WVWV^dS kao_j^ oR\qXpS#p!acUS kaoV G Akao R/ac^qo kpo 6 k ac^qo¦§q^!a j P¼WEuSWV^q. o GSI Y kplac^qo k ;>ë_j^R#\qXp»a¡labP¼S#p!acS ¤_`R¬_`RYZUIY f n p _`XSY o!£ Mk+£%kM;&S#p f YZ\
xp G pqWV^·S#pqWn f YQXWRR]R#SYZnqRb [Bo3RacS#_`Rë§!WR]S#pqWXYZ^qou_jS#_`YZ^qRYcS#pqW WVU[UauÉidP»XYZ^qR#S f \qXVS#_`YZ^Kz¨p _`R]n f YbWR WEu_`R#SWV^qXW]ac^qo~\ ^ "_ Q\qWV^qWRRYc [ o ¨pqW»YMXXV\ f#f WV^qXW@^qWV S [Bo¬YZi Sac_j^qWo³_j^³S#p!acS¡laP W = &
qÉ_j
x\
t1
t2
> l (
. (B,0) # t2
(B,1)
t4
(B,2)
; = 8 >= (¤ n_ { R nI 8 H 8 >
¨ pqWl_j^QSW f RWXVS#_`YZ^[o WE§q^qWo%aci YbWl_`R>aZRRYMXV_ acS#_jWx )/YZS#_`XW a RYS#p!acS>_jS>RW WXVSRÉXYZ^u§q
x\ f acS#_`YZ^qR(¡ _jS#p 8 R#S f \qXVS#\ f WR¿K5º [Y_XYZ^dSac_j^qRyn_ FnbIac^qo [ bIXYZ^dSac_j^qRyn_Yl nbZÉS#pqWV^·S#pqWI_j^QSW f RWXVS#_`YZ^ f Wou\qXWRSYn_ac^qo ^qYZSS Y n_Nl~nbZ WVWV^z_° [y_¬a j Yb¡RSY%§ f W[n_ S#pqWV^nbc(¨p _`R¡ _ j XYZ^dS f aZRS¡ _jS#pzS#pqW0n f YMou\qXVSYc3ac\
xUIWV^dSWo i f ac^qXp _j^
»n f YQXWRRWRbS#p!acS¡¤Wo WE§q^qW_j^½RWXVS#_`YZ^« ±RWWI§q
qw~±Y f a¼XYZU[n!a f _`RYZ^ EªqÉ_j^!a j P(YZiqRW f WIS#p!acS [Y_% [ b [[¾ aZR¬\qR#\!a j F P w [Y_ [ b]Xbac^»aZXVS#\!a j Pzi1Wo WE§q^qWo»aZRS#pqW]UaM_jUa XYZU[UIYZ^@n f WE§ ¦Yc3S#pqW [[ ±RWW&i1W Y¿¡ E
*,"L*
[
,
[Y_ [ b * > 8 ? - Z J# ? ^= >= [ [ %s9Egt
M Ã · =
[ _ £ [ b
% ^= [[ ç ç ðSRTUVXW
[
Z
,.9Egt
+
tV
,& Ǫ>Ç 7 < ¨pqW&n f YMYc3_`R/XYZ^qR#S f \qXVS#_jWxªaZRY f S#pqWo WE§q^ _jS#_`YZ^Yc3_j^QSW f RWXVS#_`YZ^KB1¬RR\ U[_j^
R#\qXpa [ WEu_`R#SRb WVS \qR¬XYZ^qR#_`o W f _jSR¬R#S f \qXVS#\ f W [ o OQ_jU[_ a f# P WVS [ o o WV^qYZSW]S#pqW]R#S f \qXVS#\ f WYc [[#49Egtu [ o _`RXp!a f aZXVSW f _j¢bWo iQP»_jSR]RWVS]YcXYZ^u§q
x\ f acS#_`YZ^qR Y f k f ac^
x_j^
@YbW f a j _jSR]WVWV^QSR WVU[Ua¦ E 1 XYZ^u§q
x\ f acS#_`YZ^ Yc [Bo _`Ra RY¼a~XYZ^u§q
x\ f acS#_`YZ^+Yc [¶Éac^qo»S#pQ\qR]_`R]_`RYZUIY f n p _`XISY¦a~XYZ^u§q
x\ f acS#_`YZ^ ¥ Yc [ ªY f F Y f F t Gn YZ_j^dS}¦Yc¬S#pqW WVU[Ua E3¡ p _`Xp½_`RIa RY@a@XYZ^u§q
x\ f acS#_`YZ^AYc¬S#pqW¶RS f \qXVS#\ f W [ o ·klYZ^dW f RW P¤WVW f P Yc ¥ [Bo U]\qRS/p!abWIac^¦_`RYZUIY f n p _`X[XYZ\ ^dSW f n!a f S&_j ^ [Bo±iQP¼S#pqW]§ f R#S0XYZ^qou_jS#_`YZ^6YcS#pqW WVU[Uau WS#pd\qR£p!aWIa XYZU[n WVSW%o WRX f _jn S#_`YZ^»Yc¤a j XYZ^u§q
x\ f acS#_`YZ^qR S#p!acS¬U\qR#S&acn n1Wba f _j^ [ o W^qYb¡8R#pqY¿¡S#p!acS/S#pqW f W%WEM_`R#SR a [Bo RacS#_`Rë±PM_j^
[S#pqWRW0XYZ^qou_jS#_`YZ^qRbqiQP¶XYZ^qRS f \qXVS#_j^
YZ^qWx 1¬
dac_j^K idP WVU[UaIuu_°>_jSWEu_`R#SRbM_jS_`R \ ^ "_ Q\qWx! ¨pqWXYZ^qR#S f \qXVS#_`YZ^»Y j Yb¡R0S#pqWIRÝacUIW _j^qWR]aZR£S#pqW f WXV\ f R#_jWIXYZ^qR#S f \qXVS#_`YZ^«Yc [ o_ [ bo 3 1GSW f a j n!ac_ f R A _E bRYc>_`RYZUIY f n p _`XXYZ^u§q
x\ f acS#_`YZ^qR£p!abW]i WWV^¦XYZ^qR#_`o W f Woªq©n f _jxacSWWVWV^QSRë9 ka3Yc [Bo a f W]WEun Y f Woª_º Wx WVWV^QSRR#\qXp~S#p!acS ¥ p!aZR^qY_`RYZUIY f n p _`X&XYZ^u§q
x\ f acS#_`YZ^¼_j^S#pqW0YZS#pqW f R#S f \qXVS#\ f W [B o 1µ^qWV¡µWVWV^Q`S k£_`RS#pqWV^ XYZ^ ^qWXVSWoSY [Bo G¡ _jS#pWEuSWV^qR#_`YZ^YcB G ÉSY]WV^qR#\ f W S#p!acS ¥ _`R_`RYZUIY f n p _`XSY G A ¥ REd\ ^dS#_ a j n f _jZacSW WVWV^QSRp!abW&i WWV^zXYZ^qR#_`o W f Woª iqRW f W0S#p!acS¡ _jS#p¼S#p _`RXYZ^qR#S f \qXVS#_`YZ^K!S#pq9W G(a f W&o WE§q^qWo¦YZ^zS#pqW0¡ pqY W [ o _j^qR#SWbaZo¼Yc(a%n f WE§ ªqac^q% o GV_A [Bo_ R1OG+b)A [Bbo R¤PQ_`W o R [Bo_ [Bbo ¨Y£XYZU[n WVSW¤S#pqW¤n f YMYcëZ¡lWU\qR#S(R#pqYb¡ÁS#p!acS>S#pqW f W¤WEu_`R#SR>a\ ^ "_ Q\qWl¡laP]SY¬o WE§q^qWWEuS f aXYZ^ q_`XVS f W acS#_`YZ^qR Y¿W f WVWV^QSRYc [Bo(R#\qXp«S#p!acS]S#pqWS©¡¤Y@XYZ^qou_jS#_`YZ^qRYcS#pqW WVU[Ua¼a f WRacS#_`Rë§!Woª W[§ f R#S&p!abWSYzn f WVWV^dS P k RVkpoqY f n!ac_ f R f WbaZou_j^
IYZ\ S¤ f YZU [ XYZ^u§q
x\ f acS#_`YZ^qR \qR#_j^
n f _jZacSW£WVWV^QSR Yc [ _ ac^qoYc [ b 3OMY^qWXWRRa f _ / YcWVWV^dS R AkE k o R/_j^ GV_A [ o_ R%)Gb)A [ bo R ,|r Gb)A [ bo R%)GV_A [ o_ R © iqRW f WS#p!acSR#\qXp6n!_ ac_ f R Ak)E k o R£^qWXWRRa f _ P XY f#f WR#n YZ^qo~SY%XYZ^qXV\ f#f WV^dS/WVWV^dSR _j ^ [Bo±OMWXYZ^qo P WVS \qR RWVRY~n YZ_j^dS}z_`R&RacS#_`Rë§!Woª{@Y f WYbW f ÉS#pq
W G+a f WR#S f \qXVS#\ f W n f WRW f M_j^
@UIY f n p _`R#UI R ±YZ^ P·WEMS f a¦XYZ^ q_`XVS f W acS#_`YZ^qR[Xbac^·xac^ _`R#p E(RYzn YZ_j^dStI_`RRacS#_`Rë§!Woª¦¨p _`Rn f YbWR S#pqW¶WEM_`RSWV^qXWYc [¶ 5©S]_`RWbaZR#_ P»XpqWX ¥ WoÁS#p!acS%ac^QP6R#S f YZ^
W f XYZ^ q_`XVS f W acS#_`YZ^qRYZ^ [Bo(¡lYZ\ o·M_`Y acSWS#pqW XYZ^qou_jS#_`YZ^qR/YcÉS#pqW WVU[UauR#_j^qXW£_jS¡lYZ\ o~PQ_`W o¦a%R#S f _`XVSn f WE§ ~Yc [¶3¨p _`Rn f YbWRS#pqW&\ ^ "_ d\qWV^qWRRYc [¶ ¨p _`R/n f YMYc¤o WRW f WR£RWVW f a XYZU[UIWV^dSRbe qÉ_ f R#SbidP¼XYZ^qRS f \qXVS#_`YZ^Yc¤UIY f n p _`R#UIR G 1¡¤Wp!aW%R#S f \qXVS#\ f W n f WRW f M_j^
¶Uacn n _j^
RbRY[S#pqW [[a f W&_`RYZUIY f n p _`XSYaIn f WE§ ¼Yc [¶ [ _`R¬aZXVS#\!a j P~S#pqW]RUa j WR#S 1/ e Yc% ? G¡& f Sb RacS#_`Rë±PM_j^
S#p _`Rn f YZn W f S©P xOMWXYZ^qo Pu¡¤W£p!abW/YZi Sac_j^qW o [ [ _ £ [ b idP¶o WE§q^ _j^
%§ f R#Sa&\ ^ _`YZ^ Yc>R#S f \qXVS#\ f WR [ o_ ac^qo [ bo ac^qoS#pqWV^~Sa ¥ _j^
Ian f WE§ idP¶_j^dS f YMou\qXV_j^
WEuS f aXYZ^ q_`XVS f W acS#_`YZ^qRb3¨p _`R f WVWba R S#p!acS%a^qYZS#_`YZ^«Yc\ ^u±Y ou_j^
@XYZ\ o6i W[o WE§q^qWo»Y f 1/ e R]Yc# ?¬KS#p!acS¡¤WXYZ\ o6o WV^qYZSWaZ R " "½Xbac^6i1W o WE§q^qWo·aZR&S#pqW%\ ^ _`YZ^6Yc a j R#S f \qXVS#\ f WR]Yc 1/ e R0Yc ?/%OQ_j^qXWIidPo WE§q^ _jS#_`YZ^·WVW f P 1/ e _`R]a¶n f WE§ »Yc¤_jSR R#S f \qXVS#\ f WxuYZ^qWS#pd\qR¤p!aZRS#p!acS "¶_`R¤a RY]S#pqWR#\ n f WVU\ U Yca j 1/ e RlYc` ?/ "¶_`R¤a0pQ\
W¬YZiug#WXVSbMXYZ^dSac_j^ _j^
Y f WEqacU[n W¬a j! _j^qWba f WEMSWV^qR_`YZ^qR¤Yca£
x_jWV^¶XYZ^u§q
x\ f acS#_`YZ^K3¨pqW f WE±Y f W¬_jSRWEu_`R#SWV^qXWYZ^ P[p!aZRla£S#pqWY f WVS#_`Xba _j^QSW f WR#Sb ,& Ç & Ç Ç ^= I > 8 '
,& Ǫ>Ç 7 < ¨p _`R_`Rac^zYZiQQ_`YZ\qR/acn n _`XbacS#_`YZ^¦Yc WVU[Ua%ISY%S#pqW&o WE§q^ _jS#_`YZ^@YcÉ\ ^ _`YZ^z
x_jWV^¼_j^ WVU[Uawu
Ç b ] Ã 6 < 1¬Ra&XYZ^qRW Q\qWV^qXW£YcKS#p _`R f WR#\ SbMac^ 1/ e Xbac^i1W/W d\ _jxa WV^dS Po WRX f _ji1WoaZR a&RWVS YcXYZ^u§q
x\ f acS#_`YZ^qRbªX YxRWo~Y f S#pqWn f WE§ f W acS#_`YZ^&® [E o oV [¶¬OMYIS#pqW_j^dSW f RWXVS#_`YZ^Yc(SÀ¡¤Y 1/ e R0_`R0S#pqW[R#Sac^qoqa f o6_j^dSW f RWXVS#_`YZ^ÁYclRWVSR&YcXYZ^u§q
x\ f acS#_`YZ^qRbI¨pqW[\ ^ _`YZ^«Yc¤S©¡lYK1/ e R0_`R0S#pqW[R#Sac^qoqa f o \ ^ _`YZ^6YcRWVSR£Yc¤XYZ^u§q
x\ f acS#_`YZ^qRb 1^qo@S#pqW%n f WE§ @Ycac^1/ e XY f#f WR#n YZ^qo R0SY~aR\ iqRWVS/YcXYZ^u§q
x\ f acS#_`YZ^qRb X YxRWo~±Y f S#pqW0n f WE§ f W acS#_`YZ^¼YZ^¦XYZ^u§q
x\ f acS#_`YZ^qRb &
F( *7
S [²i1Wla aci W Wo%ac\
xUIWV^dSWo[YMXXV\ f#f WV^qXW¤^qWVS ±Ycq§q^ _jSW¤¡ _`ouS#p RacS#_`Rë±PQ_j^
¬n1YZ_j^QSRlt à à c 1 à È6 *3,< 'WV ac^qo½}~_j^«S#pqWo WE§q^ _jS#_`YZ^½Yc¬ac^Áac\
xUIWV^QSWo½i f ac^qXp _j^
n f YQXWRRYcx?ƒi \ S]ac_ _j^
»acS]n YZ_j^dS[uz¨p!acS_`Rb [ Õ Öc2 ã tVã¾Üº× *Zêëßâº×öÛEð¬×ÙØ oöã¾ó âKÛÝâªâºÖãܺã#ßÝäã¾Ü#÷ ×Ùðâ qêÀÖãëê©Þ*cܺرâ âºÖcßâ ÖZßÝØâºÖcãNr ×öðc×prß oZرâܺàcê¾âºà¿ÜºãEòbâºÖcãëð âºÖãPrß¿×prß=oxê¾ÛEðc×öê¾â#÷ $Gè% ç $Gí
o WRX f _ji WRac\
xUIWV^QSWo«XYZ^u§q
x\ f acS#_`YZ^qR%XY f#f WR#n YZ^qou_j^
¼SY f \ ^qR]YcS#_ WIR#PuR#SWVU©?¬i \ S]UaP»XYZ^QSac_j^«RWVW f a _`RYZUIY f n p _`X]XYZn _`WRYcÉRYZUIW0XYZ^u§q
x\ f acS#_`YZ^qR¿lO _j
xpdS Pzaci \qR#_j^
[SW f U[_j^qY YZ
xP!¡¤W0¡ _ j RÝaPS#p!acS [ _`Ra u: ¿ 1/ e GI1/ e Yc?¬&¨pqW % XYZ^qR#_`R#SR/_j^6W _jU[_j^!acS#_j^
~S#pqW f Wou\ ^qoqac^dSXYZn _`WR0Yc¤_`RYZUIY f n p _`X XYZ^u§q
x\ f acS#_`YZ^qRbu_j^¶Y f o W f SY
WVSla&S f \qW 1/ e ®j"9 A [ R(_`R¤o WE§q^qWoaZRS#pqW\ ^ _`YZ^Yca j XYZ^u§q
x\ f acS#_`YZ^qR Yc[¶ ¨p _`R¬o WE§q^ _jS#_`YZ^¦WV^dSac_ RS#pqW&WEu_`R#SWV^qXW0Yc(aIXbac^qYZ^ _`Xba pqYZUIYZUIY f n p _`R#U f YZU [ SY3": A [ RE Wi f _`W qP»o WRX f _ji1WIi1W Y¿¡ aS f _jU[U[_j^
¦n f YQXWou\ f WI±Y f a~
WV^qW f a _j¢bWo 1/ e [ ©A]\FE_^TE^l E 6 E RE=-+R Yc ?/' 5©SR§ f R#SSaZR ¥ XYZ^qR_`R#SR_j^Ái \ _ ou_j^
·a¦XY f#f WXVS 1/ e R#S f \qXVS#\ f WxidP f WXV\ f R_jW P«UIW f
x_j^
_`o WV^dS#_`Xba j P ^ GS#p _`R_`RlW f PR#_jU[_ a f SY%aX aZRR#_`Xba n f YQXWou\ f W aci W WoWVWV^dSRXYZ^ ^qWXVSWo~YZ^SYZn~YcS#pqW£RacUIW£XYZ^u§q
x\ f acS#_`YZ# YZ^R#Sac^qoqa f o aci1W j Wo¶YMXXV\ f#f WV^qXW¬^qWVSR¿QSYYZi Sac_j^~a&i f ac^qXp _j^
[n f YQXWRR EɨpqW£RWXYZ^qoSaZR ¥ \ n oqacSWRlS#pqW¬RWVS Yc(WEMS f aIXYZ^ q_`XVS f W acS#_`YZ^qRbq¡ pqWV^¼S©¡¤YWVWV^dSR£a f W£UIW f
Woª ,& Ç Ã È Ã f_° WS#XVpq\ Wf fR#W_`YZWE^ u_` GR#¡ SRp _a W0n!acS#pq_ f W0A±k Y _ jE Y¿k ¡ b Rª_j^ Yc
qWVXYZWV^q^douSRÉ_jS#R#_`YZ\q^¼Xp]_`RS#p!RÝacacNSS#_`-LRë§!AkWo_ R%1® -VAk b RE ;uk _ W;Kk b ac^qo k _ k b W k_/ac^q' o kb0_j^dSY¶aIR#_j^
WWVWV^dS k!¡ _jS#. p -LAkRD-LAkaRE ; k GUIW f
W%a RYIXYZ^qou_jS#_`YZ^qR£Yc UIW f
9 k ;_ ac^qO o kMb; p!aM_j^
IS#pqW&RacUIW aci W E R kpo+ ¥ kaëqRWVp,k[jjªEJn G d _°V E ka§%^ (R#\qXpzS#p!ac)S -QAkpR%nd QA R,W; 6¾ QA Rl_`Ra%XYZ^u§q
x\ f acS#_`YZ^»ac^qo ¥ ka JA RE S#pqWV^zS#pqW f W&WEu_`R#SRa%\ ^ "_ Q\qW0WVWV^d$S k0_j% ^ ^ RacS#_`Rë±PQ_j^
a O-VAk:R nac^qO o ;KkF Gi T+E QAk:R,Wkp>ac^qo~S#pqW f WR#S f _`XVS#_`YZ ^ Ykk ; l kM; _`R i _ g#WXVS#_jWx ±X Tkao T^ES -,jk QAkpo¨R 6 JAkR kao 6lkd ±o Tk o %^TES ! k HAk o R Ry§HAk:R k o RVk ¨p _`R o WE§q^ _jS#_`YZ^zXYZ^QS f aZR#SR¡ _jS#pS#pqW¬n f YMou\qXVS YcR#Sac^qoqa f o¶i f ac^qXp _j^
[n f YMXWRRWRYc jt KYZ^¶S©¡lY%Uac_j^~aZRn1WXVSRb qÉ_ f R#Sb ^qYZSYZ^ P¶S#pqW YMXba !Yb¡ f W acS#_`YZ^qe R l{Éi \ S¬a RY%S#pqW&WEuS f a%Xbac\qRa _jS©Pzac^qozXYZ^ q_`XVS f W acS#_`YZ^qRYcÉaZXVSY f R [[(a f W&Uacn n1Wo~SY%S#pqW&n f YQou\qXVSRS f \qXVS#\ f W [¶OMWXYZ^qo Pac^¼WVWV^Q` S k]_`RXYZ^ ^qWXVSWozi YZS#p~SYa%X+Y ©RWVS 8 SYaIXYZ^u§q
x\ f acS#_`YZ^ G_j^qR#SWbaZo@Yc¤aIX+Y ©RWVS/YZ^ P E¨pqWXYZ^ ^qWXVS#_`YZ^@SY¶aX+Y ©RWVS¬Xbacn S#\ f WR/S#pqWXbac\qRa _jS©Pzou\qW SY~S#pqWIn f YQou\qXVS !Y¿¡ R#S f \qXVS#\ f Wx>ac^qo»S#pqWIXYZ^u§q
x\ f acS#_`YZ^ WV^qR#\ f WR]S#p!acS]WEuS f a~Xbac\qRa _jS©P f W acS#_`YZ^qR]_j^·WbaZXp ºaZXVSY f a f W]a RY[RÝacS#_`Rë§!Woª 1/RY f R#Sac^qoqa f o~i f ac^qXp _j^
n f YMXWRRWRbuS#p _`Ro WE§q^ _jS#_`YZ^ WbaZo R SYa%XYZ^qR#S f \qXVS#_jW&n f YQXWou\ f WYc(ac^QP§q^ _jSW n f WE§ AYc£S#pqWzn f YMou\qXVSb£ 9P6HADn:RKdd^qWV¡µXYZ^qou_jS#_`YZ^qR i/_j% ^ \[M¡ _jS#% p ;uiWk ac^qozaZRR#_j
x^ aci W RSYp!a9W -LAk ;pR% S#pqWV^~X f WbacS
£§@-QAk ; RwZWEMSWV^qo]n!a f S#_ a Uacnq R §ë ,RYS#p!acS Ykjk ; l k ; _`PR -ºn f WRW f M_j^
/ac^qo]R\ f gëWXVS#_jWx !#" æã bâܺ#ã rß odê¾Û / Øã¾âKÚ ã>ܺã¾óôã¾ÜKâºÛ ßlêëÛ / Øã¾âÛÝóqã bâܺ#ã rß odê¾ÛEðZä¿× âº×ÙÛÝðcØKÛÝó $Q÷ $Gè% ç $Gí
kao
T^RWVSR#Sac^qoqa f ozi f ac^qXp _j^
n f YMXWRRWR¿qac^qozXYZ_j^qXV_`o WR¡ _jS#pzS#pqW&n f YQou\qXVS o WE§q^qWo¼_j^ jt ©uS#p _`RXY f Y j a f P
x_jWR¬ac^qYZS#pqW f n f YMYc(YcÉS#pqW]aZRRYQXV_ acS#_jM_jS©PYc ¡ YZ^¼ e Rb 1S~S#p _`Rn YZ_j^dSb/_jS~_`R¡lY f S#p f W acS#_j^
:S#pqWn f YQou\qXVS~_j^³S#pqW»XbacSWV
Y f P³Yc/ GI1/ e RSY+WEu_`R#S#_j^
½n f YQou\qXVS o WE§q^ _jS#_`YZ^qR[YZ^½WVWV^dS[R#S f \qXVS#\ f WRb 1 S#pqYZ\
xp GI1/ e RXba f#f P·WVWV^dSRb(XYZ^qou_jS#_`YZ^qR¿ aci1W R¿>a !Yb¡ ac^qoÁWEMS f a f W acS#_`YZ^qRb¤S#pqWVP+a f Wzo WE§q^ _jSW P aci W Wo+n f _jUIW~WVWV^QSR#S f \qXVS#\ f WRb 1 XVS#\!a j P¤
x_jWV^
7 aZR&_j^ jtb ©ª¡ p _ WIS#pqW YZS#pqW f YZ^qW£ou_ f WXVS Po WE§q^qWR WV
da XYZ^u§q
x\ f acS#_`YZ^qR jtV!dq tbs © W0a f W£o WE§q^ _jSW P¶YZ^S#pqW£R#_`o W£YcS#pqW f WXV\ f R#_jW o WE§q^ _jS#_`YZ^K¡ p _`Xp6p!aZR&S#pqWIaZouZac^QSac
WISY~R#\
x
WR#S£_jSR0_jU[n WVUIWV^QSacS#_`YZ^K(a S#pqYZ\
xp6¡¤W[p!abWaci!ac^qo YZ^qWo6S#pqW pqWbabQP^!acU[_j^
Yc(WVWV^dSR¬idP¶i!aZX ¥ ¡la f o¼n1YZ_j^QSW f R G\qRWo~_j^ jtb ac^qo¼a RY%_j# ^ Ù E
U/"V*," 9(6*7
^qW¬XYZ\ oR#\qR#n WXVS3S#p!acSacn n PQ_j^
S#pqW n f YMou\qXVSSY 1/ e R G_j^qRSWbaZoYc#GI1/ e R >PM_`W o R¤a£S f _jU[UIWo¶R#S f \qXVS#\ f Wx ¨p _`R_`Ra RW_j^A
WV^qW f a ®~S#pqW f WR#\ SIYc£S#pqW~n f YMou\qXVSI_`R[
WV^qW f a j P½^qYZS[S f _jU[UIWoaZR[_ j \qR#S f acSWo+iQPÁS#pqW WEqacU[n W£YcK§q
qMq(¨pqW¬n pqWV^qYZUIWV^qYZ^¼acn n Wba f R YZ^WVWV^dSR aci W WoiQPTn_ ac^qonbYZ^S#p _`R¤§q
x\ f Wxui \ S¡¤W/p!aW aZo o WozWEuS f a[WVWV^QSR_j^zS#pqWV_ f ±\ S#\ f WR SY[_ j \qRS f acSW0S#pqW0^qYZ^~S f _jM_ a S f _jU[U[_j^
YZn W f acS#_`YZ^¼YZ^zS#pqW£n f YMou\qXVSb (A,0)
t1
$ % $ %$ % $ % $ %$ %
t1
(A,1)
(C,0)
t2 (D,1)
t3
! ! !
(A,0)
(C,2)
t2
(B,2)(C,1) (D,1)
t3
(A,2)
t4
t3
(D,2)
(C,0)
(B,2) (D,1)
(C,2)
(B,3) (D,2)
t4
(B,3)
(A,0)
(B,0)
t2 (C,1)
t4
(A,2)
(A,1)
(D,0)
t2
(B,2)
t1
(B,1)
(B,0)
(B,1)
(A,1)
t2
&& ' & ' '&
(A,1)
(B,0)
(D,1) (C,1)
(C,1)
" # " #" # (A,2)
t1
(D,0)
(A,0)
(B,1) (C,0) (D,0)
t 2
(C,1) (B,2) (D,1)
t3
.
#
(A,2)
(C,2) (B,3) (D,2)
t4
qÉ_j
x\ f Wq® * [y_ 8 [ b 8 ? _ 8 ? b - ; = Q Z[ X = n _ Z HE \ n b \E=\FE [ _ F +* U* [[b@ n_ l nbx 8 [Y_ * 3 K * / 8 - nb ¡ + E (l S B u* + *n ) nd
£h WR#n _jSWS#p _`R(o f ab¡ i!aZX ¥ S#pqWln f YMou\qXVS3Yc GI1/ e R>Yc+?»_`R>_j^qRWV^qR#_jS#_jWSY/S f _jU[U[_j^
0_j^%S#pqWlY j Yb¡ _j^
&RWV^qRW(® + Õ Öc×öØK×öتâºÖcãNrß×Ùð`r ÛÝâº×ptÝßâº×öÛEðó°ÛÝÜ×öðâܺÛbäàcê¾×Ùð,-¤âºÖã(ê#ßâºã -ÝÛÝÜæ¬ÛÝó -Ýãëðcã¾Ü©ß oö×-,¾ã#ä£í "/. Øë÷ $Gè% ç $Gí
,& Ç & Ç Ç 2
[Y_
cacac
¡
¡
i Wa£XYZ^u§q
x\ f acS#_`YZ^Yc [y_ cacac [ xS#pqWV^ _`R(_`RYZUIY f n p _`X SY _ cacac ¡ _jS#p V HA RE f RW PSa ¥ _j^
¦ac^dP S [[ë,T¡ s[¡ s«ªS#pqWIn f YQou\qXVS _ ¡ cacac ¡ ¡ QP _`W ¡ o R]aXYZ^u§q
x\ f acS#_`YZ^ÁYc [ m W PQ_j^
IYZ^zn f YZn YxR#_jS#_`YZ^·tx YZ^qW]Xbac^zS#pd\qR¡ f _jSW "9 A [y_ cacac [ R G _ ¡ cacac ¡ ¡ ¡
,& ǪÇ>7 < 'KWVS 1¬^qo»XYZ^dW
? ? ¤ v¥ C CFEp[}Nj " 9A [y_ ¡ cacac ¡ [ R ": " :A [y_>R cacac " 9A [ R ¡ ¡ [[
¡ pqW f WS#pqW\ ^ _`YZ^ÁUIW f
WR_`RYZUIY f n p _`X¶XYZ^u§q
x\ f acS#_`YZ^qRbJ5À^ _ ¡ cacac ¡ WVS\qR f WVn aZXW¶WbaZXp iQP ac^@_`RYZUIY f n p _`XXYZ^u§q
x\ f acS#_`YZ^ o Yc [eëLB#Á ^qWYZi Sac_j^qR oK¡ p _`Xp@_`R¬YZiQQ_`YZ\qR P~_`RYZUIY f n p _`X]SY
trim equivalent GABPs
¡ pqWV^qXW]S#pqW f WR#\ Sb
qÉ_j
x\
f W[su®
#
. O2
. O1
...
. . . O 1 O 2 ... O N . . . Tr(O 1 ) Tr(O 2 ) ... Tr(O N)
. . Tr(O 1 ) Tr(O 2 )
>=) S
. ON
...
. Tr(O N)
ABP axis . . . Tr[ O 1 .O 2 ... . O N ] = . Tr[ Tr(O 1 ) Tr(O 2 ) ... Tr(O N) ]
8 > - 8 u : ^= /- 8 # ' : Q >
e3f YZn1YxR#_jS#_`YZ^%R#\
x
WR#SR SYo WE§q^qW0S#pqW&YZn W f acSY f U[_j^
I_j^¼S#pqW0o WE§q^ _jS#_`YZ^¦Yc ¡ ® [Y_
¡
cacac
¡
[
,
¡
b
_j^~S#pqW&R#\ i ©XbacSWV
Y f P~Yc ¬1 e RidP¶_j^qX \qou_j^
¶aS f _jU- "9 A [Y_
¡
cacac
¡
s
[ R
f ªidPzn f Ycg#WXVS#_j^
[y_ ¡ cacac ¡ [ SYS#pqWR#\ i ©XbacSWV
Y f P@YcS1¬ e R¿1YZ^qW YxRWR/UIY f n p _`R#UIR f W acS#_j^
S#pqWn f YQou\qXVS¤SY&_jSR(ºaZXVSY f Rb= [ [Bo£ ( ": A [TRT ": A [Bo R [[E [Bo K ? ©? ¤ v¥ [j,j H :ye}, E [[ [ o [Y_ cacac [ [ o_ cacac [ o w ¡ ¡ ¡ ¡ /Yb¡lWVW
0)5(ª8N()"8x()
W p!aW¬a jf WbaZouP%UIWV^QS#_`YZ^qWoS#p!acS¤S#pqW n f YQou\qXVS ¡ o WE§q^qWoI±Y f GI1/ e R3
WV^qW f a _j¢bWR¤S#pqWn f YMou\qXVSYcKR#Sac^qoqa f o i f ac^qXp _j^
6n f YQXWRRWRn f YZn1YxRWoÁ_j^ jt©»l\ SRYZUIWn f YZn W f S#_`WRIa f W YxR#Sb qqY f WEqacU[n Wx(_° [y_pE [ b~a f WSÀ¡¤Y 1/ e RYcKS#pqW 3S#_ W/R#PuR#SWVU ?/QYZ^qW/p!aZR [y_ [ b "9 A [y_ [[bREQ_j^qR#SWbaZoYcS#pqW¬W Q\!a _jS©PIS#p!acSSa ¥ WR n aZXW¬_j^S#pqW/XbaZRWYcKR#Sac^qoqa f oi f ac^qXp _j^
%n f YMXWRRWRb qÉ_j
x\ f W¬w&
x_j¡ WR a&XYZ\ ^dSW f ©WEqacU[n W/¡ pqW f W_j^QSW f RWXVS#_`YZ^ ac^qo@n f YMou\qXVS&ou_°¯ W f S#pqW f YZiQQ_`YZ\qR£n f YZn W f S#_`WR0Yc¤S#pqWn f YMou\qXVS£o WE§q^qWo»YZ^» e R f WVUac_j^»xa _`o¼Y f 1¬ e R Y f GI1¬ e R¿ W0i f _`W qP~UIWV^QS#_`YZ^¦S#pqWVU ¡ _jS#pqYZ\ Sn f YMYcë 'KWV S [eac^q o [Bo i1W G 1¬ e R¬Yc>S#pqW ? L N« S#pqWV^ çç Sð RTUVXW
}x
. O1 (A,0)
t1
f Wwu®
(A,1)
(B,1)
. . O1 UO2
U
qÉ_j
x\
t2
. . O1 O2 (A,0)
(B,0)
(A,0)
t1
t2 (A,1)
(B,0)
t1
(B,1)
(B,0)
t1
(A,0)
t2
. . O1 O2 (A,0)
(B,1)
(B,0)
t1 (A,1)
*
E
xt §e}NjE [Bo [ ¡ [Bo ¡ [ }u [ ¡ [e(ac^qo[Bo JA [ R [ ¡ [Bo u [ ¡ [e(ac^qo[Bo [ HA [Bo R QA [ R [e qÉ_j^!a j P WVS \qRUIWV^dS#_`YZ^¼S#pqW0±Y j Y¿¡ _j^
_jU[n Y f Sac^dS f WR#\ SK® M Ã · ? C _ EJC b C * X Q [Y_
. O2
(B,0)
(A,1)
¡
"
(A,1)
(B,1)
H £ 8 [ > W= n_Fl nb¶ X ^=
qÉ_j
x\ f W@M® 8 8 8 % X nb 3 % X = 8 = H
(C,1)
e Ycx? ¤ v Éac^qo WVS CVb C£ Wo WE§q^qW [ _ ¤ v aZR&S#pqW Yc [Y_]SYzXYZ^qou_jS#_`YZ^qR aci W Wo@idP{ADC_%CVbpR |ªi acq^ o@SYWVWV^dSR aci W Wo¦iQPªG9_ G9b FpnG kC1z,0C_ 0CLb d iqRW f W S#p!acSb!a S#pqYZ\
xp¦RYZUIW0XYZ^qou_jS#_`YZ^qRxac^ _`R#pK!a j XYZ^ q_`XVS¬ac^qo~Xbac\qRÝa _jS©P f W acS#_`YZ^qRYZ^~S#pqW f WVUac_j^ _j^
¶WVWV^dSR¬a f W n f WRW f WoªOMY£WVW f PXYZ^u§q
x\ f acS#_`YZ^Yc [ _ ¤ v _`RÉS#pqW f WR#S f _`XVS#_`YZ^IYc1a/XYZ^u§q
x\ f acS#_`YZ^Yc[Y_¿#5ÀSÉ_`R(WbaZR#_ PXpqWX ¥ Wo ¤ ¤ S#p!acS [ _ v _`Ra GI1/ e Yc ? v v Qi \ S [ _ ¤ v _`R¤^qYZSlS f _jU[UIWo_j^¶
WV^qW f a uWVWV^_° [Y_¤_`Rac^+1/ e W¬o WE§q^qW S#pqW Yc
[Y_YZ^zZa f _ aci W R CVb&aZR v A[ _ R , "9 A [ _ ¤ v R ëtb ^ Ma&ºacU[_ PIYcn f YcgëWXVSY f Rl_j^S#pqW¬XbacSWV
Y f P¶Yc e ±o WE§q^qWo iqRW f W/S#p!acSl¡¤W¬Ua ¥ W/aou_`R#S#_j^qXVS#_`YZ^¶i1WVSÀ¡¤WWV _j# ^ jt Eac^q o v aacU[_ PYcÉn f Ycg#WXVSY f R_j^~S#pqW]Xbv ac SWV
Y f PYc 1/ e Rb çç ðSRTUVXW
}x}
¨ pqW f W~WEu_`R#SR%a@Xbac^qYZ^ _`Xba UIY f n p _`R#U i1WVSÀ¡¤WWV^ [y_Iac^qoÁ_jSR f WR#S f _`XVS#_`YZ^ [ _ ¤ v ac^qo·i WVS©¡lWWV^R aZRRYQXV_ acSWo~SY%S#p _`Rn f YcgëWXVS#_`YZ^K ^qW¬XYZ\ oIR#\qR#n WXVS(S#pqWWEu_`R#SWV^qXWYca/\ ^ _jW f Ra n f YZn1W f SÀPIo WE§q^ _j^
v A [y_>RE YQY ¥ _j^
_ ¥ W(®±Y f a j 1¬ e [ b]Yc ? ¤ v v ac^qo¼UIY f n p _`RU @k[Y_ l [ bxqS#pqW f WWEM_`R#SR£a[\ ^ "_ Q\qWUIY f n p _`R#U G k v A [y_>R#l [[bR#\qXp S#p!acS }WG v (¨p _`Rn f YZn W f S©P~o YMWR#^ S pqY o~pqY¿¡¤WVW f 1WRRWV^dS#_ a j Pi WXbac\qRW0Yc>S#pqW0S f _jU[U[_j^
q
(A,0) (B,0)
(C,0) (D,0)
t1
t2
(A,1)
(B,1)
(C,1)
t3
(A,0)
(D,1) t1
t4
(B,0) (C,2)
(B,2)
(C,0)
t1 (A,1)
t1
t2
(A,1) (B,1)
(C,1) (D,1)
(D,0) t2 (A,1)
(D,1)
t2
f W%vu® 8 [ 8 8 A][ R A][ R * 3 / 8 n_ + nb 8 X > A][ R * X
(D,1)
qÉ_j
x\
M Ã · L
C_pEJCVb C X
v9¥
v v
+
"9 A [ ¤
v
vR
¨ pqW aZR#SW Q\!a _jS©Pz\qRWRS#pqW f W acS#_`YZ^ v A [ ¡ _jS#pzn f YZn YxR#_jS#_`YZ^·t0±Y f WEqacU[n Wx
v R ¤ v
"9 A [ ¤
o RN
v "9
>
F>=
v v
ëtxt
¨ pqW f WR#\ S_`RIYZidM_`YZ\qR_°£YZ^qWzYZ^ P+XYZ^qR#_`o W f R f WR#S f _`XVS#_`YZ^qRK®{A [ ¤ v R ¤ v S f _jU[U[_j^
_j^dSYaZXXYZ\ ^QSb!YZ^qW0p!aZR ,& ǪÇ>7
7 - + 8 ; Q / Q C )
. O2 |V 3 φ2
+*i W£S#pqW0_jUac
W&Yc fµ\ ^qo W f G+&w f >o WE§q^qWR¬a[SYZSa Y f o W f YZ^¼WVWV^QSR¬Yc >¡ p _`Xp¦_`Ra _j^qWba f WEuSWV^qR#_`YZ^~Yc 6 GS#pqW£Xbac\qRa _jSÀP f W acS#_`YZ^~YZ^ E )¬YZS#_`XW/S#p!acSS#pqW¬n!ac_ f A7f _pEKfbpRXbac^¶i W\qRWo~aZRa
x\ _`o W¬SY i \ _ o f YZU _¬ac^qo b£_j^~n f YQXWou\ f W}® a zOQSa f S¡ _jS#p I K_ ¡ I bK ac^qoz
YIYbW f WVWV^QSRYc _pE b£¡ _jS#pz_j^qo WEuWR J_pEJb0YZi WVPQ_j^ ,
f _ EKfSb f WR#nK! E i 1¬R YZ^
¶aZ`R kp _`R¬a YMXba WVWV^QS/Yc _ G_º Wxo YMWR#^ S¬XY f#f WRn1YZ^qo¼SYaIR#p!a f WozS#_ W E!i \ _ o¼_jSR_jUac
W&_j^ ac^qo~_j^qX f WbaZR[W _ idPtx X ¨pqWV^¼o Y%S#pqW&RacUIW/Y f bx çç Sð RTUVXW
}c
o (WV^dSRIka E ka Yc _ac^qo bza f W^qYb¡ Rp!a f Wo+WVWV^dSRb aZRRYMXV_ acSWo+SYS#pqWzRÝacUIW~S#_ W%w RYi \ _ o:S#pqW XY f#f WR#n YZ^qou_j^
In f YQou\qXVS¬WVWV^dS)k]Yc !ac^qo~_j^qX f WbaZRW&i1YZS#p~_j^qo WE WR idP»tx3¨pqWV^¼
Y%i!aZX ¥ SY%i E 'WVS¶\qR^qYb¡4XYZ^qR#_`o W f XYZ^u§q
x\ f acS#_`YZ^qR o ¨pqW f W¦WEu_`R#SRa»SYZSa Y f o W f _j^
cf o Yc]WVWV^dSRYc o ¡ p _`Xp XYZ_j^qXV_`o WR¡ _jS#W p f ¬YZ^ Gi WXbac\qRWS#pqW f WR#S f _`XVS#_`YZ^Ao YMWR#^ S YxRW¶S f ac^qR#_jS#_jW¼Xbac\qRa _jS©P f W acS#_`YZ^qR E 'KWVS[\qR i \ _ o o, o_ ¡ ob ¡ _jS# p A7fo_ EKfob R0aZRa
x\ _`o Wx¨pqWIRS f \qXVS#\ f a aZRR\ U[n S#_`YZ^·_j^qou_`XbacSWRS#p!acS]WVW f P6WVWV^dS Yc o ¤_`R£^qWXWRRa f _ P»a YQXba WVWV^dSbIOMY~a j WVWV^dS]RPQ^qXp f YZ^ _j¢¿acS#_`YZ^qR&_j^S#pqW[XYZ^qR#S f \qXVS#_`YZ^6Yc o a f W%ou\qW SYzWVWV^QSRRp!a f Wo»idP _%ac^qo bx¨pqW f WE±Y f WS#pqWIXYZ^qR#S f \qXVS#_`YZ^«Xbac^ ^qYZSi YQX ¥ i1WEY f Wa j WVWV^QSRYc o_ ac^qo ob p!aWYZ\ ^qoÁa¼XY f#f WR#n1YZ^qou_j^
»WVWV^QS_j^ o ¦OQ_j^qXW §JA o Ry o >YZ^qWp!aZR HA o ¤ v RB #¡ p _`Xp½n f YbWR G A o ¤ R v W%p!abW%n f YbWo»S#p!acS0UIY f n p _`RU G6_`R&ai _ g#WXVS#_jW%Uacn n _j^
q¨Yn f YbW%S#p!acS G·_`R&aZXVS#\!a j Pac^_`RYZUIY f n p _`R#Uz_jS f WVUac_j^qRSY~n f YbWS#p!acS&_jSn f WRW f WRa j WEuS f azXYZ^ q_`XVS%ac^qo6WEuS f azXbac\qRa _jSÀP f W acS#_`YZ^qR¿¡ p _`Xp·_`R R#S f ac_j
xpQSë±Y f ¡a f o¼iQP~o WE§q^ _jS#_`YZ^¦Yc>S#pqW£n f YQou\qXVS WE±SSY%S#pqW f WbaZo W f E
5¾RY acS#_j^
[S#pqW¬§ f R#Sn!a f SYcS#pqW/n f YMYcëu¡ p _`Xpzo YQWR^ SlUa ¥ W£\qRW/YcÉS#pqW£R#S f \qXVS#\ f a aZRR#\ U[n S#_`YZ^K YZ^qW£
WVSR Ç Ç 1 1G Ä 2 [Y_pE [[b ? ¤ v EJ? ¤ v 8 C ) C = Q A [Y_ [[bR ¤ v [ _ ¤ v [ b ¤ v ëtb ¡ ¡ iqRW f W¬a RY£S#p!acSb
x_jWV^a/n!ac_ f [y_pE [[b Yc GI1/ e RbXYZ^qou_jS#_`YZ^qRSY£
WVSW d\!a _jSÀP[Xbac^[i1W¡lWba ¥ WV^qWo0®(W d\!a _jSÀP pqY o R/aZRa f aZ R C )£Xbacn S#\ f WR¬a j WVWV^QSRYc [y_¬ac^q o [ b£S#p!acSU]\qR#S¬R#PQ^qXp f YZ^ _j¢bWx _º Wx>Y f Y a C )£RacS#_`Rë±PM_j^
+n[G _ G b E k _ [ _ E=- _ Ak _ R, nAY f k b [ b E=- b Ak b Rn C z C ) W ; $ ÃQÇ Ã ?_ EJ? b / ? C%_aEJCVb )X I > 3 ^= Ç 7 < )¬YZS#_`XW§ f R#SS#p!acS ëtV 3\qRWR ɨpqW£RacUIW£W Q\!a _jS©P¡ _jS#p _j^qR#SWbaZoYc ¡ ¡ ¡ R#_j^qXW&S#pqW ' 0OSW f U _`R ^qWXWRRa f _ PS f _jU[UIWo~¡ pqW f WbaZRS#pqW m 0OSW f U UaP^qYZSi W£S f _jU[UIWoª ¨pqW&n f YQYc f W _`WRYZ^~n f YZn YxR#_jS#_`YZ^¼q(lP¶S f _jU[U[_j^
i YZS#pzR#_`o WRYc ëtb} EqYZ^qW0
WVSR
"9 A [y_
¡
[[bR ¤
v @
"9 A [ _ ¤
[ b ¤
v R ¤ "9 "9A [ _ ¤ R v ¡ " :A [ b v R "9 [ bR v A [Y_>R ¡ v A [ v A [y_aR ¡ v A [[bR
v
¡
ëtbs
¡ pqW f W[S#pqW[RWXYZ^qo»W d\!a _jSÀP@\qRWR£n f YZn1YxR#_jS#_`YZ^Áu-5À^S#pqW%n f YQYc Yc WVU[Ua¼vuª¡¤W%p!abWa jf WbaZouP»R#pqYb¡ ^»S#p!acS ¤ v RS"9 "9A [ R v >±Y f ac^QPGI1/ e [ 1¬n n PQ_j^
~S#p _`R£n f YZn W f S©P@SY¶S#pqW ' £O¼SW f U aci YbW PM_`W o R
"9A [ ¤
": A [y_
¡
[ bR ¤
v
": "9 A [y_
": A [ _
v A [y_
¡ p _`Xp¼n f YbWRS#pqW0S#pqWY f WVUz Ç Ç 1 1G Ä
8 / F >=
v A [y_ ¡
[[bR
ºGb *
¡
¡
¡
[ b R ¤
[ bR
[ bpR ¤
v
v
=)X ? 8 C )
v A [Y_ R ¡ v A[ bR
ëtbw
$Gèç%$Gí
D
" 2N',/(U$-"V 8N'/+)"V*,"V* () 95/`8x2
'KWVSl\qRlXYZUIWi!aZX ¥ SY&S#pqW¬n f YZi WVU YZ\ S _j^qWo¶_j^S#pqW_j^QS f YQou\qXVS#_`YZ^~YcRWXVS#_`YZ^su G/_jWV^?r ? _+cacacH? dYZ^qW p!aZR GS#pqWY f WVU tl_j^jt " " ¡ cacac ¡ " v A " R ¡ cacac ¡ v A " REZ¡ pqW f W v¥ A " R " ¥ f WVn f WRWV^dSR f \ ^qR¬YcL? S#p!acS f WVUac_j^zn YxRR#_ji W0YZ^qXW£S#p _`R¬XYZU[n1YZ^qWV^QS_`RXYZ^ ^qWXVSWozSYIa j YZS#pqW f R¿3{¦Y f W&
WV^qW f a j Pu±Y f [ a e Yc ?+o WE§q^qWo~aZR [4 [y_ ¡ cacac ¡ [ Q¡ pqW f WU[eK_`Ra e Yc? MYZ^qWp!aZR [ v A][ R ¡ cacac ¡ v A][ RE 1¬^qo v¥ A][ R >[[ f WVn f WRWV^QSR f \ ^qR0YclS#pqW[R#n1WXV_°§!XbacS#_`YZ^a[[¤S#p!acS]a f W[XYZU[n!acS#_ji WI¡ _jS#p f \ ^qR0R#n1WXV_°§!WoiQP S#pqW[YZS#pqW f XYZU[n YZ^qWV^dSRb%¨pqW f WEY f WxK_jS£_`R0Yc¤
f WbacS0n f aZXVS#_`Xba _j^dSW f WR#S0SY~o WVSW f U[_j^qW[S#pqWRWU[_j^ _jUa aZXVSY f R v¥ A][ RIou_ f WXVS P: f YZUS#pq5 W [ ¡ _jS#pqYZ\ S~XYZU[n \ S#_j^
[ _jSRW # ¡ p _`Xp²Xbac^³i W¦a·pd\
WYZiugëWXVSb W¦p!aW R#pqY¿¡ ^·_j^ jt S#p!acS]S#p _`R¡laZR]n1YxRR_ji W[\ ^qo W f SÀ¡¤Y@XYZ^qou_jS#_`YZ^qRK®S#pqW%§ f R#SYZ^qWXYZ^qXW f ^qR]S#pqWR#S f \qXVS#\ f WYcx ?¬ ac^qo»S#pqW[RWXYZ^qo»YZ^qW f W d\ _ f WR]S#p!acS0n f YcgëWXVSY f R i W%^qYZS0U[_`R WbaZou_j^
q/ 5©^»S#p _`R]RWXVS#_`YZ^Kª¡¤Wo f YZn»S#pq W d\ _jSW f WR#S f _`XVS#_jW@XYZ^qou_jS#_`YZ^²YZ^An f Ycg#WXVSY f RbidPAUIYbM_j^
«SY·S#pqW a f
W f XbacSWV
Y f P:Yc 1¬ e Rb²l\ Si1WEY f Wx WVS\qR WR#Saci _`Rp¼XYZ^ ^qWXVS#_`YZ^qRi WVS©¡lWWV^ v¥ ac^q o v¥ M Ã · O [ I 8 8 ? # 8 [[ v¥ A][ RA]\eE_^E^l E=-E 6ER}R [[V "9 A]\FE_^E^lE=-1EK6 E=RTRN v¥ A][ R P ? ac^qoS f _jU[U[_j^
,& Ǫ>Ç 7 < lP@o WE§q^ _jS#_`YZ^·Yc v9¥ [e_`R0YZi Sac_j^qWo6iQP f WR#S f _`XVS#_j^
[ SY^qYQo WR aci W Wo»id S#pqW f WR#\ Sb 5©^«S#pqW f WR#S f _`XVS#_`YZ^K3S#pqW !Y¿¡ f W acS#_`YZj ^ l Yc) [ _`R f Wou\qXWoÁSY f W acS#_`YZ^qR%XYZU[_j^
@ f YZU¹S#_ WRYc ? >i \ S[a j Xbac\qRa _jSÀP«ac^qoÁXYZ^ q_`XVS f W acS#_`YZ^qRS#p!acS%¡¤W f Wn f WRWV^QS_jV ^ [ a f Wn f WRW f Woª(\ ^qo W f S#pqW±Y f U Yc ÀWEuS f a f W acS#_`YZ^qR¿3lPXYZ^dS f aZRSb v¥ o YMWRS#pqW0RacUIW f WR#S f _`XVS#_`YZ^Kui \ SYZ^ P¶n f WRW f WRXbac\qRa _jSÀPac^qo~XYZ^ q_`XVS Y v¥ A][ R3_`RYZi Sac_j^qWo~aZRlS#pqW/\ ^ _`YZ^YcÉXYZ^u§q
x\ f acS#_`YZ^qRYc A]\FE_^TE^l E=-1EK6 E=RRE f W acS#_`YZ^qR ou\qW/SYS#_ WRYcV ? (OM 1/R¬a%XYZ^qRW Q\qWV^qXWx v¥ A][ R ac^qO o "9 A]\FE_^E^l E=-EK6 E=RRp!abW&S#pqW&RacUIW]XYZ^u§q
x\ f acS#_`YZ^qRbOQ_j^qXW&S#pqW acS#SW f p!aZR¬^qYWEuS f aIXYZ^ q_`XVS f W acS#_`YZ^K^qY f WEMS f aXbac\qRa _jS©P f W acS#_`YZ^K "9 A]\FE_^TE^l E=-EK6 E=RR_`R/ac^@Y f ou_j^!a f Pz e ac^qo~_`RS#pd\qR_`RYZUIY f n p _`X0S Y v9¥ A][ RE
1/Ra0XYZ^qRW d\qWV^qXW¬Yc1S#p _`R WVU[UaudS#pqW U[_j^ _jUa aZXVSY f R A #"`R f WR#nK A][ R Én f YZn YxRWo[_j^ jt 1Xbac^Ii1W o W f _jWoz f YZU S#pqW v¥ A "`R f WR#nK v¥ A][ R E3¨pqW acS#SW f XYZ^dSacv_j¥ ^a f _`XpqW f _j^uY vf ¥ UacS#_`YZ^K!R#_j^qXW£S#pqWVP¶n f WRW f W Xbac\qRa _jSÀP¼ac^qo¼XYZ^ q_`XVS f W acS#_`YZ^qR¬ou\qW]SY[S#pqW&YZS#pqW f XYZU[n YZ^qWV^dSR£Yc ?¬RY%¡¤WXYZ^qXWV^dS f acSW%YZ^zS#pqWVUz )¬YZS#_`XW pqY¿¡¤WVW f S#p!acSS#pqW/aZXVSY f _j¢¿acS#_`YZ^ f WR#\ SYZ ^ #"¼_`R YxR#S ¡ pqWV^ f WVn aZXV_j^
¸idP «® #" v A #"`R ¡ cacac ¡ v A "`R ët¿ ¨p _`R&Xbac^»i Wn f YbWo»iQP@XpqWX ¥ _j^
zS#p!acS&WVW f PXYZ^u§q
x\ f acS#_`YZ^·Yc #"·Xbac^»i1W f WXYZ^qR#S f \qXVSWo·_j^S#pqW%n f YQou\qXVSb ac^qoXYZ^qX \qou_j^
%¡ _jS#p WVU[Ua&q(l\ SW d\!a _jSÀPo YMWR#^ SpqY o¶_j^¶
WV^qW f a ®>S#pqW f W¬UabP f WVUac_j^~WEMS f aXbac\qRa _jSÀP f W acS#_`YZ^qR_j^zS#pqW m 0OSW f UzuY f WE acU[n W ±RWW0RWXVS#_`YZ^@Mjt E 'WVS\qR ^qYb¡
dacS#pqW f n f YZn W f S#_`WRYc ¸ac^qo ¡ ? ,& Ç & Ç Ç 0 ^= * C # 8 8 >= [ I > 8 8 3I ?£ [E C o CFE [4 ëtbv v A [R SC o EJC o o CFE v v v v ët 9 [TE [ [ A R }x ¡ I I I z 8 = [ o E [ o o ? ¤ 8 ? ¤ v v = 8 * >= ^=+ %X }C o C o o E A[ o ¡ [ o o RA [ o R ¡ A[ o o R }ut ^ 1¬ e Yc1 ? ¤ v Y f RYZUIxW C o ®S#pqW U[_j^ _jUa C o _`R3o WVSW f U[_j^qWoidP aci W R3Yc ,& Ǫ>Ç 7 < ëtbv (WEMn f WRRWR(S#p!acS [_`R¤ac+ A [ RE ët 9 XYZUIWRl f YZU WVU[Uavu }x lWEMn f WRRWRS#pqW0o WE§q^ _jS#_`YZ^¼Yc I ac^qon f YZn W f S©P v E }ut f WVn p f aZRWR S#pqWY f WVU tx
çç ðSRTUVXW
}xw
¨pqWRW±YZ\ f n f YZn W f S#_`WR%Y f U S#pqW~XY f WzYc£ac^Aau_`YZUacS#_`X f acUIWV¡¤Y f#¥ S#p!acSa j Y¿¡RIS#pqW~o WVW YZn UIWV^dS¶Yc UIYMou\ a f a
Y f _jS#p UIRSY%o WVSW f U[_j^qW0S#pqW v9¥ A #"`RE3¨p _`Rl f acUIWV¡¤Y f#¥ ¡laZRR#S#\qou_`Wo¶_j^ ö}x Kac^qozacn n _`WoSY[YZ\ f n f YZi WVU-_j^ jt©RWXVS#_`YZ^@suöu!\ ^qo W f S#pqWaZRR#\ U[n S#_`YZ^¦Yc(^qYZ^ ºU[_`R WbaZou_j^
¶n f YcgëWXVS#_`YZ^qR¿ W0i f _`WqP f WXba j S#pqW Uac_j^~WbacS#\ f WRYc>S#p _`R n f YMXWou\ f Wx 1/R]a§ f R#S&R#SWVnKK¡¤WaZRRYQXV_ acSWIa ; ' SYzaRPMR#SWVU ? ? _ cacacH? ª¡ pqW f WIXYZU[n YZ^qWV^dSR ? ? ¤ v¥ RacS#_`Rë±PS#pqWRS f \qXVS#\ f a aZRR#\ U[n S#_`YZ^K¬¨p _`R¬
f acn p p!aZUR 9Egt!Eacacac EHL[aZR¬W f S#_`XWRbªac^qo{ADgE6R _`R]ac^6Wou
W%_°. ¯ CC+ª uªS#p!acS&_`R£_° XYZU[n YZ^qWV^dSR ? EJ? R#p!a f W%xa f _ aci WRbKY f _j^QSW f aZXVS f WXba j S#p!acS0S#pqW f W _`R^qY6_j^QSW f aZXVS#_`YZ^³YZ\ SR_`o W¼R#p!a f WoAZa f _ aci WRbiQP+S#pqW@O 1 E 1 _`Ro W f _jWoA f YZU idP f WXV\ f R#_jW P f WVUIY¿Q_j^
f Wou\ ^qoqac^dS%Wou
WRb¡ pqW f WWou
W ADHE!R0_`R f Wou\ ^qoqac^dS_°¯+S#pqW f WWEu_`R#SR]an!acS#p HE &_EacacacVE E¶R#\qXp¼S#p!ac S CVC+ C Y f %¬ªº b_°ÉS#pqW]_j^dSW f aZXVS#_`YZ^@i1WVSÀ¡¤WWV ^ ? ac^q0 o ? _`R¬a RY Xbacn S#\ f WoidPac^qYZS#pqW f n!acS#pK(¨pqW f W
WV^qW f a j PIWEu_`R#SRWVW f a XYZU[U]\ ^ _`XbacS#_`YZ^
f acn pqR3Y f a&
x_jWV^R#PuR#SWVUzxi \ S _°¤YZ^qW%YcS#pqWVU _`R0aS f WWx S#pqWV^6a j Yc¤S#pqWVU a f WS f WWRb WRabP¼S#p!aceS ?²_`R0a : )^= [1Y f S#p!aceS ? '+ V q!Y f aS f WW ©R#p!acn WozR#PuR#SWVUz n f Ycg#WXVS#_`YZ^qR v¥ A "`R Xbac^zi1W0o WVSW f U[_j^qWo¼idPzaUIWRRac
W&n!aZRR#_j^
a
Y f _jS#p U ±{ e 1 i!aZRWo¼YZ^aIXYZU[U]\ ^ _`XbacS#_`YZ^»
f acn p Yc% ?¬ ¤aZXp»Wou
W ADHE!R¬Yc ¬Xba f#f _`WR£aIUIWRRac
W m & f YZU XYZU[n YZ^qWV^d#S ? SY]XYZU[n YZ^qWV^dS ? Qac^qo¶a0UIWRRac
W _j^IS#pqW f WVW f RW/ou_ f WXVS#_`YZ^K({¦WRRÝac
WR¤a f W f WXV\ f R_jW P \ n oqacSWo~\ ^dS#_ XYZ^dW f
WV^qXW(® ,&
Ç Ã È Ã 2 tx 5©^ _jS#_ a _j¢¿acS#_`YZ^
I
E
ADHE6Rx
}x}
}u 6 ^QS#_ R#Saci _ _jSÀPYc>UIWRRac
WR¿ RW WXVS¬ac^zWou
WTADHE!Rac^qo¼acn n PS#pqW£\ n oqacSW f \ W
[ o
u¨W f U[_j^!acS#_`YZ^
k
"¥
¡
" ¥
v¥ v A ¡
¡
A ¡
! R
"# ! R^E
ej,j
}x
}c
WV^qYZSWR^qWV_j
xpQi1Y f R¶Yce]_j^ R
[y_
}xw
¨pqW0SW f U ÀR#\ i º_j^dY \ S#_jM_jS©PQ f WE±W f RSY[S#pqW0n f WE§ f W acS#_`YZ^ f WVn aZXV_j^
W Q\!a _jS©P~_j^# }xw E ,& Ǫ>Ç 7 REY f WVWV^«Yc [Y_ [y_¿/ 1¬^qoS#p _`R0_`R0^qYZS aUacS#SW f YcS f _jU[U[_j^
qaZR/_ j \qR#S f acSWo_j^¦§q
q>tb®¬ac' ^ 1¬ e [ _ GSYZnK WE± S ac^qo@_jSR/n¡ f Ycg#WXVS#_`YZ^ A [ _ R GSYZn f _j
xpQ S £a f W f WVn f WRWV^dSWoª 5©^Y f o W f SY~aYZ_`o6XYZ^u±\qR#_`YZ^qRb S#pqW§q
x\ f W%
x_jWR£^!acUIWR£SY~WVWV^QSRbaZRR#\ U[_j^
S#p!acS¬^!acUIWR¡ _jS#pzS#pqWRacUIW0_j^qo WE¦a f W aci W WoziQPS#pqW]RacUIW0S#_ W b WVWV^dS$R kpb:E kpob Ekp b0i YZS#p f WVn f WRWV^QS¬S#pqW § f _j^
Yc nb E ¨pqW]n f YMou\qXVS [y_ ¡ A [y_>R _`R f WVn f WRWV^dSWo¦i1W Y¿¡&¡ pqW f WWVWV^dSR0a f W]_`o WV^dS#_°§!Wo@idP~S#pqWV_ f _jUac
W_j^WbaZXpaZXVSY f (¨pqWn f YQou\qXVS¤_`R3^qYZSS f _jU[UIWoªQi \ S¤WVWV^aGSW f S f _jU[U[_j^
qQ_jS¤XYZ^dSac_j^qR a0XYZ^u§q
x\ f acS#_`YZ^ ¡ p _`Xpp!aZR^qY&_`RYZUIY f n p _`X/XYZ\ ^dSW f n!a f S_j^ [Y_¿^!acUIW P[S#pqW § f _j^
Yc1 n_3Y j Yb¡¤WoidY P nb ±Y j Y¿¡¤WoidP n*) GS#p _`X ¥ a f#f Y¿¡ R E
D
$
() "(2(ª"V*
'KWVS y [ _pE [ [ b£i W GI1/
e R Yc ? ¤ v EJ? ¤ v f WR#nKj ¡¤W]o WE§q^qW f W acS#_`YZ^ [y_
[[b
[Y_
[y_
b
¡
iQP [ b
}
¡ p `_ Xp¼_jU[n _`WR C_,C%_L£CVbZ Gb%CVb C%_b(¨p _`R f W acS#_`YZ^¦WEMn f WRRWRS#p!acS[[b0o YMWR#^ SXYZ^qR#S f ac_j^zi WVp!aM_`Y f R Yc [ _ > _j^«S#pqW¶RWV^qRWS#p!acS[a j XYZ^u§q
x\ f acS#_`YZ^qR[Yc¬S#pqW acS#SW f a f W¶n f WRW f Woª ¬Y¿¡¤WVW f S#pqW f WUabP·WEu_`R#S_j^ [Y_ [[b]XYZ^u§q
x\ f acS#_`YZ^qR¬S#p!acS¬¡¤W f W]^qYZSn f WRWV^dS/_j^ [Y_®3¡¤W]R#pqYb¡i1W Y¿¡ S#p!acSS#pqWVPza f W0 f WV_j^u±Y f XWoM ]XYZn _`WR ¡ Yc(XYZ^u§q
x\ f acS#_`YZ^qR¬Yc [y_¿u¡ pqW f WRYZUIW0XYZ^qXV\ f#f WV^qXVP~p!aZR i WWV^~S#\ f ^qWoz_j^QSYac^¼WEuS f a%Xbac\qRa _jS©P f W acS#_`YZ^K 8 : 3 ?£ + ,& Ç & Ç Ç ? b [TE [ }xv bI [Y_ E [ b9E [ )9E [y_ [ b [y_ [ ) [[b [ ) } 9 ¡ ¡ b b [Y_ E [ bE§+C o C [y_ [ b v A[y_>R b v A [ bR x b çç ðSRTUVXW
b
}xv
(B,0)
(A,0)
e1
e2
(A,1)
(C,0)
(B,1)
(B,1)
qÉ_j
x\
f Wztbu®
8
[ _ y
¡
e1
(B,1)
(A,1)
e2 e2 (B,1)
_
_
e 2 e’2
e’2 e’2 (B,1)
(B,1)
(C,0)
_
_
e1 e 2
e’2
e2
(A,1)
(B,0)
_
_
_
_
(C,1)
(A,0)
e1
(B,0)
(A,0)
e3
e’2
(B,1)
.
e’2 e3 (B,1)
.
e3
(C,1)
(C,1)
8 A [Y_>R [Y_ / 8 A [y_>R N %
[y_
[y_o YMWR#^ S _jU[n P [Y_ [[bZqaZR_j^qou_`XbacSWo~iQPS#pqW0XYZ\ ^QSW f ©WE acU[n WYc§q
qªtxtx ,& ǪÇ>7 < [y_ [ b Xbac^ S£i Wan!ba f S#_ a bY f o W f 0¤\ S/S f ac^qR#_jS#_jM_jS©P¦pqY o RbI1¬RR\ UIW [Y_ [[b [ x) !¡lW¡lac^dS0SY¶R#pqY¿¡ [Y_
RY
x q f YZU [ b [[b [ )xZYZ^qWlp!aZR [y_ [[b [y_ [[b [ ) Gn f YZn1W f SÀPtlRWXVS#_`YZ^%q E>¨a ¥ _j^
[Y_ [y_ [[b_j^dSY ¡ [ _ xac^qo aZXXYZ\ ^QSbYZ^qWl
WV¡ SR[ _ [ _ ¡ [ b ¡ ¡ [ ) 'KWVS [²¡ i W¤S#¡ pqWn f WE§ Yc [ _ ¡ [ b ¡ [ ) ¡ p _`Xp%_`R_`RYZUIY f n p _`X¤SY o WV^qYZSWiQP_ k [y_ ¡ [[b ¡ [ )l [Y_ÉS#pqWlUIY f n p _`R#U f W acS#_j^
0S#pqWln f YMou\qXVSÉSYºaZXVSY f [Y_¿¨pqWV^%S#pqW f WR#S f _`XVS#_`YZ^ _ k [l [Y_¤_`Rac^_`RYZUIY f n p _`RUz(¤P[S#pqW£aZRRYMXV_ acS#_jM_jS©PIYc dS#pqW f W¬WEu_`R#SR _ )ek [Y_ [ b [ )l [y_ [ )c h£WV^qYZSWidP o_ S#pqW]UIY f n p _`R#U f W acS#_j^
n f YMou\qXVS [Y_ ¡ [ )]S¡ Y_jSRaZXVSY f [y_¿B6¬R_j^
S#¡ pqW\ ^ ¡ _jW f Ra n f YZ¡n1W f SÀP YcS#pqWn f YMou\qXVSbªYZ^qW]p!aZR_A[Rx ,o_ AN_ ))A [ RJRx [y_b&OQ_j^qXW _ k [ l [y_/_`R0ac^¦_`RYZUIY f n p _`RUzªYZ^qW]
WVSR S#p!acS _ ))A [ R [y_ ¡ [ )£_`R_`RYZUIY f n p _`X&SY [Y_S#p f YZ\
xp o_ qRY [y_ [y_ ¡ [ )xKGb [Y_ b [ )x }xv _`RYZidM_`YZ\qRb iQPo WE§q^ _jS#_`YZ^@Yc q!Y f } 9 E£YZiqRW f W»S#p!ac S [ _ [ I _ ¡ [ b ac^qo [ ) [ ) ¡ [ ) Gn f YZn1YxR_jS#_`YZ^µ _jU[n P [ _ ¡ [ ) A [Y_ [ )pR A [[b [ )R Gn f YZn1W f SÀPtx!RWXVS#_`YZ^zq E ¡ ¡ ¡ ¤ ¤ x f W Q\ _ f WRUIY f W¦WE¯ Y f SRb q f YZU [Y_ [Y_ [ bc YZ^qW¦o W f _jWR [ _ ¤ v uA [y_ ¡ [[bpR v [ _ v ¡ ¡ [ b ¤ ¡ pqW f WS#pqW aZR#S f W acS#_`YZ^@XYZUIWR f YZU XY f Y j a f P¼u¨ f _jU[U[_j^
¶WEuS f WVUa SW f UIR/Yc(S#p _`R f W acS#_`YZ^@PQ_`W o R v v A [ _ R ": A [ _ ¤ v ¡ [ b ¤ v RIac^qoªiQP«n f YZn YxR#_jS#_`YZ^R ¡ v A[[b:R v A [y_>R ¡ v A[[b:RE
b
. O2
. O1 (B,0)
(A,0)
e1
qÉ_j
x\
e2
(A,1)
f WItxtx®
(B,1)
_
8+
', /1*,$-"&% $
(B,0)
E
(A,1)
8
b [ )
e2 (B,1)
B
(B,0)
(A,0)
_
e1 (B,1)
b
. . O1 O2
(A,0)
e’2
*
b
_
(A,1)
[Y_
b
_
e1 e 2
e1
[[b
e 2 e’2 (B,1)
b
[y_
_
e2 (B,1)
[ _ [ [ bd Y
m W PQ_j^
YZ^~n f YZn YxR#_jS#_`YZ^@M!YZ^qW0Xbac^¼o WE§q^qW]ac^¼W Q\ _jZa WV^qXW f W acS#_`YZ^¼YZ^ GI1/ e R [y_ [ b [Y_ [[b [Y_ b b ,& Ç & Ç Ç L Q > 8 8 Q ¡ % Q 8 8 %8 8 > + + % + Z >8 ¡
ut
u = 8
$Gèç%$Gí
,& Ǫ>Ç 7 < 1/RR#\ UIW GI1/ e R [Y_¤ac^qo [[ba f WW Q\ _jxa WV^dS ±RY£S#pqWVPIa f W ^qWXWRRa f _ P/G 1¬ e R3Yc S#pqWRacUIW RPMR#SWVUz _º Wx3YZn W f acSW0YZ^S#pqW0RacUIW£xa f _ aci WR E%q f YZU [Y_ [y_ ¡ [[bxuYZ^qW£
WVSR [y_ ¡ [y_ [Y_ ¡ [y_ ¡ [[bZqac^qo~R#_j^qXW [Y_ [Y_ [y_b YZ^qWo W f _jWR [Y_ [Y_ A[y_ [[bREº b [Y_ [y_ [ bxSq f YZU [y_ [Y_ [[bZ YZ^qWa RY ¡ ¡ ¡ b ¡ ¡
WVSR [ _ ¡ [ b A [ _ ¡ [ b R ¡ [ b >ºGb [ _ ¡ [ b b [ b -G0acS#pqW f _j^
f W acS#_`YZ^qR¿ [ _ b [ _ ¡ [ b b [ b Kac^qo R#_j^qXW [[b b [Y_¡¤W&XYZ^qX \qo W [y_ [Y_ ¡ [[bx m WVUa f#¥ ® WXbac^»RabPzUIY f W%YZ^S#pqWRWW Q\ _jxa WV^qXWX aZRRWRb pqWV^ [ _ [ b ªaZR GI1¬ e R£YcS#pqW%RacUIW R#PuR#SWVUz [Y_%ac^qo [[b¶o YZ^ Sp!abW YQXba WVWV^dSR¿»OMY >_j^ÁS#pqW¶n f YQou\qXVS [y_ ¡ [[bx(WVW f P·WVWV^QSIYc [y_%p!aZRSY R#PM^qXp f YZ^ _j¢bW¦¡ _jS#p¨p _`R n f YbWR [ o [ ¡ [ o M¡ pqWV^qXW [ ¡ [ o ®>idP_j^qXY f n1Y f acS#_j^
f WV_j^u±Y f XWo XYZ^u§q
x\ f acS#_`YZ^qR]_j^dSYzac' ^ 1¬ e YZ^qWRSaPuR¬_j^S#pqW%RacUIW%X aZRRb$ )¬Y¿¡& WVS [Y_pE [[bi1W§q^ _jSW%W Q\ _jZa WV^QS 1¬ e Rb ac^qo~Sa ¥ W [ [y_L [[bxOQ_j^qXW [ [[¾ WVW f PXYZ^u§q
x\ f acS#_`YZ^ ÉYc [e& [ _`Ra f WV_j^u±Y f XWo~W f R_`YZ^zYc>RYZUIW XYZ^u§q
x\ f acS#_`YZ^ Yc [¶~OM Y [Y_N£ [[b[Xbac^·i WIYZi Sac_j^qWo«idP_j^qXY f n Y f acS#_j^
f WV_j^uY f XWo«XYZ^u§q
x\ f acS#_`YZ^qRS Y [¶ ¡ p _`Xp¼n f YbWR [ _ £ [ b [ [ _ [ b ¨YWEuSWV^qozS#pqWRW]R#Saci _ _jS©P f WR#\ SR¬SY[_j^u§q^ _jSW 1¬ e Rb!YZiqRW f W0§ f R#SS#p!acSb!_j^qR#_`o Wa[X aZRRb!a j 1¬ e Rp!aW S#pqW/RacUIW¬pqWV_j
xpdSbH 1¬^qoiQPIS f \ ^qXbacS#_j^
1/ e R¤Yca]
x_jWV^~X aZRRSYS#pqWV_ f n f WE§ YcpqWV_j
xpdS MYZ^qW
WVSR ac^qYZS#pqW f W Q\ _jZa WV^qXW]X aZRRb ¡ p _`Xpz_`R§q^ _jSWx W&XYZ^qX \qo W]idP WVS#S#_j^
Y[SY%_j^u§q^ _jSÀP
)/YZS#_`XWS#p!acS¬S#pqWUaM_jUa W WVUIWV^dS0Yc¤aI§q^ _jSWW Q\ _jxa WV^qXWX aZRR/Xbac^WV_jS#pqW f i W]YZi Sac_j^qWo»aZR¬S#pqW]\ ^ _`YZ^ Y f aZRS#pqWn f YQou\qXVSYca j W WVUIWV^QSR YcKS#p _`R¤X aZRRb= 8 ¡
[Bo_
¡
[Bbo
v A [Y_>R
x
xp½SY@n f YbW [Y_ [[b [Bo_ [Bbo 3R_j^qXWW Q\ _jZa WV^qXW_`Rn f WRW f WoÁ\ ^qo W f S f _jU[U[_j^
q o o _ ob i1W¶azXYZ^u§q
x\ f acS#_`YZ¡ ^+Yc [ o_ [ ¡ bo ~¨pqW f W¶WEM_`RSR e [e ¡ p _`XpÁ_`R%a~¡¤Wba ¥ WV^qWo«W f R#_`YZ^ Yc o y 9Eg¡ tu«OMY _ ¡ b [Y_ ¡ [ b¡ _`R[a¼¡¤Wba ¥ WV^qWo+W f R#_`YZ^+Yc oG3¡ pqWV^qXW o ¡ oG»¨p _`R n f Y¿WRA [Bo_ ¡ [Bbo R A [ _ ¡ [ b R ¡ A [Bo_ ¡ [Bbo RE3_º Wx [Bo_ ¡ [Bbo b [ _ ¡ [ b ·lP·R#PMU[UIWVS f PYZ^qWp!aZRIa RY [Y_ [ b [ o_ [ bo M¡ pqWV^qXW£S#pqW/W d\ _jxa WV^qXWx3¨pqW/n f YQYcÉYcS#pqW£RWXYZ^qo f W acS#_`YZ^YcS#pqW WVU[Ua_`RR#_jU[_ a f ¡ ¡ b ,& ǪÇ>7 < 5ÀS%_`RWV^qYZ\
'KWVS
G£_jWV^+ac^ 1/
e [¶ WVS\qR%o WV^qYZSWidP [ S#pqW¶Uau_jUa W WVUIWV^QSIYc_jSR%X aZRRb3ac^qoÁidP [ S#pqW¶U[_j^ _jUa W WVUIWV^QSb [ _`R0apd\
W[YZiug#WXVSY f UIWo@idP¦a j n YxRR#_ji W f WV_j^u±Y f XWVUIWV^QSR&Yc¤XYZ^u§q
x\ f acS#_`YZ^qR&Yc [ G£_jWV^¦SÀ¡¤Y 1/ e R [ _ E [ b YZ^qW%p!aZR [ _ [ b [ _ [ b ac^qo v A [ _ Re v A [ _ REªi \ S&S#pqWRW%n f YZn1W f S#_`WR]p!aW _jS#S W _j^QSW f WR#Sb e(f YZn W f S#_`WRYc>U[_j^ _j¡ Ua W WVUIWV^Q¡ SR¬a f W0n YZSWV^dS#_ a j PU\qXp@UIY f W0\qRWE±\ . O2
. O1 (B,0)
(A,0)
e1
e2
(B,0)
_
e1
e’2 (B,1)
(A,1)
(A,0)
(B,1)
(A,1)
. . O1 . O2 (B,0)
(A,0)
_
(B,1)
_
_
e1 e 2
e1
e2
(A,1)
_
e 2 e’2 (B,1)
e2 (B,1)
e3
qÉ_j
x\
(B,2)
f WItb}u®
[ _ E [ b
%
E
8 %
l P%n f YZn YxR#_jS#_`YZ^+9uYZ^qW p!aZR [y_ ¡ [ b [y_ ¡ [ b xi \ S3\ ^uY f S#\ ^!acSW P[S#pqW U[_j^ _jUa _jS©P[_`R3^qYZSR#Saci W \ ^qo W f n f YMou\qXVSK® [y_ ¡ [[b [Y_ ¡ [[b o YQWR^ SlpqY o¶_j^
WV^qW f a !aZR_ j \qR#S f acSWoiQPI§q
x\ f W%tb}uH5À^S#pqW0RÝacUIW¬¡aP YZ^qW p!aZR v A [ _ R v A [ _ RidPn f YZn1YxR_jS#_`YZ^ 9u i \ S\ ^uY f S#\ ^!acSW P¦ac
dac_j^zS#pqW&U[_j^ _jUa _jS©Pz_`R^qYZSR#Saci W0\ ^qo W f n f Ycg#WXVS#_`YZ^&,® qÉ_j
x\ f WItb%
x_jWR¬a%XYZ\ ^dSW f ©WEqacU[n W]¡ pqW f W v A [y_ RF v A [Y_>R (A,0)
(B,0)
t1
(C,0)
t2 (A,1)
(A,0)
t2
(C,1) (B,1) (C,1) (B,1)
(B,0)
t1
t2 (A,1)
(B,1)
t2 (B,1)
t3 (C,2)
f Wztbu® [ : 8K 8 8 A [ R : 8 ¿ 8 % h£WR#n _jSW/S#pqWRW/o f a¡ i!aZX ¥ R¿ S#pqWn!a f R_jUIYZ^dPYcU[_j^ _jUa 1¬ e Rl_`R a]o WR_ f aci WWbacS#\ f Wx 5À^qo WWoªuS#pqW acS#SW f Yc¯ªW f S#pqW£aZouxac^dSac
W/SY]ou_`RXba f o¶WEuS f a]Xbac\qRa _jSÀP f W acS#_`YZ^qR aZRlRYQYZ^aZRS#pqWVPo Y&^qYZS WbaZoSYou_°¯ W f WV^QSlG\ S#\ f WRb ¨pqW f WEY f Wxq_jS_`RSWVU[n S#_j^
SYIXYZ^qR#_`o W f S#p!acS¬a%U[_j^ _jU[_j¢¿acS#_`YZ^@YZn1W f acS#_`YZ^@R#pqYZ\ o¼a RY[i W£_j^qXY f n Y f acSWozSY ¡ ac^qo dgë\qR#S _ ¥ W]S#pqWS f _jU[U[_j^
q0¨p _`R/n f WRWV^dSR/^qY¶S#pqWY f WVS#_`Xba ou_ "XV\ S©eP wªpqYb¡lWVW f ª¡¤W%o f ab¡¸S#pqW f WbaZo W f R acS#SWV^QS#_`YZ^SYS#pqW>aZXVSS#p!acSbiQP0XYZ^dS f aZR#S¡ _jS#p]S#pqW(S f _jU[U[_j^
£YZn1W f acS#_`YZ^KZXYZU[n \ S#_j^
£aU[_j^ _jUa Qf WVn f WRWV^dSacS#_jW [ f YZU [-Xbac^ ^qYZSi1W[o YZ^qW f WXV\ f R#_jW P¨Y¼o WXV_`o WI¡ pqWVS#pqW f RYZUIW[
x_jWV^«WEuS f a~Xbac\qRa _jSÀP _j^ ¥ k 6lkao(Xbac^ i W f WVUIY¿WoªYZ^qW]U]\qR#S/WV^qR#\ f W&S#p!acS/WVW f PzXYZ^u§q
x\ f acS#_`YZ^ XYZ^QSac_j^ _j^
S#p _`R _j^ ¥ _`R_`RYZUIY f n p _`XSYac^qYZS#pqW f o¤¡ p _`Xp:o YQWR#^ S[XYZ^QSac_j^:S#p _`R _j^ ¥ G_`RYZUIY f n p _`RU _`R%UIWbac^dS©\ n+SY@S#pqW f W acS#_`YZ^ k 6lkpoô ¶ac^qo½_jSRn f YZn1W f XYZ^qRW Q\qWV^qXWRbª¡ p _`Xp»Zac^ _`Rp E 1^qo@S#p _`R£SWR#S f W d\ _ f WR£_j^uY f UacS#_`YZ^·a f i _jS f a f _ P¦a f a¡aP@_j^S#pqW]±\ S#\ f W%Yc WVWV^QS)R kac^q% o kao±3¨p _`R _`RR\
x
WR#SWo~idP§q
x\ f WtVq $Gè% ç $Gí qÉ_j
x\
(A,0)
(B,0)
t1
(A,0)
t2 (A,1)
(B,1)
(B,0)
t1
t2 (B,1)
(A,1)
(B,0)
t1
t2 (B,1)
t3
(A,0)
t2 (A,1)
(B,1)
t3
(B,2)
t2 (B,1)
t3
(B,2)
(B,2)
f W¶tVq® X * - I Q > 8 Q > b +*RS#_ j pqY o R GidP%n f YZn YxR#_jS#_`YZ^¼tE /Yb¡¤WVW f MiQPSa ¥ _j^
a0R#S f _`XVS n f WE§ «YcRYZUIWYcS#pqWRWIaZXVSY ¡f Rb>YZ^q¡ WUaP6n f WRW f WS#p _`R f W acS#_`YZ^xz{@Y f WYbW f (WVWV^Á_°^qYzn f WE§ «Xbac^«i1W Sa ¥ WV^@_j^@ac^QP~aZXVSY f ¡ _jS#pqYZ\ S¬i f Wba ¥ _j^
¶S#pqW]XYbW f _j^
n f YZn W f S©P\ ^ _`XV_jS©P¼Yc3S#pqW&aZXVSY f R¬_`R/R#S#_ j ^qYZS¬
f ac^dSWoª )/WVW f S#pqW WRRb!a[¡¤Wba ¥ W f ^qYZS#_`YZ^@YcÉU[_j^ _jUa _jSÀPzXbac^~i1W0o WE§q^qWo¦YZ^~n f YQou\qXVSXY¿W f _j^
R¬Yc3ac) ^ 1/ e M à · 4 [ ? C mC _ £rcacac-£ C v¥ A[R 8 ) [ * % [ ¡ [[ 8 8 + [ S b v¥ A [ R b [[# $Gð0âºÖ×ÙØÉØãëê¾âº×öÛEðdòdÚ1ã oöã¾â(âºÖãܺã#ßÝäã¾Ü>åcàcp× oÙä&Öc×öØ>Û#ÚKðã cß r qá oöãëØÉßÝðZä0êëÛÝàcðâºã¾Ü / ã =ß r Má oöãëØëòxâ©ßÝÞb×ö.ð -×öðcØác× Ü©ßâº×ÙÛÝðó ܺuÛ r *.-Eà¿ÜºãëØ U ÛÝHÜ U U(óôÛÝÜã ÷ çç Sð RTUVXW
x}
[ [y_ cacac [ ac^qo [ [Bo_ cacac [Bo i W(S©¡lYn f YMou\qXVSXYbW f _j^
R>Yc [¶1/R [ [ [¶ YZ^qWp!aZR [ A [y_ ¡ [ ¡ o_ R ¡ ¡ cacac ¡ A [ ¡ [ o RE¡ ¡ p _`Xp·¡
x_j WR%ac^qYZS#pqW f n f YMou\qXVSXY¿W f _j^
@Yc [¶ )/YZS#_`XW[¡ S#p!acS WbaZXpÇ 7 < OQ_j^qXW [ [ o _jU[n _`WR [ f WVn aZXV_j^
& qqY f S#pqW a ZR#S/n!a f S£Yc3S#pqW WVU[UauªaZRR\ UIW [ b_`R/an f YQou\qXVS£X aZR R [ ¡ [[# q f YZU4S#pqWU[b_j^ _jUa n f YMou\qXVS£XYbW f _j^
n f YZn W f S©P~Yc>n f YcgëWXVS#_`YZ^qRbYZ^qW£p!aZ R [ b ¡ v¥ A [ R b ¡ [ [¶ RY [ ¡ v¥ A [ RE
¨p _`R f WR#\ Sacn n _`WRYc XYZ\ f RWISY¼a~n f YQou\qXVS 1¬ e [© [ ~OQn WXV_ a _j¢_j^
¼S#p _`R WVU[UazSYzU[_j^ _jUa A [ R _j^~
WV^qW f a ac^q¡ o A [ R 1/ e RbqYZ^qW£p!aZR [ a c a c c ¡ ¡ v b v [
v A[
R ¡
cacac ¡
v
A [R
xs
¡ pqWV^ [ i W YZ^
RSYIa[n f YQou\qXVSX aZRRb )/YZS#_`XWpqYb¡¤WVW f S#p!acSS#pqW¶R#S f YZ^
W ff W acS#_`YZ^ [ v A [ R cacac v A[R _`RSWVU[n S#_j^
q(i \ S%o YQWR#^ S ¡ ¡ pqY o_j^
WV^qW f a WRRWV^dS#_ a j P@i1WXbac\qRW [ [Bo [ [ o ±Y f j_ ^YZS#pqW f ¡lY f o R0i WXbac\qRW b _`R&aRS f _`XVS P ¡lWba ¥ W ff W acS#_`YZ^¼S#p!ac^ E
0É2 $& µ q.0 '324µ#+ .0'(
1S/S#p
%', /`( "&% (9', )0"V3/1*+2 "L* 9(
`_ R/n1YZ_j^QSb_jS/_`R¬¡¤Y f S#p
dacS#pqW f _j^
f WR#\ SR/S#p!acS£a f W%aZXXWRR#_ji WidPJ1¬ e Xba XV\ \qRb.'KWVSS? ? _cacacH? i W&a[XYZU[n YZ\ ^qozR#PuR#SWVU RacS#_`Rë±PQ_j^
[S#pqW0RS f \qXVS#\ f a aZRR#\ U[n S#_`YZ^@ac^qo _jQ_j^
IYZ^@aS f WWx ¨pqW6\ ^u±Y ou_j^
#" RacS#_`Rë§!WR!#" " ¡ cacac ¡ #" e3f YQXWou\ f W·«_j^ _jS#_ a _j¢bWo²¡ _jS#pY f ou_j^!a f P´ e R [[ "¥ PQ_`W o R/S#pq-W 1¬ e R [ o v¥ A "1RE! f YZU-¡ p _`Xp6R#Sac^qoqa f o@n f Ycg#WXVS#_`YZ^qR [ o v¥ A #"`R #"¥ Xbac^
" æ£âºÖã¤àØàZß oqßÜ -EM à r ãëðâ#òxâºÖc×öØÉ×öØ(ã#ߨ±æ£âºÛ¬äÛÛEð *Zð×öâºã¤Öcãë× -ÝÖbâ>í " . ØëòQßÝðcä0Ú1ãlã bâºãëðcä0×öâÉâºÛ×öð *Zðc× âºãlí " . Ø>åæ$oöã¾ââº×öð.-âºÖcã Öcãë× -ÝÖbâ -ÝÛlâºÛ×ö,ð *cðc× âGæ÷ $Gè% ç $Gí
i Wo W f _jWo WVU[Ua 9 E0¨pqW [Bo XY f#f WR#n YZ^qo¦SYS#pqWU[_j^ _jUa n f YQou\qXVS0XY¿W f _j^
zYc "idP@ e R£YcS#pqWy? ® [ o_ cacac [ o 1¬^qo~R#_j^qXW9[ o_ cacac [ o #" YZ^qW0p!aZR #" [ o_ cacac [ o {@Y f W¡
WV^qW f ¡ a j P lXYZ^qR#_`o W f a¦n f YQou¡ \qXVS[i ¡ f ac^qXp _j^
6n f YQXWRR[Yc?¦®,[ ¡ [y_ ¡ ¡ cacac ¡ [ ¡ pqW f W%[e_`RIa e Yc ? ±Y f a j ÝK 5©^ _jS#_ a _j¢bWo«¡ _jS#pÁS#pqI W [ n f YQXWou\ f W~zPQ_`W o RS#pqW 1/ e R [Bo v¥ A][ REÉ¡ pqWV^qXWS#pqW [ o ][ RidP WVU[Ua 9uI A ¬ 1 q ^ o [ D[ o_ cacac [ o _`R/S#pqWU[_j^ _jUa n f YQou\qXVS0XY¿W f _j^
zYc [ iQP¼ e R£Yc v¥ ¡ S#pqFW ? (l\ SlR#_j^qXUW [Bo h[ ac^qo ´_`Rln f WRW f Woid¡ P ¡ MYZ^qW/p!aZR [ [Bo_ ¡ cacac ¡ [Bo [ _ ¡ cacac ¡ [ [¶ ¡ pqWV^qXWIac
dac_j5 ^ [ [ o_ cacac [ o £WV_j^
zaci W]SYXYZU[n \ SW%W "XV_`WV^dS P@S#p _`R/U[_j^ _jUa aZXVSY f _j¢¿acS#_`YZ^6Yclac^ Y f ou_j^!a f P~ e Yc ?A¡aZRYZ¡ ^qW&Yc>¡ S#pqW0 YZiugëWXVS#_jWR¬YcÉS#pqW&n f WRWV^dSn!acn W f qÉ_j^!a j P _j^@S#pqW]UIYxRS¬
WV^qW f a XbaZRWx WVS [ [Y_ cacac [ i Wan f YQou\qXVS 1/ e Yc ?/!¡ pqW f W [e_`R£ac^ 1/ e Yc ? Y f a j e(f YMXWou\ f WI_j^ _jS#_ a _j¢bWo@¡ _jS#p¼¡S#pqW [e¡ (PM_`W o RS#pqW [Bo v¥ A [ RE1ac^qo¦YZ^qW f WbaZou_ P~p!aZR [ [Bo_ cacac [Bo [¤\ SW d\!a _jSÀP¦_`R0^qYZS]
f ac^dSWo0® [Bo [ UaP^qYZS0pqY oª /Yb¡lWVW f ¡lWIXbac^ f WVn aZXW o ¡ ¸iQP¶S#pqWV_ f ¡¤Wba ¥ W f W f R_`YZ^qR b ac^qo % ^qW&p!aZR [ o b [[¾!RY [ ¡ [ o b ¡ [eV [ f W acS#_`YZ^qR ¡ µac^qª f YZU¹¡ p _`Xp:YZ^qW
WVSR [ ¡ [Bo ac^qo [ ¡ [Bo @¨p _`R aZR#S f WR\ SYc¬XYZ\ f RWacn n _`WRSY¦S#pqW¶n f WVQ_`YZ\qR XbaZRWR®(_° [ _`RaZXVS#\!a j Pza[ e [¶!YZ^qW£p!aZ)R [ ¡ [Bo
#"
D
/
$-"V* V(7*,$- Q% "(U$!$&$
5À^
WV^qW f a !a
x_jWV^XYZU[n YZ\ ^qozR#PuR#SWV U ?. ? _cacacjH? o YMWR^qYZS _jW0YZ^zaS f WWx3l\ SS#p _`R o YQWR^qYZSUIWbac^ S#p!acSUIYMou\ a f XYZU[n \ SacS#_`YZ^qR RpqYZ\ o f aZR#p Pi1W f WVUIYbWo¶ f YZU S#pqW¬SYMY i Yª(¨YYZi Sac_j^U[_j^ _jUa ºaZXVSY f RYc #" ±Y f UIY f W£
WV^qW f a j Pn f Ycg#WXVS#_`YZ^qRYc [ [y_ ¡ cacac ¡ [ lacSa f WbaZRYZ^!aci W0XYxR#Sbqa]§ f R#SR#S f acSWV
xP¶XYZ^qR#_`R#SR _j^·ac
x
f WV
dacS#_j^
@RYZUIW[XYZU[n1YZ^qWV^QSR ? _j^6Y f o W f SY~YZi Sac_j^«a¶S f WW ©R#p!acn Wo»R#PuR#SWVU ¡ _jS#p a f
W f XYZU[n YZ^qWV^dSR GS#pqW&RS f \qXVS#\ f a aZRR#\ U[n S#_`YZ^¼_`R n f WRW f Wo~iQPac
x
f WV
dacS#_`YZ^ E ¬Y¿¡¤WVW f !S#p _`Ro YQWR^ SRaWa j R#_jS#\!acS#_`YZ^qRb 1¬^qYZS#pqW f S f aZX ¥ XYZ^qR_`R#SR[_j^ / ^= ? F>= X 8 K 8 : ' ? Q % X - 8 = +8 8 ' K E + I [B o K 8 [B o 8 = b [Bo 3 [ * I * 8 >=8 v9¥ A [TR _º Wx v¥ A[R b ¡ UIWV^dS#_`YZ^qWo%_j^%n f YZn YxR#_jS#_` YZ ^_ WV^qR\ f W¤S#p!acS>UIWRRÝac
WR ,& Ǫ>Ç 7 < qÉ_ f R#S>Yc1a j ZS#pqW¤n f YZn1W f S#_`WR(Yc f W acS#_`YZ^ b a f WIo WX f WbaZR_j^
~±Y f b _j^·a f \ ^6Ycln f YMXWou\ f W WVU[Ua¼_j
^ ö}x 1® b b cacac b K I ¡ pqW f W o WV^qYZSWR]UIWRRÝac
W acS]_jSR 2ºS#p«\ n1oqacSWx 5©ln f YMXWou\ f W_`R]_j^ _jS#_ a _j¢bWo6¡ _jS#p 1¬ e R [ Yc pqWV_j
xpQS Yb¡lW f S#p!ac ^ KS#pqWpqWV_j
xpdSYc0a j UIWRRac
WR f WVUac_j^qR Y¿¡¤W f S#p!ac ^ «¨pqW f W~_`RIa¼§q^ _jSW^Q\ U]i W f Yc R#\qXN p 1/ e Rb1±Y f WVW f P f WR#S f _`XVS#_`YZ^·Yc ?¬KRYS#pqW[RW d\qWV^qXW[YclUIWRRac
WR Xbac^ ^qYZS&i W_j^u§q^ _jSW P»R#S f _`XVS P o WX f WbaZR#_j^
quac^qo[S#pQ\qRR#Saci _ _j¢bWR(_j^¶a£W d\ _jxa WV^qXWX aZRR3Yc ²a±SW f a/§q^ _jSW ^Q\ U]i W f Yc \ n1oqacSWR É{@Y f WYbW f S#p _`R[W Q\ _jZa WV^qXWX aZRR_`R%S#pqWRacUIWxÉY f a jlf \ ^qR%Ycn f YMXWou\ f Wz GS#pqWY f WVU z_j^ ö}x E 5ÀS_`R^qYZS ¥ ^qYb¡ ^ pqY¿¡¤WVW f ¡ pqWVS#pqW f S#pqW/n f YQXWou\ f W0RSaci _ _j¢bWR¤_j^qR_`o W¬S#pqWRW/W Q\ _jxa WV^qXW/X aZRRWRbMY f _°S#pqW f W/WEu_`R#S _jU[_jS XVPMX WRb W¦XYZ^ZgëWXVS#\ f W¼S#p!acSXYZ^dW f
WV^qXW¦Sa ¥ WRIn aZXWxa S#pqYZ\
xp³ou_°¯ªW f WV^dSW WVUIWV^QSRYc0S#pqW¦RacUIWzX aZRRUaP½i1W Õ ÖcãßEäé±ãëêÀâºe× tE ã âºàܺåx Û KرâܺãëØØãëØ âºÖcãKójßê¾â âºÖcßâ ÚKÖãëðßlì . í~×öØ1ܺàcðÛEð¬ß -ÝÜ©ßÝáÖ ÚK×öâºåcßÝê©ÞâºÛl×öâ#÷ n í -EßÝ×öðQòâºÖcã(ܺãëØMà oöâã bâºãëðcäØ âºÛ ×ö,ð *cðc× âºãí " . Øåæ¬áܺ_Û tb×ö.ð -êëÛÝ@ð tVã¾Ü -Eã¾ðcêëã(ó°ÛÜÉÖ× -EÖcãÀÜ>ßðZä£Öc× -ÝÖcã¾Üáܺ+ã *¿ãëØë÷ªÕ Ö×ÙØKܺ#ã tVãë=ß oöØ>ß oÙØÛ âºÖZßâKáܺÛêëã#ä¿àܺ㠤êëÛE@ð tVã¾Ü -ÝãëØªáÜºÛ -ÝܺãëØØp× tV7ã oöæ qرâ©ßåcp× oö× âGæ¬ÛÝóu7ê o ߨØãëØKó°ÛÝÜKâºÖã>áܺ+ã *ÛÝó Öãë× -EÖâ /×öتܺã#ßÝê©Öcãëä¬åxã¾óôÛÝܺã(رâ©ßÝåp× oÙ× â æóôÛÝÜKâºÖcã áܺ+ã *ÛÝó Öãë× -EÖâ E÷
çç ðSRTUVXW
c
f WbaZXpqWo±Y f ou_°¯ªW f WV^dS f \ ^qR&Yc¤n f YQXWou\ f WIu¨pqW%_j^dxa f _ ac^qXW[Yc¤S#pqW _jU[_jS£idP@
f acn p6Xp!ac^
WR f W _`WR0YZ^»S#pqW ¡lWba ¥ _j^QY \ S#_jQ_jSÀP~n f YZn1W f SÀPac^qo~_`Rn f YbWoz_j^ WVU[Uaztxt&Yc ö}x © OQ_j^qXWUIWRRac
WR£a f W]o WX f WbaZR_j^
Y f b S#pqW 1/ e R [Bo XYZU[n \ SWo@idP# }cacS¬WbaZXpR#SWVn G_j^qR#SWbaZo¦Yc¤acS S#pqW&WV^qo~YZ^ P a RYY f U a%o WX f WbaZR#_j^
RW Q\qWV^qXWxMY f a j 3¨Y%n f Y¿W0S#p!acS[ ¡ [Bo _`R n f WRW f Wo¼acSWbaZXp R#SWVnK!^qYZS#_`XW&S#p!acS¬S#p _`R f W acS#_`YZ^¼_`RS f \qWacS_j^ _jS#_ a _j¢¿acS#_`YZ^R#_j^qXW [ o [[# 1¬^qoz_jS_`R¬WbaZR#_ P~XpqWX ¥ Wo¦S#p!acSS#pqW \ n oqacSWW Q\!acS#_`YZ^@n f WRW f WRS#p _`R f W acS#_`YZ^ ±RWWa RYS#pqWY f WVU4vI_j^ ö}x Ex qÉ_j^!a j P v9¥ A [ R v¥ A ¡ [B o RN [Bo A [B o R [Bo
b ¡ v¥ ¡ A [ RÉUabP^qYZS3i W f WbaZXpqWoidPn f YQXWou\ f W¬u¡ p _`Xp
WV^qW f a j P iqRW f W S#p!acS3S#pqWW Q\ _jZa WV^qXWX aZRRWR(Yc R#SYZnqRi WE±Y f WS#p _`R Y¿¡¤W f i YZ\ ^qoªGb¼_j^dSYR#S f _`vXV¥ S P WRRXYZ^qR#S f ac_j^qWo½X aZRRWR¿ÉY f a f
W f X aZRRWR&¡& f Sb b )/WVW f S#pqW WRRbQn f YZn1YxR_jS#_`YZ^¦txt f WVWba R¤S#p!acSn f YMXWou\ f W¬ f WVUIYbWR f YZU S#pqW [[ WVWV^QSRlS#p!acS¤XW f Sac_j^ PIo Y&^qYZS n!a f S#_`XV_jn!acSW_j^ [¶>ac^qo·acS&S#pqWRÝacUIW[S#_jUIWo YMWR0^qYZS f WVUIY¿WISYMY~Uac^dP6WVWV^QSRbÉR#_j^qXW [ ¡ [Bo 5©^6S#pqW n!a f S#_`XV\ a f XbaZRW¡ pqW f W [ _`R0a¶R#Sac^qoqa f o@i f ac^qXp _j^
~n f YMXWRUR [¶S#pqW _jU[_jS0X aZRRWR¬p!abW[aXW f Sac_j^»n f aZXVS#_`Xba _j^QSW f WR#SK®¤R_j^qX9 W [ [Bo qS#pqW&i WVp!aM_`Y f RS#pqWVP¶±Y f i _`o¦a f Wa RYY f i _`o o WV^¼iQl P [¶¨p _`R_`RUaZo W]X Wba f W f _j^ S#pqW£Y j Yb¡ _j^
WVU[Uau ¡ M Ã · !
/ 8 8 Q: 8 [ o h"9 [e A ! R ¾ [[ K Q [[ A ! R ¾ [e 8 ¡ ¡ 8E > 8 ¡ ¡ 8 F>= 8 d [e K [ [[ K ¡ W m ac^qo mo i WUIWRRÝac
WRÉYZi Sac_j^qWo[acSÉS©¡lY/XYZ^QW f
WV^qXWn1YZ_j^QSR(Ycqn f YQXWou\ f W ®YZ^qWp!aZR ,& Ǫ>Ç 7 < 'KWVS>S#pq
o RY "# !
o
o± W£S#pQ\qR p!aW&SYn f Y¿W0S#p!acS JA [e @R¤_`R _`RYZUIY f n p _`XSY o A [[ ¡ , ¡ o Rª¡ pqWV^ ¡ o 'KWVS ¡ ,i1WaXYZ^u§q
x\ f acS#_`YZ^IYc [e ¡ Z¡ _jS#p HA ¡ ¡ R% ë ¨pqW f WWEM_`RSR oK_j^
oª¡ p _`Xp_`R£a[¡lWba ¥ W f W f R_`YZ^@Yc 1RY ¡ oK_j^ [[ ¡
oKRacS#_`R#§!WR No A ¡ o¨R ë OMY A[ ¡ @R ac^q o No A [ ¡
o¨Rlp!aW0_`RYZUIY f n p _`X]XYZ^u§q
x\ f acS#_`YZ^qRb1ac^qo~¡¤W&XYZ^qX \qo W]idP¶n f YZn1YxR_jS#_`YZ^·tx q!Y f S#pqW aZR#S f W acS#_`YZ^KYZiqRW f W¼S#p!acS [e K [[T [¶ qqY f S#pqW¦XYZ^dW f RW¦n f WE§ f W acS#_`YZ^K WVS [¶ ^qWWbaZ¡ R_ PIXpqWX ¥ Rl¡ idP f WXV\ f R#_`YZ^¶_j^n f YMXWou\ f W£0S#p!acS ¤ v¥ v _`Ra ¡laPuR ¡ ªi W¬a0XYZ^u§q
x\ f acS#_`YZ^~Yc n f WRWV^QS_j^zUIWRRac
W (a±SW f _jSR§ f RS\ n1oqacSWx OMY É_`R/a RY%n f WRWV^QS_j ^ [[ K ac^qo~¡¤WXYZ^qX \qo Wac
dac_j^¼iQP n f YZn YxR#_jS#_`YZ^·tx
5À^´S#pqW¦XbaZRW¦YcR#PuR#SWVUIR^qYZS _jM_j^
ÁYZ^³a6S f WWxn f YQXWou\ f W»Áacn n1Wba f R~aZRac^³acn n f YbM_jUacSW f Wou\qXVS#_`YZ^ R#S f acSWV
xP£®£_jS f WVUIYbWR& f YZU S#pqW%_j^ _jS#_ a aZXVSY f R [ Yc [-WVWV^dSR0S#p!acS]Ua ¥ W%^qY~XYZ^dS f _ji \ S#_`YZ^·S Y [¶%¨pqW f W WEu_`R#S¤RWVW f a YZS#pqW f _j^QSW f WR#S#_j^
n f YZn1W f S#_`WRlYc _jU[_jS¤X aZRRWRb¡ p _`Xpn f Y¿WS#p!acS¤n f YQXWou\ f W/&o YMWR#^ Sn W f ±Y f U a£S f _jM_ a SaZR ¥ ac^qo%pqWbaM_ P%n f \ ^qWR3S#pqW _j^ _jS#_ a aZXVSY f R [eë% 5À^[n!a f S#_`XV\ a f MWVW f P%XYZ^u§q
x\ f acS#_`YZ^¶Ycªa [Bo Xbac^Ii1W WEuSWV^qo Wo_j^dSYIa a f
W f XYZ^u§q
x\ f acS#_`YZ^¦Yc ¡ [B o M¡ pqW f W£S#pqW/_j^qo WE~RWVS o WE§q^qWRaR#n!ac^ ^ _j^
[S f WW&a f YZ\ ^qo ?1ªYZ^I
f acn p < 1 j S#pqWRW n f YZn W f S#_`WR f W P%YZ^IS#pqWºaZXVS(S#p!acS3n f YQXWou\ f W/£_`RaZXVS#\!a j PIac^I_jSW f acS#_jWXYZ^qRS f ac_j^dS RY M_j^
a
Y f _jS#p Uz¤¨pqW f WbaZo W f _`R f WEW f#f Wo~S Y ö}x ªY f UIY f W&o WVSac_ Rb
$! É$
W p!abW~n f YZn1YxRWo:az f acUIWV¡¤Y f#¥ SYn W f ±Y f U UIYMou\ a f XYZU[n \ SacS#_`YZ^qRYZ^:WVWV^QSIR#S f \qXVS#\ f WR f W acSWo½SY6a n YxRR#_ji P a f
W[ou_`R#S f _ji \ SWo6R#PuR#SWVU ?¬¨p _`R0Xba XV\ \qR&YZn W f acSWR&YZ^·aaZXVSY f _j¢bWo f WVn f WRWV^dSacS#_`YZ^«Yc f \ ^qR0Yc R#PuR#SWVU ?¬ªac^qo@_`R£i!aZRWoYZ^S©¡lY~YZn1W f acS#_`YZ^qRK®¬n f YMou\qXVS]ac^qo¦n f Ycg#WXVS#_`YZ^K \ f Sa f
WVS&YZiug#WXVSR&a f WS©PMn _`Xba j P i f ac^qXp _j^
n f YMXWRRWR Yc(XYZU[n1YZ^qWV^QSR¬Yc ?¬ui \ S¬XYZU[n \ SacS#_`YZ^qRU\qR#Si W£n1W f Y f UIWo~¡ _jS#p f _`XpqW f R#S f \qXVS#\ f WRb Wlp!aWl_j^QS f YQou\qXWoYZ\ f ^qWR#SWo%XbacSWV
Y f _`WR(Yc!WVWV^QS>RS f \qXVS#\ f WR §q
qQtbs EXbacSWV
Y f P]_`R^qYZS>R#Saci Wl\ ^qo W f n f YMou\qXVSbZ¡ pqWV^qXWlS#pqW_j^QS f YQou\qXVS#_`YZ^IYcq
WV^qW f a _j¢bWoIac\
xUIWV^QSWo%i f ac^qXp _j^
n f YMXWRRWRb>ac^qo·Yc S#pqWS f _jU[U[_j^
@YZn W f acS#_`YZ^KÉn f YcgëWXVS#_j^
@S#pqW f WR#\ S]i!aZX ¥ SY~S#pqWXbacSWV
Y f P6Yc 1¬ e R¿¨pqW XYZU[n \ SacS#_`YZ^qR¡¤W~p!abW~n f WRWV^QSWo:XYZ^qR#_`o W f n f Ycg#WXVS#_`YZ^qRac^qo+n f YMou\qXVSaZRIW WVUIWV^dSa f P:YZn W f acS#_`YZ^qRb¤¡ p _`Xp $Gè% ç $Gí
UabP YQY ¥ aci \qR#_jWR#_j^qXWS#pqWVPn YZSWV^dS#_ a j PIYZn W f acSWYZ^I_j^u§q^ _jSW¬YZiugëWXVSR¿ /Yb¡lWVW f dS#p _`Rn f WRWV^dSR¤^qY0n f aZXVS#_`Xba ou_ "XV\ SÀPIR#_j^qXW n f YMou\qXVSbn f Ycg#WXVS#_`YZ^¶ac^qo[S f _jU[U[_j^
Xbac^Ii1Wl±\ f S#pqW f o WXYZU[n YxRWo[_j^QSY f WXV\ f R#_jW n f YMXWou\ f WRb
BP
minimal ABP
ABP
GABP
Trim
min
involutivity weak involutivity
qÉ_j
x\
f Wztbsu® / /* > )* ¶ (¬ 8 ¡ / % % % Q 8 X W= N Q W= 8 W= ¨pqWWEMS f a£XbacSWV
Y f P[YcU[_j^ _jUa 1¬ e R(_j^QS f YQou\qXWoI_j^[S#pqW aZR#S(RWXVS#_`YZ^qRacn n Wba f RaZR(S#pqWUIYxR#S(_j^QSW f WR#S#_j^
YZ^qW0_j^¼Uac^dPzaZR#n WXVSRb qÉ_ f R#SYc3a j _jSXbacn S#\ f WRWEuS f a[Xbac\qRa _jSÀP~Y f XYZ^ q_`XVS f W acS#_`YZ^qR¬_j^~S#pqW0UIYxR#SXYZU[n!aZXVS Uac^ ^qW f ®a f WV_j^u±Y f XWo+XYZ^u§q
x\ f acS#_`YZ^+_`R%n f WRW f Woª3¡ _jS#p f WRn1WXVS%SY»azUIY f Wn W f U[_`RR#_jWW f R#_`YZ^K¤YZ^ P6_° _jS WbaZo RSY@a¦ou_°¯ W f WV^QSºG\ S#\ f Wx OMWXYZ^qo P(U[_j^ _jUa 1/ e Ri f _j^
¦i!aZX ¥ S#pqW_j^QY \ S#_jQ_jSÀP«n f YZn W f S©P£®[S#p _`R n f YZn W f S©P«_`R%a¼o WR#_ f aci W±WbacS#\ f W~aZR_jSWEun f WRRWRS#p!acS%XYZU[n1YxR_j^
»ac^½WVWV^dS[R#S f \qXVS#\ f W¶¡ _jS#pÁn!a f S[Yc_jSRW o YMWR#^ S_j^qX f WbaZRW¶S#pqWacUIYZ\ ^QS[Yc_j^u±Y f UacS#_`YZ^+Xba f#f _`WoÁidP·S#p _`RRS f \qXVS#\ f Wx' 5©^QY \ S#_jQ_jSÀP·_`R[a RY@X f \qXV_ a SY
WVS¬S#pqWXYZ^QW f
WV^qXWYc(_jSW f acS#_jWUIWRRac
W]n!aZRR#_j^
n f YMXWou\ f WRb ac^qozn f Y¿Q_`o WR£RWVW f a YZS#pqW f n f YZn W f S#_`WR/YZ^ S#pqW _jU[_jS[S#p!acS¡¤Wp!aWz^qYZSo WVSac_ Wo+pqW f Wx iqRW f W~pqY¿¡¤WVW f S#p!acSS#pqW_j^dY \ S#_jM_jS©P:Yc¬U[_j^ _jUa 1¬ e R Sa ¥ WR[S#pqW¶Y f U Yc£ac^½_j^dY \ S#_jM_jS©P+_j^½S#pqW~RWV^qRW¶Yc£W d\ _jxa WV^qXW~X aZRRWR%_j^½S#pqW~XbacSWV
Y f P½YcB 1/ e Rb(¡ _jS#p
A [E^ RE qÉ_j^!a j P>U[_j^ _jUa n f YMou\qXVSXY¿W f _j^
R_j^ÁS#pqWXbacSWV
Y f P«YcU[_j^ _jUa 1/ e Rp!aW A E R f WVn aZXV_j^ } S#bpqWRacUIW~ac^qoÁ_j^dS#\ _jS#_jWn f YZn W f S#_`WR%S#p!ac^½U[_j^ _jUa n f YQou\qXVS[XYbW f _j^
RYc¬R#Sac^qoqa f oÁi f ac^qXp _j^
»n f YMXWRRWRb ¨pqWRW¬WbacS#\ f WRR#\
x
WR#SS#p!acSU[_j^ _jUa 1/ e Ra f W¬_j^aZXVSlS#pqW¬XY f#f WXVS
WV^qW f a _j¢¿acS#_`YZ^zYcY f ou_j^!a f Pi f ac^qXp _j^
n f YMXWRRWRbu_j^~Y f o W f SYn W f ±Y f U UIYMou\ a f XYZU[n \ SacS#_`YZ^qRb¤¨pqWV_ f Uac_j^¼o f a¡ i!aZX ¥ XYZUIWR f YZU S#pqW0ou_ "XV\ SÀP SY%XYZU[n \ SW£S#pqW/U[_j^ _jUa W WVUIWV^dSYcÉac^~W Q\ _jZa WV^qXW£X aZRR Yc% 1¬ e RbM¡ p _`XpzXbac^ ^qYZSli W/o YZ^qW£_j^a f WXV\ f R#_jW Uac^ ^qW f idPzXYZ^QS f aZR#S¬¡ _jS#p¦S f _jU[U[_j^
q¨p _`R¬acn n Wba f R¬_j^¼n!a f S#_`XV\ a f _j^¼S#pqW0ºaZXVSS#p!acS£a[n f WE§ ¼Yca[U[_j^ _jUa 1/ e _`R^qYZS£aIU[_j^ _jUa 1¬ e ®!S#pqW0ÀXY f#f WXVSë ]n f WE§ f W acS#_`YZ^¼Y f U[_j^ _jUa 1¬ e R¬_`R f acS#pqW f S#p!ac^ ] 5©^ b R#\ U[Ua f P¡ pqW f WbaZR&S#pqW f W WVZac^QS]WVWV^dSR#S f \qXVS#\ f WR]a f WIXW f Sac_j^ PU[_j^ _jUa 1/ e RbKXYZU[n \ SacS#_`YZ^qRU]\qRS&i1W o YZ^qW0_j^¼S#pqW a f
W f XbacSWV
Y f P~Ycãëqð rßܺÞxò¿íáܺp× o UXV b÷ T) ÷ q.ð -Ý#ã o óôܺ×öã¾â#ò " Ü©ßÝðcê©Öc×ö,ð - . ܺÛê¾ãëØØãëØÛÝó . ã¾âܺ×dèÉã¾âºØëòcíªê¾â©ß $ ðóôÛÝ]Ü rßâº×öê#ßXñ V¿ò U$UEòcácád ÷ T$! T/ TUÝ÷ W+*÷ !÷Zì/êì/p× oeoÙßðQ, ò ÉØ×ö,ð -àcð¿ó°uÛ oÙä¿×Ù,ð -EتâºÛ Qß tVÛÝ× äâºÖcã>رâ©ßâºã(ã ¿qá oöÛEØ×öÛEð/áܺÛEMå oö#ã r+×öð/âºÖcNã tEã¾Üº× *Zê#ßâº×ÙÛÝð£ÛÝó!ߨ±æ¿ðcê©ÖܺÛEðÛEàØªêë× Üºêëàc× âºØëò ×öð . ܺÛêÝ-÷ ÝâºÖ ( Ûܺ޿ØÖÛEá¬ÛÝ.ó 1uÛ r áàâºã¾Üªí×Ùäã# ä /ãÀÜº× *cê#ßâº×öÛÝðQòZì/ÛEðâܺã#=ß ojò U"EñbòxááQ÷ UW /U!÷ ! ÷ !ØácßÜ ,#ßb'ò x÷x1ç 0ur ã¾Ü#òíð]àðóôuÛ oÙä×ö.ð -¬=ß o-ÝÛÝÜº× âºqÖ r´óôÛÝÜ3رæ¿ðcê©ÖܺÛÝðcÛÝàcØÉá¿ÜºÛbäàê¾âºØÉÛó1âÜ©ßÝðØ× âº×ÙÛÝðØ±æ¿Ø±âº#ã r Øëòd×öð . ܺÛêÝ÷QÛ2ó 3Éè / É5 ç 4 "¿-ò Q è UWXW$¿6ò ¿á¿Üº×ö.ð -EãÀ&Ü /!ã¾]Ü oÙß -¿ò U#"$¿÷ V. ÷ !ØácßÜ ,#ßb2ò x÷ &ç 0=r ã¾Ü#ò ( ÷ /!0Û -uoöã¾Ü#ò½íðIp× r áܺ_Û tV#ã r ã¾ðbâÛó(ì/êì/p× opoÙßÝð 4 Øàðó°=Û oÙä×ö.ð -=ß o-EÛÜº× âºqÖ r£ò ×öð . ܺÛêE÷!ÛÝóÉÕu1í í 64 XW¿ò
Q è U T Tòxácád÷ V"! /UXW¿÷ 7 ÷ qØáZßÜ ,#ß¿8ò ÷E&ç 0=r ã¾Ü#ò ( ÷ /Û -uoöã¾Ü#òlíð $&r áܺ_Û tV#ã r ãëðâMÛÝóuì/êì/p× oeoÙßð 4 9Ø Éð¿ó°=Û o ä¿×ö.ð -2í o-EÛÜº× âºqÖ r£òbõcÛ]Ü r=ß oZì/ã¾âºÖcÛbä¿Ø×ö+ð bæ¿Ø±âº#ã r ï>ãëØ× -Eð0ñ "ÀòZááQ÷cXñ V T / U ¿òdì£ßëæ£ñ Eñb-÷ bâºãëðcäã#ß oeojò U"Eñb÷ UV: ! ÷ Q=ß r áxÛÜâ#ò è¤J÷ dæ¿ðcê©ÖQò@ï>×öرâܺ×Ùåàâºã# ä 1uÛ r ácà¿âº×ö.ð - ì/Ûbä¿#ã oöØßÝðcäIì/ã¾âºÖcÛbä¿Øëò»×öð >ßðZäåxÛÛÝÞÛóÉÕ ÖãëÛÝܺãÀâº×Ùêë=ß o1 1uÛ r áàâºã¾Ü ¿êë×öãëðêëãEM ò tVuÛ oj÷ " õcÛ]Ü r=ß oMì/Ûbä#ã oöØßÝðZä ¿#ã rßðâº×Ùê¾Øë8ò EßÝ$ð tÝßÝð QãëãëàÚ1ãëð£ã#ä÷Ù8ò oÙØ7ã t¿×öã¾AÜ U#" "Àòxácád÷ U U T$! /U U#"b÷ U0ì÷Zçßëæðc= ß ojò¬ï>×öرâܺ×Ùåàâºã#ä¬=ß o-EÛÜº× âºqÖ r ØßÝðcä¬áܺÛâºÛêëuÛ oöØëò ( e× oöã¾æ KL¿ÛÝðcØëò UXV V¿÷ ñ :K÷õcßÝåܺãÝM ò 1ÛE@ð tVã¾Ü -ÝãëðcêëãÛÝó¤âºÖcã&âºàܺåxÛ=ß o-EÛÜº× âºqÖ r óôÛÝÜ&Ø±æ¿Ø±âº#ã r Ø£ä¿+ã *Zðã#äå, æ oöÛê#=ß o3êëÛÝðcرâÜ©ß×ÙðâºØëò $ ܺ×öغßܺãëØã#ßܺêÀÖzܺãëáxÛÜâ ðcÛ¿÷ . $%U TUbòì£ßëæ0ñ ¿÷ ñ U£í÷ " ãë@ð tVãëð×ÙØ±âºãÝNò ª÷KõZßåܺãENò x÷ >ßÝßÜ#Nò 2÷ VßÜ©ädòï>×Ùß -ÝðcÛÝØ×ÙØ/ÛÝó¤ßÝØ±æ¿ðcê©ÖܺÛÝðcÛÝàcجä×öØê¾Üºã¾âºãã tVã¾ðbâØ±æ¿Ø±âº#ã r Øëòß%ðcãÀâ/àðó°=Û oÙä×ö.ð ßÝááܺÛVßêÀÖdò $G.;¶ÕdÜ©ßÝðcØë÷cÛEð/íàâº=Û rßâº×ö5ê 1ÛÝðbâܺ=Û oj+ò tV=Û o`÷ VbòZðÛ ÷ TbòácáQ8÷ !U# /G!Ý"ñ !bòì£ß#æ£ñ b÷ ñE ñ :K÷¿õcßÝåܺãÝ ò 1uÛ r áxÛÝØ×öâº×öÛÝðZ=ß odì/Ûbä¿#ã oöتÛÝóQï>×öرâܺ×öåcàâºãëäßðZäíØ±æ¿ðêÀֿܺÛEðcÛÝàcØ!ïÉæ¿ðZß r ×Ùêë=ß o6æØ±âº7ã r ØëBò QU¾Ø±1â 1ÛEð¿óG÷¿ÛEðï>ã¾êë×öØ×ÙÛÝð/ßðZä 1ÛEðâܺu Û oj-ò MßÝ2Ø /!ã -VߨëòZï>ã¾êE÷cñ EñbòxááQ÷ U+/FWb÷ ñ :K÷MõZßåܺãE ò /¤÷ . × -EÛÝàܺ×öã¾Ü#ò@ì/ÛEð× âºÛÝܺ×ö.ð -&ä¿×ÙØ±âܺ×öåàâºã#ä&Ø±æ¿Ø±âº#ã r Ø>ÚK× âºÖ[ä×öرâܺ×öåcà¿âºã#äß o -ÝÛÝÜº× âºqÖ r Øëò QU¾Ø±Dâ 1ÛÝðóG÷MÛEðï>ãëêë×öØ×öÛEð[ßðZä 1ÛEðâܺu Û oj-ò MßÝ2Ø /!ã -VߨëòZï>ã¾êE÷cñ EñbòxááQ÷ QUXU+/=QU W¿÷ ñ $£í÷ " ãë@ð tVã¾ðc×öرâºãEò x ÷ >ßEßÜ#'ò ª÷uõcßÝåܺãÝ'ò ÷ VßÜ©äò~ï>×öرâܺ×öåcà¿âºã#äßðZäíØ±æ¿ðcê©ÖܺÛEðÛEàØ>ï>×öØê¾Üºã¾âºOã tVãëðAâ æØ±âº7ã r Ø>ï>×Ùß -ÝðcÛEØ×öØëò ×öð . ܺÛêÝ-÷ ñðZ@ ä 1ÛÝðó ÷ZÛEð¬ï>ãëêë×öØ×öÛEð&ßðZä 1ÛEðâܺuÛ ojò ÉßëÚªßÝ×jòcï>ãëêE÷Zñ ¿÷ ñ T£í÷ " ãë@ ð tVã¾ðc×öرâºãE7ò x÷ >ßEßÜ#ò ª÷VõcßÝåܺãÝò "÷ VßÜ©äò(ï>×öرâܺ×öåcà¿âºã#ä r ÛÝðc× âºÛÝܺ×ö.ð -ÛÝóxê¾ÛEðcê¾àÜܺãëðâ!ßÝðcälߨ±æðêÀֿܺÛEðÛEàcØ Ø±æ¿Ø±âº#ã r Ø jMá oöãëðZßÜæ ßEää¿ÜºãëØ?Ø Àò×öð . ܺÛêÝ÷ZÛÝó 3É(è É5ç 4 ñ ¿òxì£ßܺØãëp× opoöãEò Q è ðÛ÷Z"ñ !XWUEò . ß -Eã¾Ø U)/±ñ W¿òxñ ¿÷ X ñ W:K÷cõZßåܺãEò/ï>×öرâܺ×Ùåàâºã#äï>×Ùß -ÝðcÛEØ×öØKó°Û Ü QßÜ -Eã(ïÉ×ÙØêÀܺã¾âº5ã EtEãëðâKïÉæ¿ðZ=ß r ×ö ê bæ¿Ø±âº#ã r Øëò¿×öð£áܺãëácßÜ©ßâº×ÙÛÝðQ÷ çç ðSRTUVXW
Unité de recherche INRIA Lorraine, Technopôle de Nancy-Brabois, Campus scientifique, 615 rue du Jardin Botanique, BP 101, 54600 VILLERS LÈS NANCY Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST MARTIN Unité de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unité de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP 93, 06902 SOPHIA-ANTIPOLIS Cedex
Éditeur INRIA, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex (France) ISSN 0249-6399