HAL Id: inria-00073154
https://hal.inria.fr/inria-00073154
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,
Abstract Views of Prolog Executions in Opium
Mireille Ducassé
To cite this version:
Mireille Ducassé. Abstract Views of Prolog Executions in Opium. [Research Report] RR-3531, INRIA.
1998. �inria-00073154�
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
Abstract Views of Prolog Executions in Opium
Mireille Ducass´e, IRISA/INSA
N ˚ 3531
Octobre 1998
TH `EME 2
/10325460378784:9;=<?>A@B@DCAEFG#FHIKJLFM-HION
P$QSRBTVUXWZY\[^]D_a`bUdcfehg6`fi`bUDc
UDjkilmcnioacprqSTXsLehcf`nt?oaU
uwvxemyzUj{|k}~
^lhaLe6vxj$SUvrUBi QSUDvi QSU_6m(Y\ijxe6savxU(Bh6dYWhVlmghUBp
)Dahh
S`noaT`np=lprqSpxjrUBTe6v=lh_lmcfqpx`n_Sg^l6_a(aUDsaoSg6gh`n_Sguwvre6cbe6g^avxehg?vxl6Tp ¡jp=¢mUBvx_SUDcSie6Tavx`nprUBpl6_
U£SUDioajr`fe6_-jxvlhiUDv$lh_Kl¤avre6g6vlhTTV`f_ag(cnlh_Sg?oalmg6U¥$`bjQKl¤prUDjkem=avx`fTV`fjr`f¦hUDp$e6v$jvxl6iUlh_-pxe6ovxiU
l6_almcfqSpr`npD
z_"jQS`fpvrUBe?vrj¤¥&U§pQSe¥¨jxQSU§Le¥&UDvem(S`noaTOe6v#poaaLe6vxjr`n_Sg©l6sapxjxvlhij¦`fU¥kp#ehuªvre6cbe6g
U£SUDioajr`fe6_apD&|^sapxjxvlhij¦?`fU¥kpkgh`f¦hUQS`fg6Q«¬cfU¦hUDcLeh`n_6jpkeh®¦`fU¥lhsLe6oajkU£SUDiDoSjr`fe6_pP$QSUq¯°²±¬³´Xµ¶S±
`nvvrUDcbUD¦5l6_?jSUjlm`fcfpD·¸jxQaUq¹´x³º ±3´ ¶»±3¶S´³$jxQaUVvxUDTlm`n_S`n_Sg)`n_e?vxTlmjx`be?_¸·lh_KjxQSUDq©»¼µ½^¾S¿6»±®`fjpxe)jQalmj
jQSU¤`n_e6vTlmjr`fe6_§gh`f¦hUB_ÀlhjUBlhi QÁprjxUDÁQalhpdl:vxUDl6pre?_alhsScfU(px`fÂUh#P$QaUVU£alhTScfUDpemlhsapxjxvlhij^¦`fU¥kp
g6`b¦6UD_`f_-jQSUdehcfcfe¥$`f_Sg¤l6vrUdlghe?lmc¸U£UBioSjx`be?_vrehÃcbU6Äpxe6TVUdalmjl¤lhsapxjxvlhijr`fe6_apDÄalh_-`n_aprjlh_?jr`nlmjx`be?_
vrehÃcbU6ÄlÅlm`fcfoavxU¤lh_alhcbqSpx`fpDÄl-cbee?Àl6_almcfqSpr`npÄl6_aÁl-¢?`n_aÀemªU£aScfl6_almjx`be?_Æe?vlh_ÀU£aUBvrjdpxqSprjxUDT
¥kvx`fjrjrUB_-`f_uwvxehcfehg
Ç:È?ÉËÊÌXÍ Îh Ï ehj¡¥&l6vrUUB_Sgh`n_SUUBvr`n_SgLÄuwvxehg6vlhTTV`n_Sg:UD_?¦`fvxe6_aTVUB_6jDÄ|oajre6TlhjrUD¹aUDsaoSg6gh`n_SgÄ
PvlhiUktoSUBvrqTVUDi Qal6_S`npxT-Ä?~^UBsaoSghg6`f_agcfl6_Sg6olmghU6Ähuwvxehg?vxl6TÐsLUDQal5¦`fe6vo_aSUDvpxjxlh_S`f_agÄ?~^UBsaoSghg6`f_ag
jxeehc8ÄSuwvre6cbe6g
ÑÓÒ¸ÔxÕ¬ÖD×Ô$ØÙfÕ¬Ú¬ÛÜ
Ýު߼à5àmáxß¼â¸ãåäæSçDèËâ3äßBé5èçê5ëèËÞ ë5ìíßrîkß¼äBê^ïçDæß¼ãåä6éDázê5ãð3Þ âÅñxéhò?ó¬ô õ¡ö÷²öDø ÙnùªúÖ
÷bûükô ömüý ù ×Û
õÅó¡þ5órömüXý ù ×®Û
ûó¡ÿ
¡ö ù õ × ô Ù÷ù
ö Ùõ
ÖxÙfÖ
õÅó ÕzØ
õù ûù ø#ô
Õ
ô:ýô
Õ
ó ÙnÖ
ü é5ìåá6éËÞ ä5ãð3ãázãåázäzádß¼ä5êÝá5ä5Þ ìåÞ¼îé Bç-Ý5ãåñ
ß¼âÅð3ã!zìåáâ3áDãåñ8ázñß¼ä5êXáDð3ázä5ê5ñ=ð"Bá#ázâ3ñ3ãåÞ ä(à5ë$5ìåãåñ"5ázêãåä?é&%&ç'Bß¼â3ß¼ñ)(ßðªß¼ä5ê*&ç&+ázêßárêBãð8Þ âÅñxéæLâÅÞzázázê5ãåä ñwÞ-,Ëð"Bá
.Óäð3ázâ3äßð3ãåÞ äß¼ì0/?Þ ã!æâ3Þ â3ß-121$ãåä2î$1$àmÞ ñ8ãåë$1éDß¼ä43ãåá Þ5é657¡ð3Þházâ8 $ é694.Ý:æLâÅázñ8ñrç
Ý:BáâÅázàhÞ âð3árê;(¸Þ â=<#(ß¼ñ>1$Þ ñÅð8ìîß-5ãåáázê?(5ãåìåáð)5á®ß¼ëBð)5Þ â>(ß¼ñËßðËð"BáA@LëBâ3Þ àmárß¼ä4ËÞ1$à5ëDð8ázâCBD.Óä5ê5ë5ñÅð8âî;Eárñ3árß¼â)
¸ázäð8âÅá éFâ3ß-márìåìíß¼ñÅð8âzçGDéF3BCH$ JIK#9ëBä5ã!?éMLárâ=1kß¼äî
N ËÞ âÅâ3ázñ8àmÞ ä5ê5ß¼äzáß¼ê5ê5âÅárñ3ñO?.CP7BQ3ázàBð#.Óä$,bÞ â)1kßð3ã!RDëBáé>I-Sß Vê5ázñ$èËëBðÅð8ázñê5áTËÞUzñ)1$árñréWVXBDYJK-S-ZJYEázä5ä5ázñ
¸ázê5á[á1kß¼ãåì\O]9ãåâÅázãåìåìåá ç3ërß¼ñ8ñ3á_^ãåâÅãåñ¬ßBç,bâzé(Y$O0ðÅð3à'O``(:((çãåâÅãåñ¬ßBç,bâ`ìíß¼äBê5á`ê5ërß¼ñ8ñ3á_`
Unit´e de recherche INRIA Rennes
S`noaT UDpxj(o_ prqSpxjrRBT(Ut?oa`&LUDvTVUj(l6_almcfqSprUBvdUjVSUS]Bse6g6oSUBvSUBp(avxehg?vxl6TT(UBpuwvxehcfehg
Ï e6_ _Seq?lho ie?TavrUB_a oa_ jxvlhiUBoavXU£]BioSjx`be?_¹UjVoa_¹cnlh_Sg?lmg6U#SU-vre6g6vlhTTlmjr`fe6_ÁTXo_S`&oa_
UB_apxUDTXsacbUdSUavx`nT(`fjr`f¦hUBp$e?oavcl6_almcfqSprUSUDpkjxvlhiUBp&Ujkao:ieSSUdpxe6oaviU6
~lh_apdiUVvlhe?vrj_Se6opTVe?_6jvre?_ap^cfl:aoS`nppxl6_aiUíS`foTe?oavdTVUjrjvrUVUD_ÀeUDoS¦SvxUVaUDp¦SoSUDp
l6sapxjxvlm`fjrUDpªU£S]DiDoSjr`fe6_ap&uwvxehcfehgL{UDpª¦SoSUDplhsprjvxlh`bjxUDpwae6_a_SUB_?j&oa_e6`f_?jSU¦oaUSUQal6oSjz«¡_S`f¦hUDl6o
poaviUDp¸U£S]Dioajr`fe6_apDcfcbUBp]Dcb`nTV`f_SUB_?jcfUDpS]Djxlh`bcnp_Se?_dUBvrjx`f_SUB_?jxp·UDcbcfUDpvrUBprjvxoaijxoavxUD_?j¸c`n_e?vxTlmjx`be?_
vxUDpxjxl6_?jrU§UDj:UcfcbUBpcnlie6Tal6ijxUD_?jlmÃL_ toSUÁc`n_e6vTlmjx`be?_ avx]DpxUD_?jr]DUi QalhtoSUÀ]jlhLU lh`bj:oa_SU
jlm`fcbcfU¤vxlh`fpxe6__alhsScfUhX{UDpU£SUDTScfUDpdSU¦SoSUDpdl6sapxjxvlm`fjrUDpavx]DpxUD_?jr]Bpalh_apcnl:pxoa`bjxUpxe6_?joa_ avxemÃc
U£]BioSjx`be?_(aUsoSj=uwvxehcfehgÄmo_SUklhsapxjxvlhijr`fe6_aUkSe6_a_a]UDpDÄhoa_VavxemÃca`n_apxjxlh_?jx`flhjr`fe6_¸Äho_SU$lh_alhcbqSpxU
]Bi QSUDihÄaoa_SUlh_lmcfqpxUSUse?oaicfUUjkSUBp$U£aScf`nilmjx`be?_ape?oav$oa_:pxqpxjrRBTVUU£aUBvrj$]Bivx`bjUD_-uwvxehcfehgL
Í B Ê [^]B_S`fU$cbe6gh`ni`fUc8ÄhUD_?¦`nvre?_a_SUDTVUB_6j=SUkvre6g6vlhTTlmjr`fe6_ÄmS]DsLehg?lmghUlhoajre6Tlhjr`npr]6Ä6avxemÃc
U£]BioSjx`be?_¸Ähcnlh_ag6oalhghU$SUkS]Bse6g6lmg6UhÄhie6Tavx]DQSUB_apx`be?_VoVie6TLe6vxjrUDTVUB_6jaUDpwvre6g6vlhTTVUDpDÄe6oSjx`bc
aUa]DsLehg6lhghU6Ä?uªvre6cbe6g
'X :%)wX'
uªvre6g6vlhT lh_alhcbqSpx`fpDÄpxoai Qlhp&j¡qSUdi QSUBi ¢?`f_SgVlh_a-lhsprjvxl6ijw`n_?jrUBvxavxUjlmjx`be?_¸ÄSQalhpTlh_?q#oapxUDp&`n_avxem«
g?vxl6TaU¦hUDcbe?aTVUD_?jl6_aÆTlm`n_?jrUD_lh_aiUh^P$QaU(alhjxl#oapxUD§s6qKavxehg?vxl6T l6_almcfqSpr`npk`npehjrUB_Ke6_Scfq:jxQSU
pxe6ovxiUieSSU-emjxQSUKl6_almcfqSprUB avxehg6vlhTpDe¥&U¦6UDvDÄ=jxQSUBvrU-`fp¤lÁie?TScbUBTVUD_?jxl6vrq¹pxe6oaviUem^`n_«
e?vxTlhjr`fe6_¸Ä_alhTVUcfq©±8´x¿6»³ºµ d¾L´xµm´¿½ ³³¼»¶S±Åµ aº |^_ U£SUDiDoSjr`fe6_ jvxl6iU#ie?_?jxlm`n_apcfUDppdghUB_SUDvlmc
`n_e?vxTlmjx`be?_)jQalh_:jQSUXavxehg?vxl6T pre?oaviUhÄasoSjk`fjkjrUDcbcnpkU£Sl6ijxcbq)Qae¥ jQSUXavxehg?vxl6T sUBQal5¦hUBp`f_Kal6vz«
jx`fiDoScnlhv&ilhpxUDpD"!LoavxjxQSUBvxTVe?vrU6ÄhjxQaUDvxU`npw`n_?jxvx`f_apx`nilmcfcfqaq_lhTV`fi`f_Se6vTVlhjr`fe6_`n_)l(avre6g6vlhTÐ¥kQS`fi Q#`fp
sLUDpxjklh_lmcfqpxUDlmj$U£UBioSjx`be?_)jx`fTVU6ÄSe6vU£Sl6TScbUdoapxUDpeh®l6pxpxUDvxj$#mvrUDjxvlhijÄ6l6_a:vrUBlh%#¥kvr`fjrU6
& `fjxQ('rjxvlhS`fjr`fe6_alhc*)ÁjxvlhiUBvxp-oapxUDvp:Qal5¦hUÁjreÃcfjrUBvKlh_apre?vrj:l"QoSghU¹lhTVe?oa_?jeh(U£SUBioSjx`be?_
jvxl6iU¥$`fjxQ§vxoaa`fTVUD_?jlhvxq-poaaLe6vxj Ï oai QKjvxl6iUDvpkoapoalhcbcfq-vrUBprUB_6j^QS`fpxjre?vr`fUDpemU£UBioSjx`be?_KU¦6UD_?jxp
¥kQaUDvxU^UBlhi QU¦hUB_?j&vxUDavxUDpxUD_?jp&lVcfe¥«8cfU¦6UcËprjxUD`f_-jQSUU£SUDiDoSjr`fe6_-avxeiUDpp®|_-U£UBioSjx`be?_Qa`fpxjre?vrq
ie6_?jxlh`f_pÄ`n_aSUUB¸ÄajQSUd`f_Se6vTVlhjr`fe6_-_SUDiUDppxl6vrq¤jxe¤oa_aSUBvxpxjxl6_aQae¥ lavxehg6vlhT `npU£SUBioSjxUD¸P$QSU
Åo_aijx`be?_almcf`bjx`bUBpwehiovxvxUD_?jjvxl6iUDvpDÄ?QSe¥&U¦6UDvDÄ6TVe6pxjrcfq`fTScfUDTVUB_6j&¦lhvx`fl6_?jxpehpr`n_Sg6cbUprjxUD#jvxl6i`n_Sg
+Àoai QTVe?vrUdil6_sLUSUBvr`f¦hUB#Åvxe6Tl6_)U£SUDioajr`fe6_-jxvlhiU^jQalh_:px`fTScfUpr`n_Sg6cbUdpxjrUDS`f_ag
Ï `n_Sg6cbUprjxUDaa`f_Sg`f_Àl#jvxl6iUXU£SUDioajr`fe6_Æ`np^cb`n¢mU(¥&lhjxi QS`n_Sgl)jrUB_a_S`npTlhjxi QÆl6_aKe6cbcfe¥$`f_ag#e6_Scfq
jQSU(slmcfc3P$QS`np^`np^jxQSUil6pxoalhcpUBijlmjre?v pLeh`n_?jehw¦`bUD¥d|ZScfl5q6UDv^TVl5q:sLU(`n_?jrUDvxUDpxjrUBK`n_ÆehjQSUDv
l6pxLUDijxpD,^U(il6_:Ãa£ÆQS`np^lhjrjxUD_?jr`fe6_Ke?_Ke6_aU(Scnl5qhUBv·ËQSU(iDlh_Æie6oa_?jQSe¥ emjrUB_ÆjQSUÃLvpxj^pxUDvx¦?`niUX`fp
poaiDiUDpprÅoSc3·aQaUilh_-lh_lmcfqpxUjxQSUsal6i ¢Qalh_a·SUjxih
P$QSU$UBtoS`b¦lhcbUB_6j=iDlh_VsU$Se?_SU&e6v®U£SUBioSjx`be?_ap_SU$il6_ãXe6_SU p=lhjrjxUD_?jr`fe6_(e6_Vlghe6lhc3·e?_SU$il6_
e6cbcfe¥l)lhvxjr`nioScnlhv¦5l6vr`nlhsacbU6·Ae?_SU(iDlh_Àlh_alhcbqSpxUXsalhi ¢?jvxl6i ¢6`n_SgL·LUDjximdP$QS`np^`fpjxQaUVlh`fT¨em¿ º¼±8´x¿6»±
-
ų®º jre^gh`f¦hUªQa`bg?Q«8cfU¦6Uc?e6`f_?jxpemL¦?`fU¥ l6se?oSjjQSU&U£SUDiDoSjr`fe6_¸P$QSUq$¯w°í±¬³´$µ¶S±?`fvvrUDcbUD¦lh_?jSUDjxlm`fcnp·
jQSUqÆTl5q¹´x³º ±3´ ¶»±8¶S´x³kjQSU¤vrUBTlm`n_S`f_ag`n_e6vTlmjx`be?_¸·¸jxQSUDq§Tl5q©»¼µ½^¾S¿6»±=`fjdpre-jxQalhjjxQSUlhTVe6o_6j
eh`n_e6vTlmjx`be?_Qal6p$lvrUBlhpxe6_al6sScbUpx`bÂDUh·alh_)jQSUq ³ -
³.L±3¶¿m°Ó°*/10 nº8¾A°b¿/jQSUvrUBpxoacbjx`f_Sg`n_e6vTlmjx`be?_¸
P$QSU#_aUUDÀe?vS`32AUBvrUB_6jdcfU¦6Ucnpem$lhsapxjxvlhijr`fe6_§`f_ÁjxQaU¤jxvlhiU¤`npUDpLUDi`nlmcfcfq§e6s?¦`fe6oap`n_Àuªvre6cbe6g
¥kQaUDvxUXjxQaUVcfehg6`fi(lh_a§jxQSUie?_?jxvxehcemwjQSU¤avre6g6vlhTpl6vrUVicfUDl6vrcfqKS`fpxjr`n_Sg?oS`fpQSUB¸d ¡j^`nppre?TVUjr`nTVUDp
_aUDiUBpxplhvxq§jxe§`n_?¦hUDpxjr`fg6lhjrU)pxe6TVU-avreSiUDaoavlmcªSUjlm`fcfpVlhsLe6oSj(jxQSU-U£SUBioSjx`be?_ saoSjVjxQS`npVpxQSe?oScn _Sehj
ie6_aaUDT_:uwvxehcfehg¤oapxUDvpkjrelmcf¥&l5qSp&Ålhi`f_ag#lmcfcjxQaUXavxeiUDaovxlhcSUjlm`fcfpD_:jxQSUXehjxQaUDvQlh_a¸ÄLe6_Scfq
`n_?¦hUBprjx`bg?lmjr`n_Sg-U£SUDiDoSjr`fe6_plmjdjQSU#SUDicfl6vxlhjr`f¦hUcfU¦hUDcTl5qÀQal6TVLUDvjxQSU#SUBsaoSg6gh`n_Sg:em$avreSiUDaoavlmc
lhvxjxpem®avxehg6vlhTpDÄ?poai Q:lhpªÅlh`bcnoavxUavr`f¦hUB_#cfee6apD
S`noaT-Äe?oavSUDsaoaghgh`n_SgUD_?¦`fvxe6_aTVUB_6je6vuwvxehcfehgLÄËvre¦`nSUDp^ghUB_SUDvlmc®TVUDi Qal6_S`fpTpjre-UD_al6sScbU
uªvre6cbe6g^avxehg?vxl6TVpjredsLUl6_almcfqSprUBs?qdehjQSUDvuwvxehcfehgavre6g6vlhTpDPvlhiUDvpoapoalhcbcfqavxe¦?`nSU4'z¦6ehcnlmjx`bcfU5)
`n_e?vxTlmjx`be?_¸w_aiUdlal6vrjemjxQSUvre6g6vlhT Qalhp$sLUUB_-U£SUDiDoSjrUB)`fjxp$jvxl6iU`np$_Secbe?_SghUBv&l5¦lh`bcnlhsScfUh
Pe:avre¦`nSU(l6sapxjxvlhijx`be?_apDÄAe?_SUQalhpjreKsLUVl6sScfUVjxe-a`fpScnl5qKjxQSUjxvlhiUX`n_e6vTlmjx`be?_Æ`n_Àl-S`32AUBvrUB_6j
e?vxaUDv¤jQalh_ `fj)`np)vreSaoaiUD¸ S`foT e62AUBvxp#¾S³´¼º5nº ±¬³±^jxvlhiU§`f_e?vxTlhjr`fe6_¸Ä$UB_alhsScf`n_Sg `fj)jresU
vxUDpxjxvoaijxoavxUD§`f_ l-¥&l5qK¥kQa`fi QÀÃjpjxQSU#oapxUDvpd_SUUBap75#Pvxl6iUBvxpoapoalmcfcfq§avx`f_?jjxQSU¤`n_e?vxTlmjx`be?_
jQSUqvxUjxvx`fU¦hU698qie?_6jvxl6prjDÄS`noaT Qalh_ScbUBpjQSU^SUBsaoSg6gh`n_Sg`n_e6vTlmjr`fe6_¤l6p®¾L´µh´x¿½V½:;<06¿±¡¿
P$QaUkSUDsaoaghgh`n_Sg`n_e6vTlmjr`fe6_>=3jxvlhiUkl6_apre?oaviU@?iDlh_VjxQSUB_¤sUkl6_almcfqSprUB(s?qVavre6g6vlhTp®sUe6vxU$`bjw`fp
a`fpScnl5qhUD Ï e?TVUjvxl6iUBvxp&avxe¦?`nSUA'rTlhiDvre?pB) ÄaS`foTavxe¦?`nSUBpªl(ghUB_SUDvlmcL¾L´xµh´x¿½V½CD#°f¿;h¶¿?³
E
PÞ¼ð8á éM5Þ (¸áázâréð)ßð®ã,Sß¼äF3Þ äkð"5á4G5î.Hwß¼äß¼ìîDñ8ãåñãåññ8ëJI2zãåáräðréð"5á1$á5ß¼ä5ãåñ"1$ñ¸Þ-,]5à5ãåë1 ß¼âÅáªß¼ñáBI2zãåázäðß¼ñ
ð8â3ß¼ê5ãð3ãåÞ äß¼ìð8â3ß-zázâ3ñrç
jxe`nTVacbUBT(UB_?jªSUBsaoSghg6`f_agie6TTlh_aplh_¤avre6g6vlhTpDS`noaT pªcfl6_Sg6olmghU`npuwvxehcfehgdU£SjrUD_SUD¤s?q
lpxUj$ehSUBsaoSghg6`f_agvr`nTV`bjx`b¦6UDpD
^`bg?Q«8cfU¦6Ucavre6g6vlhTlh_alhcbqSpxUDpkQal5¦6UsUDUD_K¥kvx`fjrjrUB_K`n_ÀS`noaT-8UDpx`fSUBpSUBicnlhvlmjx`b¦6Ulh_aKavxem«
iUDaovxlhcwjxvlhi`f_agÄ=jxQaUDvxUlhvxUTl6_6q¹TVe6vxU)cfU¦6Ucnpeh^lhsapxjxvlhijr`fe6_¹lhjX¥kQS`ni Q©l6_¹U£SUDiDoSjr`fe6_©ilh_ sU
U£alhTV`f_aUD¸K z_¹jQSU#e6cbcfe¥$`n_SgK¥ªU-avxUDpxUD_?jl§_oaT(sUBvem$U£Sl6TScbUBpXavxehg?vxl6TT(UBÁ`f_ a`foaT-§|
g6e6lhckavrehÃcfU:poaTTlhvx`bÂDUDpjQSU§ie?_?jxvxehc e¥¨`f_Se6vTVlhjr`fe6_vrUDcflhjrUB jxe¹jxQSU§U£SUDiDoSjr`fe6_emdl gh`f¦hUB_
g6e6lhc3 Ï e6TVUalhjxll6sapxjxvlhijx`be?_t?oaUDvx`bUBplhvxUpQSe¥k_V¥kQS`fi QUB_alhsacbUoprUBvxp=jxe(SUBlmcL¥$`bjQ¤ie6TScfU£¤lh_
Qa`bg?Q ¦hehcnoaTVU#alhjxlaK|^_ `f_apxjxl6_?jr`nlmjr`fe6_¹vrehÃcbU#l6sapxjxvlhijpÄ¥$`fjxQ¹vxUDpUBijjxe§pre?TVU¤¦5l6vr`nlhsacbUBpÄjxQSU
lmjxle¥ `n_e?vxTlmjx`be?_KvrUDcflhjrUBjxe#jxQaU(avxeem=eml¤g6e6lmc8|Ålm`fcnoavrU(lh_alhcbqSpx`fpkl6_aKl¤cfee6:lh_alhcbqSpx`fp
`fcfcfoapxjxvlmjxU(QSe¥jvxl6iU(`f_e?vxTlhjr`fe6_ÆiDlh_ÆsLUVpxUcfUDijrUBKjre-U£aScnlm`n_ÆQSe¥lalhvxjr`nioScnlhvsaoSg-prqSTSjxe6T
QlhpsLUUB_ÆavxeSaoaiUB¸{lhpxjÄËlh_Æl6sapxjxvlhijjxvlhiUBve6v^l)pTlmcfcU£SLUDvxjpxqSprjxUDTpxQae¥kpQSe¥ jrejxvlhiU
uªvre6cbe6gVl6aScf`fiDlmjr`fe6_p$lmj$lh_-lhavre?avr`nlmjxU^cfU¦6Uc¸eh®l6saprjvxl6ijx`be?_¸
¡j`fp¥ªe?vrjQdTVUD_?jr`fe6_S`n_SgkjQalmjjxQSUBprUªlhsapxjxvlhij¦`bUD¥kp`n_aicnoaSU&lmcfchjxQaUªlhsprjvxl6ij¦`fU¥kpaUjrUBijxUDs?q
jQSUdie6g6_S`fjr`f¦hUprjoaSq#eh8UDvxg6lh_?jx ^l6pxpxUcfc3ĸBhlmcfjxQSe?oSg6Q)jxQSUd`n_S`fjr`nlmc¸¦hUBvxpx`fe6_¤ehjxQaUioavvrUB_?j
i QlhSjxUDv&¥&l6p¥kvr`fjrjxUD_:sLUe6vxUjxQSUiehg?_S`bjx`b¦6UpxjxoSq)¥lhp$aosScb`npQSUD¸
[vlhaQa`fiDlmcLaUDsaoSg6ghUBvxp=l6_a¦`fpoalmcf`fÂDlmjx`be?_Vjreehcnpwavxe¦`faU$ghcfe6salhcS`nijxovrUBpem¸U£UBioSjx`be?_apDP$QSUBprU
a`fijxoavxUDplhvxUlmjl-Qa`bg?QSUDvcfU¦hUDc®jxQal6_§jQSU¤pr`n_SghcfUprjxUDapem&jxQSU¤px`fTScfUjxvlhiUDvp !Le6vU£alhTScfUjxQSU
_aehjr`fe6_(emAghe?lmc?`fpsLUjxjrUBv=pxoae?vrjxUD¸"e¥&U¦6UDvDÄBjQSUqXemjrUB_ie6_?jlm`n_XTXoi Q(TVe6vxU&`f_e?vxTlhjr`fe6_(jxQal6_
_aUUDaUD¸Äl6_aKTVe6vxUjxQal6_:jxQSUoapxUDvpkiDlh_-g6vlhp)lhjlghcnlh_aiUh^UD_aiUhÄag?vxl6aQS`nilhc¸jreehcnpklmcnpxevxUDtoS`nvxU
l6sapxjxvlhijx`be?_)TVUDi Qlh_S`npxTpD
z_¹jQSU#e6cbcfe¥$`n_SgK¥ªUoaprU-l 'rjxvlhiU¤cf`n_SU5)#e6vx`fUD_?jrUBÁe6vTVlhcb`npT sLUDiDlhoapxU#`fjÅlhi`bcf`fjxlmjxUDp-»µm½¾A¶
±¡³´5D³$0ÃcfjrUDvx`n_SgehwjxQaUVSUBsaoSg6gh`n_Sg)`n_e6vTlmjx`be?_¸Xoav¥ªe?vx¢-ie?_aiUB_6jvxlhjrUBpke6_§¥kQS`ni Q§SUBsaoSghg6`f_ag
`n_e?vxTlmjx`be?_©jxe prUDcbUBij¤lh_Qae¥ jre pxUcfUDij¤`bj§¿m¶S±¬µm½¿m±Å»¼¿m°Ó°*/ ^e¥jxe oacbjx`fTlmjxUcfqa`fpScnl5q jxQSU
pxUcfUDijrUBK`f_Se6vTVlhjr`fe6_§`fpsUDqhe?_aÆjQSUVpie?UVemjQS`npdi QalhSjxUDvD^ z_?jxUDvxUDpxjrUDÀvrUBlhSUBvxp^il6_:ÃL_aÁpre?TVU
vxUUBvrUB_aiUBp&e6_jxQSUdcnlmjxjrUDvk`f_~oaiDlhppr]Z}eqh]6ÄËDh68
P$QSUdvxUDTlm`n_S`n_SgVemjQSUdi QalhSjxUDv&`npe6vxg6lh_a`bÂDUD¤lhpªe6cbcfe¥kp=P$QSUdavxehg?vxl6TTVl6sS`fcb`fj¡qVTVUBi Qalh_S`npTVp
ehS`noaT l6vrUVsavr`fULq§SUDpivx`nsUBÆ`n_ÀpxUDijr`fe6_ÀWa Ï e?T(Ulhsprjvxl6ijr`fe6_§ivx`bjxUDvx`fl-lhvxUXjQSUD_À`bcfcnoaprjvxlhjrUB
`n_Æjoav_§pxUDijx`be?_ap)jxeSdwlhi QÀprUBijx`be?_:ÃLvprjSUDpivx`nsUBp^¥kQa`fi QÀlhsapxjxvlhijr`fe6_Kil6_§sLU¤oaprUÅoSc8ĸgh`f¦hUDp
l6_ÆU£Sl6TScbU6Älh_§g6`b¦6UVpxe6TVUSUjlm`fcfpehªjxQaUV`nTScfUDTVUD_?jxlhjr`fe6_À`f_¹S`noaT-V|cbjQSe6oag6QÀe6_ScfqÆpxTlhcbc
Le6vxjr`fe6_pemvre6g6vlhTp=lhvxUkgh`f¦hUB_¸ÄlmcfcLjQSU^i`bjxUD#avxehg?vxl6Tp=U£S`nprjwl6_a¤jQSUa`fpScnl5qhUDl6saprjvxl6ijpwlhvxUhÄ
`n_aSUDUD¸ÄSl6ijxolmcËvrUBpxoScfjxpªem=S`foT avre6g6vlhTpD| ie6Tal6vr`npre?_¥$`bjQ)vxUcnlmjxUD¤¥&e6v¢(iDlh_sU^e6oa_#`n_
pxUDijr`fe6_-a 8$oSghg6q)avxehg?vxl6TVp&oapxUDjxQavxe6oag6QjxQSUdU£Sl6TScbUBp$il6_sLUe6oa_`n_-jxQSUl6aLUD_aS`niUBp
*,%-. rZ,- X. . ¼
P$Qa`fp=pxUDijr`fe6_Vsavr`fULqXSUDpivx`nsUBp®jxQSUksal6pr`niTVUDi Qal6_S`fpTpemS`foT¥kQS`ni Q(UB_alhsacbUjxvlhiU&l6sapxjxvlhijx`be?_
vre6g6vlhTpAjresLU¥kvx`bjxjrUD_|_U£aQalhoprjx`b¦6USUDpivx`fajr`fe6_emLS`noaTilh_sLU=e6o_ad`n_~oail6pxpx]hĸBh68
a È¬Í S ¡jª`npsalhpxUD#e6_¤jQSUsLe5£#TVeaUcËem8qSvx¸Ä¸Bh! 8=| jxvlhiUQS`nprjxe6vxqhÄie6TLe6pxUD¤eh
l¤pxUDtoSUB_aiUeh®jvxl6iUU¦6UD_?jxpDÄa`npklhiDiUBpxpx`fsacbU6w| jxvlhiUdU¦hUB_?jQlhpkpx`²£:prcfehjp "&Qavre?_Se =3i Qavxe6_aehcfehgh`nilhc
UD¦hUB_6jk_oaT(sUBvÄApre?TVUjxQa`f_Sg¤cf`n¢mUXljx`fTVU(pxjxl6T%?¼Ä"&lmcfc =Åg6e6lhc`f_?¦6eiDlmjx`be?__oaT(sUBv$? Ä~UDSjQ=3SUBSjxQ
ehjxQaU^g6e6lmcA`n_#jxQaUU£SUDioajr`fe6_¤jvrUDU@?¼ÄSu®e?vrj =3ie?_?jxvxehce¥ `n_aS`nilmjx`be?_¸ÄSil6_#sU'xilhcbc)¼Ä'xoa_S`bq6) Ä 'zU£S`bj)¼Ä
'zÅlm`fc)¼Ä.'xvrUBSe)?¼Ä5uwvxUD =3avxUDS`nilhjrU&ie6vvxUDpe?_aS`n_Sgkjre^jxQSU&jxvlhiUDdg6e6lhc? Ä5|^vrgC=ŦlmcnoSU&emajQSU&l6vrg?oaTVUD_?jxp
ehjQSUdjxvlhiUDghe6lhc¸lmj$jxQaUT(e?TVUD_?jem®jxQSUdUD¦hUD_?j5?¼
a È È É Å È S`foT pkcnlh_ag6oalhghU`fpuwvxehcfehgU£SjrUB_aSUBKs6q:l¤pxUjkeh=aUDsaoSg6gh`n_Sg#avx`²«
TV`fjr`f¦hUBp¹|e6`f_?jxUDv(`f_©jxQSU:jxvlhiUQS`npxjre6vxq¹ie?vxvxUDpe?_aapXjreÁjxQSU 'riDoavvrUB_6j(U¦6UD_?jB) ¹P$QS`fpVLeh`n_6jxUDv
iDlh_ÆsLU(TVe¦6UD:e?vr¥lhvapkl6_aÆsal6i ¢6¥lhvapks?qKpxe6TVU(SUBS`nilmjxUDÆvr`nTV`bjx`b¦6UDpC= ËÄ ? ^P$QSU
ie6_?jrUB_?jxp®emAjxQSUkiDoavvrUB_6j®UD¦hUD_?j=il6_(sLUki QSUBi ¢mUDXe6v®vxUjxvx`fU¦hUB = LÄ ?¼| ie6_a_aUDi «
jx`be?_#sLUj¡¥&UUD_#jxvlhiU^lh_a#pxe6ovxiUk`f_Se6vTVlhjr`fe6_`npavre¦`nSUD = ?¼P$QSUBprUvr`nTV`bjx`b¦6UDp&lhvxU
oprUB jxQavxe6oSg?QSe6oajjxQSUU£alhTScfUDp`f_¹jQSUvxUDpxjehkjxQSU)i QlhSjxUDvDÆ| TVe6vxU)SUDjxlm`fcfUD¹SUBpxiDvr`nSjr`fe6_ eh
jQSUDTehcfcbe¥kpD
"!$#% & &(')#*',+ -%.'0/ &1'0/23ÁTVe¦hUDp)jxQSUÀjxvlhiU§e6`f_?jxUDv)e6vx¥&l6vxap#jxQavxe6oSg?Q
jxQSU-U£SUBioSjx`be?_¸Ä=e6vXjxQSUjxvlhiU-almjlhsal6prU6Äo_6jx`bcUD`bjQSUDv(jxQSUÃLvprjXU¦hUB_?jX¥kQS`ni Q Tlmji QSUDp(jxQSU
pxLUDi`²ÃLUD lmjxjxvx`fsaoajrU¦lmcnoSUDpe6vjQSU¤UD_aÀem&jxQSUjvxl6iUQS`fpxjre?vrq§`fpUD_ie6o_6jxUDvxUD¸V z_ÀjxQSUVÃLvprj
il6prU`fjkpxoaiDiUDUDapDÄS¥kQS`fcbUd`n_-jxQSUpxUDie6_ailhpxU`bjÅlh`bcnpD
¬jQSUlhvxg6oT(UB_?jie6vvrUBpxLe6_S`f_agXjre#l6_lhjrjvr`nsaoSjxUd`fp
4
lV¦lhvx`nlhsScfUhÄSjQS`fplmjrjvr`nsaoSjxU`fpk_aehjjxl6¢mUD_`n_6jxe#lhiDie6o_6j&`n_jQSUalhjrjrUBvx_-Tlmji QS`f_ag
4
l)¦lmcnoSUhĸjQSUVlhjrjvr`nsaoSjxU(¦lmcnoSU(emwjQSUViDoavvrUB_6j^U¦6UD_?j`npi QSUDi ¢hUDKlmg?lm`n_apxjjxQaUVvxUDtoS`nvrUB
¦lhcfoSU6(5^pxUDvpilh_-pUBi`bqlh_U£al6ij&¦5lhcfoaUhÄlVcf`fpxjem=e?pxpx`fsacbU¦lmcnoSUDpDÄal_SUg?lmjrUB)¦lhcfoSU
Äe6vDÄ6e?v`f_?jxUghUBv$lmjxjxvx`fsaoajrUDpDÄl6_)`n_?jrUDvx¦lmc8
67VSeUBpjxQSUplhTVUdlhp8 67VsaoSjksal6i ¢?¥&l6vxapD
9 ¹lh_a:9 67§Qal5¦6U-l§ÅlhTV`fcbq©em^vxUcnlmjxUD©vr`nTV`bjx`b¦6UDpD |TVe?_SgÀjQSUDT; <-67
SeUDpk_aehj$avx`f_?j$jxQaUUD¦hUB_6j$`fjkTVe¦hUBpªjxe· 2 67Xilh_-poaiiUUD-e?_Scbq)e6_aiUh
*!=#% &&>')#*'0+ 9-%.'0/ &1',/23&vrUDjxvx`bUD¦hUBp¸jxQSU&¦lmcnoSUwehlmcfchjQSU&ie6_?jxvxehc e¥
lmjxjxvx`fsaoajrUDp^emjQSU(iDoavvrUB_6jU¦hUB_?j& QSUDjxQSUBvjQSUDpxU(pxcfehjxp^Qal5¦hU(sUDUD_ÆS`npScfl5q6UD:e?v_Se6jSeUDp
_SehjkTl6¢mUdlh_?q#S`32AUBvrUB_aiU6= ¬jQSUlhvxg6oT(UB_?j&ie6vvrUBpxLe6_aa`f_SgVjre¤l6_-lhjrjvr`nsaoSjxU`np
4@?
Äa_Se6jxQS`n_Sg¤`np$Se6_aU^e?vjxQS`npklhjrjxvx`nsaoSjrU6
4
lÀ¦lhvx`fl6sScfUhÄ=jxQaU-iDoavxvxUD_?j(¦5lhcfoaUehjxQSU:lmjxjxvx`fsoSjrU-`fpvxUjvr`fU¦6UD l6_a©oa_a`²ÃUB ¥$`fjxQ jxQSU
¦l6vr`nlhsScfUh
4
l:¦lhcfoSU6ÄjQSU)iDoavxvxUD_?jd¦lmcnoSU¤eh&jQSU)lmjxjxvx`fsoSjrU#`npvxUjvr`fU¦6UD lh_a i QSUBi ¢mUBÀlhg6lm`n_apxjdjxQSU
¦lhcfoSU6( ¬$oa_S`bÃLiDlmjr`fe6_§Ålm`fcnpÄ( ¤Ålh`bcnpD(}^ehjrUjQalmjdjQS`fpdQlhpAµVpx`faU«¬U.2ËUDije?_
jQSUdjxvlhiUDghe?lmcnp
wlhi Q:pxcbe6j$ilh_-sLUvrUDjxvx`bUD¦hUD)`f_S`b¦`naoalhcbcfq)¥$`fjxQ:l0 A &
?
B Cavx`fTV`fjr`f¦hUh
"!$DEF<3vrUDjxvx`bUD¦hUBp=jxQSU^¦lmcnoSUehËjQSU^l6vrg?oaTVUD_?jxpwem¸jxQaUiDoavxvxUD_?j=g6e6lmcL`f_#jxQSUioavvrUB_?j
U¦6UD_?j
>!=# 3kvrUDjxvx`bUD¦hUBpªjQSUicnlhoprU¥kQS`ni QQlhp$pal5¥k_SUDjxQaUioavvrUB_?j&UD¦hUB_6jp&g6e6lmc8
X'X:k -¸ wX'
|^sapxjxvlhijx`f_ag¤jxQSUie6_?jxvxehcLe¥1`n_e6vTlmjr`fe6_-`npk¦6UDvxq)SUDpx`nvxl6sScbU6ª|cbcuwvre6cbe6gjxvlhiUBvxp$vre¦`nSUdoaprUBvxp
¥$`fjxQ©jxQSU-Ål6i`fcb`fj¡q¹jreÁQS`faU-`n_e?vxTlmjx`be?_ vxUcnlmjrUB¹jre 'xavreSiUDaoavlmc))SUjlm`fcfpVehjxQSU-U£SUBioSjx`be?_©lh_
¢hUUB:e6_Scfq)`fjxpA'raUDicnlhvlmjx`b¦6U5)l6pxLUDijxpD Ï e6TVUjvxl6iUBvxpDÄa`n_aicnoaS`n_Sg-S`noaT-ÄËavre¦`nSUl#savxUDl6SjxQS«3ÃLvpxj
jvxl6iU:=3iDlmcfcbUB)jxe6«¡Se¥k_#ÂDee6TV`f_agD?¼*5prUBvxpTl5q)lmcnpxe(¥lh_?j&jre¤ie6cbcfUDij&`n_e?vxTlmjx`be?_#jxeV`fcfcfoapxjxvlmjxUl
lhvxjr`nioScnlhvªlhpUBij&emjQSUie6_?jxvxehce¥dÄ6e6v&U£al6TVacbUlXg6e6lmcpwsLUDQal5¦`fe6oavªe6v&vrUBioavpx`be?_¤sUBQal5¦`be?oav
~`fpScnl5q`f_SglhcbcLjxQSUjxvlhiU$UD¦hUB_6jpvxUcnlmjrUBVjreXlg6e6lmcSU£SUDioajr`fe6_`n_e6_SUkpxjrUBgh`f¦hUDpwldT(e?vrU$g6cbe?salmc
`nSUBl:em$jxQSU)ghe6lhcjxQlh_yroapxj(pQSe¥$`f_ag-jQSU#UD¦hUD_?jpd¥kQSUD_ jQSUq lhUBlhvd`n_ jxQSU)U£SUDiDoSjr`fe6_¹QS`npxjre6vxqh
z_SUUB¸Ä6jQSUq¤l6vrUk_Se6jw_SUBiUDpplhvx`bcfq(ie6_?jr`fg6oSe?oap=`n_¤jxQaUjxvlhiUh®P$QSU_oaT(sUBvem¸jvxl6iUkUD¦hUD_?jpwvxUcnlmjrUB
jxeKl:gh`f¦hUD_§ghe?lmcil6_ÀsLU¤¦hUBvrqKcnlhvxghU =Åe6vU£al6TVacbU6ĸe6vl-g6UD_SUBvxlhjrUlh_aÁjrUBprjdavxehg?vxl6T-ĸjxQSU¤g6e6lmc
¥kQa`fi QghUB_SUDvlmjxUDp&jxQSUpxehcnoSjx`be?_iDlh_-pxoaiDiUDUD:Tlh_?q#jr`nTVUDp5?¼
&ÁU-iDlh_ ÃAvxpxj(ie6TaoSjxUlK¾A´xµz¯w°b³(emjQSU)g6e6lhcwU£SUBioSjx`be?_¹¥kQS`ni Q gh`f¦hUBpjQSU_oaT(sUBvXehjxvlhiU
UD¦hUB_6jp(vxUcnlmjxUD©jreÁjxQSU:gh`f¦hUB_¹ghe?lmc8 P$QSU:oaprUBvV¥$`bcfcjxQSUB_ l6px¢ jxeÁpxUU-¥kQalmjQSU-UDpxjr`nTlmjrUBpVjre¹sU
vxUDl6pre?_alhsacbU6
!Le6v#U£alhTScfUhÄ$cfUj)oap-lhppoaTVUKjxQalhj)jxQaU§oapxUDv#¥lh_?jp¤jre `f_?¦hUBprjx`bg?lmjxU-jQSU§U£SUDioajr`fe6_"emdg6e6lmc
-<B 9&91! ' ('('"' 3ÆÅvxe6TOjxQSUÆ}«¬toSUDUD_"avxehg?vxl6T gh`f¦hUB_ `n_ lhUB_aS`b£|P$QSU
vrehÃcbUeh`fjxp$U£UBioSjx`be?_
9 -<B <&1! ' *'>'*'F3
92 B
B 9
`n_aS`nilhjrUBp^jQalmj`fjdpxoaiDiUDUDapdW jr`nTVUDp=ÅjQSUDvxU¤lhvxUVW 'rU£S`fjB)(UD¦hUD_?jp$?lh_a§jxQalhj`bjdoScfjr`nTlmjrUDcbqÆÅlm`fcfp
=3`bjp$pre6cfoajr`fe6_apQal5¦6U^sLUUD_U£aQal6oapxjrUD?¼=P$QS`np$avrehÃcfU^`nppxo#i`bUB_6jjxe(g6Uj$lÃAvxpxjª`nSUBl(ehjxQaUg6cbe?salmc
sLUDQl5¦?`fe6ov®em -<B 9&1! ' >'*'"' 3hP$QSUk`n_e?vxTlmjx`be?_VjxQalhjªW avxeemÅp=¥&UDvxUkLUDvre6vT(UB
jxUcfcfpwjxQalhjjxQaU^ie?vxvxUDij=_?oTXsLUDvehUBvxT(oSjxlhjr`fe6_apQlhpwsLUUB_¤UBvze?vxTVUBVsLUe?vrUjxQSUkU£SUDioajr`fe6_VÅlm`fcnp
P$QaUªavxehg?vxl6T ¥&l6ppoaaLe6pxUDdjxepoaiiUUDP$QSU&oaprUBviDlh_jxQaUD_XaUDi`nSUUD`bjQSUDvjrei QSUDi ¢^jxQaUªpxehcnoSjr`fe6_ap
eh -<B <&1! ' ('*' "' 3<=Å`8U6=jxQSUVW 'zU£`fjB)dU¦6UD_?jxp5?we6vjxe(ÃAvxpxj$`f_?¦6UDpxjr`fg6lmjxU^jQSUÅlm`fcf`f_Sg
g6e6lhcfp&emjxQSUvre6g6vlhT-
P$QSU¤Le6vxjr`fe6_Àem&jxQSU`nTVacbUBT(UB_?jxlmjx`be?_§eh. &9- &¥kQS`ni Q§oprUBpXS`foT avx`fTV`fjr`f¦hUDp^e6c²«
cfe¥kpD®P$QaUvxUDpxjem®jxQSUvre6g6vlhT `fpprjlh_aal6vx)uwvxehcfehg¤ieSSU6
&<- &F9*!!&#"&3%$
?
& & 9 *!!&"&(' #& B 3 '
2 &% #' F !!&"&*'((')* '(('+ 2& '-, 33 '
.
F <- &F9*!=#& B >')* F'-+2&'-,30/
F 2 &%#' F !!&"&('1)*F(('1)*F '+2&(*'+2& ' , 32$
?
2 9 9-1! *' !&"&('$*'3* ('$2&*'$9#('=3 '
9- &"!$/& 3 '
9&<-&"!/ &('!&#"&>')* F(>')* '1+ 2& (('1+ 2& ',934/
F 2 &%#' F !=#!&#"&>')* F(>')* (>'+2& (>'+2& (>'(30/
uªvrUBS`fiDlmjxU && ÀTVe¦hUBp#jxQaUÀjvxl6iUÀLeh`n_?jrUBv)jxe©jxQaUÀ`n_?¦heSilhjr`fe6_"U¦6UD_?j#ehXjxQSU vxUU«
vxUD_iU-ghe6lhc3:F 2 &%#' F#TVe¦hUDp(jreÁjxQaU:_aU£SjjxvlhiUU¦6UD_?jVvxUcnlmjxUD©jreÁjxQSU:ghe?lmc =Å`n_ l
aUjrUBvxTV`n_S`nprjx`fi-¥l5q ? Īl6_a vxUjvr`fU¦6UDpVjxQaU-¦lhcfoSU:ehjQSUKioavvrUB_?jLe6vxj"|iDie?vxS`n_SgÁjre¹jQS`fp¦lhcfoSU
& 9-&¤`f_aiDvrUBTVUD_?jxp^jxQSUavxe6LUDv^ie6o_6jxUDvC=Å=£S`fjĸkUBSe)e?v,!Alm`fc?lh_KU`fjxQSUBv^pxjre?ap^`²wu®e?vrj^`fp
'zÅlm`fc)de?vvxUDiDoavxpx`f¦hUcfqiDlmcfcfp F 2 &% ' SuªvrUBS`fiDlmjxU
.
9-&F(UD¦hUD_?joalmcfcbq-TVe¦hUDp
jxeXjQSU"&lhcbcnP`nT(UU¦6UD_?jÄavx`f_?jpwjQSU`f_?¦heSiDlmjr`fe6_ehjxQSUghe?lmc8Ä?l6_a)vr`n_?jxpªjxQSUvrUBprjªemjQSUavrehÃcfU^lhp
vrUD¦?`fe6oprcfq#S`npxScnl5qhUB¸
}^ehjrUXjxQalhjklmcfcjxQSU(oaprUBvz«¡SUÃL_SUD:avxUDa`fiDlmjrUBpem®jxQS`npkU£alhTScfUlhvxUpQSe¥k_¸ UB_aiUdjQSe6pxUd¥kQS`ni Q
l6vrU$_Se6j=U£aScf`fi`bjxcbq_al6T(UBV`f_VjxQaUkU£aScnlh_alhjr`fe6_ap=l6vrUUD`bjQSUDvªa`foaT avx`fTV`fjr`f¦hUBp®e6v=uwvxehcfehgdsaoa`bcfjz«¬`f_p
-¸ w('
¬jxQSUdalhjxlVprjvxoaijxoavxUDpªemjxQSUjxvlhiUD#vre6g6vlhT lhvxU^ie6TScf`fiDlmjrUB¸Ä`²®avxUDS`nilhjrUDp&Qal5¦6U^Tlh_?q#lhvxg6oS«
TVUB_6jpwe?v=`blhvxg6oaTVUB_6jpie?_?jxlm`n_¦hUBvrqVcfe6_Sgcf`nprjpÄ?`bjª`fpªcf`f¢hUcfq(jQalmj&oaprUBvxpw¥$`bcfcË_Sehjª¥&l6_6jwjreU£Sl6TV`f_SU
lhcbcjxQSUl6vrg?oaTVUD_?jxp$l6_a)jQSU¥kQSe6cbUdehjQSUDTlmj$UBlhi QU¦hUB_?j$em®jxQSUdjvxl6iUhw ¡j$`fpklhcfpxe¤e?pxpx`nsScbUdjQalmj
l-g?vxl6aQS`nilmc=S`npScfl5q§emjxQSU#alhjxl-¥&e6oScnÀsLU#TVe6vxU`f_e?vxTlhjr`f¦hUjxQal6_ luªvre6cbe6g-jxUDvT-#|pTlh_?q
aUDsaoSg6ghUBvxp^SeÄS`noaTlmcfcfe¥kpoapxUDvpkjxe-iDoaprjxe6TV`fÂUXjQSUprjlh_aal6vxKa`fpScnl5q-ehªlhvxg6oT(UB_?jxppxe)jQalmj
jQSU(lmjxllhvxUXlhsprjvxl6ijrUB¸& Qalhj^`np_SU¥l6se?oSjS`noaT¨`npjQalmj¥kQSUD_aU¦hUBvkjQSU(oapxUDvp_SUUBÆTVe6vxU
aUjxlh`bcnp=lhsLe6oajjQSUkalhjxle6v®lS`32AUBvrUB_6j=vxUDavxUDpxUD_?jlmjr`fe6_XjxQSUDqXil6_(vxUjvr`fU¦6U&l6_aVavr`n_?jlh_?qlhvxg6oT(UB_?j
¦lhcfoSU6ÄS¥$`bjQ:lh_?q¤e6vTlmjDĵ§±a³ /
!Le6v&U£alhTScfUhÄcfUjoaplhppxoT(U^jxQalhjªcf`nprjp&l6vrUioavvxUD_?jrcfq¤S`fpScnl5qhUB¤`f_)jxvoa_aiDlmjrUB¤e?vxT-=|ppxoT(U
lhcfpxe:jxQalhjdjxQSUoaprUBvdSeUDp_aehjd¥lh_?jjreÆi Qal6_SghUjxQa`fppxUjxjr`n_SgÆsLUDil6oapxU¤`f_ÁjxQaU)vrUBprjdeh&jQSU¤jxvlhi`f_ag
pxUDppx`be?_ cb`nprjp(l6vrU`f_SUUB jreeÀcfl6vrg6U#jreÁsUÅoScfcbq S`npScfl5q6UD¸ÁP$QSUD_Ä=¥kQS`bcfU-jxvlhi`n_SgÆjQSU:pxl6T(U}k«
toSUDUD_ap)avre6g6vlhT l6p#avxU¦`be?oapxcbq6Ä&QSUÀilh_"vxUjvr`fU¦6UKjxQSUK¦lmcnoSUÆehjQSU§l6vrg?oaTVUD_?j¤emdpxlmU@#S-¥$`fjxQ
a`foaT avr`nTV`bjx`b¦6U Ë
&- 9B $ - /
3 #@ *! (' ' /// F3 < 2
&- 9B $ "!>' *' #F30/ &' F &B % <22
'9
&- 9B $ "!30/ &' F ' <
(' '1' #
}^ehjxUVjQalmjoa_S`bÃLiDlmjr`fe6_Álh_Àal6vrjx`flhcbcfq:`f_prjlh_?jr`nlmjxUDÁprjvxoaijxoavxUDpUB_alhsScfUoaprUBvxpjxe-vxUjvr`fU¦6U(U£Sl6ijxcbq
¥kQlmjjxQSUDq_SUDUD¸=}^eU£SjxvlT(UBi Qalh_a`fpTp$lhvxU_SUDUDSUB:lmj$oapxUDvcfU¦hUDc3
{Ujoap^lhppxoT(UXjxQalhjkjxQSU(oaprUBvQal6p$¥kvx`bjxjrUD_Kl#uwvre6cbe6g¤avre6g6vlhT =% &
.
6?=jre¤g6vlhQS`²«
iDlmcfcbqa`fpScnl5ql^cf`nprj®emËe?pr`fjr`fe6_pe?v®l £ sLe6l6vx¸9U$il6_jQSUD_avxehg?vxl6T1jQSUehcfcbe¥$`n_Sgie6TTlh_
jxe`f_?jrUDg6vlmjxU %&
.
F`f_?jxe#a`foaT-=uwvxUDa`fiDlmjrU -<B <&6 `npklmcnpreoapxUDvr«¬aUÃL_SUB¸
2F-# 2$
?
9-2(! 963 ' &9 ' 2@& 6
"!F3 ' '9@& 6 :BF
- <B 9&"! ' ('('1"'1 3 ' % *@&2
%&
.
! 30/ 2- -%
2F-# /
^Uil6_)jQSUD_:oapxUjxQSU 2F-# ^ie?TVTl6_a)e?_)jQSU q6
&- 9B $ - (')2F-# /
3 #@ *! (' ' /// F3
:k -¸ wX'
P$QaUavxU¦`be?oap=U£Sl6TScbUkl6sapxjxvlhijxUDVjrUBvxTpw¥$`bjQS`f_¤lgh`f¦hUD_VUD¦hUD_?jD|^saprjvxl6ijx`f_SgdjQSU^lmjxlLe¥ eh¸l
vre6g6vlhTiDlh_#sLU^l6p`n_6jxUDvxUDpxjr`n_SgXl6pwlhsprjvxl6ijr`n_Sg`fjxp&ie?_?jxvxehce¥d"!e?vwU£alhTScfUhÄ?jrejvxl6i ¢(ld¥kvxe6_ag
pxehcnoSjx`be?_¸ÄS`bjkie6oScn-sUoapxUÅoacjre#¢_Se¥ ¥kQaUDvxUie6TaoSjxUD-¦lmcnoSUDp$l6vrUdie6TV`f_ag(Åvxe6T-
|^_:`f_apxjxl6_?jr`nlmjr`fe6_-avxemÃcfUhÄapx`nT(`fcnlhvjrejQSUghe?lmc¸avxemÃcfUem=prUBijx`be?_Äil6_)jxUcfc¥kQSUjQSUDvl(¦lhcfoSU
l6aLUDlhvx`n_Sglmj&lh_'rU£S`fjB)kU¦6UD_?jw¥lhpªlmcnvrUBlhSq(`f_apxjxl6_?jr`nlmjrUB#lmjª`f_?¦6eiDlmjx`be?_(jx`fTVU:=3lhjwcfUDlhpxjªlhvxjr`nlmcfcbq ?¼·
¥kQaUjxQaUDvV`bj¤ie6TVUDp(Åvxe6T oa_S`bÃLiDlmjr`fe6_ =3lhjVcfUDl6prjal6vrjx`flhcbcfq ?¼·&e6v(¥kQSUjQSUDv`fj¤ie6TVUBpÅvxe6T poasSg6e6lmc
vreemÅp=3lmjcbUBlhpxjalhvxjr`nlmcfcfq ? !e?v¸U£al6TVacbU6ÄBjlh¢?`n_Sg$jxQSU"'zU£`fjB)UD¦hUD_?j¸ehF"! (' 1 (' "' F3Ä
l(ghe?lmcAemjxQSUdavxU¦`fe6oapxcbq¤TVUD_?jx`be?_SUD)}k«oSUUB_apavre6g6vlhT-Ä?jxQSU`n_aprjlh_?jr`nlmjx`be?_)avxemÃLcbU^emjQSUjxQS`nv
l6vrg?oaTVUD_?j&cbee6¢p$l6p&ehcfcbe¥kpD
#* 9<(! (' *'#"'%1 F3
&- 9B $ < 9 <&9-&F<*!34/
9 &B &B $
<F 9&9 BF ! F3
&:- &&
<F92 9 $
<"!1' F"' 3 $ ?
"!1''30/
P$QaUicfl6oaprUoapxUD)lhjªoa_a`²q#jx`fTVU`fplhcfpxe(S`npScfl5q6UD¸®P$QS`npªvrehÃcbUie?oScn#sUjxQaUpxjxl6vrjx`f_ag(Leh`n_6j&eml
¥kvxe6_agXpre6cfoajr`fe6_#l6_almcfqSpr`npw`n_#jQSUpxl6T(U^¦hUD`f_#l6pwjQSU^Ålm`fcfoavxU^l6_almcfqSpr`np&S`fpiopxpxUD¤`n_)pxUDijr`fe6_ b6 !e6v
U£alhTScfUhÄ`blmcnoSU(¥&l6pklmcnvrUBlhSqjxQSUBvrU(lmj`n_?¦heSilhjr`fe6_-jr`nTVUhÄAjxQSUVlh_alhcbqSpx`fppxQSe?oScnK`f_?¦6UDpxjr`fg6lmjxUdjxQSU
ÅlhjxQSUBvilhcbc8·`²lmcnoSU#ie6TVUDpÅvxe6T jxQSU#poasSg6e6lhcfpdavxeemÅpDÄjQSU#lh_alhcbqSpx`fpdpQSe?oScf SUDjrUBvxTV`n_SU¤¥kQS`ni Q
poasSg6e6lhcfpoapxUDpjQSUie?vxvxUDpe?_aS`n_SgX¦l6vr`nlhsScfU6=8p$? ·SUjim
|Le6vxjr`fe6_em®jxQSUd`nTScfUDTVUD_?jxlhjr`fe6_em F< F9 9&99-&e6cbcfe¥kpD
< 9 9F9&9-&*!"%D 3%$
?
9- &"!* 3 '
%"!"%D1')*
3 '
& ' (!)*
3 '
'
>!
#< 3 '
% &&>!)* &F B3 '
9>!!"F3 '
299 9-1! *'!""' *', 1' 3 '
%"!"%D1'
3 '
299 9-1! *'!""' *'*' 3 '
%"!"%D1' #
3 '
< 9 < <"!=#
*'
*' )*
*' DF<F3 '
.
F < < < <*!$D<"'1)*
>'
F<# 9.' #
'
3 '
& &9-1!)* & B34/
¡jÃLvprji QSUDi ¢pjxQalhjjxQaUViDoavxvxUD_?j^U¦hUB_?jk`fpl6_ 'zU£S`bj)dUD¦hUB_6jD^uªvrUBS`fiDlmjxU %6# #vrUDjxvx`bUD¦hUDpjxQSU
_?jQVl6vrg?oaTVUD_?j=emËjxQaU$ghe6lhcS`f_jQSUiDoavxvxUD_?j®U¦6UD_?j®P$QSUB_(jQSUk¦lmcnoSU$¥kQSe?prU$`n_apxjxl6_6jx`flhjr`fe6_(`fpjxvlhi ¢mUB
`npi QSUDi ¢hUD:e?v^_Se6jsLU`n_Sg:l#¦lhvx`nlhsScfUhP$QSUicnlhoapxUX¥kQS`ni Q§QlhpsUDUD_§oprUBÆjre'rvre¦6U5)jxQSUVghe?lmc`fp
vxUjvr`fU¦6UD¸P$QSU¤i Qavxe6_Se6cbe6gh`nilhc_oaTXsLUDvehªjQSU#ioavvxUD_?j^UD¦hUB_6j`npdvrUDjxvx`bUD¦hUB§pxe-jQalmjdjQSU¤lh_alhcbqSpx`fp
iDlh_KUD¦hUB_6joalmcfcfqÆvrUDjxoav_Kjre-`fjXP$QSUV`n_6¦6eSilmjx`be?_Æ_oaTXsLUDv`npvrUDjxvx`bUD¦hUD§prejxQalhjjQSUie6vvxUDpe?_aS`n_Sg
'xoa_S`bq )l6_a 'riDlmcfc*)U¦hUB_?jxp$il6_sLUvxUjxvx`fU¦hUB¸|j$UDl6i Q)UD¦hUB_6jjQSUd¦lmcnoSUdem®jxQSUdjvxl6i ¢mUB)lhvxg6oT(UB_?j
`npkvxUjvr`fU¦6UD¸&P$QSUD_, < <<(SUDjrUBvxTV`n_SUDp$¥kQa`fi Q:`fjrUBTVplhvxUvrUBpxLe6_apx`nsScbUe?v$jxQaU )*F
l6_a
.
F < < <<d¥kvr`fjrUBpjxQSUl6sapxjxvlhijlhp$a`fpScnl5qhUD-lhsLe¦hU6
#. ,#(. k' -¸ wX'
8q 'xsaoSgprqSTSjre?T)¥ªUSUD_aehjrUlXicfoaU^jQalmj&jxQSUdavxehg?vxl6TÐ`npTV`fpsUBQal5¦`f_ag"8oag(S`nlmg?_Se6px`fp&pxjxlhvxjxp
¥kQaUD_XlsaoSgpxqTSjxe6TQlhp®sUDUD_(SUjxUDijxUD¸=P$QSUS`nlmg?_Se6px`fpjxl6px¢AÄ5Åvxe6T e?oavLeh`n_?j®em¦`fU¥dÄhie6_apx`fpxjxp
eh¶ 06³´¼º ±¡¿0 ;^QSe¥"jxQSUprqSTSjxe6T QalhpªsUDUD_#vreSaoaiUD¸Ä?cfeiDlmjx`f_SgXjxQSU^UDvvre?_SUe?oapScnlhiU6=3p5?¼Älh_
ã`n_SgÆjQSUDT-§|prqSTSjxe6T(«¬vr`f¦hUB_Ál6sapxjxvlhij(pxQSe?oScn U£aScnlm`n_¹QSe¥ jxQSU-saoSg§pxqSTVajre6T Qal6pXsLUUB_
vreSaoaiUD¸ z_ S`foTjQSUDvxUlhvxU(iovxvxUD_?jrcfq-j¡¥ªe-prqSTSjre?Tlh_alhcbqSpxUDpDÄAl)jxvlhi ¢?`n_Sg#emwÅlm`fcfoavxUDplh_
l6_l6_almcfqSpr`np&em=lhalhvxUD_?jrcfq#_Se6_S«8jxUDvT(`n_alhjr`n_SgU£SUDiDoSjr`fe6_apD
¬lh_ U£SUDiDoSjr`fe6_©Ålm`fcnpjxQSU:ÃLvpxjVjQS`n_Sg6pjxeÁU£alhTV`f_aU:l6vrUÅlm`fcf`f_Sg g6e6lmcnp>=3iDlmcfcbUB 'zÅlm`fcfovrUBpB)`n_jxQSU
e6cbcfe¥$`n_SgD? 9^e¥ªUD¦hUDvDÄhjQSUDvxU^iDlh_#sLU¦hUDvxqTVl6_?q(Ålh`bcnoavxUDpD=P$QSUq¤il6_a_Se6jªsLUpx`fTScfq¤S`npxScnl5qhUBe6_SU
lmjrUBvjxQSUde6jxQSUBv=P$QSUpxUjemÅlm`fcnoavrUBp$Qalhpjxe¤sUÃcfjrUBvrUB:lh_a-prjvxoijxovrUB¸
P$QSUÆÅlm`fcfoavxUDp#jxQalhj)¥&UÆlhvxUKUDpUBi`nlmcfcbq `f_?jrUBvrUBprjxUD"`n_ lhvxU¹°b³¼¿ ¿ Ó°í¶S´x³º |cbUBlÅlm`fcnoavrU§`fp#l
g6e6lhc$¥kQS`fi QÅlh`bcnp#¥$`fjxQae6oSj)l6_?q lmjxjrUBTVaj#jre©pxehcf¦hUKpoasSg6e6lmcnpD1 ¡j#`np#UD`bjQSUDvsUBilhoprUÆoa_a`²ÃLiDlmjx`be?_
Ålh`bcnpe?vsLUDil6oapxU#`bj(`fpVlÆpxqSprjxUDT avrUBS`nilmjxU¤¥kQSe6pxU#U£UBioSjx`be?_ÁÅlm`fcfpDÆ|cfUDlmÅlm`fcfoavxU#`npXoapoalhcbcfqÁl
g6eepxjxlhvxjr`n_Sg¹Leh`n_6j)emdl¹salhi ¢?jxvlhi ¢?`n_SgÀvreSiUBpxpD z_aaUUDÄ&cfUDlm^Ålh`bcnoavxUDp¤l6vrUKjQSUÆsalhpx`npemdjxQSU
_aUg6lhjr`f¦hUU£aScfl6_almjx`be?_ape6v^U£aUBvrjpxqpxjrUBTpeh Ï l6oavxUc8ĸDh 8 ^e¥ªUD¦hUBvÄLjxQSUBvrUTV`bg?Q6jsU¤Tlh_?q
cfUDlmÅlh`bcnoavxUDpDÄalh_a-`n_6¦6UDpxjr`fg6lhjr`n_Sg(jQSUDTprjx`bcfcvxUDtoS`nvrUBppre?T(Udpxjxvoaijoavx`f_Sglh_)ÃLcbjxUDvx`f_SgL
|_lmjxovxlhc=¥&l5qÆjxeÆprjvxoijxovrU¤lh_§ÃLcbjxUDvd`npdjreÆa`fpScnl5q§jxQaUÅlm`fcfoavxUDp`f_ l:jre?«¡Se¥k_§ÂDee6TV`f_ag
¥l5q:lhpk`n_KjQSU'xvxUjxvxe6pLUDijx`b¦6UdÂee6TV`n_Sg)XpxqSprjxUDT¨em `nprUB_aprjlhSjDÄD66 ¬ "ªe?_apr`nSUBvr`n_Sg#jQSUX¥kQSe6cbU
|}~ #h^ U£SUBioSjx`be?_jvrUDUhÄl6_a:prjlhvxjr`n_SgVÅvre?TjQSUdjre?cfU¦6Ucg6e6lhc=8p$?wjxQaUÅlm`fcb`n_Sg#poasSghe?lmcnpem®jxQSU
_aU£SjªcfU¦6Uc¸lhvxU^a`fpScnl5qhUD®P$Qa`fp&`nTVacb`ni`fjrcfq)QS`nSUDpl5¥l5q¤pre?T(UÅlm`fcb`n_SgVghe?lmcnp jxQSe?prU¥kQS`ni Q)Qal5¦6U^l6_
l6_aiUBprjxe6v¸g6e6lhcmjxQalhjU¦6UD_?jxolmcfcbqpxoiiUDUDapDP$QSUBprUÅlm`fcfoavxUDplhvxUpxlh`fjxesLUw`nvxvxUcfU¦lh_?j¸`n_djxQaU"'xvxlhjr`fe6_alhc
aUDsaoSg6gh`n_Sg)dprqSpxjrUBTem uUBvrUD`fvlaÄËBh ¬P$QSUq-T(`fg6Q?jkl6ijxolmcfcbq-sUXvxUcfU¦l6_6jjxeÃL_a:jxQaUXsaoSgLÄsaoSj
`n_lÆÃLvpxjVl6aavxe5£`nTlmjx`be?_ jxQSUDq©Qal5¦hUe6_Scfq¹cfeiDlmc$vxUDLUDvioappr`fe6_pXe?_ jxQaU-e¦6UDvlmcfcwU£UBioSjx`be?_¸ |j
UBlhi QVprjlmg6U&ehAjQSUkSUBsaoSghg6`f_agpxUDppx`be?_¸Äm¥&U$¥$`bcfcS`nprjx`f_ag6oS`npxQsLUj¡¥&UUB_
-
nº5 °f³=Ålh`bcnoavxUDpDÄhlh_a>
-
nº5 °b³
Ålh`bcnoavxUDp,=3QS`naSUB_#`n_apr`nSUpxosSghe?lmcLvreemjvrUDUDp5?¼ z_)lÃLvxpxjªpxjxlhghU6Ä6¥&U^l6vrUk`n_?jrUBvrUBprjxUD¤e?_Scbq`n_¤¦`fpx`nsScbU
Ålh`bcnoavxUDpDÄS`3Uh®Ålh`bcf`n_Sg¤pxoasaghe6lhcfp&ehÅlm`fcf`f_Sg¤g6e6lhcfpD
Ï Qae¥$`f_Sgde?_ScfqXjxQaU$Ålm`fcfovrUBp=¥kQS`ni QVl6vrU¦`npr`nsScfU$Åvre?TÐlg6`b¦6UD_Vghe?lmcalmcnvxUDlhaqXvrUBaoaiUDp®jxQaU_oaTXsLUDv
eh®Ålm`fcfoavxUDpjxQalhjjQSU(oapxUDv^Qalhpjre#U£alhTV`f_aUXlmj^UDlhi QKpxjxlhghU6 ^e¥ªUD¦hUBvÄ_aehj^lhcbcjxQSU(¦`fpx`fsacbUXÅlm`fcfoavxUDp
Ql5¦hU®jxQSU&pxl6TVU=`f_?jrUBvrUBprjDP$QSUBvrUl6vrU=g6e6lhcfpAÅlh`bcf`f_agprjvxlh`bg?Q?jËl5¥l5ql6_aghe?lmcnpAÅlm`fcb`n_Sgke?_dsalhi ¢?jxvlhi ¢?`n_Sg
e?_Scfqh P$QSU:ÃLvprje?_SUDp`n_S`fjr`nlmjrUKjQSUKsalhi ¢?jvxl6i ¢6`n_SgÁavreSiUDpp¥kQS`bcfU:jxQSUKcnlmjxjrUBv¤T(UBvrUDcbq pxoapxjxlh`f_ `fj
^UD_aiUhÄ$e?_SUÆTVe6vxUÆcbUD¦hUDckemlhsprjvxl6ijr`fe6_"iDlh_"sUÁlhaaUD¸ &ÀUÁS`nprjx`f_Sg?oS`npxQ sLUj¡¥&UUB_ 0Ó´x³¼»±^lh_
0Ó´x³¼»±¸Ålm`fcnoavrUBp=|ghe?lmc¸S`nvrUBijxcbq¤Ålh`bcnp`b`fj&Ålm`fcfp¥$`fjxQSe?oSjksLU`n_SgU¦hUBvavre¦6UD¸=|ghe?lmcË`n_aS`nvrUBijrcfq
Ålh`bcnp`b`fjÅlm`fcfplh_a`bjkQlhp$sLUUD_:avxe¦hUB)lhj&cfUDl6prj$e?_aiU6
&ÁU)Qal5¦6UaUDpx`bg?_SUD lh_À`nTScfUDTVUD_?jrUB `f_©a`foaT lKie?TVTl6_a ilmcfcfUD 'zcfUDlmªÅlh`bcnoavxU¤jxvlhi ¢?`n_Sg
=x° ¼±?) = ¡jª¥&e6v¢pe6_)l(S`nvxUDijxcbqVÅlh`bcf`f_agXghe?lmcËlh_a)vrUDjxvx`bUD¦hUDp&lmcfcAjxQSU¦`fpx`fsacbUS`nvrUBijrcfqVÅlm`fcb`n_SgpxosSghe?lmcnp
eh=jxQSUXvxUUBvrUB_aiUdg6e6lhc3& ¬=jxQSUBvrU`npke?_SUde6_acbq =ÅjQS`fp^il6prUd`np$ÅvxUDtoSUB_6j5?° ¼±`fp^vrUBioavpr`f¦hUDcbqlhaScf`fUD:jre
jQS`npXpoasSghe?lmc8# ¬kjxQaUDvxU#lhvxU#prUD¦hUDvlmcÅlh`bcf`f_ag§pxosSghe?lmcnp° ¼±ªS`npScfl5qSp=8lÆavxemÃcfU¤em$?jxQSUBTÄ=l6_a jxQSU
oprUBvdSUDi`fSUBpQSe¥ jreKg6e-e?_¸# ¬$jxQaUDvxUl6vrU#_ae6_SUjxQaU#jxvlhi ¢?`n_Sg-vreSiUBpxp`npÃL_a`fpQSUD¹l6_aÁjxQSU¤cfUDlm
Ålh`bcnoavxU`fp$S`npScfl5q6UD¸
P$QSU^vrUBpxoScfj=emËjxQaUkcbUBlAÅlm`fcfovrU$jvxl6i ¢6`n_Sge6_ldpx`fTScfUsaoaghghUBavre6g6vlhT ¥kQS`ni QVjxvx`bUBp=jre(pr`nTScb`bq
poaTTlmjx`be?_ap&ehcfcbe¥kpD=P$QS`np$avre6g6vlhT `npcb`npxjrUD-`n_:lhaLUD_aa`²£ 8
4 B- <"! ('3
<<F $) 9 (! 34/
( 7 "!=(' ' 1"'3 '
3
(! 3
7 @9 (! 3
( 7 2&@"!=(' ' 1"'3 '
3
9(! *' 1"'
3
@9 9(! *' 1"'
3
( ( 7 9 "!=(' ' 1"'3 '
3
<<F $) < "! <F30/
<(!$D1'D6#" E"' D6#" EF3%$
?
'
" @ " /
<(!$D1' E"'3 E 3%$
?
F9(!$D1'E"'$E 34/
!Avre?TcfU¦hUDc=jre¤cfU¦hUDc jxQSUBvrU`np$e6_acbq#e?_SUd¦`fpx`nsScbUdS`nvxUDijxcbq)Ålm`fcb`n_Sg¤poasSghe?lmclhj$UDlhi QcfU¦hUDc3|j
cfU¦6UcaÄSjxQSUBvrUdlhvxUdW(poai Q-pxosSghe?lmcnp®P$QSUoapxUDvTXoprjkSUBi`nSU¥kQS`ni Q)Ålh`bcf`n_Sg¤savxl6_ai Q#jxe`f_?¦hUBprjx`bg?lmjxU
ÅovrjQSUDvD
¡j#pxUUBTVp¤vxUDl6pre?_alhsacbU-jxQalhj *! 3#Ålh`bcnpD kUg?lhvS`f_agÀjQSU:Ålm`fcfovrU:em F9(! ('31"'
3Ä
jQSUcb`npxjr`n_Sg:em 9 6# )`npjxQSUB_§UB_Se6oSg?Q§jxe-o_aSUDvpxjxlh_§jQalmjU`fjxQaUDvdl-salhpxU¤icnlhoapxU(`npdTV`fppx`f_Sg-jre
o_S`²q <(! *' "' 3(e?vdjxQlmj 1§pQSe?oScf¹Ql5¦hU¤_SU¦6UDvl6aLUDlhvxUD l6pprUBie?_a lhvxg6oaTVUD_?jdeh 9A
}^ehjklhcbcjxQSUXiDlhpxUDp$l6vrUdlhpprjvxlh`bg?Q6jre6vx¥&l6vxlhp$jQS`np$e6_SU6ª z_?¦6UDpxjr`fg6lmjx`f_agVjQSUcfUDlmÅlh`bcnoavxUDpkSeUBpk_Sehj
_aUDiUBpxplhvx`fcbq-e6`f_?jkjxe#jxQSUVsaoSg-saoSj`fj`npopxoalhcbcfq:l#pr`fg6_a`²ÃLiDlh_?jkpxjrUDÆjre¥lhvapkoa_aaUDvprjlh_aS`n_Sg¤¥kQ?q
jQSUdU£SUBioSjx`be?_)`np&Ålm`fcb`n_SgL
P$QSU#iDoavvrUB_6jd`nTScfUDTVUD_?jxlhjr`fe6_ÁemjxQaU¤cbUBl&Ålm`fcfoavxUjxvlhi ¢?`n_SgKie6TTlh_À`np -cb`n_SUDpcbe?_Sg)|
TVe?vrUdSUDjxlm`fcfcbUBSUBpxiDvr`nSjx`be?_iDlh_-sUe?oa_a-`f_ ~oilhppx]hĸD66W ¬
&ÁUdgh`f¦hUQSUBvrUdpxe6TVUdSUjlm`fcfp$ehjQSUlh_alhcbqSpx`fp&eh®l6aalhvxUD_?jxcbq#_Se?_«¬jrUDvTV`f_lmjr`n_Sg¤ie?TaoSjxlhjr`fe6_apD
_Scfq lhvxjxp¤ehjQSUKjxvlhiUÆlh_a"pxe6oaviU-¥kQS`ni Ql6vrUK`nTe?vrjlh_?jjre oa_SUDvprjlh_ajQSUK«¡e?pxpx`fsacbq
UB_aScfUDppz«¸cfee6(¥$`bcfcasUkvrUBprUB_6jxUDXjrejxQSU$oapxUDvDoav®_Se6_«¬jrUBvxTV`n_almjx`be?_Xl6_almcfqSpr`npcbeSilhjrUBpe?_SUcbee?S`f_ag
lmjrjxUDv_K`n_KjxQSUie?TaoSjxlhjr`fe6_Kjxe)jxUcfcjQSU(oprUBv djxQSU(cbee?S`f_agavxeSiUDppkeSiDioavp^ ¡j^g6UD_SUBvxlhjrUBp
l6_Ælhsprjvxl6ijrUBK¦hUBvxpx`fe6_:emªjxQSUjxvlhiU(l6_aÆpxe6oaviU(¥kQS`fi QÀQSUcnapjxQaUVoapxUDv^jre:oa_aaUDvprjlh_a jxQSU
cfee6S`n_SgÆavxeSiUBpxppxjxl6vrjplh_¹ie6_?jx`f_oSUBp-{l6prjDÄ`fjjxvx`fUDpjxeKÃL_a¹l§saoSgÆ¥kQS`ni Q U£aScnlm`n_ap ¹jxQSU
vre6g6vlhT SeUDp_SehjVjrUBvxTV`n_almjxUh©|¨SUDjxlm`fcfUD©aUDpivx`fSjx`be?_ ehjxQSUKlhcbg6e6vx`bjQaT oaprUB jxeÁSUDjrUBijjxQSU
cfee6S`n_SgÆalhjrjxUDv_¸Äeh$jxQSU-S`2ËUDvxUD_?jj¡qSLUDpXem$cbee?aplh_ em$jxQSUsaoSg§QSUBoavx`fpxjr`nipiDlh_¹sLU¤e6o_a¹`n_
wTSU Ð~oaiDlhppr]6ĸD6 ¬
P$QSU#vxUDpoScfjdem$l:cbee?Àl6_almcfqSpr`npehcfcbe¥kpD#P$QSU#l6_almcfqSprUBÀavxehg?vxl6Tie?TVoSjrUBplh_aiUDpxjre?vxpDÄ`fjd`fp
cf`nprjxUD-`f_-lhUB_aS`b£"^4!®`fvpxjÄal¤ie?TaoSjxlhjr`fe6_-lhsapxjxvlhijª`np$g6`b¦6UD_
4 9 - F *!=2#' <2F3
9 <&(! 1' 2#'F<2F3
#* 9 <&(!&9%.' 2#' 2F3
F"!&% 3
9 F"!&% 3
#@ #* < &(!1' 2' <2F3
///
7 7
# @ 9< &*! 1' 2#' <2F3
7
# #* 9< &*!&%1' 2#' <2F3
#3 7 7 #* 9 <&(!- "' 2#'F<2F3
#3 ( 7 @%*! 1' - F3
#( 7@9@%*! 1' - F3
7( 7
# #* 9< &*! 1' 2#' <2F3
///
7
@ &(! "' 2#'F<2F3
7
#*F &(!&%.' 2#' 2F3
7 7
# #* 9< &*!- "' 2#' <23
(# # %(! "')- F3
# #@ %(! "')- F3
* &(! "' 2#'F<2F3
P$Qa`fpdie6TaoSjlmjr`fe6_Álhsprjvxl6ijjxUcfcfpjxQalhjjQSU¤e6_acbqÆl6_aiUBprjxe6vp^eh 2#' 2-¥kQS`ni QÁlhvxUVie6TaoSjxUDÁlhvxU
&%Ælh_a - AP$QaUie6TaoSjlmjx`be?_KÃLvprj^Ålm`fcnp^jxe-vre¦6UXjxQlmj &9%K`npl-¢?`f_agXP$QSU 9< &
vrUBS`fiDlmjxU#ilh_ÁjQSUD_¹sal6i ¢?jxvlhi ¢Klh_Áie6TaoSjxU#`n_¹lKvrUBioavpr`f¦hU¤iDlmcfcjxQalhj&9%§`npXl6_ lh_aiUDpxjre6veh
2#' <2X¥kQS`ni Q)vre¦6UDpªjxQalhj1- V`nplh_)l6_aiUBprjxe6vªem2#' <2L"e¥&U¦6UDvwjxQSUdie?TaoSjxlhjr`fe6_#Ålm`fcbUB#jre
ÃA_aKlVÅlmjQSUDve?v -AP$QSU &avxUDS`nilhjrUdsalhi ¢?jvxl6i ¢?plhg6lm`n_-lh_aKlhg6lm`n_)ÃL_a:jxQaUXpxl6TVU
pxehcnoSjx`be?_:¥kQS`fi QÆcbUBlhapjre#jQSU(plhTVUÅlh`bcnoavxUhÄAlh_aÆlhg6lh`f_-jxQaUVplhTVUXsal6i ¢?jxvlhi ¢?`f_agsLUDQl5¦?`fe6ovkP$QSU
vxUcnlmjxUDKicfl6oaprUBp^l6vrUXjxQSUB_Æcf`fpxjrUBK`f_§jxQSUVpre?oaviUXl6saprjvxl6ij^¥kQS`fi QÆ`fp^ghUB_SUDvlmjxUDKpx`fT(oScbjlh_SUDe6oapxcfq-s?q
jQSUlh_lmcfqpx`npÄSlhp&e6cbcfe¥kpD
E
/ #&D+&)+ $
-F >! 3 $ ?
< &(!1' 3 '
(! 30/
E
/ "! /+)+ <#D&)"! 30$
9 <&(!1' 3 $ ?
% (!1' 30/
9 <&(!1' 3 $ ?
< &(!1' 3 '
% (!1' 30/
,D <E "! /+)+ <#D&)"! 30$
F"!$& 30/
%*!&%1')2' <2F30/
%*!- "' &% 30/
%*!$ & (' - F30/
P$QaUDvxUV`npl6_§e?s6¦`fe6oapdsoSgK`f_ÁjQSU¤cfl6prjicfl6oapxUVeh % - KpQSe6oScnÁsU - L:& QalhjjxQSU
ie6TaoSjlmjx`be?_§lhsprjvxl6ijpxQSe¥kpDÄQSe¥&U¦6UDv^`fpjxQlmjU¦6UDvxqKjr`nT(U % -¥$`fcbc®Ålh`bc=jQSU¤avre6g6vlhT¨¥$`fcbc
UB_aScfUDpprcfq:cbee?¸^P$QSUvxUDiovxpx`b¦6UicnlhoapxUXeh.F< &)TXoapxjsLU(vxU¦`nprUB¸ÄËTVl5qSsLUX`fjpQSe?oScf§_SehjsU
cfUjvxUDiovxpx`b¦6UhkPvxl6i ¢?`f_Sg¤jQSUsaoSgs?qKpx`fTScfqKprjxUDaS`n_SgjxQavxe6oSg?Q:jxQSU(U£SUDiDoSjr`fe6_Æ¥ªe?oScf§iUDvxjxlh`f_acbq
cfUDl6-jre#S`npxie¦hUBvU`fjxQSUBv$em®jxQSUXj¡¥ªe#avxe6sacbUBTVp$soSjk`fjk¥ªe?oScn-sLUXQal6vx)e6vl¤avre6g6vlhTTVUDv&jre#¢hUUB
sLehjQ©`n_T(`n_a¸ |¨j¡qSS`nilmc$iDlhpxU`npjreÁÃa£©jQSU:UDvvre?vX`n_ %Ál6_a jxeÁe6vxghUjVjre¹l6_almcfqSprU-jxQSU
vxUDiDoavpr`f¦hU4'zcfee6S`n_Sg )icnlhoprU6P$QSUB_jxQSUkiDoavxvxUD_?j®jrUBprjªilhpxUjrUBvxTV`n_almjxUDpDÄ6saoSj=jQSU_SU£Sj=e6_SU$¥$`fcbcLT(e?prj
iUDvxjxlh`f_Scfq:UD_aacbUBpxpxcbq:cfee6Ælhg6lm`n_¸·ËjxQaU(avxehg?vxl6TVTVUBvkjxQae6oSg?Q6jQSU(QlhKãUBKjxQaUVavxe6sacbUBT¥kQaUDvxUDlhp
QaUQlh-e6_Scfq¤Ãa£SUB-lhvxj&eh`fj
P$QSU¤l6ijxolmc=`nTVacbUBT(UB_?jxlmjx`be?_Æ`n_ S`foTemwjQSU#_Se?_«8jxUDvTV`f_alhjr`fe6_Æl6_almcfqSpr`npjxl6¢mUDpTVe6vxUVjxQal6_
! ! cf`f_SUBp