HAL Id: inria-00074067
https://hal.inria.fr/inria-00074067
Submitted on 24 May 2006
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub-
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non,
Logic Programming Environments: Dynamic Program Analysis and Debugging
Mireille Ducassé, Jacques Noyé
To cite this version:
Mireille Ducassé, Jacques Noyé. Logic Programming Environments: Dynamic Program Analysis and Debugging. [Research Report] RR-2618, INRIA. 1995. �inria-00074067�
a p p o r t
d e r e c h e r c h e
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
Logic Programming Environments:
Dynamic Program Analysis and Debugging
Mireille Ducasse´ and Jacques Noye´
N˚ 2618
July 1995
PROGRAMME 2
"$#$ %&'(#)*,+-".0/213
465879:58;8;<9>=@?ACBEDDGF9H@BJIK6LMBEACNO?P9JDQ@RJSF9TH(H
UWVYX[Z\V^]3_@_>`badcfe!]3gihkjJgmlonC_pqX[gsrit[ju`[v3wJVYX[Z[Vk]3_@_]3xYrsX3y`(xzZ{`(yur|`0gsX[Z\rihkrs`(g
UWVoX}k`(xb~M0b0
b]3wuwEX\VoxbC`0Vo`ho u`(V^hY J`y:a[udcf\jJgsn[\0c:wE]3Z\`(l
3E3\UWVYX[Z\V^]3_@_>rsyJZ@`(yC:rsVYX[yJ_@`(yCxol]Vo`>`lolo`y:xYri]3g!8X[VxY J`][h(hk`wJx^]yEhk`X wJVYX[Z[Vk]3_@_>r¡yuZ
gi]3yuZ[jE]Z[`(l¢!£! Jrsl!lojJVY[`(n¤`(_>wJ q]3lors¥(`lbxo q]3xbwuVoX[Z\V^]_]yE]3gsnClorslvupEX\xo lYx^]xorih]3yqCnCyE]3_@rih3vCrsl!xo J`
hk`y:xYV^]grsloloju`X3wJVYX[Z[Vk]3_@_>rsyJZ0`(yCCr|VYX[yJ_@`(yCxol¢§¦)`h(]jJlo`xo u`(rsVdh¨g|`]3y,lo`(_,]3yCxorihklz_]©[`(lªwEX3«ª`(V¬<jJg
]yE]3gsnClorslªwEX\lolorspJgs`[vCgsX\Z[rihªwJVoX\Z[Vk]3_>_@r¡yJZzgi]3yJZ\jE]3Z\`(l E]\` ]3y@rsyECrslowJjux^]3pug|`0]3lYlo`(x!rsyxo u` gsX\yJZxo`Vo_¢
£! ur|l0lYjJVo\`(nrslz<XJhkjJlo`2X[y2g|X\Z[rih0wJVYX[Z\V^]3_®]3yE]gsn:lYrsl ]3yqC`pJjJZ[Z\rsyJZE¢£! J`gi]VoZ[`yCjJ_pq`(VbX
VY`k<`(VY`(yEhk`(l!wuVoX3CriC`lo JX3«¯xY E]3xWxo u`ª°E`(giMv3xY JX[jJZ\ _]nCpq`l^h]3xoxY`(Vo`MvCrslP][h¨xors[`[¢m±jJyJr²<nCrsyJZª<Vk]3_>`¨³
«ªX[VY©rslZ\r|\`(y«! JrihY lo`(wq]3V^]xo`(l!`y:CrsVoX\yJ_>`y:xWxYX:X\gslrsy:xYX`k´JxoVk][hkxYrsX[yGvJ]yE]3gsnClorslv\]3yECrslojE]gsr|¥]3xorsX\yG¢
µ¶x·¸][hkrsgsrsx^]xo`(l!xY J`]3yq]3gsnClorsl!X3`k´JrsloxYr|yuZ>xoXCX\g|lb]yE,lY JX[jJgi@Z[rs\` lYX[_@` Z\jJriC`gsrsyJ`(l!xYXC`(\`(gsX[w,yJ`(«
X\yJ`(l¢
0hY Jrs`([`(_@`(yCxolªrsy>gsX[Z\r¹h·wJVoX\Z[Vk]3_>_@r¡yJZ0]3VY` gsrsloxY`MºClYX[_>`zxo`hY Jyur¹t\jJ`l C`(\`(gsX[wq`<X[VªX[xY J`(V!gi]3y»³
Z\jE]3Z\`(l]3Vo`wEX\r|yCxY`X\jJxvM]yE,loX\_>`0xoVY`(yECld<X[V·<jJVoxY J`(V0Vo`lo`]V^hY ¼]3VY`½CVk]«!yG¢zb_>X\yJZxo J`_]r|y
]\ho ur|`[`(_@`(yCxol]3VY`]g|Z\X[VYr|xY J_>rih@C`(pJjJZ\Z[rsyJZqv!xoVk][hkrsyJZ¾<X[V,lo`t[ju`(yCxori]3gUWVYX[gsX[Zqv ]yE¿]3puloxoVk][hkx¤r|y»³
xY`(VowJVY`(x^]xorsX[ym¢£! J`_,]3rsy_>rslYlorsyJZ>xY`hY JyJrit\jJ`(l]3VY`>logsrihkrsyJZqvMxo`(lYx½h]3lo`@Z[`(yu`(V^]xorsX[yGv]yE¤wJVoX\Z[V^]_
_jJxk]3xYr|X\yG¢@£! J`wE`Volowq`hkxYrs[`(l@«À`@lo`(`,]3Vo`@rsy:xY`(Z[Vk]3xYr|X\yGvm`([]3gsjE]xorsX[y¯]3yEOv]3pqX3[`>]3gsg¶vG]jJxoX\_]3xY`
lYx^]3xYrih]3yE@CnCyE]3_@rihb]3yq]3gsnClorsl¢
Á@ÂCÃMÄoÅÆq[ÇW30UWVoX\Z[V^]_>_@r|yuZP`y:CrsVoX\yJ_>`y:xYlvg|X\Z[rihMwuVoX[Z\V^]_>_>rsyJZqv¶wJVYX[Z[Vk]3_]3yE]gsn:lYrslv»`(pJjJZ\Z[rsyJZEv
lYjJVo\`(n]3VoxYrihkgs`[¢
ÈiÉÊ
˸̶ÍÎ
Ê
ËÏPÐs̶ѶÒkÓ
ÔJÕkÖ8×Ø3ÕkÙ[Ú)ÛÜ
ÍݶÞ[ß(à
ÜsáâJÜiã¨ä|åbæ
Ý
Üçã
Ý<ßkΪΠäÞ
ãkèJéêkëiì:íkîïðkñ3èò0Õkó3ï(ôY×3ë¡ó í¨î(î(õ3èö3ö÷øíYùi÷(ú(õ3ìûMÙ3Ù3ü¡é(ý¬Ö¸Ú8ÕkÖ¶óªü¡Ú<Úç×[ý(þ
ÿCý¶Ùó(ýYÕkÖ¶ÚEê:êküGÔuÖ¸êkÖ¸Õ !üÙì
ûPï û2þ ðkñªÕkébØ3ýoÚq×<ýYÚMØ3ýqêýoÚbýoÚYè(÷økñ(õ(÷ ý¶Ù3Ù[ýYÚ3ýbÕküëJþ3òbüÖ¶ý¶üëë¡ýìm×oÕ(Ú8Ú<ý OüÖ8ü¡Ú<Õì Ö
! ûPï "û2þ#qÕ!ö3×[Ú%$MÙ3ü¡é(ý¬Ö¸Úçü8ÕküÖ¸ýMØ3ýMýYÕk×3ëü¡ý¶×Jèk÷økñ(õð ý¬Ù3Ù[ýoÚ" ýbÕküëJþ[ôkÕ&!'(×[ýYÚoì ê^óý( OüÖ<ü¡Ú8Õ3ì¡Ö
%&'(#W " #,,1®+ z " /¯
»  ~O`(l`(yCCrsVoX[yuyJ`(_>`y:xYlPC`ªwJVYX[Z[Vk]3_@_]3xYrsX[y!loX\yCxP`lolo`y:xYrs`(gslÀwqX[jJVWg][h(h¨`(wJx^]xorsX[yC`(lgi]3y»³
ZC]3Z[`l§C`0wJVYX[Z\V^]3_@_]xYr|X\yG¢eª`xb]3VoxYrihkgs` C`zlonCyCxo `(lY`0loX[jug|rsZ\yJ` t\jJ`zg]yE]3gsnClo`bC`zwJVoX\Z[Vk]3_>_@`[vx^]y:x
lYx^]3xYrit[ju`bt[ju`bCnCyE]3_@r¹t\jJ`\v(`(lYxÀgs`ªwEX\r|yCxhk`(yCxYV^]3gMC`(l)`(yC:rsVYX[yJyJ`_>`(yCxolC`!wuVoX[Z\V^]_>_]xorsX3yG¢0V][hk`]
gs`(jJVWlJ{`(_]y:xYrit[ju`owJVYX[wJVY`t\jJr[wq`(Vo_@`(xC`(l]3yq]3gsnClo`(lWwJjJrslYl^]3yCxY`(lv3gs`(lWgi]3yuZ:]3Z\`(lP»`ÀwJVYX[Z\V^]3_@_]xYr|X\y
gsX[Z\rit[ju`bX[yCx!jJy][]y:xk]3Z\`brsyECrsl^h¨jJx^]pJgs`]gsX[yJZxo`Vo_>`\¢
eª`xoxo`!lYnCy:xY `(lY`b`(lYx§hk`y:xYVJ{`(`0lYjJVg]3yE]g|nClY``(xgs`bª{`(pqX[ZC]3Z\`§C`!wuVoX[Z\V^]_>_>`lGgsX[Z\r¹t\jJ`l¢3~M`!Z\V^]3yq
yJX\_pJVo`,C`>VJ{`k[{`(VY`(yEhk`lpJrspJgsrsX[Z[Vk]3wJ ur¹t\jJ`l]3xYxo`(lYxo`t\jJ`,g|`,hY E]3_@wGvGpur|`y t\jJ`Crslowq`(VolJ{`[vª`(lox>]\hkxor²^¢
·X[jJlªwJVJ{`lo`(yCxoX\yJlbjuyh(]\CVo`0jJyJr²° h]3xo`jJV§t\jJrqlJ{`wE]3VY` gs`(l!X\jJxorsgslÀ`(yCCrsVoX\yJyJ`(_@`(yCx`(y>xYVoX\r|lªwJ E]lo`(l
`k´JxYV^][h¨xorsX[yGvM]yE]3gsnClo`0`(xz:rslYjE]3gsrsl^]xorsX[yG¢Ceª`h(]\CVo`d¸][hkrsgsrsxo`zg]yE]3gsnClo`C`(lzX[jJxYrsg|l!`¨´»rslYx^]3yCxYlb`(x0CX[yJyu`
C`lbVo`w`(Vo`l wqX[juV!`(yª{`(\`(gsX[wJwq`(V0C`0yJX[jJ\`]3j»´O¢
~O`(l ]\h(hkX\_>wJgsrslolY`(_>`(yCxYlÀC`gi]wJVoX\Z[V^]_>_,]3xorsX\ygsX[Z\rit[ju`bloX\yCx!g|rslYxJ{`(lºJt[ju`(git[ju`(lbxY`hY JyJrit\jJ`(lª{`k³
\`(gsX[wJw!{``(lbwqX[jJVb]jJxoVY`(l!gi]3yJZC]3Z\`(l!loX\y:x!_@`(yCxorsX[yuy§{`(`(l0ºC`(yC°EymvEt\jJ`(git\jJ`(l0CrsVo`hkxYrsX[yJlbC`0VY`hY J`(V^hY J`
lYX[yCx,wJVoX\wEX\lJ{`(`(l¢bUW]3VY_>r!gs`(l]\h(hkX\_>wJgsrslolY`(_>`(yCxYlwJVorsyEhkrswE]jC´TC`gi]¯wuVoX[Z\V^]_>_]xor²X[y¯gsX[Z\r¹t\jJ`,X\y
xYVoX[ju[`^]3gsZ\X[VorsxY J_>rih!C`(pujJZ[Z\r|yuZEvCgs`(l!xYV^]\hk`(lC`wJVYX[Z\V^]3_@_>`(lªUWVoX\g|X\ZlJ{`t\jJ`y:xYrs`(gW`(xbgrsy:xY`(VowuVJ{`k³
xk]3xorsX\y ]pJloxYV^]r|xY`[¢E~O`(lbxY`hY JyJrit\jJ`(l0_]yEt\jE]3yCxwuVorsyEhkrswE]g|`_>`(yCx!loX\yCx olYgsr¹h¨r|yuZEv\gi]Z{`(y!{`(V^]xorsX[yC`
CX\yJy!{`(`lÀC`xY`(loxW`(xowuVoX[Z\V^]_T_jJxk]3xYr|X\y!E¢k~M`lPwq`(VYlowq`hkxors\`(lÀt\jJ`ªyJX[jJlm[X3n\X[yJlMlYX[yCx"(gr|yCxJ{`(Z[Vk]3xorsX\yGv
go{`([]3gsjE]xorsX[y`(xvClojJVYxoX[juxvJg]3yq]3gsnClo`b]3juxoX[_,]3xYr|lJ{`(`bC`0wJVYX[Z[Vk]3_@_>`[vx^]yCxÀlYx^]3xYrit[ju`dt\jJ`0CnCyE]3_@rit[ju`[¢
#6Æq Ä^%$&±WyCCrsVoX[yuyJ`(_>`y:xYlC`wJVoX\Z[Vk]3_>_,]3xYr¡X[ymvCwJVoX\Z[V^]_>_,]3xorsX3y,gsX[Z\r¹t\jJ`\v ]yE]3gsnClo`C`wJVYX3³
Z\V^]3_@_>`[v\]3VoxYrihkgs`d»` lYnCy:xY `(lY`[¢
! @+21!ª
UWVYX[Z\V^]3_@_>rsyJZª`(yCCr|VYX[yJ_@`(yCxol]3VY`À`lolo`y:xYri]3gu<X[VWxo u`b][h(hk`wJx^]yEhk`bX wuVoX[Z\V^]_>_>rsyJZªgi]3yJZ\jE]3Z\`(l¢3UWVYX3³
Z\V^]3_@_>`(VYlv\r²yuX[x!wJVYX3:riC`,«!rsxo ,xo J`lojJwJwqX[VYxbXwuVoX[wq`(V0C`([`g|X\wJ_>`y:xb]yE@_]r|yCxY`(yE]3yqhk`0xoXCX[gslv
]Vo`b_@X[VY`gsr|©\`(gsnxoX0«!]3lYxo`!xors_@`§]yEwuVoXJCjEhk`zgsX3« t\jE]3gsrsx¶nlYX3<x¶«!]3VY`[¢3£! J`(n]3VY`!xo J`Vo`k<X\Vo`zVo`(gsjEhkxk]3yCx
xYXjJlY`],gi]yJZ[jE]Z[`«!rsxo uX[jJx]wJwJVYX[wJVYr¹]xo`@wJVoX\Z[V^]_>_@r¡yJZ@`(yC:rsVYX[yJ_@`(yCxolvO JX3«À`[`(VwEX3«ª`(V¬<jJgªxo J`
wJVYX[Z\V^]3_@_>rsyJZ0gi]3yJZ\jE]3Z\`[¢C~MX[Z\rih!wJVYX[Z[Vk]3_@_>rsyJZ0gi]3yJZ\jE]3Z\`(l§]Vo`0yJX`k´Ehk`wJxorsX[ym¢
~OX[Z\r¹h)wJVYX[Z[Vk]3_@_>r¡yuZÀrslÀhkX\yCxorsyCjE]3gsgsn0jJlo`]lÀ]zpE]3lYrslW<X[VWyJ`« gi]yJZ[jE]Z[`(lº3wq`(X[wJgs`!yJ``lojJwuwEX\Vox
xYXZ\`(x§]\h(t\jE]3rsyCxo`«!rsxo xY J`(_¢"ujJVoxY J`(Vo_@X[VY`[v:]yElYX[_@`( JX3«¼wq]3V^]\CX´Jrih(]3gsgsn:vrsxrslªxo J`z[`(VYn>wqX3«À`(V
X§xY J`½»`hkgi]3Vk]3xors\`(yJ`(lYlX3ÀgsX\Z[rih0wJVYX[Z[Vk]3_@_>rsyJZ«! JrihY ¯C`(_]yEClzwEX3«ª`(V¶8jJglojuwJwEX\Vox¢M£! J`Crsl^hkVY`k³
wE]yEhkrs`(lzpE`(x¶«ª`(`(y2xo u`C`hkgi]V^]3xYrs[`]3yE@X\wE`(Vk]3xYr|X\yE]3gMlY`(_]yCxorihkl!X3gsX[Z\rih!wJVYX[Z[Vk]3_@_>r¡yuZ gi]yJZ[jE]Z[`(l
h(]y,pE`]lYX[jJVkhk`XhkX\yC<jJlYr|X\y@<X[VªwJVoX\Z[Vk]3_>_@`(Volº[xYXCX[gsl§]Vo`0Vo`t[jur|VY`,xYXpJVoriCZ\` xY J`0Z:]wG¢
zgsxo JX\jJZ[ ±gsX[Z\r¹hwJVoX\Z[Vk]3_>_@rsyJZ,Vo`t\jJrsVo`lwuVoX[Z\V^]_>_>r²yJZ,`(yCCr|VYX[yJ_@`(yCxolgsrs©[`]3yCn X[xo u`(V>wJVYX3³
Z\V^]3_@_>rsyJZgi]yJZ[jE]Z[`[vqrsxbX$# `Vol]@pq`(xoxY`(VpE]lorsl0xo E]y_,]3yCn>XÀxo J`_¢Meªgs`]3ylY`(_]yCxorihkl0wE][`xo J`
«!]n<X\VbwqX3«À`V¶<jJgmwJVoX\Z[Vk]3_*]3yE]g|nClYr|lvJ«! JrihY Gvq]3l »r|lkhkjJlYlo`¤rsyxY J`<X[gsgsX3«!rsyJZEv3rslzxo J`h¨X[Vo`X3wJVYX3³
Z\V^]3_@_>rsyJZ!`(yCCrsVoX\yJ_>`(yCxxYXCX[gsl¢CW[`y>r²GyJX[x!]3gs«!]nClÀC`(\`(gsX[wq`«!rsxo @wJVoX\Z[Vk]3_>_@r¡yJZz`(yCCr|VYX[yJ_@`(yCx
hkX\yJloriC`V^]3xYrsX[yJlrsy_>rsyEMvgsX[Z[rih)wJVoX\Z[Vk]3_ ]yE]3gsnClorslmr|l]&%qX[jJVYr|lY JrsyJZ ]\hkxorsCrsx¶n:¢£! J`Vo`brslWjJyE»X[jJpJxY`Cgsn
]pJVY`]3©CxY JVoX\jJZ[ ,wqX[xo`y:xYri]3gM8X[VªwJVoX\Z[V^]_>_@r|yuZb`(yCCrsVoX[yu_>`(yCxol!rsy@Z[`(yJ`V^]3g¶¢
·`(lo`]3V^hY X\y0g|X\Z[rihmwJVoX\Z[Vk]3_>_@r¡yJZW`(yCCrsVoX\yJ_>`(yCxYlMlox^]VoxY`0Vo`g¹]xors[`g|nz`]3VYgsn('s)+*»]3yqblY JX3«!lGlYjJpC³
lYx^]3yCxYr¹]g ]\hY Jrs`([`(_@`(yCxol¢-,zVorsZ[rsyE]gJxoXCX[gslÀ]Vo`zyJX3«¼pq`(rsyJZ][J]wJxo`xYXX[xY J`(Vªgi]3yJZ\jE]3Z\`(lv8X[V`k´E]_>wJgs`
zg|Z\X[VYr|xY J_>rih0UWVYX[Z[Vk]3_ z`(pJjuZ[Z[rsyJZ.'s[*rsl pq`(rsyJZ,][J]wJxo`¤xoX@rs_>wq`(V^]xors[`gi]yJZ[jE]Z[`(l's)-)*0/8lo`(`
lY`hkxorsX\y u¢s1(¢2,by xo J`@X[xY J`(V E]yEMvmyJX[x]gsgÀxY J`>xY`hY JyJrit\jJ`(l`k´JrsloxYr|yuZ,<X[VX[xY J`(Vgi]3yJZ\jE]3Z\`(l E]\`
pq`(`(y±][J]wJxo`2xYXgsX[Z\r¹hwJVYX[Z[Vk]3_@_>r¡yuZE¢J£! u`_>X[lYx0loxoVYrs©:rsyJZ,`k´E]_>wJgs`rsl]»`(wE`yEC`(yEh¨n ]3yq]3gsnClorsl
xY`hY JyJrit\jJ`jJlY`@<X\VbC`(pJjJZ\Z[rsyJZqv:h(]gsg|` YlogsrihkrsyJZ3's\a*4/<lo``lo`h¨xorsX[yu¢-1(¢
µ¶xª E]lpE``(y,`(_>wJ q]3lors¥(`xo q]3xv\rsyZ[`(yu`(V^]g¸vC_@X[VY`!Vo`(lY`]3Vkho ,X\y>wJVYX[Z[Vk]3_@_>r¡yuZb`(yCCrsVoX[yu_>`(yCxol)r|l
yJ``C`5's(:*o¢C£! Jrsl!rsl!`(lowq`hkri]3gsgsn>xYVojJ`0rsy,gsX[Z[rih·wJVoX\Z[V^]_>_@r¡yJZqv«! u`(Vo`VY`(lo`]3V^hY 2X[y,wJVYX[Z[Vk]3_@_>r¡yuZ
`(yCCrsVoX\yJ_>`(yCxYlÀ E]l!pE``(y_]VoZ\r|yq]3gJrsyh¨X[_>wq]3VorslYX[yxoXxY J`0yJ`(`»l¢76¯`bpq`(gsrs`([`0xo q]3x!wJVYX[Z[Vk]3_@_>r¡yuZ
`(yCCrsVoX\yJ_>`(yCxYl lY JX[jug¹ pE`X\yJ`X§xY J`xoX[w2wJVYr|X\Vorsxors`(lz<X\V0xo J`gsX[Z[rih0wuVoX[Z\V^]_>_>rsyJZhkX\_>_jJyJr²x¶nrsy
xY J`yJ`k´Jx!xY`(yn[`]3Vol¢
£! ur|l)lojJVY[`(nZ\r|\`(lÀ]0juyJr²<nCr|yuZb8V^]3_@`(«ªX[Vo©0«! JrihY lo uX[jJgi J`(gsw@xoXC`[`(gsX[w8jJVoxY J`(VªVo`(lY`]3Vkho ,X\y
xY J`ÀxYX[wJrih3¢µ¶xWrslGlYjJp[}k`hkxYrs[`b]3yqhk`(VYx^]3rsyJgsnrsyEh¨X[_>wug|`xo`[vpJjJxWlo JX\jJgi0wJVYX3:riC`ª]!jJlY`k<jJgJlYx^]VoxorsyJZzwEX\rsy:x
<X\Vwq`(X[wJgs`!rsyCxo`(VY`(loxY`@rsyg|X\Z[rih)wJVoX\Z[V^]_>_@r¡yJZ!`(yCCrsVoX\yJ_>`(yCxYl¢3µ¶xZ\rs[`(lÀ]yX3[`(VYCr|`« X xY`hY JyJrit\jJ`(lv
xYX:X\gslv]yE0lYn:lYxo`(_@lM«! JrihY J`(gsw0wJVoX\Z[Vk]3_>_@`(VolMC`(\`(gsX[w]3yq0_]r|yCxk]3rsy!gsX[Z[rihOwJVoX\Z[V^]_>l¢kµ¶xGZ[XC`(lmrsy:xYX
lYX[_>`0C`(xk]3rsgslª<X[Vª[`(VYn>pE]lorihzxo`hY Jyur¹t\jJ`l¢6 J`(Vo`[`(Vzr|xªlo``(_>l!yJ`hk`(lolk]3VYn:vqrsxÀ_@`(yCxorsX[yulÀxY`hY JyJrit\jJ`(l
C`[`(gsX[wq`@8X[VªX[xo u`(Vbgi]3yuZ[jE]Z[`(lvC«! Jriho hkX\jJgipq`jJlY`k<jJgO<X[VªgsX[Z[rih·wJVoX\Z[V^]_>_@r|yuZE¢
£! u`½]Voxorihkgs`rsl0X[VYZ:]3yur|¥`]lz<X[gsgsX3«!l¢6¯`°EVYloxlY`(xxY J`l^hk`yJ`[¢mµ¶y¯wE]3VYxorihkjJgi]3Vvq«À`rsloX\gi]3xo`xo J`
xY JVo`(`>]lowq`hkxYl ǻ`pq`(gsrs`([`]3VY`xo J`hkX[VY`XwuVoX[Z\V^]_>_>rsyJZ`(yC:rsVYX[yJ_@`(yCxol879;:-9<=8>?@A
879B$><DC+EAF>:8>G:-+H?IJ+9@ ¢76¯`bxY J`(yhkX\yEhk`(yCxoVk]3xY`X\jJV§»r|lkhkjJlYlorsX[yJlzX[y@wJVoX\Z[V^]_
]yE]3gsnClorsl]3yEwJVYX[Z[Vk]3_ C`(pJjJZ\Z[rsyJZq¢[UWVoX\Z[Vk]3_ ]yE]3gsnClorslWrslW`(lowq`hkri]3gsgsn`(_>wJ q]3lors¥(`]lPrsxWrslxo u`!pE]3lYr|l
X§]3gsgWxo J`xoXCX\g|l¢EUWVY`(lo`y:xk]3xYr|X\y¼]3yE :rslYjE]3gsrs¥]3xYrsX[y,X3ÀrsyC8X[Vo_,]3xYr|X\yrsld]gsloX]\JCVY`(lolY`M¢G~m]3loxYgsn:vq«ª`
CrslkhkjJlolzx¶«ÀXZ\`(yJ`(Vk]3gmr|lYlojJ`lJrsyCxo`Z[V^]xorsX[y,_@`hY E]3yJrslY_>lÀ]yE`([]gsjE]3xYr|X\yhkVYrsxo`(VYr¹]u¢
bWª3 1 , Wb
!"$#&%(')!"*,+&'-.%/')0,/12323!"*4056*)!/')*423*,+/
£! J`@yJX[xYrsX[y2X3 owJVYX[Z[Vk]3_@_>rsyJZ`(yC:rsVYX[yJ_@`(yCx h(]3y¯pq`>juyEC`(VYloxoXCXJ¯rsy¯_,]3yCnCrD# `(VY`(yCx«!]nCl¢M
hkX\_>_@X[yCrs`(«¿hkX[yuloriC`(VYlb]3gsgE]3lYwE`hkxol!VY`(gi]3xo`xoXwJVoX\Z[V^]_>_@r|yuZJv(lojqho ,]3lªgi]3yJZ\jE]3Z\`<`]3xojuVo`(lvJhkX[_³
wJrsgs`(VvWlonCloxY`(_ lYjJwJwqX[VYxvxYXCX[gslvm`(x^hvÀ]3lwq]3VoxX30xo J`,wJVYX[Z\V^]3_@_>r²yJZ>`(yCCrsVoX\yJ_>`(yCx¢G£! JrslCr|`«rslv
<X\V0`k´E]3_>wug|`\vJrsgsg|juloxoVk]3xY`,pCn,xo J`«!riC`Vk]3yJZ\`XÀxoX\wJrihkl][J»Vo`(lYlo`¾r|y2]Vo`hk`(yCx«ªX[Vo©ClY JX[w¯]3pqX[jJx
wJVYX[Z\V^]3_@_>rsyJZ0`(yCCrsVoX[yu_>`(yCxol 's)\a*¢
zgsxo JX\jJZ[ ,xo ur|l0Crs`(« E]lbloX\_>`08X[jJyEu]3xorsX\yJlvur|x!rslzxoXCX>pJVYX:]\xYX>`87hkrs`(yCxYg|n,ZC]3xo u`(VbVY`(lo`]V^hY G¢
6¯`«ªX[jug¹@gsrs©[`0xoX>h¨X3[`(V]_>X\Vo`z<XJhkjJlY`2]3Vo`]J¢Jµ¶y¤wE]3VYxorihkjJgi]3VvJ«ª`«!]3yCx!xoX,CrsloxorsyJZ\jJrslo ,Vo`lo`]V^hY
X\ywuVoX[Z\V^]_>_>rsyJZz`(yCCr|VYX[yJ_@`(yCxol)<VoX\_ VY`(lo`]3V^hY X\y,g¹]yJZ[jq]3Z[`l¢
·`(lo`]3V^hY X\ywJVYX[Z\V^]3_@_>rsyJZª`(yCCr|VYX[yJ_@`(yCxolh(]y½hkX\yCxoVorspJjuxo`!lorsZ\yJr²° h(]3yCxYg|nxoX0xo J`b»`(lorsZ[yXEyJ`(«
gi]3yuZ[jE]Z[`(lv(_]rsyJgsnpCnbwqX[rsyCxorsyJZ!X[juxMxo J`«ª`]©:yu`(lolY`(lWX3J`k´JrsloxorsyJZ!wuVoX[Z\V^]_>_>r²yJZgi]3yuZ[jE]Z[`(l¢k¯Z[XCXJ
`k´E]_>wJgs`0rslbhkX[yCxo`¨´»xYjE]3gmgsX[Z[rihzwJVYX[Z[Vk]3_@_>r¡yuZEv3«! JrihY ,rslbxo u`_]r|yX\jJx^h¨X[_>`0XxY J`WlYwJVorsxzwJVoX}¨`hkx
0~GU)9@X\y>gsX[Z\r¹h·wJVoX\Z[Vk]3_>_@r¡yJZz`(yCCr|VYX[yJ_@`(yCxol '*¬¢JeªX\yCxo`k´Jxojq]3gqwJVoX\Z[V^]_>_@r|yuZbyJ`]xogsnrsyCxo`(Z\V^]3xY`(l
_@X»»jJgs`(lrsyJloriC`0UWVoX\gsX[Z 's+*o¢3£! J`0x¶nCwE`(lvC_>XJCjJgs`(lv[]3yq_>`(xk]³¶wJVoX\Z[V^]_>_rsyJZª¸]\hkrsgsr|xYrs`(lwJVYX3:riC`
pCn¯xo u`C`h¨g¹]V^]xors[`gi]3yuZ[jE]Z[`;:XCC`(g!]3gsloXX3«ª`(l]¤gsX[x0xoX2wJVYX[Z[Vk]3_@_>r¡yuZ>`(yCCrsVoX[yu_>`(yCxhkX[yqhk`(Voyul
'-)*o¢\byJX\xo J`VÀ`k´E]_>wJgs`!rsl<qUWVoX\g|X\Z 's\*¬v\«! JrihY GvC]3_>X\yJZbX\xo J`V<`]3xojuVo`(lvCwJVoX3CriC`(l ¶<X\VW<VY`(`xo J`
wJVYX[Z\V^]3_@_>rsyJZhkgsrihY §{`0_>`hY E]yJrslo_>lªC`(l^h¨VorspE`,rsy '>=*o¢
£! u`(Vo`]Vo`[v) JX3«ª`([`(VvªwJVoX\pJgs`(_>l«! JrihY ]Vo`yuX[x>CjJ`¤xoX¯«ª`]3©CyJ`(lYlo`(l,XdwuVoX[Z\V^]_>_>rsyJZ,gi]3y»³
Z\jE]3Z\`(l!pJjJx!xYXr|yCxYVorsyJlorihz«ª`]3©CyJ`(lYlo`(lzX3xo u` CjJ_,]3ypq`(rsyJZ[lz«! JXlowq`hkr²<nCvEC`(\`(gsX[wGvJ]yE@_]r|yCxk]3rsy
wJVYX[Z\V^]3_@l¢6¯`hkX[yuloriC`(V0xo q]3xb`¨´uh¨r|lYrsyJZ>gi]3yuZ[jE]Z[`0«À`]3©CyJ`(lYlo`(lrslzwE]3VYxbX3ªg¹]yJZ[jq]3Z[`0VY`(lo`]V^hY ¼]3yq
xY E]3xVY`(lo`]3V^hY ,X[y`y:CrsVoX\yJ_>`y:xYlWlo JX\jJgihkX[yEh¨`(yCxoV^]xo`zX[y3 $<F (J$(:J+ &I-?A@9>(¢
£! CjJlvgsX[Z\r¹h@wJVYX[Z\V^]3_@_>r²yJZ,`(yC:rsVYX[yJ_@`(yCxol«ªX[jJgi¯lYxorsgsgbpq`yJ`(`C`±`(\`(y¿r²xo J` owq`(V¶<`hkx g|X\Z[rih
wJVYX[Z\V^]3_@_>rsyJZ0gi]3yJZ\jE]3Z\` hkX\jJgipq`C`k°qyJ`M¢
µ¶y¯wq]3VoxYrihkjJgi]3Vv :J??<87 A $><DC+?A7: :-+H?IJ+9@½«!rsgsg!]3gs«§]nCl0 E]\`xoX2pE`@lojJwJwqX[VYxo`O¢
"mrsVolYxogsn:vloX\_>`lYjJwJwqX[VoxWrslGyu`(`C`xoXz J`(gswjJlo`(VYlC`([`g|X\wxY J`(rsVGwuVoX[Z\V^]_>lMpq`h(]3julo`!xo ur|lmrslP]bh¨Vo`]xors[`
wJVYXJhk`(lol¢£! J`Vo`,rsl[`(VYngsrsxoxYgs`>ho q]3yEhk`@xo E]x«ª`>h(]y¼`(\`(V8jJgsg|n¤_>XJC`(grsx¢9C`hkX[yE»g|nCvG]jJxoX\_]3xY`
]yE]3gsnClorslr|lyJ`(`C`±pq`h(]jJlo`[v) JX3«ª`([`(V>]pJloxYV^]\hkxxo J`,wJVYX[Z\V^]3_@_>r²yJZ>wE]V^]\CrsZ[_vOxo J`,lors¥(`,Xbxo J`
wJVYX[Z\V^]3_@l!«!rsg|gM]3gs«!]nCl!`(yE,jJw,xYX:Xgi]VoZ[`z<X\V!xo J` :ju_]3y@_>rsyEM¢CUWVYX[Z[Vk]3_@_>`(VYlÀ«!rsgsgG]3gs«!]n:lª E]\`
CrB7hkjug|xYrs`(lrsyjuyEC`(VYlox^]yECrsyJZgi]VoZ[`wJVYX[Z[Vk]3_@l('[*o¢G~m]3loxYgsn:vMC`(pujJZ[Z\r|yuZ ]yE¤xo`(lYxorsyJZlYjJwJwqX[Voxr|l
yJ``C`¾pE`h]3jJlY`[vW JX3«ª`([`(Vh(]3VY`k<jJgwuVoX[Z\V^]_>_>`Vol ]Vo`[vOxo J`(n¯h(]y¼]3gs«§]nClz_]3©\`_>rslYx^]3©\`(lvq`(rsxY J`(V
]x!xo J`lYwE`hkr²° h(]3xYrsX[y,X[V!wJVYX[Z\V^]3_@_>rsyJZzg|`[`(g¶¢
£! u`>hkgi]3lolYr²° h(]3xYrsX[y¯rsyCxoXC`[`(gsX[wu_>`(yCxvm]3yE]g|nClYr|lvG]3yq¯C`(pJjJZ\Z[rsyJZrsl_,]3rsyJgsn] Z[jJriC`gsrsyJ`xoX
wJVY`(lo`y:xzxo J`zlojJVY[`(nC¢\£! J`0pEX\jJyEJ]Vors`(lªpE`(x¶«ª`(`(y,xY J`bxY JVo`(`hkgi]lolo`lb]3Vo`zyJX[xªhkgs`]3Vbhkjuxº<X[Vª`k´E]3_@wJgs`[v
C`[`(gsX[wu_>`(yCx]3yE2C`(pujJZ[Z\r|yuZ ]Vo`rsyCxo`(VYx¶«!rsyJ`MvW]3yE2C`(pujJZ[Z\r|yuZVY`t\jJrsVo`(lwJVYX[Z[Vk]3_®]3yE]g|nClYr|l¢qµ¶y
xY J`0<X\g|gsX3«!rsyJZ0«ª` «!rsgsgGhkX\yEhk`(yCxoVk]3xY`X[y,wJVYX[Z[Vk]3_ ]yE]3gsnClorsl!]3yE,C`pJjJZ[Z\rsyJZE¢
C DEF6GH')/!"6*)+/6I3%/',0)/12 1*1JCKF!
UWVYX[Z\V^]3_*]3yq]3gsnClorslÀrsl!X<xo`(y,wq`(V¶8X[Vo_@`@rsyxY J`hkX[yCxY`k´JxbX3hkX[_@wJrsgi]3xorsX\yGv[]3rs_@r|yuZd]x!X[wJxYrs_>rs¥]3xYrsX[yG¢
6¿ u`(ywq`(V¬<X[VY_>`,rsyxY J`hkX[yCxo`¨´»x0XwuVoX[Z\V^]_>_>rsyJZ`(yC:rsVYX[yJ_@`(yCxolvuxo J`_]rsyCrD#M`(Vo`(yqhk`>rslbxY E]3x
Extraction
U S E R
"Nice"
Display
Browsing Explanations Profiling Testing Debugging ...
Object
Data Analysis Relevant Info
Visual- ization Source
Codes
Exec- utions Specif- ications
Object specif.
Object sources Traces
"mrsZ[jJVY`½ C_>XJC`(gMXPjJlY`(V¶³¶X[VYrs`(yCxo`,wuVoX[Z\V^]_]yE]3gsnClorsl
xY J`C`(Vors\`@wJVoX\wE`(VYxors`(l0]3Vo`0jJgsxYr|_,]3xY`(gsn]3yE]gsn:lY`pCn CjJ_,]3ypq`(rsyJZ[l¢C£! JrslÀrsyECjqhk`(l!loxYVoX\yJZVo`t\jJr²³
VY`(_>`(yCxYlb]3pqX[jJx %E`k´JrspJrsgsr|x¶nCv3VY`(lowqX[yJlY`xYrs_>`[v[]yE`VoZ[X\yJX[_nC¢3µ¶x!xY J`(Vo`¨<X[VY`rsy%EjJ`(yqhk`(lbxY J`0xo`hY Jyur¹h]3g
C`lorsZ[y,X3xY J`0Vo`(gi]3xY`,xYX:X\gsl¢
·lo`(V¬³¸X\Vors`(yCxo`wJVoX\Z[V^]_ ]yE]3gsnClorslGrslW_]rsyJgsn ]3rs_@`0]3xW J`(gswJrsyJZzwJVoX\Z[V^]_>_@`(VolmjJyEC`(VYloxk]3yEwJVYX3³
Z\V^]3_@lP]yExY J`(rsVWpE` E]Cr|X\jJVol¢3£! J`(n]3Vo`ªjJlYjE]3gsgsn0Vo`k<`VoVo`xoX]l»`(pJjJZ\Z[rsyJZbxYXCX[gsl¢£! J`(nCv3X hkX[juVolo`\v
CX J`(gswwuVoX[Z\V^]_>_>`VolGxYXC`(pujJZpq`h(]3julo`bX\yJ`!X3Mxo u`!_]3rsy0wJVYX[pJgs`(_@lP«! ur|gs`!C`(pJjuZ[Z[rsyJZ0rsljJyqC`(Vol¬³
xk]3yECrsyJZ,wJVYX[Z\V^]3_@l¢!X3«ª`([`(VvMX[y2xo u`X[yJ` E]3yqMvMC`(pJjJZ\Z[rsyJZ,rsl0_>X[VY`xo q]3y}kjJlox0jJyqC`(VolYx^]yECrsyJZ
]yEMvCX[y,xY J`0X[xo u`(V! E]3yqMvCjJyEC`Voloxk]3yE»r|yuZ>h(]3y,pq`d]y]r|_ wE`(V!lY`[¢>"uX[Vª`k´E]3_@wJgs`[vC]_@X»»` ]3yq]3gsnClorsl
h(]y, J`(gsw>«!rsxo @xo J`0jJyqC`(VolYx^]yECrsyJZX3Wxo J`J]x^]9%EX3«±X3]wJVYX[Z[Vk]3_2º[]Crslojq]3gsrs¥]3xYr|X\yxoXCX[gMh(]y u`(gsw
«!rsxo ,xY J`0jJyEC`(VYloxk]3yECrsyJZXPxY J`0X[wq`(V^]xorsX[yE]gMlo`(_,]3yCxorihklªX3]gi]yJZ[jE]Z[`[º\«! J`(y]yJ`(« <`]xojJVY` E]3l
xYXpq`]\JC`¾r|y±]3y¯`k´JrsloxYrsyJZwJVYX[Z[Vk]3_ xY J`>wuVoX[Z\V^]_>_>`Vb E]lxYXjJyqC`(VolYx^]yE xo JrslwJVYX[Z\V^]3_2vG]3x
gs`]lox!wE]Voxori]g|gsnCv[xYX>][X\r¹rsyCxoVYXJCjEhkrsyJZrsyEhkX\yJlorslYxo`(yEh¨r|`l¢
"mrsZ[juVo`bZ\rs[`(lb]_>XJC`(gMXPjJlY`(V¶³¶X[VYrs`(yCxo`,wuVoX[Z\V^]_ ]3yE]gsn:lYrsl¢C£! Jrsl!_>XJC`gErsl!jJlY`]3lb]Z[jur¹»`
gsrsyJ`rsy¯xo J`<X[gsgsX3«!rsyJZlo`hkxorsX[yulvW«! JrihY ¼C`(lkhkVorspq``][hY ]lowq`hkxr|y¯lYX[_@`½C`wJxo G¢~O`(xjJl!}kjJlYxZ[rs\`
]@pJVYr|`¨§X3\`(VoCrs`(« u`(Vo`[¢WUWVYX[Z[Vk]3_®]3yE]g|nClYr|lzjJlo`lxo JVY`(`>lYX[jJVkhk`(lX·u]3x^] qwJVoX\Z[V^]_ lYX[jJVkhk`>hkXJC`(lv
wJVYX[Z\V^]3_ `k´J`hkjJxYr|X\yJlvJ]yEwuVoX[Z\V^]_ lYwE`hkr²° h(]3xYrsX[yJl¢J£! J`(lY`J]3xk]0lo JX\jJgipq`][]3rsgi]3pJgs`xYXxY J`]3yE] ³
gsnClorslÀhkX\_>wqX[yJ`y:x]l JH+ u]3x^]u¢3£! JrslWrsyEhkgsjEC`(l)xo J`zxoV^]yJl¶8X[Vo_,]3xYr|X\y0X3Mlowq`hkr²° h(]xorsX[yJl!]3yqloX[juV^hk`
hkXJC`l!r|yCxYXd]y>]3wJwuVoX[wuVori]3xY`b]3pJlYxoV^]\hkxªlonCyCx^]´>]3l)«À`(gsgE]lxo u`b`k´JxoVk][hkxYrsX[yX3M`k´J`hkjuxorsX[yJl!xYV^]\hk`(l¢\£! J`
]yE]3gsnClorslÀhkX\_>wqX[yJ`y:xªh(]3y@wE`(V¬<X[VY_pJVYX3«!lorsyJZEv`k´JwJgi]3yE]xorsX[yGvwJVoX°Egsr|yuZEv\xo`(lYxorsyJZEvCC`(pujJZ[Z\r|yuZEv\`(x^h3¢Cµ¶x
wJVYXJCjEhk`(lrsyC8X[Vo_,]3xYr|X\yGvJVY`(gs`([]3yCxxYXxo u`>jJlY`(V½]x]hk`Vox^]rsy¼_>X\_>`(yCxvJ«! JrihY ¯rslCrslowJgi]n\`rsy¼]y
`(VYZ[X\yJX[_@r¹h]3gJ«!]npCn½]d:rslYjE]3gsrs¥]3xYrsX[yhkX[_@wEX\yJ`(yCx¢3£! ur|lª_]xo`(VYri]3gCrsl`([`y:xYjE]3gsgsn`k´E]3_>rsyJ`pCnxo J`
jJlY`(V¢
£! u`b_>XJC`gJ`(_>wu E]3lYr|¥`(lx¶«ªXrs_>wqX[Voxk]3yCx]3lYwE`h¨xol¢7"mr|VYloxYg|nCv3wJVYX[Z\V^]3_]yE]3gsnClorslrslyJX\xÀVY`(loxYVorihkxY`
xYX¼loxk]3xYr¹h¤]3yE]g|nClYr|lvWr¶¢`\¢À]3yq]3gsnClorslX3loX\jJV^h¨`hkXJC`¤X[yJgsnMºlY`hkxorsX\yT¯lYxoVo`lolo`lxo E]x>lYwE`h¨r¡°Mh(]3xYr|X\yJl
]yE¯`k´J`h¨jJxorsX[yul½]Vo`]gsloXrsyCxo`(VY`(loxYrsyJZlYX[jJVkhk`(lX J]3xk]J¢9C`hkX[yE»g|nCvmxo J`,hk`(yCxoVk]3gbhkX\_>wqX[yJ`(yCx0X3 ]
wJVYX[Z\V^]3_@_>rsyJZ0`(yCCrsVoX[yu_>`(yCxrsl!xo u` >$<C+?(&8@$>¸¢
µ¶y±X\jJV>Crs`(«vWxo u`_@X[loxrs_>wqX[VYx^]3yCxX[p[}k`hkxors[`¤X3]2wJVoX\Z[Vk]3_>_@r¡yJZ¤`(yC:rsVYX[yJ_@`(yCxxYX:X\gbrslxoX
$I- + +.I +8@9 H?< @ <=9: :J??<87 7: >> +8@>rsy±X[VkC`(V
xYXVY`CjEh¨`xo J`pJjuV^C`(y2X3ªxo J`wJVYX[Z\V^]3_@_>`(VYl¢C£! J`lo`x^]lo©Cl]3VY`jJlYjE]3gsgsn,xoXCX»r7h¨jJgsxbxoX,pq`8jJgsg|n
]jJxoX\_]3xY`M¢\£! J`bCrslojq]3gsrs¥]3xYr|X\y_>XJCjJgs`!rslªxo J`(VY`k<X\Vo`0yJ`(`»`,xoXVo`wEX\Vox!xoXxo u` julo`(VvJpJjJxªrsxÀrslªyJX[x
xY J`>_,]3rsywE]VoxXbxo J``(yCCrsVoX\yJ_>`(yCx¢ 6¯`[vG]ljJlo`VolvWwuVo`k<`VxYX`k´E]3_@r|yu`xY JVo`(`@gsr|yu`(lX3<=
rsyC<X\Vo_,]3xorsX\y!xo E]yd]ªlkhkVo``(y<jJgsg3X3v(Z\V^]wJ Jrih(]3gsgsnbCrslowug¹]n\`MvkrsVoVY`(gs`([]3yCxMrsyC<X\Vo_,]3xorsX\yG¢ !`yEhk`ªxo J`
]yE]3gsnClorslhkX[_@wEX\yJ`(yCxWlo JX\jJgipq`!xo u`!_]3rsyz<XJhkjJl)X3ExY J`!Vo`(lY`]3VkhY >X[ywJVYX[Z[Vk]3_@_>rsyJZª`(yC:rsVYX[yJ_@`(yCxol¢
)`(VonX<xo`yGvM`k´JrsloxYr|yuZxYXCX[gsl ]Vo`Vo`Z:]3VkC`2xYX:X,gsX3«ª³¶g|`[`(gWX[V0`(\`(y2jJlo`(gs`(lYlpq`h(]jJlo`@xo J`r|V]3yE] ³
gsnClorslhkX[_@wEX\yJ`(yCxrslvW][hkxYjE]3gsgsnCvMxoXCX«ª`]3©M¢ "JX\V`¨´u]_>wJgs`[vOxoV^]\hk`(VYlwJVoX3CriC`] g|rs_@r|xY`,yCjJ_pq`(VX
°EgsxY`(VorsyJZ<jJyEh¨xorsX[yE]gsr|xYrs`(l«! JrihY ]Vo`]C`(Z\`(yJ`(Vk]3xY`]3yE o E]\hY©[` <X\Vo_ X3]3yE]g|nClYr|l¢brslYjE]3gsrs¥]3xYrsX[y
xYX:X\gsljJlojq]3gsgsnwJVoX3CriC`!_@X[Vo`)loX[wu Jrsloxorih(]xo`@]3yE]gsn:lYrslP_@`hY E]3yur|lY_>lmxoX0`(yE]pJgs`!lo`(\`(V^]gMg|`[`(gslXO]pJl¶³
xYV^][h¨xorsX[yGvupJjJxzxo J`(lY`_@`hY E]3yur|lY_>l!]3VY`loxYr|gsgM JriJ»`(yGvE]\, JXJh0]3yE r|yCxY`(Vox¶«!rsyJ` «!r|xY ,xo J`Z\V^]wJ Jrih(]3g
_@`hY E]3yJrslY_>l¢6¿rsxo ]·wJVoX\wE`VÀ]3yE]gsn:lYrslPhkX\_>wqX[yJ`(yCxmxo J`ªZ[`(yu`(V^]g|rsx¶nXExo u`(lo`!xYX:X\gslPhkX\jJgipq`ÀZ\Vo`]xogsn
rs_>wuVoX3[`M¢
£! u`_@XJC`(gªr|llYrs_>wJgs`[vmr² yJX\xlYr|_@wJgsrsloxorih3¢mµ¶y±wE]3VYxorihkjJgi]VvWjJlY`(Vol,]3gsloX2rsyJwJjJxVY`t\jJ`(loxYl,xoX2xo J`
xYX:X\gsl¢Mµ¶xlY JX[jug¹¤pq`>loxYVo`(lYlo`OvW JX3«À`[`(VvGxY E]3x`¨´»rslYxorsyJZ,lonCloxY`(_>l]3Vo`X\yJgsn],C`(Z\`(yJ`(Vk]3xo`@<X\Vo_*X
xY Jrsl_>XJC`(g¶¢q!XhkjJVYVo`(yCxlonCloxY`(_ l^]xorsl¶¶][hkxYX[VorsgsnhkX3[`Vol`k´JxYV^][h¨xorsX[yGvW]3yq]3gsnClorslvM]3yqCrslojE]gsr|¥]3xorsX\yG¢
6¯`0 JX\wE`0xo q]3x!rsy,xo J`0yJ`]Vª<jJxYjJVo`«ª`0«!rsg|gqlo``lYn:lYxo`(_@lbhkX3[`VorsyJZ]3yE@rsyCxo`(Z\V^]3xYrsyJZ½]gsgG]3lowq`hkxYl¢
·X[xY`PxY E]3xmwJVoX\Z[Vk]3_]3yE]g|nClYr|lM]3lWhkX[yuloriC`(VY` u`(Vo`rslM`(lYlo`(yCxYr¹]gsg|n]ª_@`(x^] ³¸wJVYX[Z\V^]3_@_r¡yJZ]\hkxorsCrsx¶n º
rsx> q]3yECgs`(l@wJVoX\Z[Vk]3_]3l>J]x^]Jvª]3l@«À`(gsg0]3lu]3x^]¯]l>wJVYX[Z\V^]3_@l¢W£! JrsllYjJZ[Z\`(loxYl h¨X[yJlYr¹»`(VorsyJZ xo J`
]yE]3gsnClorsl!xoXCX\g|l /<r²yJX[xzxo J`«! JX[gs``(yCCrsVoX\yJ_>`(yCx1!]3l ]_>`(xk]gsX\Z[rihzwJVoX\Z[V^]_]yE,xY J`xk]3VYZ[`(xzg|X\Z[rih
gi]3yuZ[jE]Z[`]3lMxY J`rs_>wJgs`(_@`(yCx^]xorsX[yªgi]3yJZ\jE]3Z\`[¢ 9CX[_@`Grs_>wqX[VYx^]y:xqpq`(yJ`k°ExYlh(]3ypq``k´Jwq`hkxY`08VoX[_6xo ur|l
]wJwJVoXC][hY G¢uµ¶ywq]3VoxYrihkjJgi]3VvCxo J`C`(\`(gsX[wJ_@`(yCxÀXyJ`(«6xoXCX[gsl!rsl¶][hkrsgsrsx^]3xY`pCn@xo J`0lo`g¡ç³¬]wJwJgsrih(]3pJrsgsrsx¶n
X xo u``y:CrsVoX\yJ_>`y:x]3yE¾xo J`,wqX[lolYrspJrsg|rsx¶n2xoX2Vo`(julo`lYX3<x¶«!]3VY`<VYX[_®xo J`,X\p[}k`hkxgs`(\`(g¶¢G£! Jrsl>]g|lYX
wJVYX3Cr¹»`(l]2C`(_,]3yECrsyJZ2xo`loxopq` <X[Vxo u`_>`(xk]³¶wJVoX\Z[Vk]3_>_r²yJZ@¸][h¨r|gsrsxors`(lX3gsX[Z\rihwJVYX[Z[Vk]3_@_>r¡yuZ
gi]3yuZ[jE]Z[`(l¢
'(#,)*+0
zlÀ]3gsVo`][Cn_@`(yCxorsX[yu`MvwJVoX\Z[Vk]3_ ]yE]3gsnClorslWh(]3yjJlY`!xo JVY`(`blYX[jJVkhk`(lªX3 u]3x^] 8>$ I&:J(v
879 -?IJ@¨vC]3yq8> 8@ + @¨¢CUWVYX[Z[Vk]3_ loX\jJV^h¨` hkXJC`zr|lª]0yE]3xYjJV^]gEh(]yECriJ]3xY`[º
xY J`(Vo`]3Vo`zrsyEC`(`@_,]3yCnwJVYX}k`hkxYl!X[y@lox^]xorih0]3yE]gsn:lYrsl¢3µ¶y,xo ur|lªlo`hkxorsX[y@«À`0«!]3yCxxYX½hkgi]Vor²<nxo J`0VoX\gs`
XwuVoX[Z\V^]_`k´J`hkjJxYrsX[yJl0]3yE@wJVYX[Z[Vk]3_lYwE`hkr²° h(]3xYrsX[yJl¢
/')0)/12 +/!"')*4
UWVYX[Z\V^]3_ ]yE]3gsnClorsl0lo`(`_>lX<xo`(y¯VY`(loxYVorihkxY` xoXlYx^]3xYrih]3yE]g|nClYr|lvMr¶¢`[¢G]3yq]3gsnClorsl0X3!wJVoX\Z[V^]_®loX[juV^hk`
hkXJC`\vMX[yJgsnC¢Jzg|xY JX[juZ[ 2lox^]xorih]3yE]g|nClYr|l! q]3l][C[]yCx^]3Z\`(lvqrsxbrsl0yJX\x ]3gs«!]nClbxo u`_@X[lox0]3wJwuVoX[wuVori]3xY`
x¶nCwq`X3]3yE]g|nClYr|l¢
zllo JX3«!y±pCn¼xY J`wqX[wJjug¹]Vorsx¶n¯X3wJVYX[xYX[x¶nCwJrsyJZEvmrsxlo`(`_>lv<X[V`¨´u]_>wJgs`[vmxo q]3xwq`(X[wJgs`X<xo`y
E]\`],pq`(xYxo`(VjJyqC`(VolYx^]yECrsyJZ2X3b«! E]x],wJVYX[Z[Vk]3_®lo uX[jJgi :Jxo q]3y¼Xb«! E]3xr|xlo JX\jJgi H¢mbl
jJyqC`(VolYx^]yECrsyJZrsl],hk`(yCxYV^]3g)r|lYlojJ`@rsyjJlo`V¶³¶X[Vors`(yCxY`¯wJVYX[Z\V^]3_®]3yE]gsn:lYrslvq`k´J`hkjJxYrsX[yJl«! JrihY lY JX3«
«! E]x!wJVoX\Z[Vk]3_>l!][h¨xojE]g|gsn>CX]3VY`]3y@`(lolY`(yCxori]3gWlYX[jJVkhk`X3J]3xk]J¢
zl½] _]3xYxo`(V0X!¸][hkxvGxY J`(VY``¨´»rslYx]yCjJ_pq`(V0X3 »n:yq]3_>rih]3yE]gsn:lYrsl xYXCX[gslvO<X[V`k´E]3_>wug|`\vGC`k³
pJjuZ[Z[`VolvOwJVoX°Egs`(VolvM_>X\yJrsxoX[VYlvuX[V0`k´JwJgi]3yE]xorsX[y¤Z[`(yJ`V^]3xYX[VYl¢M£! J`lo`xoXCX\g|l]Vo`X3<xY`(y]\ uX»hvE«!rsxY
gsrs_>rsxo`l^h¨X[wq`[¢q£! J`(n]Vo`[vq JX3«ª`(\`(VvqCVors[`ypCn,jJlY`(V C`_]3yqMvJ]3yE@xY J`(rsVbjJlY`k<jJgsyJ`lol0rsl!yJX[x!xYXpE`
t\jJ`(lYxorsX[yu`M¢
zy¿`k´J`hkjuxorsX[y6rsl>]3y¿rsyJlYx^]3yCxYr¹]xorsX[y±X]¾wJVoX\Z[Vk]3_«!r|xY ¿lowq`hkr²° h¤rsyJwJjJxºªX[yJgsn¼lYX[_@`Xxo J`
wqX[xY`(yCxori]3gmwE]3xY Jl!X3À]wJVoX\Z[V^]_]Vo`hkX3\`(Vo`O¢>6 Jrsg|`zxo Jrsl!VY`CjEhk`l xY J`0Z[`(yu`(V^]g|rsx¶n@X3xo J`]yE]3gsnClorslv
rsx>]3gslYXVY`CjEhk`lrsxYl½hkX\_>wJgs`k´Jrsx¶nC¢Mµ¶y±loX[_@`h(]lo`(lvªlojEhY ¿]3lpJjuZ¼Cri]3Z[yuX[lorslvGxY J`(Vo`¤r|lyuXyJ``±xoX
rsyC[`(lYxorsZ:]xo`]3gsgqwEX\xo`(yCxYr¹]gM`k´J`hkjJxYrsX[y,wE]3xY Jl¢,zyJgsn@xo J`0wE]xo Jlb]\hkxojE]gsg|njJlY`,xoXwJVYX»»jEhk`xY J`0`(VoVYX[V
lYn:_@wJxoX\_>lb]Vo`Vo`g|`[]3yCx¢ !`yEhk`[vW]3yE]gsn:lYrsyJZ>`k´J`h¨jJxorsX[yulrsl lYX[_@`(xors_>`l!_>X[VY`Vo`g|`[]3yCx]3yE¤_>X\Vo`
`87h¨r|`y:x¢
£! ur|l0rsl0yJX[x0xYXlk]nxo q]3xCnCyE]3_@rih]3yE]gsn:lYrslbrsl0pE`(xYxo`(Vxo q]3y2lox^]xorih]3yq]3gsnClorsl¢ 9CX\_>`(xYr|_@`(l!X[yu`
rsl!_>X\Vo`]3wuwJVoX\wJVori]3xY`[vCloX\_>`(xYrs_>`(lªrsx!r|l!xY J`0X[xY J`(VbX\yJ`[¢7,bjuVb`k´Jwq`(Vors`(yEh¨`lY JX3«!lbxY E]3xvJ_>X\loxªX3Wxo J`
xYr|_@`[vC]hkX[_pJrsyE]xorsX[yX3pqX[xY rsl!][hkxYjE]3gsgsnxo u`_>X\lox!]3wJwJVYX[wJVYri]3xo`\¢
C %( ! 16+/!"')*4
£! J`xY JrsV^¤loX\jJV^hk`@X3§u]3x^]<X\V0wJVoX\Z[V^]_ ]3yE]gsn:lYrsl rsl0wJVYX[Z[Vk]3_*lYwE`h¨r¡°Mh(]3xYr|X\yJlvm«! J`(VY`]wJVoX\Z[V^]_
lYwE`h¨r¡°Mh(]3xYr|X\yrslvCpE]lorih(]g|gsnCv:] ur|Z\ C³¶g|`[`(gMC`(lkhkVorswJxYr|X\yX3Wxo J` ? $XPxY J`wJVYX[Z[Vk]3_@_>`(V¢
pJrsZ]3lYlo`(x!X gsX[Z\rihªwJVoX\Z[V^]_>_@r|yuZ!r|l)xo E]xÀrsxwJVYX3Cr¹»`(l§]dlo_>XCX\xo xoV^]yJlorsxYr|X\ypE`x¶«À`(`ylYwE`hkr²°J³
h(]xorsX[yulÀ]3yEwJVYX[Z[Vk]3_@l¢µ¶y_]y:n0h(]3lY`(lvClYwE`hkr²° h(]3xYrsX[yJlÀh]3ypq`!_][»`<X\Vo_,]3g:]yE`k´J`hkjJxk]3pJgs`('\a*¬v
r¶¢`[¢xo J`b»r|lYxorsyEhkxYrsX[ypq`(x¶«ª`(`(y>lYwE`hkr²° h(]3xYrsX[yJlÀ]yE0wJVYX[Z\V^]3_@lGrslW_]r|yug|nb]0t\jJ`(lYxorsX[yX3q`87hkrs`(yEhkn]3yq
gs`(\`(gX3!]3pJlYxoV^]\hkxorsX\yG¢qbl]_,]3xoxY`(VbX¸]\hkxvMUWVYX[gsX[Z@r|lzloX\_>`(xYr|_@`(lbhkX\yJloriC`(VY`¯]3l]lowq`hkr²° h(]xorsX[y
gi]3yuZ[jE]Z[`/<lY`(`8X[V!`k´E]3_@wJgs`('sCvma\CvE[*1¢EW\`(y«! J`(ymvC<X\V!xo J`lk]3©\`X3W`k´JwJVo`(lYlors[`yJ`(lolvGlYwE`hkr²°J³
h(]xorsX[yul§h(]yJyJX\xpE`zVo`»jEhk`@xoXg|X\Z[rih)wJVoX\Z[V^]_>lv[]0jJyJr²<X\Vo_ jJlo`zX3GgsX[Z\r¹h)wJVYX3:riC`lÀ]0wE]xo pq`(x¶«À``(y
lYwE`h¨r¡°Mh(]3xYr|X\yJlv7/8wJjJVY`1gsX\Z[rihwuVoX[Z\V^]_>lv\]3yE /8`87hkrs`(yCx1UVoX[gsX\ZwJVoX\Z[Vk]3_>l¢£! Jrsl E]3l)pE`(`y]3wuwJgsr|`
«!rsxo lYjEh(hk`lol!xoX0wJVYX[Z\V^]3_ lYn:yCxY J`(lorslF/8lo`(`zxo J`zlojJVY[`(nX[ywuVoX[Z\V^]_lonCyCxo u`(lorslv\pCnz`(Crsg|gs`!]3yE~m]3jGv
rsy,xo Jrsl!rslolYjJ`':*1(¢
£! u`gsr|yu©>pq`(x¶«À``(ylYwE`hkr²° h(]3xYrsX[yJl]3yq,wJVoX\Z[Vk]3_>l!rslbhkjuVoVo`y:xYgsnxorsZ[ CxY`(yJ`,xY JVoX\jJZ[ 2]Z[VYX3«!rsyJZ
jJyqC`(VolYx^]yECrsyJZ2X3!xo J`rs_>wqX[VYx^]yEhk`X3!x¶n:wq`(l 's[*ovM«! JrihY ]Vo``(lYlo`(yCxYr¹]gÀxYXh(]wJxojJVY`xo J`@yJX[xYrsX[y
X $<=½X\V ?7$IJu]3x^]¯]l>«ª`(gsg ]l>xoX Vo`(\`]3g0_@`]3yJrsyJZ<jJg!]3wJwuVoX´Jrs_]3xYrsX[yJlXxo J`
VY`(gi]3xorsX\yJl>xYX¯pE`¯hkX[_@wJjJxY`M¢W£! Jrsl> q]3l>gs` xYX¼xo u`rsy:xYVoXJCjEh¨xorsX[y¿Xx¶n:wq`±\`(VolYrsX[yJl@X3UWVoX\gsX[ZEv
`[¢Zq¢E£ªnCwE`UWVoX\gsX[Z.'s[+)*¬vq]3lz«À`(gsgW]3lbgi]yJZ[jE]Z[`(l!«! ur¹hY ,8jJVoxY J`(VC`(wE]Voxz<VYX[_*UWVoX\g|X\ZEvC`[¢Zq¢ :X:C`(g
'-)*!X[V <EUWVYX[gsX[Z5'|[*o¢M£! J`@x¶nCwE`@lonCloxY`(_>lX$# `Vo` pCnxY J`(lY`>gi]3yJZ\jE]3Z\`(l_,]nyuX[xvm JX3«ª`([`VvmpE`
`k´JwJVY`(lolYrs[``(yuX[jJZ\ >xoXh(]wJxojJVY`0xo J`zr|yCxY`(yCxorsX[y@X3Gxo u`bwJVYX[Z[Vk]3_@_>`(V¢[b]r|lY lojJZ\Z[`(lYxolvC<X\VÀrsyJlYx^]3yqhk`[v
xYX>rsyEhkgsjEC`CrsloxYrsyJZ[jJrslY J`,wJVY`Crih(]xo`(l/¸h]3gsgs` C8&8>:$+ 1b]xbxY J`lowq`hkr²° h]3xorsX\ygs`(\`(g¶¢E£! u`(lo`
wJVY`Crih(]xo`(l]3VY`yJX\xwE]3VYxX3 xY J`wJVYX[Z\V^]3_gs`([`g!pJjJxh]3y±pE`¤jJlo` xoX¯_]©[`_@X[Vo`,wJVY`hkrslo`¤xo J`
rsyCxo`(yqC`,lY`(_]y:xYrihklÀXxo J`0wJVYX[Z[Vk]3_rsyCrD#M`(Vo`(yCxzwJ E]3lY`(lbXPrsxolb»`([`(gsX\wJ_>`(yCx 's(:a*o¢
µ¶yCxYVoXJCjEhkrsyJZ¤lowq`hkr²° h(]xorsX[yJlVo`wJgi][hk`(l>]@pJrsZlYxo`(w /<wJVYX[Z\V^]3_@_>`(V lbrsyCxo`(yCxorsX\yxYXwJVoX\Z[Vk]3_ 1zpCn
x¶«ªXblY_]3gsgs`(VqloxY`(wJlF/8r|yCxY`(yCxorsX[y0xoXzlowq`hkr²° h(]xorsX[y]3yq0lowq`hkr²° h(]xorsX[yxoXbwuVoX[Z\V^]_ 1(vk uX[wq`k<jJgsgsnb`]lors`(VWxoX
_,]3yE]Z[`[¢(e!]wJxojJVYrsyJZbxY J`ÀwuVoX[Z\V^]_>_>`VlErsyCxo`y:xYrsX[y0rsyhkX[_@wJgs`(xo`]yE0loX\jJyElowq`hkr²° h(]xorsX[yulPVY`(_]rsyJl
]»r7h¨jJgsx xk]3lY© ¢mµ¶y¯xo u`pE`(lYx½h]3lo`\vW_>`(xY JXJCX[gsX[Z\rs`(l ]Vo`>julo`2xYX`(yC<X\V^hk`@VorsZ[X\VoX\jJlC`(\`(gsX[wJ_@`(yCx
pE]lo`X[ylowq`hkr²° h(]xorsX[yJlº3rsy0xo J`ª«ÀX\VolYxPh(]lo`[v3«! u`(xo J`VPlYwE`hkr²° h(]3xYrsX[yJl]3VY`ÀwuVoXJCjEhk`X\VGyJX\xPC`(wq`(yE»l
`(yCxYr|VY`(gsn>X\yxY J`Z\X:XJ«!r|gsgqX3wJVYX[Z[Vk]3_@_>`(VYl¢
zl]Vo`lojJgsxvqwJVYX[Z\V^]3_ ]yE]3gsnClorsl0h(]3yJyuX[x0Vo`(gsn,X[y¤xo J`][]3rsgi]3pJrsgsrsx¶nX&8>< !lYwE`hkr²° h(]3xYrsX[yJl¢
·`([`(VYxo J`g|`lolvqxY J`(Vo`0]3VY` ]3gs«!]nClPlYX[_@`b]3lowq`hkxYl!X3P]0lYnCloxo`_«! JrihY >h(]3y@pE`z`]3lYr|gsnlowq`hkr²°E`O¢C£! :julv
`k´Jwq`hkxYr|yuZ >&8><lowq`hkr²° h(]xorsX[yJlrslVY`]3lYX[yE]pJgs`]yE2_]npq`>pq`(yJ`¨° hkri]3g¶¢ "uX[V`k´E]_>wJgs`[vG]l¶³
lY`(VoxYr|X\yJlbwq]3VoxYri]3gsgsnlowq`hkr²<nCrsyJZxo J`pE`( q]:rsX\VÀX)]wuVoX[Z\V^]_ J`(gsw,Vo`»jEhk`jJlo`(V lb_>`Cri]3xorsX\y>CjJVorsyJZ
]g|Z\X[VYr|xY J_>rih!C`pJjJZ[Z\rsyJZ '\*¢
@!ª
UWVYX[Z\V^]3_ lowq`hkr²° h]3xorsX\yJlvqwJVYX[Z[Vk]3_ loX\jJV^hk`hkXJC`(lvM]3yE@wJVYX[Z[Vk]3_ `k´J`hkjJxYrsX[yJlh(]yJyJX[x!pq`lYxoV^]rsZ[ Cx¶³
<X\Vo«!]3VkCgsn julo`]3l]3yq]3gsnClorslPJ]x^]u¢(£! J`+- &8>JxoVk]3yJl¬<X[VY_>lmxo J`(_ rsy:xYX!X[p[}k`hkxÀJ]x^]J¢
£! J`VoX[gs`0X3xY J`0X[p[}k`h¨xblonCyCx^] ´rsl!pqX[xo ¤xoX_]©[`!lYjJVo`xo E]x!xo J`Vo`«!rsgsgMpE`yJX>hkX[y»<jJlorsX\y>pq`(x¶«À``(y
xY J`!X[p[}k`hkxwJVYX[Z[Vk]3_ /<xo u`!wJVoX\Z[V^]_pq`(rsyJZ]3yE]gsn:¥`1]yExY J`!_>`x^]!wuVoX[Z\V^]_ /<xY J`b]3yq]3gsnC¥(`(V1v[]3yq
xYXVo`(xk]3rsy,r|y»<X[VY_]3xYrsX[y«! Jriho ,_,]npq`0wE`(VYxorsyJ`(yCxzxoXxo u`jJlo`V/<`\¢Zq¢C[]3VYr¹]pJgs`bwJVYrsy:xªyE]_>`(l1(¢
£! u`>xoVk]3yJl¬<X[VY_]xorsX[y2X3bwJVYX[Z\V^]3_®lYX[jJVkhk`(l]yE2lowq`hkr²° h]3xorsX\yJlrsy:xYXX[p[}¨`hkx>J]x^]]Vo`>lYrs_>wJgs`
lYn:yCxk][hkxYr¹hªxYV^]yJl¶<X\Vo_,]3xorsX\yJl¢µ¶yC<X[VY_]xorsX[y0]3pqX[jJxWwJVYX[Z[Vk]3_`k´J`h¨jJxorsX[yulrslPyuX[x]3lWloxYV^]r|Z\ Cx¶<X\Vo«!]3V^»g|n
][]r|gi]pJgs`[¢[UWVYX[Z[Vk]3_`¨´»`hkjJxorsX\yJl ]Vo`0_>XJC`(gsgs`pCnlo`xolbXP`(\`(yCxolvJjJlYjE]3gsgsn½h]3gsgs` -(v\X[V(9
$?¨¢uµ¶yJloxYVojJ_@`(yCx^]xorsX[y»`(wE`yECrsyJZ,X[yxY J`hY JX\lo`(y¯`k´J`h¨jJxorsX[y2_>XJC`gMr|l0VY`t\jJrsVo`¤xoX@`k´JxoV^]\hkx
xY J`(lo`xoVk][hk`l¢
µ¶y xo J`2Vo`(_,]3rsyEC`VX3xY J`lY`hkxYr|X\yT«ª`pJVYrs`%EnTC`l^hkVYr|pq`¯`]\ho X3xY J`(lo`¯_@`hY E]3yur|lY_>l¢W£! J`(n
]Vo`pE]lorih@_>`hY E]yJrslo_@l0<X[VZ\`(yJ`(Vk]3gzlox^]xorih,]3yE±CnCyE]_>rih]3yq]3gsnClorslvW`(lYlo`(yCxYr¹]g0xoX¯wJVYX[Z[Vk]3_@_>r¡yuZ
`(yCCrsVoX\yJ_>`(yCxYl¢
+&I16+/1
£! J`,pE]lorih@VoX\g|`,X xo u`xYV^]yJl¶<X\Vo_,]3xorsX\y¯r|yCxYXX\p[}k`hkx>J]x^]2rslxoX¼][X\ri¯]3yCn¼hkX[y»<jJlorsX\y¼pq`(x¶«À``(y
xY J`X[p[}¨`hkx¶³¶gs`([`gG]3yE@xo u` _@`(x^] ³¸gs`(\`(g¶¢[µ¶xªrsl!`(lolY`(yCxori]3gsgsn>]yE]3_@r|yuZwJVoX\pJgs`(_v«À`(gsgM©CyJX3«!y@r|y,lYx^]3xYrih
]yE]3gsnClorslb]3yqMvC_>X\Vo`bZ\`(yJ`(Vk]3gsgsn:v\rsy,_>`(xk]³¶wJVoX\Z[V^]_>_r²yJZ'|a3CvEuvMaJ3vm\*¬¢
ÆWÄq3Æ Ç¯Çq3Æ Ç¯3ÂW3ÂJ(ÂmJiÆP
£! J`,_,](}kX[V0rslolYjJ`>rslxo J`,VY`(wJVo`lo`(yCx^]xorsX[y±XbX[p[}k`h¨x¶³¶g|`[`(g![]Vori]3pJgs`(l¢G£! u`>Z[`yJ`(V^]gb]3gsxo`VoyE]xors[`@r|l
pq`(x¶«ª`(`(y¼]@yJX[y»³¸Z\VoX[juyE]3yq]Z[VoX\jJyE¤Vo`(wuVo`(lY`(yCx^]3xYrsX[yG¢,zp[}k`hkx¶³¶gs`([`(gª[]3VYri]3pJgs`(l0]3Vo`Vo`wJVo`(lY`(yCxo`
pCn_>`(xk]³¶g|`[`(gJ[]Vori]3pug|`lPrsyyJX[y»³¸Z\VoX[juyEVo`(wuVo`(lY`(yCx^]3xYrsX[yJlb]yEpCnZ\VoX[juyExY`(Vo_@lrsyZ[VYX[jJyEVY`(wJVY`k³
lY`(yCx^]3xYrsX[yJl¢
µo»`]3gsgsn:v]0yJX\yC³¸Z\VoX\jJyEVo`(wJVY`(lo`y:xk]3xYr|X\y>lY JX[jJgipE`!x¶nCwq`]3lª][C\X»h]3xo`pCn ·r|gsgE]yE~MgsX3nJ'J *
rsy,X[VkC`(V!xoXwuVo`(\`(yCx!jJyJr²<nCrsyJZVY`]3gM_@`(x^] ³¸gs`(\`(gM[]3VYri]3pJgs`(lª«!rsxo >_@`(x^] ³¸gs`(\`(gq[]3Vori]pJgs`(lÀVY`(wJVY`(lo`(yCxYr|yuZ
X\p[}k`hkx¬³¸gs`(\`(gW[]3Vori]pJgs`(l¢
·lorsyJZx¶nCwE`(gs`(lYl UWVYX[gsX[Zqv:]lYxoVk]3rsZ[ Cx¶8X[Vo«!]3Vk>hY JX\r¹h¨` rslªxoXjJlY`]Z[VoX\jJyEVo`(wJVY`(lo`y:xk]3xYr|X\yGvq«! JrihY
E]lbxY J`][C[]y:xk]3Z\`bxo q]3x!xo u`_>`(xk]³¶gs`([`(gq[`VolorsX\yXxo J`0_>`x^]³¶gsX[Z\r¹h]3gJwJVY`Crih(]xo`(lh(]ypq`Z\r|\`(y]
C`hkgi]3V^]xors[`0lY`(_]y:xYrihkl'J *o¢
pq]3lorihzZ[VYX[jJyqVo`wJVo`(lY`(yCx^]xorsX[y2X3Wxo`(VY_>l!rslbC`(lkhkVorspq`,pCn¦ª]3VY©:gsjJyq>rsy '*]3lª<X\gsg|X3«!l
£! J`0yE]3_@`bX]hkX\yJloxk]3yCx>rsl!xo u`dh¨X[_>wqX[juyExY`(Vo_ C¢
£! J`yE]_>`0X3À]@hkX[_@wEX\jJyE@xo`(VY_*«! JX[lY`0<jJyqhkxoX\Vbrsl ]yE,«! JX\lo`]VoZ[ju_>`(yCxolb]Vo`xoX
rsl !#"%$'&")((*("+&,-Cv3«! u`(Vo`.&xoX/& ]Vo`yE]_>`(lªX3xY J`]3VYZ[jJ_@`(yCxol0xoX
OvCVY`(lowq`hkxYrs[`(gsnC¢
Tyq]3_>`!XP][]Vori]3pug|`0rsl§]dxo`(VY_21354b«! u`(Vo`40r|l!]3yCnwEX\lorsxors\`brsyCxo`(Z\`(VvClYjEhY >xo q]3xªxo J`
l^]_>`brsyCxo`Z[`(V64r|l!julo`@8X[V!`(\`(Von,XJh(hkjJVYVo`(yqhk`X#r|y]g|gMxY`(Vo_@l!jJyEC`VbhkX[yJlYriC`(V^]xorsX[ymvE]3yq
xo E]xb]3gsgGCrsloxYrsyEhkx![]3VYri]3pJgs`(lªrsy>xo u`(lo`xo`(VY_>l!]3VY`]3lYlorsZ[yJ`»r#M`(VY`(yCxbyE]_>`(l¢
7¤]3yCn,[]3Vori]y:xYl ]Vo`wqX[lolYrspJgs`[¢M h¨xojE]g|gsnCvJ[]y z]3Vo_@`(gs`(y]\C[XJh(]xo`(l0jJlY`(VC`k°qyE]3pJgs`VY`(wJVo`lo`(yC³
xk]3xorsX\yJl 's =*o¢"uX[V0X[juVwJjJVYwEX\lo`[vmxo J`yq]3_>`X3bhkX[yJlYx^]y:xYlh(]y¯pE`xY J`>hkX[yulox^]yCxolxo J`(_@lo`(gs\`(l¢Mµ¶x
rsl]3gsloX@wEX\lolYr|pug|`xoX,Vo`(wuVo`(lY`(yCxhkX[_@wEX\jJyE,xY`(Vo_@lbpCnhkX[_@wEX\jJyE,xY`(Vo_@lb«!rsxo ¤xo J`l^]_>`wJVYrsyEhkrswE]3g
<juyEhkxoX\V¢qµ¶x!rsl!xo J`yyJ`hk`lol^]VonxYX>pq`h(]Vo`k<jugGyJX\x!xoX>hkX\yC<jJlY`xo J`Vo`(wJVY`(lo`y:xk]3xYr|X\yXÀ]hkX[_@wEX\jJyE
xY`(Vo_813:9<;3=b]3yE@xY J`0Vo`(wJVY`(lo`y:xk]3xYr|X\yX][]3VYr¹]pJgs`[¢\loX[gsjJxYrsX[yh¨X[yJlYr|lYxolzX3]wJwJgsnCrsyJZ½]_>`¨³
hY E]yJrslo_ VY`(_>rsyJrsl^h¨`(yCxX3bxY J`CX[jJpug|`,t\jJX[xY`>_>`ho q]3yJrslo_$jJlo`¼xYXrsyJlo`Vox>t\jJX[xY`(lr|y loxYVorsyJZ[l]3yq
VY`(wJVo`lo`(yCxxo u`>hkX[_@wEX\jJyE,xY`(Vo_ ]3l13:139;3=:¢"mrsyE]g|gsnCvCxo J`VY`(wJVY`(lo`(yCxk]3xorsX\y h(]y¼]3gsloX@pE`
lYjJwJwqX[VoxY`]x!xo J`0rs_>wJgs`(_@`(yCx^]xorsX[ygs`(\`(g¶vC`[¢ZE¢CpCnVo`wJgi][hkrsyJZ«!Vk]3wJwq`(VolzlojEhY ]3l13<bpCn>lYwE`hkri]3g
xk]3Z[l'9*¢
£! u`jJlY`>XÀlojEhY ±]>VY`(wJVY`(lo`(yCxk]3xorsX\y¼rslhkgi]3lolYrih(]3grsy2loxk]3xorih]3yE]gsn:lYrsld]yE¤_>`(xk]³¶wJVoX\Z[V^]_>_rsyJZJ¢
·X3«À`(\`(VvOxoX>X\jJV0©CyJX3«!gs`CZ[`X[yJgsn,rsy:xY`(VowuVo`(xY`(V¶³¶pE]3lY`¯xYV^]\hk`(VolvGlYjEhY ]l.7]3`u]!l('sa =*ovJ E]\``k´C³
xY`(yEC` r|xYl!jJlo`xoXxo u` VY`(wJVY`(lo`(yCxk]3xorsX\yXP`(\`(yCxol¢
?> @
BA WÂDC $8ÆEW!$+E ¸ÇmÂGGFPÂC[
£WVk][hk`¾`([`y:xYlrsyEhkgsjECrsyJZ[]Vori]3pug|`llY JX[jJgi2yJX\xgsX\lo`>[]Vori]3pug|`lY E]3VYrsyJZrsyC8X[Vo_,]3xYr|X\yG¢qµ8bx¶«ÀX
`(\`(yCxolrsyC[X\gs[`,xo J`¯lk]3_@`[]Vori]3pug|`\vrsx,r|l@yJ`hk`lol^]Von6<X\VJ]x^]9%EX3« ]3yE]gsn:lYrsl>xo q]3x>xY J`¼]3yq]3gsnClorsl
hkX\_>wqX[yJ`y:xh(]3y¯VY`hkX[Z\yJrs¥(`>rsx¢"JX\V0r|yulox^]yEhk`[vmrsy "mr|Z\jJVo`>auvMX[yu``k´JwE`h¨xolxoX,lY`(`,xo J`lk]3_>`yE]_>`
<X\V0xo J`°EVYlox]3VYZ[jJ_@`(yCxbX#CvqgsrsyJ`\vM]3yE¤xo J`]3VYZ[jJ_@`(yCxbXIHCvqgsrsyJ`q¢M¦À]lorih(]3gsgsnCvJ`]\ho 2yJ`(«
[]Vori]3pJgs`hkVY`]3xY`¯CjJVYr|yuZ]3y¤`k´J`hkjJxYr|X\ylY JX[jug¹ pE`]lolYX»h¨r¹]xo`¤«!rsxo ]yriC`(yCxor²°E`VbjJyJrit\jJ`«!rsxo Jrsy
xY J`>lkhkX[wq`,X3!xo J`@`k´J`hkjJxYr|X\y¼lYjJp[}k`hkxxYX]3yq]3gsnClorsl¢Mµ¶y¯xY J`>xY`(Vo_@lX3!xo u`>Z[VYX[jJyq2Vo`(wJVY`(lo`y:xk]3xYr|X\y
C`¨°EyJ`@]3pqX3[`[vC]3gsgCxo`(VY_>ljuyEC`(V!hkX[yuloriC`(Vk]3xorsX\y<X[VxY J`bC`k°qyJrsxorsX[yXJ4]3VY`b]3gsgJxo u`!xo`(VY_>lrsyC[X\g|\`
rsyxY J`!`([`y:xYlWlojJlkhk`(wJxYr|pug|`!xYX ]yE]3gsnClorsl¢ ·X3«À`(\`(VvlYr|yqhk`§u]3x^]9%EX3«¼]3yq]3gsnClorslGX\yJgsn _,]3©\`(lMlo`(yulo`b]3gsX\yJZ
]zZ[rs\`(y½»`(Vors[]3xYrsX[yGv3CrsloxYrsyEhkx[]Vori]3pJgs`(lm«! JrihY >]3Vo`ªyJX\xlo E]Vo`pq`(x¶«ª`(`(y,CrD# `(VY`(yCxÀC`(VYrs[]3xorsX\ywE]xo Jl
_,]n>pq`½]lolorsZ\yJ`,xY J`lk]3_@` yq]3_>`\¢E~M`x julbgsXCX[©]3ZC]3rsy]3x "mrsZ[juVo`au¢Eµ¶x0CXC`(l0yJX[xz_]©[`0lo`(yulo`xoX
gsXCX[©]x0g|rsyJ`lda,]yEuvq«! J`(Vo` KML%]3yE K%LONGvMVY`(lowq`hkxYr|\`(gsn:vO«!r|xY JX[jux juyEC`(VYlox^]yECrsyJZxY E]3x
xY J`(n2pE`(gsX\yJZ>xYXx¶«ªX»r#M`(VY`(yCxC`(VYr|[]xorsX[yul/<X\yJ`<VYX[_*gsrsyJ`a@xoX.=JvM]3yE¤X[yu`<VYX[_*gsrsyJ`xoX¯a-1(¢
£! J`Vo`k<X\Vo`[vªxY J`,x¶«ÀX¯CrD# `Vo`(yCxrsyJloxk]3yEh¨`(l>XPMvWgsr|yu`(l½¯]yE¿aJvh(]y¼lY E]3VY`xo J`,lk]3_>`@riC`(yCxor²°E`(V
«!rsxo uX[jJxbhkVY`]3xYrsyJZ>]3yCn]_pJrsZ[jJrsx¶n[¢
£! u`lYx^]3yqJ]3Vk2wJV^]\hkxorihk`rsl0xoX@jJlo`xY J`wJ CnClorih(]3g]\JCVo`lolX3§]@[]3VYri]3pJgs`]l rsxYl riC`y:xYr²°E`(V¢ !yC³
<X\VoxYjJyE]3xY`(gsn:vCxY J`jJyur¹t\jJ`yJ`(lol0XlYjEhY riC`(yCxor²°E`Vol h]3yJyJX\x!pE`Z[jE]V^]3yCxY`(`MºM][uCVo`(lYlo`(l0_,]n>ho q]3yJZ\`
CjuVorsyJZ¯xo u``k´J`hkjJxYrsX[y /8`[¢ZE¢CjJ`¤xoX¼]¤Z[gsX[pE]gsr|lk]3xYr|X\y¯rsy ] 67@³¸pq]3lo`±rs_>wJgs`(_@`(yCx^]3xYrsX[yGvqX[V>]
_@`(_>X\VonhkX[wCnCrsyJZX\VbhkX[_@wE][h¨xorsX[y>Cju`xoXZ:]VopE]Z[`hkX[gsgs`hkxYrsX[y>1¢
##"< L "DH -" ( H =(
##"< L N "DH =(
##" (
#<"K<
K K L
L
H <
H
&<;
#<"K<
K L N
"!
N L N
H <
K
H
#
-" N
"mrsZ[jJVY`a!Clors_@wJgs`bUWVoX\g|X\ZxYV^]\hk`«!rsxo ,[]3VYri]3pJgs`briC`y:xYr²°E`(Vol
$# % u <J $8 W G W!¯ÂJ
·lojE]g|gsnCvJwJVYX[Z\V^]3_@_>`(VYlbh(]3VY`k<jJgsgsnhY JXCX[lo`xo u`8>?@PyE]_>`(l!XÀwJVYX[Z[Vk]3_*[]Vori]3pJgs`(l /<r¶¢`[¢qxo J`r|V0`k´C³
xY`(VoyE]g¶vCloX[juV^hk`k³¶gs`([`g¸vCVY`(wJVY`(lo`(yCxk]3xorsX\y>1(vuloXxo E]xxo J`n>h(]3VYVon>lYX[_@`!_>`]yJrsyJZ ]pEX\jJxÀxY J` ]wJwJgsrih(]3xYrsX[y
CX\_]r|ym¢CblbxY J`Vo`(lYjJgsxbX3!]3y]3yE]gsn:lYrsl!r|lzxoX@pE`wJVo`lo`(yCxo`2xoXjJlY`(VolvMrsxbrslb`(lYlo`(yCxYr¹]gWxo E]xbxo u`[] ³
VYr¹]pJgs`0wJVorsyCxbyE]_>`(lb]Vo`©\`(wJx!rsyxY J`Vo`wJVo`(lY`(yCx^]xorsX[y2X3X[p[}¨`hkxb[]Vori]3pug|`l¢C£! J`VY`(wJVY`(lo`(yCxk]3xorsX\yX
][]3VYr¹]pJgs`ÀlY JX[jug¹xo J`Vo`k<X\Vo`0pq` hkX\_>wqX[lo`X3GpqX[xo @rsxolªwJVorsyCxyE]_>`b]3yqr|xYlÀjuyJrit[ju`!Z[gsX[pE]gJriC`(yCxor²³
°E`V¢CUWVoX\g|X\Z&(' 's(\+*ov)'ze7 's(:*ov[]yE 9JUWµ¶ 'sJ *M E][`ªrs_>wJgs`(_@`(yCxo`zlojqho ,]zVo`(wJVY`(lo`y:xk]3xYr|X\y
/8_>XJCjJgsXxY J`wJVYX[pJgs`(__@`(yCxorsX[yu`>]pEX3\`1(¢
C * 1!E +/!"')*32 ' IJ
µ¶yC8X[Vo_,]3xYr|X\y½]pEX\jJx!`k´J`hkjuxorsX[yJl!rslªyJX[x!lYxoVk]3rsZ[ Cx¶8X[Vo«!]3VkCgsn½][]rsg¹]pJgs`[¢[¦ª]3lYr¹hz_@X»»`(gslX3W`k´J`hkjJxYr|X\yJl
E]\`bxYXpq`C`(lorsZ\yJ`@loXxo E]xÀ`¨´»xYV^]\hkxorsX[y@_>`hY E]yJrslo_@lh]3y,`k´JxoVk][hkx!rsyC<X\Vo_,]3xorsX\yVo`(gi]xo`@xoXxo J`(lY`
_@X»»`(gsl¢\µ¶xÀlY JX[jJgipE`z`(_>wJ q]3lors¥(`>]3ZC]3rsyxo q]3xªxo J`0pE]lorih!_@X»»`(gslÀ]3VY`byJX\x§]r|_@`]3xªjJlY`(VolvJpJjJx!]3x
xY J`]3juxoX[_,]3xY`]3yE]gsn:lYrsl!_>XJCjJgs`[¢
zy¼`k´J`h¨jJxorsX[y±rsl_>XJC`g|gs`2pCn¼]¤lo`(x@X3 ]xoX[_@rih][hkxYr|X\yJlvWX\V ? (vX\VoZ:]yJrs¥(` ]3l>] -(v
X\V ? $?C3¢qlY`t\jJ`(yCxori]3g)`k´J`hkjJxYr|X\ygs`]\ClbxY J`(y2xoX,]lorsyJZ\gs`lo`t\jJ`yEhk`>XÀ`(\`(yCxolvO«! J`(Vo`]3l
]@wE]V^]3gsgs`(gW`k´J`hkjuxorsX[y2gs`][ClxoX]@lY`(xX3&/<gsXJh(]3g1zlo`t\jJ`yEhk`(lX3À`[`(yCxolhkX[yJyu`hkxo`¯pCnC`(wq`(yE»`(yEhkn
gsrsyJ©Cl¢
[`(yCxolh(]ywqX[xY`(yCxori]3gsgsn>pq`[`(VYngsX3«Tgs`(\`(g¶vE`\¢Zq¢JxY J``k´J`hkjJxYrsX[y2X3§]_][hY JrsyJ`0rsyJlYxoVojqhkxorsX[ymv ]
lYxoX[VY`][hhk`(lolvqX[V!xo u``k´J`hkjJxYrsX[yX]hkX[_@_jJyJrih(]3xYrsX[ywJVors_>rsxYr|\`[¢3£! J`0rslolYjJ`rsl!xoX>»`(lorsZ[y]_>XJC`(g
«! JrihY >rslªloj7h¨r|`y:xYgsnC`(xk]3rsgs`lYXxY E]3xªxo u`d]yE]3gsnClorslÀ»X:`l!yJX[xª_>rslolª]3yCnrsyC<X[VY_]xorsX[yGvlYj7hkrs`(yCxogsn
JrsZ\ C³¸gs`(\`(gGlYXxo E]xbxY J`]3yq]3gsnClorslbCXC`(lbyuX[x!lowq`(yE¤xoXCX_jEhY @xors_>`zVo`(lYxoVojqhkxojJVYrsyJZ,X[VbVY`hkX\_>wJjJxYrsyJZ
rsyC<X\Vo_,]3xorsX\yGv]yEloj7h¨r|`y:xYgsn`]lonxYX`k´JxoVk][hkx!lYXxo E]xxo u`bVo`lojJgsxorsyJZVo`(lYwEX\yJlo`0xors_@`(lX3Mxo u`bxoXCX\g|l
]Vo`VY`]3lYX[yE]pJgs`[¢
"uX[VªUWVoX\g|X\ZEvC]yCjJ_pq`(VXPpE]lorih!_@XJC`(gsl`k´Jrslox¢CTwqX[wJjug¹]VÀX\yJ`brslªxo J` YpEX´_>XJC`(gqv[C`(lYr|Z\yJ`
pCn¦)nCV^ 'a\*]3yq»`(l^hkVYrspE` <X\Vo_]gsg|np:n@£WX[pq`(Vo_,]3yJy,]3yE,¦)`hY©:lYxo`(rsy 's[a*o¢C£! Jrsl!_@X»»`(gMlo JX3«!l
]@wJVYX»h¨`CjJVY``¨´»`hkjJxorsX\y¼]3l]@pJgi][hY©pqX´ /< J`yEhk`>rsxYlyE]3_@`1(¢qW[`y:xYl½]Vo`Vo`(gi]xo`2xYXZ[XC]3gslºqxo u`(Vo`
]Vo`!8X[jJVx¶nCwq`(lªX3M`([`(yCxYl0/8xoV^]\CrsxorsX[yq]3gsgsndh]3gsgs` owqX[VYxol 1(¢"JX\VÀ]0Z\r|\`(yZ[X:]gEv\xo u`b_>`]3yJrsyJZzX3Mxo J`
`(\`(yCxolzr|lb]lª<X[gsgsX3«!l
qrsl!pq`(rsyJZrsy:\X[©\`Mº
q E]lG}kjJlYx!pE`(`ywJVoX3\`Mº
;!q xY J``k´J`hkjuxorsX[y,pE]\ho©CxYV^][hY©ClbxYX ?IH$+< Eº
q>hkX\jJgi@yJX[x!pq`0wJVoX3\`M¢
zyJX[xY J`(V_@XJC`(gWrslhkgsX[lY`(VxoX¤xo J`X\wE`(Vk]3xYr|X\yE]3g)lo`(_,]3yCxorihkl0X3bUWVYX[gsX[Zq¢Eµ¶xlo JX3«!lpq][hY©CxoV^]\hY©:rsyJZ
rsy>xY J`X\V^C`(V!rsy@«! Jriho @rsx§]\hkxojE]gsg|n>]wJwq`]3VYl!r|y@xo J`0`k´J`h¨jJxorsX[ym¢J£! J`0X[yug|n>»r#M`(VY`(yEhk`«!rsxY >xo u` pqX´
_@X»»`(gMrsl!xo J`0pE]\ho©CxYV^][hY©CrsyJZwqX[Vox&<;
Mv[«! JrihY , E]3lb]lYgsr|Z\ Cxogsn½»r#M`(VY`(yCxblo`_]3yCxYr¹h¨lÀxY E]3y
;!
&<;
q xY J``k´J`hkjuxorsX[y,pE]\ho©CxYV^][hY©ClbxYXE¢
£! u`bCrD# `(VY`(yEhk`0pq`(x¶«ª`(`(y,xo J`zx¶«ÀX_>XJC`(gslWrsllojJpuxogs`!pJjJxªlorsZ[yur¡°Mh(]3yCx¢\~M`(xªjJlrsgsgsjJloxYV^]3xY`!rsxX[y>]y
`k´E]_>wJgs`[¢"mr|Z\jJVo`lY JX3«!lb]wJVoX\Z[Vk]3_xYV^][h¨`,jJlYr|yuZxo J`z°E\` wqX[VYxolzwJVo`(CrsX[julogsnC`¨°EyJ`M¢7,zyJ`h(]y
lY`(`0xo E]xW<X[VWxY J`!¸]\hkxol&/<`\¢Zq¢ -1Wxo u`
;!]3yE&<;
`([`y:xYl§]Vo`bhkX\yJlo`hkjJxors\`d]yElo``(_Vo`CjJyEJ]yCx¢
¦)jJxªr|ygi]3VYZ[`ª`k´J`hkjJxYr|X\yJlv\Z[XC]3gslW«!rsxo ]byuX[y`(_@wJx¶n0pEXJCn]3VY`!jJlojE]gsg|n_>X[VY`yCjJ_>`VoX[julPxY E]3y¶][hkxYl¢
µ8lojqho 2Z[XC]3gslª E][`hY JX\rihk`wqX[rsyCxol /<`\¢Zq¢H1(vuxo J`x¶«ÀXpE]\hY©:xYV^]\ho©CrsyJZ`(\`(yCxolzVo`(gi]3xY`¤xoXxo u`(lo`Z[XC]3gsl
XJh(hkjuVd]xb\`(Von»r#M`(VY`(yCx wug¹]\hk`(l¢ ·`(Vo`\vMVo`k³¶`(yCxo`VorsyJZ,xo J`pEX´X3 H@rslblY JX3«!y]3xzgsr|yu` = /<pq`k<X\Vo`xo J`
\`(Von¤°EVolYxpq][hY©CxoV^]\hY©:rsyJZ,xYX],lojupJZ[XC]3gX H1(vO«! Jrsg|`xo u`][h¨xojE]gpE][hY©CxoVk][hY©CrsyJZ,xoXDH¤rsl lY JX3«!y¼]3x
gsrsyJ`[\¢C£! J`C`(`wE`(V0xY J`0lojJpJxYVo`(`xoXwuVoX3[`Z[X:]gslÀlYjEhY ]3lHqvCxo u`gi]3VoZ\`(V!xo u`Crsloxk]3yEhk`\¢E!X\xo`xY E]3x
r²!xo J`gsrsyJ`,[rsl _@rslolorsyJZ<VoX\_ xY J`xoVk][hk`3/&;
MH1(vO«! Jriho ¯rsl0xo u`>h(]3lY`>rsyxY J`pqX´_>XJC`(g¶vuxo J`
rsyC[XJh(]xorsX[y@X3J@X[y,gsrsyJ`alY`(`(_>l!xYX>]3VYVors[`0pCn>_,]3Z[rih3¢
£! u`x¶«ÀX,wqX[VoxYl]3VY`jJlo`¨<jJg¶¢M£! J`/&<;
wEX\Vox0rsl_>X\Vo`0¶]3rsxo C8jJgWxoXxY J`X[wq`(V^]xorsX[yq]3gWlo`(_,]3yCxorihkl
X)UVoX[gsX\ZEv\r|x!xY`(gsgsl!«! J`(Vo`pE][hY©CxoVk][hY©Cr|yuZ>][hkxYjE]3gsgsnXJh(hkjJVYl¢J£! u`
; !wqX[VYx!r|l!\`(Von@jJlo`¨<jJgGxYXxoVk][hk`
YpJVo`]\Cxo »³<°EVYlox E¢Mµ¶ywq]3VoxYrihkjJgi]3VvJr²xo J`»`(x^]r|gslzX3xo J``k´J`hkjJxYr|X\yXÀ]Z[XC]3gG]Vo` JriJC`(yGvuxo J`
;!
wqX[VYxh(]wJxojJVY`(l,pE][hY©CxoVk][hY©CrsyJZrsyC8X[Vo_,]3xYr|X\y¯«! JrihY X\xo J`Vo«!rslo`«ªX[jug¹¾ E][`,pq`(`(y¿gsX\lox.'s\*¬¢ "uX[V
]jJxoX\_]3xY`]3yE]g|nClYr|l)pEX\xo >wqX[VYxolªlo JX\jJgipE`z`k´JxoVk][hkxY`,]3yEhkgs`]Vogsnlo`wE]3Vk]3xo`>]3lªrsyxo J`z`k´E]3_@wJgs`[¢
7¤]3yCn¯Vo`k°qyJ`(_>`y:xYlxoX2xo J`,wJVY`(CrsX[jJl_@X»»`(gslh(]3y±pq`,_][»`[¢ "uX[V`k´E]3_@wJgs`[vWWrslo`(yJlYx^]\Cx.'[*
C`¨°EyJ`(llYr²´ x¶nCwq`(l0X3¶]3rsgsjJVo`olYjJpJZ[XC]3gsl!X3 q][`0¸]rsg|`MºClonCloxY`(_ wuVors_>rsxors\`b E]lb¶]3rsgs`MºJlYjJpJZ\X:]3g
ê&8ý[Õ& [ý Eêmö:ê¨Ö8ÚCÕkÖ¸ýqê<ý¬Ù kü¡é(ý¬Ù[ýqÚ<ÕbýuÙ[ÕbýCüÙ!Øü:ý¬Ö¸ý¬Ù bêØ3ý¶ë¡ÚYè3üü¡ÚJÕWÚ8êk×3ÖYýJêYêkÙ#¡×[Úçü¡êkÙJì
H ( H O0( J(
%HJ" 30(
H
K
H
3
3
;! H O3<;);5<;3 5 -; N)
(MH
; ! 3;);5;3 5 ; N
&<;
ON3 5
"!
&<;
H N))3) 5 O H
K
H
"GrsZ\jJVo`!Czy,X[wq`(V^]xorsX[yE]gM_>XJC`(gq«!rsxo ,x¶«ªXx¶nCwq`(lbXPpE]\ho©CxYV^][hY©CrsyJZ`(\`(yCxol
E]lGpE]\hY©:xYV^]\ho©\`xoX h¨jJxv¸]r|gsrsyJZwq]3Vo`y:xºyJX C`¨°EyJrsxorsX[yr|yJ]x^]pE]3lY`[º3C`k°EyJrsxYr|X\y0`k´Jr|lYxolWpJjJxWCrD# `Vo`(yCx
]Vorsx¶nMº[]3VYr|x¶n, ' pJjJxyJX0VY`(loX\g|\`(yCxolW8X[jJyEOº[]3yEhkgi]3julo`!«ªX[jJgi0 E]\`Àpq`(`(y,hkX[yuloriC`(VY`pJjJxÀ»X:`lyJX[x
jJyur¡8n&q¢7,X\Vorslo ur|xk]]3yE¤!jJ_,]3X3'|[*ovJ]3lz«À`g|g]l 9JhY Jgs`(rs`(VY_][hY J`V!`(x]3g¶¢ 's3+*ovq][J,rsyC8X[Vo_,]3xYr|X\y
]xxo J`h¨g¹]jJlo`,gs`(\`(g¶vWr|y±wE]VoxYr¹h¨jJgi]3V>]3pqX[juxjJyur¡°Mh(]3xYr|X\yG¢W£! J`pqX´¼_>XJC`g! E]3lpq`(`(yT]\J]3wuxo` xoX
<juyEhkxorsX\yE]3gMgsX[Z\rih!wJVYX[Z[Vk]3_@_>rsyJZbpCn b]3yCjJlb]yE@[X\lo`(wJ ul('[*o¢
"uX[V0lYX[_>`]3yq]3gsnClo`(lvG`[¢Zq¢G]3gsZ[X\Vorsxo u_>rih0C`(pJjJZ\Z[rsyJZqvMxo J`>h¨X[yCxoVYX[g %EX3« r|y»<X[VY_]3xYrsX[y,rsl Xbgsr|xYxogs`
rsyCxo`(VY`(lox!]3yq]0C`h¨g¹]V^]xors[`ª_>XJC`(gCrslW_>X\Vo`À]wJwJVoX\wJVori]xo`!xo q]3y]3yX[wq`(V^]xorsX[yE]gCX[yJ`[¢µ¶ylYjEhY >] h]3lo`\v
xY J`!Vo`(lYjJgsxorsyJZ0wJVYX:X xYVo`(`bh]3ypq`!loj7hkrs`(yCx¢ 9CX[_@`(xors_@`(lvkrsxWrsl]gsloXbrs_@wEX\Vox^]yCxGxoX0 E]\`ÀrsyC8X[Vo_,]3xYr|X\y
]pEX\jJxrsyCxo`(VY_>`Cri]xo`ªwJVoXCX3MxoVY`(`(l /8r¸¢`[¢pE`k8X[Vo`ª¶]3rsgsjJVo`(l1WX[VWxYXlo`(`z JX3«¼xY J`bVY`(lojug|xYrsyJZ0wJVoXCX3GxYVo`(`z E]3l
pq`(`(yhkX\yJloxYVojEhkxY`M¢Cµ¶ylYjEhY h(]lo`(l!X\yJ`bh(]3yjulo` ]C`(Z[`yJ`(V^]xo`0[`VolorsX\yX3Gxo u`!wJVo`(CrsX[julÀX\wE`(Vk]3xYr|X\yE]3g
_@X»»`(gsl§]yE@©[`(`(w,X\yJgsn>xo u`
wEX\VoxYl¢
£! ur|lMgsrsloxMrslGhk`Vox^]rsyJgsn yuX[xM`k´J E]jJloxYr|\`À]3yqb`][hY UWVYX[gsX[Z!xYV^][h¨`(VP]\hkxojE]gsg|nzjJlo`lP]b»r#M`(VY`(yCxG[]3VYri]3yCx
XÀxo J`wJVY`(Cr|X\jJl0_>XJC`(gslz«!r|xY _>X\Vo`0X[V0gs`(lYl rsyC8X[Vo_,]3xYr|X\yG¢C][hY 2_>XJC`(gm E]3l0rsxol0][C[]y:xk]3Z\`(lvqpJjJx
yJX\yJ`XÀxo J`_*r|lb]pJloX\gsjJxo`(gsn,pq`(xoxY`(V0xo E]y]3gsgMxo u`X\xo J`(VYl¢q£! J`pq]3lorih0_@XJC`(gGxYXpE`jJlY`C`(wq`(yE»l
X\y_,]3yCnwE]3Vk]3_>`xo`(VYlvJrsy@wE]3VYxorihkjJgi]3V!X\y>xY J`x¶nCwE`0X]3yq]3gsnClorsl!«! JrihY >rsl!xoXpq`0wE`(V¬<X[VY_>`O¢
/1 !"*40 2341*!"23 - ', *,+/!"1J( +/!')*
µ¶y2xo J`<X\g|gsX3«!rsyJZqvC«À`gsr|lYx ]yEpuVors`%EnCrsl^h¨jJlollYX[_@`_>`hY E]yJrslo_@l!xoX>`¨´»xYV^]\hkxxoVk][hk`rsyC8X[Vo_,]3xYr|X\y
<VYX[_ lo`t\jJ`y:xYri]3gM`k´J`hkjuxorsX[yJl¢q_>X[VY`bxY JX[VYX[jJZ\ »r|lkhkjJlYlorsX[yh(]ypq`0<X\jJyEr|y ' =+*o¢
