Reactive Objects

HAL Id: inria-00074026

https://hal.inria.fr/inria-00074026

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,

To cite this version:

Frédéric Boussinot, Guillaume Doumenc, Jean-Bernard Stefani. Reactive Objects. RR-2664, INRIA.

1995. �inria-00074026�

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

Reactive Objects

Fre´de´ric Boussinot , Guillaume Doumenc , Jean-Bernard Stefani

N˚ 2664

Octobre 1995

PROGRAMME 2

Calcul symbolique,

programmation

et ge´nie logiciel

! #"%$'&()(!*$,+.-0/&2131546&7

#8

$9&7

* :-0;

46*=<>"

*?4,

A@

+

CB 4,*

DEFHGEJICKLK#MONQP RSICT2UJVWT0XZY6K[FT]\3^_V=Ma`6bWEFHGEJICKLK:ICc\2FdeMJcG0fMJdW\2MgT2FHG\3UJ\3MJT

DEFihM)cgjlkmon,k

pICbb?FE>cSqWMEMrUs=M)E)Us=Mtdu,NHvHvwxPzyUJcF[WEM|{}H}H~P€NHbIGHMrX

‚eƒ…„r†C‡‰ˆWŠH†H‹ mŒdc>s=MŽE)MCIUJc\]_MOICbWbEF_IUs`XZY9X‘c)M)K’UrFKLb?FdM)d,cXSICE)Mgd=FcXZVWbWbFHXMrq“cFLMJ”9MJ•

U)VcMxICccs=MJ\–EQFr—Sd˜E™ICcMH`=[WVWcICEMO\]d=X‘cMiIqšq9E\]_M)dš[,YšI.T2FHG\2UCICT›UrFKLK“FdœUJT3F,U?`?qWM)ždW\–dG

GT3F[?ICT\–d=XZcJICd6c)XrŸŽ ¡s=MpMCIUJc\]_Mxy[9hMrUJcOj¢F,qWMJT0\]d6cE)F6q9VU™Mrqe\]d£c>sW\3XbICbMJEi`'\2XQICd¤F['hMrU)c

[IXMrq˜¥¦FE>KeICT]\2X‘KK:ICcUsW\]d=GecsM|E)MCIUJc\]_M|b?ICEJIq9\2GK¢Ÿ“mod¤cs\3XQK“F,qWMJT§`?K#MJcs=F,qWXgUiICd¨[M

\–d,_F_Mrq£V=XZ\–d=Gx\]d=X‘cJICd,cJICd=MrFV=XSd=Fd•¦[WT3F,U,\–d=G#XMJd=q¢FEqWMJEXr`=—SsW\2Us¤ICE)MO\–KLK#Mrq9\©ICc)M)T]Y“bEF•

U™MrXXMrq«ª©csICc\2Xr`?bWEF,U™MrXXMrqšq9VWE\]d=GLcs=MxUJVWEEMJd6c\]d=X‘cJICd,cJ¬J­K#FEMrF™_MJEi`…I“K#MJcs=F,q¢UCICdWdFc

M)”'MrU)VWc)MK“FE)M|c>sICd¤FdU™M#ICcMCIUs¨\]d=X‘c™ICd6ciŸx ¡s=MLpMiIU)c\]_MLy[9hMrUJcj¢F,qWM)T\2XOqM™XUJE\][M™q

ICd=q¢UrFK.b?ICEM™q:cFxcs=MQ®U)cFEQj¢F,qWMJT§­9cs=MJdšIbWEFcFcoY,b?MT!ICd=GVIGHMO[?IXM™qlFd¢csW\2X¡K#F6qWMJT

\3XQ\–d,cEF,q9V=UrMrq­žWdICT]T–Y¢\]cXQM)”,bWEMrXX‘\]_MbF™—¯M)EQ\2XgX‘sF™—Sd°Fd˜csMxM)”ICKLbWT3MxF¥ŽI“[WEF_IqUCIX‘c

U™FKLKVdW\3UiICc\2FdeK#MrUsICdW\2X‘K£Ÿ

±¢²a³´‘µ|¶=‡·…„a‹

®UJcFEXr`=R¡Fd=UJVWEE)M)d,c¡DEFHGE™ICK.KL\]d=G'`¸y%['hMrU)cXC`,pMiIUJc\–_M®SbWbEF_IUs

¹2ºx»

¼Œ½Œ¾r¿

»

¼ÀÁ½oÃ5ÄJÅ

d=M›X M)”'M™UJVWcMJd,c?bIXI¡T3MJVWE0bEFbWEM…EY,csWK#Ma`)K:IC\3X…X>Fd6c q9\–E>\3GfMrX0bICEVWd=Ms=FET2FHGHM›T3FHG\2^aVM ^_VW\

qfMJžWdW\]cqWMrX\]d=X‘cJICd,cX¯GT3F[ICV”Ÿ

MK#F6qM)T2MQqWM™XŽy%['hMJcXE'fMCIUJc\]¥¦X¡\]d6cE)F6q9V\–c q=ICd=X%U™MbICbW\2M)E

M™XZc.VdA¥¦FEK:ICT–\2X‘K#M[?IX6fMJ•§F[9hMJcXœ¥¦Fd=q MX‘VWELT2MebICEJIq9\2GK#M“E'ff MCIUJc\]¥ZŸQICd=XLU™M:K“F,qMJT2MH`

T3MrX¡KAfMJcs=F,qWMrX¡XFd,cICbWbMJTJfMrMrX¡bICESqM™XSF,q9EMrX¡q MJ”›fM™UJVWc\2Fde\]d=X‘cJICd,cJICd¯fM™XSMJcSd=Fd:[WT2F6^_VICd,cXr`

cEJIC\]c9fMrXS\–KLK#M=fM™q'\©ICcMJK#M)d,cQª¦q9VWEJICd,c¡T \–d=XZcJICd6c%U™FVEJICd6c™¬JŸMQbWT–VXr`6VWd=MKM)K#MKAfM)csF6qWMd=M

bM)VWc X MJ”›fM™UJVWcMJE›bWT]V=Xq VWd=M›¥¦F\3Xq'VWEJICd,cT3M¡K MJK#M\]d=X‘cJICd,ciŸ MK#F,q!MJT3M%qWM™XF['hMJcX…E'fMiIUJc\–¥5X

M™XZcqfMrU)E>\–cMJc…UrFKLbICE'fM%ICVK#F6qM)T2M qWM™X ®U)cMJVWEXC`JbVW\3XVWdT!ICd=G_IGHM›bWEFcFcoY6bM¥¦Fd=qM=fM¯X‘VWE U™M

K#F6qM)T2MM™XZc \]d,cEF,q9VW\]ciŸ‰D…FVEcMJEKL\]d=M)E`iFd#K#Fd6cE)M¡T©IbWVW\2XXICd=UrMSq

MJ”6bWE)M™XXZ\3FdLq9VLK#F,q!MJT3M

IcEJI)_MJEX¡T

M)”'M)KLbWT2Mq

VWd=MUrFK.K|VWdW\2UCICc\2Fdq'\#"=V=X,fM™MaŸ

$¶W†C„r´Š&%'²š‹

®UJcMJVWEXr`WDEFHGEJICKLK:ICc\2FdUrFd=U)VEEMJd6cMa`Wy%['hMJcXr`9®SbWbWE)F6Us=ME'fMCIUJc\]_M

mŒdšV=XZVICT0bWE)FHGEJICKLK.\]d=GT!ICd=GVIGHMrXxª©¥¦FEMJ”WICKLbWT2MH`"!Ž¬™`Fd=MF¥c>s=MgK:IC\]d¢EMCIX>Fd=XS¥¦FEqWMJ•

žWdW\]d=G“bEF6UrMrq9VWEMrXS\3XcFlICT–T2F™—$#%&'F¥ bW\2M™UrM™XF¥ UrF6qWM—%\–csFVWcEMJ—SE\]c\–dG.csM)K£Ÿ®S¥!cM)E

[M)\]d=GqWMJžWd=Mrq`9IObWE)F6UrM™q'VWEMSsIXh‘V=X‘c cF[MUCICT]T3Mrq“\]d=X‘c)MCIq#F¥…UrFb6Y,\]d=G\–c)X[F6q'Y_Ÿ9j¢FEMrF•

_M)EbWE)F6UrM™q'VWEMrXSICEMQcs=M[IX‘\2UgVWdW\]cX ¥¦FEK#F6q9VT©ICE\]coY£ª5M)_MJd¢\–¥ cs=MJY¢ICEMGHM)d=MJEJICT]T–Y#¥¦MJT–cgIX

d=FcXZV)(#U)\2M)d,c¥¦FEQcsICcQbWVWEbFHXMi¬JŸ+*XZVICT›T©ICd=GV?IGHM™XQbWEF™,\2qWMxFdWT]Y,-&+.+ /106bEFHGEJICKL•

KL\–d=G#UrFd=X‘cEVU)cX2,csM)EM\2XŽFdT–Y¢FdMOUrFd6cE)FT43=F™—`—SsW\2Us¢\–dšUiIXMF¥›bWE)F6UrM™q'VWEMQUCICT]T3XC`'\2X

X‘V=X‘bMJd=qWMrqx\–d#cs=MUiICT–T2MJEVWd,c\]T=cs=MSUiICT]T3Mrq.bEF6UrMrq9VWEM¡c)M)EKL\]dICcMrXr­‰cs\3X DEF,U™Mrq9VWEMR%ICT–T

bICEJIq9\2GK’\3X%X‘s=F™—%d¢Fdž=GVWE)MO{_Ÿ

execution of f body f terminates call of f

call of f is completed

caller

called function

caller is suspended

f starts

5…\3GVEM{62 ¡s=MDEF,U™Mrq9VWE)MgR%ICT–TDICEJIq9\2GK

7Fc\2U™McsICc cs=M pMJK#FcMDEF,U™Mrq9VWEMR%ICT–Teª98:;!¬…bWEFcF,U™FT9<>=?\2X¯IOdICcVWEJICTMJ”,cM)d•

X‘\2FdšF¥cs=MQD E)F6UrM™q'VWEMRSICT–TbICEJIq'\3GK cFxq9\2X‘cE\][WVWc)M™q#U™FKLbWVc\–dG'Ÿ,modcsW\2XSUrFd6c)M)”,ci`9cs=M

U)T]\2M)d,cS\2X¡cs=MUiICT–T2M)E%—SsW\2UsUiICT–T2X¡cs=MQXMJE_MJEiŸ9 ¡s=M@8:;! b?ICEJIq9\2GK \2XSX‘sF™—SdlFd¢ž=GVWEMQN,Ÿ

execution of server body server terminates call of the server

call of server is completed

client

server

client is suspended

server starts network

5…\2GVWEMNA2' ¯s=MgpMJK#FcMDEF6UrMrq9VWEMQRSICT]T0D ICEJIq9\2GK

jšICd6Y MJ”6cMJd=X‘\2Fd=XQF¥Scs=MLDEF,U™Mrq9VWE)MLRSICT–T bICEJIq'\3GK sIJ_M.[MrM)d qWMrX‘\2Gd=M™qœcFšICT]T3Fr—

XMJ_M)EJICTUrFd6c>EFT3=F™—XCŸ'yd=MF¥0c>s=MSžWEX‘c¯MJ”6cMJd=X‘\2Fd#\3X cs=M# K#F6qWMJTFE\2G\–dICT]T]YxbWEFbF•

XMrq[6YM)—%\–cc<¸{H{?Œ`ICd=q:T©ICcMJEqWMJ_MJT3FbMrqe[6Yl®GsI'<Â{?ŒŸ®UJcFEXŽICEMgbICE™ICT–T2M)T ICVWcFd=FK#FV=X

IGHM)d,cXr`9—SsW\2UslICEMgq'\3X‘c>E\–[VWcMrq\–dlX‘bIUrMOICd=q:M)”'MrU)VWc)MICcScs=MJ\–E¯F™—%dEJICcMxª©cs,V=Xr`6MiIUs¢IUJ•

cFESEMJbWEMrXMJd6c)XSIxq9\2X‘c\]d=U)c%U™Fd,cEFT 3=F™—g¬SICd=qUrFKLKVWdW\2UCICc)MgIXZY6d=UsEFd=FV=X‘T]Y#[6YlXM)dq9\–dG

K#M™XX)IGHM™XrŸ… ¡s=MLXMJd=q¤bE\–KL\]c\]_M\3XOc>s=Mxd=FdW•¦[WT2F6U,\]d=GšICdICT2FHG£F¥%bWEF,U™Mrq9VWEMxUiICT]T 20\–d°cs=M

®U)c)FEK#F,qWM)TŒ`aIUiICT–T2M)Eh‘VX‘cK.%ICdeMJ”'M™UJVWc\2FdLFEqWMJEª§I%K#MrXXIGHMi¬0cFIUiICT–T2M™q#IUJcFEi`6ICdq

\–c|U™Fd,c\]d6VM™X—S\]cs=FVWc—%IC\–c\]d=Ge¥5FEgcsMxUCICT]T3Mrq¨IUJcFEcFeEMrU™MJ\]_Mª¦FEObWE)F6UrM™X>X¬%c>s=MxFEqWMJEiŸ

 ¡s,V=Xr`csMUCICT]T2M)EICd=q¢cs=M|UCICT]T3MrqœIU)c)FEXOICE)MOT3FHG\2UiICT–T]YšM)”'MrU)VWc)M™q\]dšbICEJICT]T3MJT§`IXgXF,Fd°IX

cs=MM)”'M™UJVWc\2FdšFEqWMJE\2XŽX>M)d,c[6Ylcs=MOUiICT]T3MJEiŸ ¯sW\3X ! 'M)d=qœICd=q 5=FE)GHM)c LbICEJIq'\3GK£`'—%sW\3Us

\3X¯cs=MQU™FEMQF¥…csMŽ®UJcFESK#F,qWMJT§`6\2XSX‘s=Fr—Sd¢Fdž=GVEMO,Ÿ

agent

agent order sent caller continues

after sending the order

5…\3GVEMOA2W ¡s=M 9MJd=qICdq 5=FEGHMJcSDICEJIq'\3GK

9MJ_M)E™ICT0^_V=MrX‘c\2Fd=XSICE\2XM¥©EFK cs\3X¡b?ICEJIq9\2GK 2

{_Ÿ%®S¥!cM)E¯[M)\]d=GXMJd,ci`,—%s=M)d:—S\]T–T ICd¢FEqWMJEIUJcVICT]T]Y“[MM)”'MrU)VWc)M™q#"

N,Ÿ$Fr—tcFxGHMJcIOEMrX‘VWT]c¡¥©EFK c>s=MgUiICT]T3Mrq¢IGHMJd6c%"

,Ÿ$Fr—tcFxqWMiICT?—%\–cs . K& # #K.+FEqWMJEXSXMJd,c¡cFxcs=MXICK#MIGHM)d,c%"

&¤M|ICEMd=F™—tGHF\]d=GxcFxUrFd=X‘\2qWMJE¡cs=MrXM^_V=M™XZc\3FdX\]dcVWEd…Ÿ

5=FE[M)\]d=G#M)”'M™UJVWcMrq`=ICd¤FE)qWM)EžEX‘csIXcFLEMCIUsšcsMUCICT]T2M™qšIGHMJd6c­cs6VXr`'s=MJEMO\2XQI

d=MrM™qšcFe\]d=X‘VWE)McsICc|ICd¨FEqWMJEQ—S\–T]T K1K.+& 00(' )60> #%eª¦MJT2XMbWEFHGEJICKLKL\]d=G“—¯FVWT2q

[M™UrFK#M^aVW\]cM…bWE)F[WT3MJK:ICc\2UC¬JŸmŒdcs=M®UJcFE0K#F,qWMJT§`>K#MrXXIGHMrX…ICEM[WV "M)EMrq\–d,cF* 0+-,6K`

¥©EFK —SsW\2Us IUJcFEXcJIC_M#cs=MJ\–E\]dWbWVcXr`ICd=q«I. #K. KOIXXZVWKLbWc\2Fd¨X‘cJICc)M™Xcs?ICcxM)_MJEY

K#M™XX)IGHMgXMJd,cScF#ICdšIUJcFE\3X%GVICEJICd,cM™MrqecF[MQM)_MJd,cVICT]T–Y#bWVWc¯\–d,cF\]cX¡K:IC\–T][F™”"<N?ŒŸW®Sd

\–KLbFEcJICd,cQb?F\]d,cO\2XgcsICccs=MJEM\2XOd=Fe—%I)Y ¥¦FEOcsM.UiICT]T3MJEOcF¢GHMJcO\]dW¥¦FE>KeICc>\3Fd Fd¨—SsICc

EMiICT–T]YesICbb?MJd=Xr`WICd=q—%s=M)dl\–cSs?ICbWbM)d=XCŸA7Fc>\3UrMgcs?ICcS\–dœIxq9\2X‘cE>\–[WVcM™q#UrFd6cMJ”,ci`,¥ŒIC\–EdM™XX

X‘\]K.bT–YLK#MCICdX¡csICc¯cs=MU™FKLKVdW\3UiICc\2Fded=MJco—¡FE#\2X¡d=FcICT]T2F™—¯M™qcFT2F,FHXMŽK#MrXXIGHMrXrŸ

 …FEMJcVWE>d¤IeE)M™X‘VT–cQ¥©EFK IUiICT]T3Mrq¤IGHMJd,ccFecsMxUCICT]T3MJEi`?\2Xgd=Fc.IXOX‘\]KLbWT3MLIX\–d cs=M

DEF6UrMrq9VWEMxR%ICT–TbICE™Iq9\3GK£`XZ\–d=UrMOcsM)EM\3Xd=F#\–KLbWT]\3UJ\]cX‘Y6dUsWEFdW\0/CICc>\3Fdš[M)co—¯M™MJd¢cs=MJK

ICcgc>s=MOMJd=qšF¥ UCICT]T3MrqœIGHM)d,cM)”'M™UJVWc\2FdŸ1F™—¯M)_MJEi`cs=M[?MJd=MJžWc\2X%c>sICccs=MOUiICT]T3MJE[WT3F,U'X

—SIC\]c\]d=G“¥5FEgcsMOEMrX‘VWT]ci`FdWT]Y¢—Ss=MJdš\–cQEMiICT–T]Y¢d=MrM™qWX\]ciŸ?® XZcJICd=q=ICEqšXFT]VWc\2Fdœ\3XcFeX>M)d=q

ICT3FdGl—%\–csœcs=M#FEqWMJExICd M)”,cEJI“\]dW¥¦FE>KeICc>\3Fd V=XMrq˜[,Y˜csM.UiICT]T3Mrq¨IGHMJd6cxc)FeEMJcVWEd cs=M

EMrX‘VWT]c c)Fgcs=MUiICT]T3MJEiŸ‰mocT2F,F9X›T–\]_MSž=GVWE)Mw'`a\–d#—SsW\2UsLcs=MUiICT–T2M)E›cE™ICd=X‘KL\–c)X \]cX\2qWM)d,c\]cŒY|cF

cs=MUiICT–T2Mrq“IGHMJd,ccF|ICT–T2F™— \]c c)FgEMJbWT]Yª©csW\2X…K#MCICdX c>sICc›d=Fc¡FdT–Y XZ\–KLbWT2M _ICT]V=MrX¡ICEM¯cF

[MIXXF,UJ\©ICcMrqcFLFEqWMJEXr`9[WVWcgICT3XF sW\2Gs=MJEFEqWMJE LFd=MrXr`'T]\–_M K. 6K. /K­6cs\3X¡s?IX

qWMrM)b\]KLbWT]\3UiICc\2Fd=X ¥5FEXMJKeICd,c\2U™XC­,X>M™M6<¸{Cw ?¥¦FEI¥©VT–Tq9\2XUJV=XX‘\2FdeFd¢c>sW\3X%IX‘bM™UJcJ¬JŸ

caller

called agent order sent + identity

caller needs the result

caller gets

the result result sent back using identity

5…\2GVWEMw 2gMJcc\]d=GpMrX‘VWT]cX ¥!EFK ®GHM)d,cX

®XgbICE™ICT–T2M)T]\2X‘K \2Xg[IXZ\3U\]d¤csM 9M)dq9•oICd=q9• 5=FEGHMJcbICEJIq9\2GK£`cs=MJEMOKVX‘cg[MLIe—%I)Y

cFqWMiICT—S\]csœU™FdU)VWE>EM)d,cQFEqWMJEXQXM)d,ccFecsMXICK#MLIGHM)d,ciŸC5…\2GVWEMx~eXZs=F™—XIeX‘\]cVICc>\3Fd

—Ss=MJEMgco—¯F“q9\2X‘c\]d=UJcIGHMJd6cXX>M)d=qco—¯F“FEqM)EXSc)F.csMOXICK#Mgc™ICEGHM)cŸ'mod¢cs=MO®UJcFEK#F,qWM)TŒ`

cs=MbWEF[WT2MJK \3XSX>FT–_Mrqe[,Y“csM%VXMgF¥ KeIC\]T][?Fr”9MrX¡—Ss\3Us:[WV "MJESK#M™XX)IGHM™XrŸ

caller2

called agent caller1

5…\3GVWE)Mg~A21 9MJ_M)E™ICT…RSICT]T2X¡cFLI WICK#M®GHM)d,c

9MJ_M)EJICTbWEF[T3MJK#X¡ICEMEJIC\2XMrqe[6Y#cs=MQ®UJcFESK#F6qM)T 2

® ¥§IC\]Ed=MrXX#s6Y,bFcs=MrX‘\3X#\3X£IU)cV?ICT–T]Y«d=Fc¢X‘V)(#UJ\3MJd,c¢IXe\]c¢qWF,M™X:d=Fce\]KLbWT–\2MrX“csICc

c>EJICd=X‘KL\2XX‘\2Fd¢qWMJT©IJY9Xxª©[MJcŒ—¯M™MJd¢cs=MXMJd=q9\]d=GLF¥¡IxK#M™X>XIGHMxICd=q\]cXbWT!IU)\]d=Gx\–d,cF:I

K:IC\]T–[Fr”W¬SICE)M +&'.6xª©\]cFdWT–Y:\–KLbWT]\2M™X¡c>sICcScs=MJY¢ICE)MgžWdW\]cMi¬JŸ9mŒd¢EMiICT…XZ\–cV?ICc\3FdXr`

X>FK“MJcsW\]d=Gcs?ICcUCICd¢[MQqWMJT©IJY_M™q¢q9VE\–dGLICd¢VWd6[FVWdqWM™qlICK#FVWd6cF¥c>\–K#M\3XF¥!cM)d

UrFd=X‘\2qWMJEMrqIXMr^aVW\]_ICT2M)d,c…cFFdMSICT]T3Fr—¡MrqcFSd=MJ_M)E›F,UrU)VWEŸJmodLX‘s=FE>ci`™¥§IC\–E>d=M™X>X0K#MCICd=X

ždW\–c)M|[VWcVWd,[FVWd=qWMrq`[WVWc|—SsICc\2XOEMiICT–T]Y XFV=Gs,cx\3XxI,\–dq¨F¥S[FVWd=qWMrq¤qM)T!I)Y

bEFbM)EcoY6Ÿ

DEFHGE™ICK [MJsI),\3FE)X0K:I)YqM)bMJd=qOFdxK:IC\]T–[F™”X‘\0/™MrXrŸHj¢FEM™Fr_M)E`‰F™_MJE 3=Fr—«bWEF[WT2M)K#X

ICE>\3XM—Ss=MJdV=XZ\–d=G[FVWdqWM™q:X‘\0/™MžWT2M™Xr­WFd¢cs=MQFcs=MJE¡s?ICd=q`9V=X‘\]d=GVWd,[?FVd=qWMrq“žWT2M™X

K:IJY“T2MCIq:cFxX‘\]cVICc\2Fd=X—%s=M)E)M%Vd6[FVWd=qM™qLK#M)K#FEYlICT–T2F,UCICc\2Fde[MrU™FK#MrX¡d=MrM™qM™qŸ

 ¯s=Mgd=MrMrqe¥¦FEK#M™Us?ICdW\3XZK“X¯cF“Fr_M)E>bIXXScs=MQK:IC\–T][F™”eK#MrUsICdW\2X‘K’K:I)YšICbWbMiICES\]d

X>FK“M%X‘\–c>VICc\2Fd=Xr`i¥5FEMJ”ICK.bT3M¡c)FgqWMiICT=—S\]csxbWE\2FE\]c\2M™XSª§ICT!ICEK#Xr`‰¥5FE \]d=X‘c™ICd=U™Mi¬JŸH ¡s=M

, #% K#F6qMŽF¥ ! )<Â{v??\2XICd¢MJ”WICKLbWT2MF¥X‘V=Us˜IOK“MrUsICdW\2X‘K£Ÿ

& MICEM¡d=Fr— GHF\]d=GQcFŽ\]d,cEF,q9V=UrM csM¡d=Fc\2FdLF¥ICd.\]d=X‘c™ICd6c\]d6c)FŽcsM 9MJd=q9•oICd=q9• 5=FE)GHM)c

bICEJIq9\2GK£Ÿ,c)FxF[WcJIC\]d¢Id=MJ— bICEJIq'\3GK UiICT–T2M™q pMCIUJc\]_MŽ®GHMJd,c xbICEJIq9\2GK£Ÿ

4

mŒdlcs=MEMiIU)c\]_MICbWbWEF_IUs`6bWE)F6UrM™X>XM™XQª§IX¡—¯MgUiICT]T?bICE™ICT–T2M)TX‘Y'X‘cMJK’UrFK.bFd=MJd,cX¬ ICEMŽdFc

ICT–T2F™—¯Mrq“cFM)”'M™UJVWcMŽICccsM)\]E F™—Sd:EJICcMa`‰[WVWc%ICEMq9E\]_MJd.[,Y:IŽT2FHG\3UiICT [IX‘\2UU)T2F,U O—%sW\3Us

qWMJžWd=MrXI¢U™FKLK#Fd¤c>\–K#MaŸmodAFcsM)E—¡FEqXr`c>s=M)E)M“ICE)M .) .+—SsW\2Us«ICEM 0A 10c)FšICT–T

bWEF,U™MrXXMrXr`ICd=qAIbICEc>\3UJVWT!ICEbWEF,U™MrXXO\2XOd=Fc#ICT]T2F™—¯M™q¨cFšMJ”9MrUJVWcML¥¦FEcs=MLd=MJ”6c|\–d=XZcJICd6c

—SsW\]T3McsM)EMMJ”6\2X‘cXŽICd=Fcs=MJE¡bWE)F6UrM™X>X—SsW\2Us\2X¡d=FcUrFKLbWT2M)cMrqL¥¦FEScs=MUJVWEEMJd,c¡\]d=X‘cJICd,ciŸ

9MJ_M)E™ICTK“F,qWMJT3XQICEMx[IX>M™qšFd¤c>s=MOEMiIU)c>\–_MLICbWbEF_IUs`—SsW\2UsšK:IC\–dWT]Yšq9\"M)EQFd cs=M

—SIJYebWE)F6UrM™X>XM™X%ICEMQU)EMiICcMrq¢ICd=qUrFKLKVWdW\2UiICcM12

mod 6 1 # K…ª8:S¬<v?Œ`rbEF6UrMrXXMrX…ICEM U™Fdd=M™UJcMrqgcsEFV=GsUs?ICdW•

dM)T2Xr`6cF¥¦FEK qWMJcMJEKL\–d\3X‘c>\3U¡dM)cXCŸ'R sICdWd=MJT3X%ICEMg\]dWžWd\–cM žEX‘cS\]dCžWEXZcSFVWc žT3MrXr­

IObEF6UrMrXX¡UiICdFVWc>bWVWc¡K#MrXXIGHMrX\]d6c)FUsICdWd=MJT2Xgª§ICT]—SIJY9XSbFHXXZ\–[WT2Ma`9IXSUsICdWd=MJT2XSICEM

\]dWžWd\–cMi¬FE¡\]cSUiICde\]dWbWVWc K#M™X>XIGHM™X ¥©EFK Us?ICdWd=MJT3Xr`6[MJ\–d=GQ[WT2F6U_Mrq“—SsM)dlUsICdWd=MJT3X

ICE)MxM)KLbWcoY_Ÿ?k IUs°UsICdWd=MJTsIXICcOK#FHX‘cFd=MbWEF,q9V=UrM)EbWE)F6UrM™X>XOICd=q°ICcgK#FHX‘cFd=M

UrFd=X‘VK“MJE…bWE)F6UrM™X>Xr`aICd=qdM)cXUiICdx[MEMrUJVWEX‘\]_M)T]YqWM)žd=M™qª!cs6VXr`iUs?ICdWd=MJT3X›ICd=qbEF•

UrMrXXMrXSUCICdš[MQq9Y6d?ICK.\2UiICT–T]YeUJEMiICcMrq=¬JŸW ¡s=Mg_MJYebF\]d6cŽF¥cs=M@8: K“F,qWMJT?\2XScsICc

bEF6UrMrXXMrXOICEM:ICT2XFšICT–T2F™—¯Mrq¤cFcMrX‘cQ¥¦FE '.). 0 !4' . ) & #K . . .) .+!`

—%sW\–T2MbWEMrXMJE6\]d=GOdM)c%qWM)c)M)EKL\]dW\2X‘K£Ÿ

modcsM : 8'8!#"%$O¥¦FEK:ICT–\2X‘K£`CbWEF,U™MrXXMrXICEM¯q9Y6d?ICK.\2UiICT–T]YOUJEMiICcMrqxICd=qcE\2GHGHMJEM™q

[,Y¤[EF_IqWUiIX‘cxMJ_M)d,cXrŸ ¡s=M : @8&'8!#"'$¨\2XOcs=ML_M)E>d=M)T%F¥QICdA\–dq9V=X‘cE>\©ICT›bWEF,UrM™XX

UrFd,cEFTcF6FT›ª©VXM™q#cFbW\]T3Fc(*)*+)#,-/.eUrMJK“MJd,c¡¥§IUJcFE\2M™X)¬<10?§Ÿ

modQcs=M ' .6# .&' 0. &+32<}?Œ`CIGHM)d,cX0UrFKLKVWdW\2UiICcM0V=X‘\]d=G [WEF_IqWUiIX‘cX‘\2GdICT3X54™Ÿ

® c›MCIUsx\]d=X‘c™ICd6ci`HIX‘\2GdICT6\2XMJ\–csM)E…bEM™X>M)d,ci`™csICc…\2XMJK.\]ccMrqg[,YX>FK“M¯IGHMJd6c›q9VE\–dG

c>sW\3X\]d=X‘cJICd,ci`FE|IC[=XMJd,cgFc>s=M)E>—S\3X>MH­K#FEMrF™_MJEi`0ICT]T IGHM)d,cXQGHM)cQcs=M|XICK#M\–dW¥5FEK:IC•

c>\3Fd#IC[FVWccsM¡X‘\2GdICT9bEM™X>M)d=UrM¡FE¯IC[=X>M)d=UrMgª!csW\2X0\3XcsM[WEF_IqUCIX‘c›Us?ICEJIU)c)M)E\2X‘c\2Ui¬JŸ

 ¯s=M)E)M%\2X¡d=Fxq'Y6dICKL\2UU)EMiICc\2Fd¢F¥›IGHMJd6c)X¡\–d768 Ÿ

 ¡s=MLEMiIU)c>\–_M#ICbWbWE)F_IUs¨¥¦F,U)V=X|Fd¨cs=Mxd=Fc\2Fd¨F¥%T3FHG\2UCICT¯c\]K“Ma`0U™FKLK#Fd¤c)F¢XM)_MJEJICT

bWEF,U™MrXXMrXrŸ?mocdICcVWE™ICT–T]Y˜T2MiIqWXOcF¢qWMrUrFK.bFHXM#UrFK.bT3MJ”œX‘Y9XZcM)K#XQ\–d,cFšXMJ_M)EJICT I#%6

#% '`6MCIUslF¥?c>s=M)K qWM)ždW\–dGŽ\]cX›bWEFbM)E¯UrFK.K#Fd#c\]K“MaŸapMiIU)c>\–_MS¥¦FE>KeICT]\2X‘K#X¡ICEMS—¯MJT–T

X‘VW\]cMrq¤cF¢bWEFHGEJICK cs=MrXMLEMiIU)c\]_MICE)MCIXr`…—SsW\]T3M:X‘cJICd=qICEqAIX‘Y,d=UsWEFdFV=XOK#M™Us?ICdW\3XZK“X

ª©T]\–_M¥¦FEMJ”WICKLbWT2Ma`_K#MrXXIGHMbIXX‘\]d=G_¬¯ICEMŽE)M™XMJE_Mrqe¥¦FE¯\–d,cMJE•oICEMiIXSU™FKLKVdW\3UiICc\2Fd=XrŸ

9;:=<>@??BA'C'D

DFEGIHJG

>

DLKNMO A'DJA'P

M Q8RSUTFVUTLW

?

HD=X PFC'D

D

DNYZ?

G@[DFE

Y

[EMF\L;]_^

!

mŒd,cEF,q9V=UJ\]d=G¨\–dX‘cJICd,cXe\]d6cFAcsM 9MJd=q9•oICd=q'• 5=FEGHM)c:bICEJIq9\2GK£`ŽICT]T3Fr—XcF«V=XMšcs=MJK cF

[FVWd=qxqWMJT©IJY9X›F¥FEqWMJE›cEJICd=XZK.\2XX‘\2Fd=XrŸHj¢FEMbEM™UJ\2XM)T]Y6`icEJICdX‘KL\3XXZ\3FdxF¥ICd#FEqWMJE UCICdL[M

EMr^aVW\]EMrqOcF[M bWE)F6UrM™X>XM™q# & #K . ' .+ . ac>s=MFE)qWM)E\2XXMJd6cŸ‰ ¡s=MrXM Fd=MJ•¦\–d=XZcJICd6c

cEJICd=XZK.\2XX‘\2FdFE)qWM)E)X—S\]T–T[MX‘\–KLbWT]Y#UCICT]T2M™q .) .+ . &'# 6K#KŸ

 …FxbWEMrXMJE_MŽc>s=MgGT2F[ICT]\–coYF¥ \–d=XZcJICd6c)Xr`,\]cS\2XSdICcVWE™ICT?cFxEMr^_VW\–E)MŽcs?ICcICdœIGHM)d,cqWF,M™X

d=Fc#bWEF,U™MrXXK#FEMcsICd«FdM¢FEqWMJE“q'VWE\]d=G˜FdMe\–dX‘cJICd,c£ª5Fcs=MJE—S\2XMH`…Fd=MšIGHMJd6c:UrFVWT3q

M)”'MrU)VWc)M£X>M)_MJEJICTQF¥O\]cXL\–d=XZcJICd6c)X.—Ss\–T2M¢Fcs=MJEXeUrFVWT2q MJ”'M™UJVWcMd=FdMC¬JŸ ¯sW\3X:XFT]_M™X#cs=M

U™FdU)VWE>EM)dU)Y#bWEF[WT2MJK E™IC\3XMrq[,YUrFd=U)VEEMJd6cUiICT]T3XScFxcsMgXICK#M|IGHM)d,cI2ICcMiIUsš\–dX‘cJICd,ci`

FdWT]YeFd=MFEqM)E¯KeIJYL[?MbWE)F6UrM™X>XM™qL[,YeICd˜IGHM)d,ci`6cs=MFcs=MJE¯Fd=M™X¯[?MJ\]d=GOX‘\]KLbWT]YxEMŒh>M™UJcMrqŸ

MJcSV=X¯UCICT]TcsW\2Xr` .100 )K# .) .+bWEFbM)E>cŒY6Ÿ6®Sd\]K.bFEc™ICd6c bF\–d,c¡\2Xcs?ICcIUiICT–T2M)E

IGHM)d,c UCICdL\]KLK“Mrq9\!ICcMJT–YLª©cs?ICc\3Xr`\–dxc>s=M¡UJVWEEMJd,c…\–dX‘cJICd,cJ¬?,d=F™—«\]¥=\–cX FEqWMJEX›ICEM¡EMohMrU)c)M™q

FEQIU™UrMJbWcMrqŸ

mŒdX‘cJICd,cXOICT]T2F™— c)FqWMrU™FKLbFHXMLIGHMJd6c[?MJsIJ6\2FEXg\]d,cFX‘cMJb=XrŸ!VWE>\–d=GlIG\–_MJd¨GT2F[ICT

\–dX‘cJICd,ci`0ICdAIGHMJd6cK:I)Yš[MxUCICT]T3Mrq¤FEd=Fci­\]d˜c>s=MžWEX‘cUiIXMH`?\]cOMJ”'M™UJVWcMrXŽ\]cXd=MJ”6cX‘cMJb`

ICd=qFcsM)E—%\3XMa`™\–c EM)K:IC\]d=X…IXZT3MrM)b…Ÿi®AbICcsFT3FHG\2UCICT'X‘\]cVICc\2FdO\2X0—SsM)dLICd“IGHM)d,cMJ”9MrU)Vc\3Fd

X‘cMJb¤qF6MrXgd=FcQcMJEKL\–d?ICcMH­W\–d csW\2XUCIXMa`?cs=MLIGHMJd6c—S\]T–Td=MJ_MJEg[MLIC[WT2MxcF“EMiIUJcgcF£ICd6Y

d=MJ— M)”'MrU)VWc>\3Fd°FEqWMJEi­dFc\3UrMxcsICc\]d¨XZV=UsAX‘\]cVICc\2Fd=Xr`0GT2F[ICT]\–coY¤F¥%\–d=XZcJICd6c)XgbWEMJ_MJd6cX

'#" 10 ' cF#cM)E>K.\]dICcMQ¥¦FEcs=MxUJVWEEMJd,c\–d=XZcJICd6c`?ICd=qšcs6VXr`cF:GHFecF“c>s=MOd=MJ”6c

\–dX‘cJICd,ciŸ& MO—S\]T–T XI)Y¢c>sICcQICd IGHM)d,csIXcs=MI#6 I 4' xbWEFbMJEcŒY:\–¥ ICT]T…\]cXMJ”9MrU)Vc\3Fd

X‘cMJb=XICT]—SIJY9XSc)M)EKL\]dICcMa`9ICd=qe\2X¡cs,V=XE)MCIq9Y#cFEMiIUJc¡cFLFEqWMJEX%ICcMCIUsl\–d=XZcJICd6cŸ

 ¡s,V=Xr`acs=MpMiIU)c>\–_M®GHMJd6c¯bICEJIq9\2GK’U™FdX‘\3XZcX¡F¥ IGHM)d,cX¡EMiIUJc\–dGgcF\]d=X‘cJICd,cJICd=MrFV=X

FEqWMJEXSICdq._MJE\]¥©Y6\]d=GQcs=M Fd=MUiICT–TbM)E \]d=X‘cJICd,c ICdq.csM EMCIUJc\]6\]coY QbWEFbM)E>c\3MrXrŸa ¯sW\3X

T3MiIqWXcFšICd ICbbWEF_IUsA\]d¨—SsW\2UsAX‘Y'X‘cMJK#XICEM:qWM™UrFKLbFHXM™qœ\–d,cFEMiIUJc\–_M:ICEMiIX—Ss=MJEM

IGHM)d,cX¯U™FKLKVWd\3UiICcM¡\]d=X‘\2qWM¡csM)\]ESICE)MCI[6YL\]d=X‘cJICd,cJICd=MrFV=X›FEqWMJEXr`9ICd=qL[M)co—¯M™MJd#q9\3XZc\–dU)c

ICEMiIXr`'[,Y“VX‘VICTVWd,[?FVd=qWMrqeqWMJT©IJYeFE)qWM)E)XrŸ9 ¡sW\2X¡\3X%X‘s=F™—%dFd¢ž=GVWE)Mgv,Ÿ

agent

agent instantaneous order

reactive area 1 reactive area 2

agent unbounded delay

order

5…\2GVWEMQvA2W ¡s=MQpMCIUJc\]_M®GHM)d,c%$SIXMrq®SbWbEF_IUs

7Fc\2U™MšcsICc:KeIC\]T][?Fr”9MrXICE)M˜V=XMJT2M™XX#¥¦FEeE)MCIUJc\]_M¤IGHMJd6c)Xr`%IXlFEqWMJEXed=MrM™q d=Fc[M

X‘cFEMrq"2SICcMiIUs \]d=X‘c™ICd6ci` \]¥|ICd FEqWMJEe\2X“c>s=MžWEX‘c:Fd=MœIqWq9E)M™XX>M™q«cFAI¤cJICE)GHM)clIGHM)d,ci`

cs=MJd\]cUCICd¢\]KLK“Mrq9\!ICcMJT–YLžWEM\]ci­'Fc>s=M)E>—S\3X>MŽ\]cS\2XX‘\–KLbWT]Y#EMŒh>M™UJcMrqŸ'7Fc\3UrMICT2XFxcsICc%cs=M

¥§IC\]Ed=MrXX#IXX‘VWKLbWc\2Fd F¥gc>s=M®UJcFE“K#F,qWMJTS\3Xxd=FœK#FEMd=MrM™qWMrqA\–dX‘\3qMeEMiIU)c\]_M¢ICEMiIXr`

—Ss=MJEM\–d=XZcJICd6c™ICd=M™FVX¡FEqWMJEX%ICEMŽVXM™q0Ÿ

®SdO\]KLbFEcJICd,cbEF[WT2M)K \]dQbICEJICT]T3MJTHbWEFHGEJICKLKL\]d=G\2Xc)FI)_F\2qO\]d6cMJE•¦[WT2F,U6\]d=G›[?MJco—¡MrM)d

KVWcV?ICTUCICT]T3XCŸ & MM)dq“csW\2X XM™UJc\2Fd`a—S\]cslICdMJ”WICKLbWT2MX‘s=Fr—S\–dGOcs=MV=XMF¥cs=M Fd=MUiICT–T

bM)ES\]d=X‘c™ICd6c bEFbM)EcoY#cFLI)_F\2q¢\–d,cMJE•¦[WT2F6U,\–dGxX‘\–c>VICc\2Fd=XrŸ &¤MU™FdX‘\3qM)ESco—¯F.GE™ICbWsW\2UCICT

F[9h>M™UJcXICdqX‘s=Fr—SdeFd#ž=GVWE)M =,`acsICc%ICEMST]\–dW_Mrq`6ICdq.KVX‘c›K“Fr_MScFHGHMJcs=MJEiŸak IUs

F[9h>M™UJc“E)MCIUJcXxcF¨I œFEqWMJEICd=q«\]K.K#Mrq9\!ICcM)T]Y¤c>EJICd=X‘KL\]cX\–c#cFœcs=MFcsM)E:F[9h>M™UJciŸ

RY'U)T2M™X[?MJco—¡MrM)d :UiICT]T3X|ICEMeICVcFK:ICc\3UiICT]T–Y¢[WE)F_M)d¨[MrUCICVXMxF¥Scs=MFd=MLUiICT–T bM)E

\–dX‘cJICd,c gK#MJcs=F,q|bEFbM)EcoY?­a¥¦FE¡MJ”ICK.bT3Ma`a\–¥ŽE)M™UrM)\]_MI FEqWMJEi`a\]ccE™ICd=X‘KL\–c)X \]c cF

#—SsW\2Us£\]dšcVWEd…`cEJICd=XZK.\]cScsMFEqWMJEcF_­=[WVWccs=McEJICd=X‘KL\2XX‘\2FdšU)Y'UJT3MXZcFb=Xcs=MJd`

IX K“MJcs=F,qLsIXICT–E)MCIq9YL[MrM)d¢MJ”'M™UJVWcMrq.¥5FEScs=MQU)VEEMJd6c \–dX‘cJICd,ciŸ

move move

object O1 object O2

move move

5…\2GVWEM =A2 ¯—¡F \–dW_Mrq EJICbWsW\2UCICTy[9h>M™UJcX

> |

&¤MlICEM“dF™—’qWMJžWdW\]d=GšIK#F6qWMJT [IXMrqAFdAcs=M#pMCIUJc\]_M“®GHMJd6cLbICE™Iq9\3GK£`ICd=q¨UiICT–T2Mrq

60 ª98 ¨¬JŸmodAcsW\2XOK#F,qWM)TŒ` F['hMrU)c)XM)dUCICb=XZVWT©ICc)M“q=ICc™I£X‘s?ICEM™q

[6Y°IGHMJd6cXC`UiICT–T2Mrq¤K#M)csF6qWXC`?F™—Sd=Mrq¤[,Y¤csM.F['hMrU)cŸj¢MJcs=F,qWXOUiICd¨[ML\–d,_F_M™q [6Yœ\–dX‘•

cJICd,cJICd=MrFV=XSFEqWMJEXr`9sIJ_MOcs=M Fd=MOUiICT]T0bM)E%\–d=XZcJICd6c bWEFbM)E>cŒY6`WICd=qšICEM\–d,cMJd6cMrqecFx[M

EMiIU)c\]_MaŸ  ¡sW\2XxK“F,qWMJT¡\2XLU)VWE>EM)d,cT]Y¨X‘c>V=q9\2M™q«ICd=q«qWMJ_MJT3FbMrq¨VWd=qWMJE#U™Fd,cEJIUJcx—S\]cs«cs=M

,)! ."$#.&%'#.& (*) UrFKLbICd6Y,+‰Ÿ,mocX ¥¦FEK:ICT0X>M)K:ICd,c\3UrX\2XSqWMrXUJE\][?MrqL\–d <Â{Cw ?ŒŸ

5…\]EX‘ci`…—¡Me\]d,cEF,q9V=UrM.csMeK#F6qWMJTŒ­csM)d«XMrUJc\3Fd wœqWMrXU)E>\–[MrXxI£bWE)FcFcŒY,bM“T!ICd=GVIGHM

[IXMrq“Fd:\–c­a\–d:XMrU)c\2Fdl~,`_—¯MV=XMScsMST©ICd=GV?IGHM%c)FM)dU™F,qWMIg[EF_IqWUiIX‘cSUrFKLKVWdW\2UCICc>\3Fd

K#M™UsICd\3X‘K£­6žWdICT]T]Y_`6¥©VWc>VWEMS—¯FE9XICE)MgUrFd=X‘\2qWMJEM™q#\–dlXMrU)c\2Fd.-,-WŸ

/01

32465 87 92 ;:=<>2 ?2

®Sd _MJd=UiICb=X‘VWT!ICcMrX…q=ICcJIX‘s?ICEM™q[6Y.ICT–TW\]cX `r—%sW\3Us#ICE)MbICEJICT]T2M)TICd=qUrFd=U)VE•

EMJd6cLcEMiICcK#MJd6cXxFd«csM™XMlq=ICcJI,Ÿ ® ' !qWMJžWd=MrX“IšEMiIU)c\]_M¢ICEMiI,`ICd=q«\2X|K:IqWMlF¥

F[9h>M™UJcXcsICc|ICEMxEVWdœ\–d bICEJICT]T3MJT ICd=q¤XZsICEMcs=MLXICK#McMJKLbFEJICTEMJ¥¦M)E)M)d=UrMaŸ ¡s=MJEMLICEM

cs,V=XgcsEM™MT2MJ_M)T2X20X‘Y'X‘cMJK“XC`?F[9hMrUJcXg\]d¨X‘Y'X‘cMJK#Xr`0ICd=qœK“MJcs=F,qWXIXXF,U)\!ICcMrq˜cFlF[9hMrUJcXr­

cs=MQ_M)Y:b?F\]d,cS\3XSc>sICccs=MQXICK#Mgd=Fc>\3Fd=XF¥ ICd .) .+ICd=q¢F¥ I 8'SGHFLcsWEFV=Gslcs=M

csWEMrMT3MJ_MJT3X2

@ X [ GIGIM;OBAX [ YZ?

[ G

>IA

HJXHFXGIM

?DC >D ?

HD=X PFC'D

D

DY=?

G@[DFE Y [ EM

? ^

EGF D D A'C

[X AIHLC

[%DZX MKJMLM GNLM;X DPOQRF

3SJTVUMWGXYW LZWP[\]_^ J

k”'M™UJVWc\2FdF¥=IK#MJcs=F,q%\2X0q'\–,\3qM™q\–d,cF \–d=XZcJICd6c)X2™Fd=MUiICdX‘bMiICgF¥,cs=MžWE)X‘c\–d=XZcJICd6c

F¥ cs=MK“MJcs=F,q`6F¥…c>s=MgX>M™UrFd=q“\]d=X‘c™ICd6ci`WICd=qlXFLFdŸ' ¯s=MgX)ICK“MK#M)c>s=F6q#UiICdWd=FcS[M

E>VWd XMJ_MJEJICTc\–K#MrXeq9VE\–dG¤Fd=Mš\–dX‘cJICd,ciŸ¡j¢FEM™Fr_M)E`%I¤K#MJcs=F,q UiICd & %)K. \–cX

MJ”'M™UJVWc\2Fd`'—%IC\]c\–dG.¥¦FEILd=M)— 8'J`?ICdq£MJ”'M™UJVWc\2Fd¢—S\]T–T…E)M™X‘VK“MQ\–dšcsMU)VEEMJd6c

\]d=X‘c™ICd6ci`a—%s=M)d#csW\2X›bWsIXM—S\]T–T=[MEMiIUs=Mrq˜ª©cs,V=Xr`HbWsIXMrX¡UrFVWT2qeIX¡—¯MJT–T[MSdICK#M™q

- K# @ .+ . _¬JŸ

k”'M™UJVWc\2FdšF¥¯ICdœF[9hMrUJc¥¦FEcs=MOUJVWEE)M)d,c\–dX‘cJICd,c\3XScMJEKL\]dICcMrqe—Ss=MJdœICT–T \–cXK#MJ•

c>s=F6qXsIJ_MgžWdW\2X‘s=MrqLcFxM)”'MrU)VWc)MŽ¥¦FE¯csICcS\]d=X‘c™ICd6ciŸ

® d=MJ— \]d=X‘c™ICd6ccJIC_M™XbWT©IUrML—Ss=MJdAICT]T¡F['hMrU)cXQsI)_M#cMJEKL\–dICc)M™qšcs=MJ\–EMJ”9MrU)Vc\3Fd

¥5FE¡cs=MUJVWEEMJd,c\]d=X‘cJICd,ci­9IOd=MJ— bsIXMcJIC_MrX¡bWT!IU™M—Ss=MJd¢ICT]TK“MJcs=F,qWX›MJ\–csM)E¯sI)_M

ždW\3XZs=M™qLcFMJ”'M™UJVWcMS¥¦FE¯cs=MUJVWEEMJd,c\]d=X‘cJICd,c¯FEICEMX‘V=XZb?MJd=qWMrqx—SIC\]c\]d=GO¥¦FEŽIgd=MJ”6c

bsIXMaŸ

 ¡s=MJEMJ¥¦FEMa`,\]d=X‘cJICd,cXICd=qbsIXMrX¡bWEFr6\2qWMOXZY9X‘c)M)K#XS—S\]csšI 0A 10"' .6# .) K . '

.) 2csMxX‘Y9XZcM)K£`\]cXQF[9h>M™UJcXr`0ICd=qšcs=MJ\]EgK#MJcs=F,qWXICT–T›EVd˜cF#cs=MxXICK#MxGT2F[ICT U)T2F,U`

ICd=qed=FLUrFKLb?FdM)d,c\2X¡¥©E)M™McFcJIC_MQXFK#MOIq'_ICd=UrMŽFd¢c>s=MFcs=MJEXrŸ

5…\3GVEM0X‘s=F™—ŽX¡cs=MQX‘cEVU)cVEMF¥›ICd¢F['hMrU)ci`6K:IqWMQF¥…csWE)M™MbICEc)X2

Ixq=ICc™IObICEcSqM)žWd\–d=G|F[9hMrUJcq=ICcJI,­

ICd¢\]d,cM)E>¥§IU™MbICEc`,¥¦FEŽUCICT]T–\]d=GLF['hM™UJcSK#MJcs=F,qWXr­9Fd=MOUiICd¢XMrMg\]cIXK:IqWMQF¥ ; &

& .) 2c)FeUiICT–T¯I“K#MJcs=F,q`Fd=MbWVX‘s=MrXŽcsMxU™FEE)M™X‘bFd=q'\–d=GL[WVWc>cFd`—Ss\3UsšEMJ•

K:IC\]d=XxqWMJbWEMrXXMrq˜VWd,c\]T¡d=MJ”,c\–dX‘cJICd,ci­K#FEMrF™_MJEi`ICT]T¡[VWccFd=X.ICEMICVWc)FKeICc>\3UiICT–T]Y

E)M)T2MCIX>M™qlICccs=M[M™G\]dWdW\]d=GF¥MiIUsd=MJ— \]d=X‘cJICd,ci­

I:U™F,qWMbICEc`KeIqMxF¥¡XMJ_MJEJICT›bW\3MrUrM™XF¥SUrF,qWMH`?MiIUs Fd=MLqWM)ždW\–dG.csM[?F,q9YšF¥%I

K#MJcs=F,qŸ ¯s=MLICEEFr— qWMJbW\2U)c)M™q¢—S\]csœMCIUsœK#M)c>s=F6q¢[F,q9Y¢X‘s=Fr—X—Ss=MJEMMJ”9MrU)Vc\3Fd

\2XSUJVWEEMJd,cT–Y#X‘c)FbWbM™qL\–dl\–ciŸ

data part

interface part

code part

M1 Mk

val1 val2

...

...

...

5…\2GVWEM0A2'®Sdœy['hM™UJc

5 K7 D2

 ¡s=MJEMQM)”,\3XZcXcsEM™M,\–dqWX¡F¥…K#MJcs=F,qeUiICT–T2Xr­

mod '. 6# .& UiICT–T2Xr`acs=MUiICT]T3MJESqWF,MrX d=Fc¯—SIC\]c ¥¦FE¡csMUCICT]T3MrqLK“MJcs=F,qxcFOcMJEKL\]•

d?ICcMH­6\]ch‘V=XZcSXMJd=qWX%ICd¢FEqWMJEICd=qUrFd,c\–d,V=MrXcFxMJ”'M™UJVWcMaŸ

mod '. 6# .& ŽUCICT]T2Xr`?cs=MLUCICT]T2M)EsICT–c)XgVWd,c\]TMJ\]cs=MJEgcsM.FE)qWM)E\3XQEMohM™UJcMrq`?FEi`0\–¥

IUrUrM)bWc)M™q`6csMŽUiICT]T3MrqeK#M)c>s=F6qLcMJEKL\–d?ICcM™X›¥¦FESc>s=MgUJVWEE)M)d,c\]d=X‘c™ICd6ciŸ

0 '6ŽUiICT]T3XICE)MOIX‘Y,d=UsWE)Fd=FV=XSUiICT–T2X¡—Ss\3Us£ICEMOqWMJT!I)Y_MrqecFcs=Md=MJ”,cS\–dX‘cJICd,ciŸ

mŒd:cs=Mco—¡FžWE)X‘c¡UiIXMrXr`9cs=MUiICT–T2M)E%UCICdl[?M\]dW¥¦FEK#Mrqx—Ss=MJcs=MJEcsMŽFE)qWM)E%XMJd6c¯\3X%IU™UrM)bcM™q

FExEMohM™UJcMrq ª©cs\3XO\]dW¥¦FE>KeICc>\3Fd \3XK#MiICdW\–dGT3MrXXO¥¦FELqM)T!I)Y_MrqAUCICT]T2X|—%sW\3Us ICEM“bWE)F6UrM™X>XM™q

FdWT]Y#ICc¡d=MJ”6c \]d=X‘cJICd,cJ¬JŸHDICEJICK#M)c)M)EX›K:I)YL[MScEJICd=XZK.\]ccMrqq9VE\–dGOUiICT–T2X¡ICdq.csM)YxK:I)YL[M

F¥›ICd,Ye,\–d=q0­_c>s=M)Y#UiICd¢MJ_M)d[MQF[9h>M™UJcX¡FEK#MJcs=F,qWXrŸ

5…\2GVWEM}LX‘s=Fr—Xcs=MM "MrU)cQF¥ ICd IUrU™MJbWcMrq¢UCICT]TF¥¯IxK“MJcs=F,qedICK#Mrq\]dšF[9hMrUJc )2

[WVWcc)FdL\2X bV=X‘s=Mrq#ICd=q“MJ”'M™UJVWc\2FdeF¥cs=MSK#MJcs=F,qx[?F,q9Y#IXX>F6UJ\©ICc)M™qLcFLGHF,MrXcFxIQd=M)—

bF\–d,cX‘s=Fr—Sd[,Y“c>s=MOICE>EF™—Ÿ=yd¢cs=MFcs=MJESsICd=q0`,ž=GVEM{.XZs=F™—XIEMohMrU)c)M™q#UCICT]T0c)FLICd

ICT–E)MCIq9Y#qWFdMSK“MJcs=F,qšª©cs=MSUrFEEMrX‘bFd=q9\]d=GQ[WVWccFdL\2X¡qWMJbWEMrXXMrq=¬K2\–c¯sIXdFOM"M™UJcICcŽICT–T

ª©EMrUCICT]TcsICcICT]T[WVWccFdXSICEMEJIC\2XM™qlICcScs=M[M™G\]dWdW\]d=GF¥ MCIUsdM)— \]d=X‘c™ICd6cJ¬™Ÿ

... M1

...

M ...

...

... M1

...

M ...

...

becomes

object O object O

call of method named M in object O

5…\2GVWEMQ}A2W®U™UrMJbWcMrq 9MJd=q“cFLIxj¢MJcs=F,q

... M1

...

M ...

...

call of method named M in object O

object O

5…\3GVEM{ 2pMohM™UJcMrq 'M)d=q#cFLILj¢M)csF6q

D7! &2

y%['hMrU)c)X UiICd#[?Mq'Y6dICKL\2UCICT]T]YxU)E)MCICcMrq#IX 0. KF¥0MJ”6\2X‘c\]d=GQFd=MrXaŸ6® U)T2Fd=MF¥ ICdeF['hMrU)c

\3X|I.d=MJ— F['hMrU)cQ—Ss=FHX>MK“MJcs=F,qWXICEMLUrFbW\2M™XQF¥c>s=FHXMxF¥

Ÿ? ¡s=MxUJT2FdW\–dGeFbM)E™ICc\3Fd

J P M D DNA'>ID

D

D

[JXG

D

DLM X DVO

M

?C'DPO A'P

M : Q

<

G@[DFE

Y

[EMF\W ]

\3XX‘sF™—SdšFdšž=GVWE)Mx{H{_Ÿ 7Fc\2UrMOcsICcS\]dšcs=MQU)T2Fd=MF['hMrU)c`q=ICcJILICEMd=FcU™Fb\3MrqšICd=qšICEM

VWd=qWMJžWd=Mrq˜ª!cs=M XZY6K[FT!¬J`WICd=qecs?ICc¡K#M)c>s=F6qL[F6q'\3MrXSICEMEMrXMJciŸ

M1 Mk

val1 val2 ...

...

...

M1 ... Mk

...

...

creates O’ is a clone of O

object O object O’

5…\3GVWE)MO{H{62= ¡s=MRT2Fd=MQy%bMJEJICc\2Fd

5 K7 '2

j¢M)csF6qWX UiICde[Mq9Y,dICKL\3UiICT–T]Y#IqWqWMrqLcFF['hM™UJcXrŸ6 ¯s=MM "MrU)c¯F¥Iqq9\–dGxIgK#M)c>s=F6qxcF.ICd

F[9h>M™UJc\2X X‘s=F™—%deFd#ž=GVWEMg{NA2'Id=MJ— [WVccFdx\2X¡IqWqM™qL—S\]cs:IŽd=MJ— E)M™XMJc›\–dX‘cJICd=UrMSF¥cs=M

K#M)csF6q#[?F,q9Yšª©d=Fc>\3UrMcsICcS[WVccFdlICd=qeK#M)c>s=F6q#dICK#M™X%ICEMd=FcSd=MrU™MrXXICE>Y“csMŽX)ICK“Mi¬JŸ

M1 ... Mk

...

M1 ... Mk

...

becomes

X

object O object O

method M

add method M to object O under name X

5…\2GVWEM{NA2®qWq£IxjlMJcs=F,q

& sM)d IqWq9\]d=G¨IšK#M)csF6q`\–¥Qcs=MJEMMJ”6\2X‘cX:I˜K#MJcs=F,q¨—S\–c>s csMXICK#M¢dICK#MH` c>s=M)d

ICd6Y°IUrU™MrXXOcFc>s=MLFT3qœK“MJcs=F,qš[?MrUrFK“MrXg\]KLbFHXX‘\][WT3Mª!cs6VXr`cs=MLFT2q˜K#M)c>s=F6qš[M™UrFK#M™X

VWdIUrU™MrXX‘\][WT2MC¬™Ÿ

/0>1

 ¡s=MJEMeMJ”,\3X‘c)XLICd .) /10F['hM)c`—S\]cs«FdWT]Y¨Fd=M:K“MJcs=F,q­?csW\2XK#M)c>s=F6q \3XxUrFd6c>\–d,V=FV=X‘T]Y

M)”'MrU)VWc)M™q[,Ycs=M¯X‘Y'X‘cMJK ICdqxMCIUs#MJ”9MrU)Vc\3FdLF¥=\]c qWMJžWd=MrXI%dM)—«GT2F[ICTW\]d=X‘cJICd,ciŸ'%VE\–dG

Fd=MS\]d=X‘cJICd,ci`F[9hMrUJcX ICEMSUJEMCICc)M™qLICd=qxK#MJcs=F,qWX›ICEMSUiICT–T2Mrq­‰MJ”9MrUJVWc\2FdLF¥?UiICT]T3MrqxK“MJcs=F,qWX

UCICd UiICV=XMUJEMiICc\3FdœF¥›d=MJ— F[9hMrUJcXQICd=qšUCICT]T3XF¥›d=MJ—K“MJcs=F,qWXr`WcsICc—S\]T]T…[MM)”'MrU)VWc)M™q

\–dšcsMgXICK#MO—%I)Y6Ÿ®d=MJ—tbWsIXMQ\3XS\2XX‘V=Mrq—Ss=MJdœICT]T0K#M)c>s=F6qXSM)\]cs=MJEICEM|X‘V=X‘bMJd=qWMrq`9FE

sI)_MxžWd\3X‘sM™qcF:M)”'MrU)VWc)MO¥¦FEcs=MUJVWEE)M)d,c\–d=XZcJICd6cŸ ¡s=MxUJVWEE)M)d,c\–dX‘cJICd,cŽ\2XcMJEKL\–dICc)M™q

—Ss=MJd¢ICT]T0UiICT]T3MrqeK#M)c>s=F6qX sIJ_MŽc)M)EKL\]dICcMrq.c>s=M)\]ESMJ”'M™UJVWc\2Fd“¥5FEScsICc¯\–d=XZcJICd6c­acs=MJd`6cs=M

 ¡sW\2X¡UrFd=UJT–VqWM™X cs=MpMiIU)c>\–_MQy[9hMrUJcj¢F6qM)TqWMrXUJE\–bc\3Fd…Ÿa ¡s=Md=MJ”6c%XMrU)c\2FdG\]_MrXI

X‘Y,d6cJIC”lICd=qqM)žWdM™X%IObWEFcFcoY6bMT!ICd=GVIGHMg[?IXM™qlFdcs=M 8 K#F,qWMJT§Ÿ

¢

 ¡sW\2XX>M™UJc\2FdG\]_M™X%IOX‘Y,d6cJIC”L¥¦FE¯cs=M 8 K#F6qWMJTŒŸ6 ¡s=MST!ICd=GVIGHMqWMrXU)E>\–[Mrq.\2X [VW\–T]c¯Fd

8(.3)! " .,! ª98 !Ž¬<~?…—%sW\3Usš\2X\–cX>M)T]¥[IXMrqšFd,!`?ICd=qšG\]_M™XQI.—%I)Y¢c)F“UrF6qMX‘Y'X‘cMJK“X

qWMrX‘\3GdM™q IUrU™FEq'\–d=G cF˜csMeEMiIU)c\]_MšICbWbWE)F_IUsŸ¡y%VE“\]d6c)M)d,c\2Fd \2X ¶W† cF¨G\]_MšI˜¥©VWT]T

3=MrqWGHM™qLT!ICd=GVIGHMa`_[VWc0hZV=X‘c›cFqWMJžWd=MŽI # 114')›csICc¯UCICd:[MSV=XMJ¥©VWTWcFQ\–d,_MrX‘c\2G_ICcMcs=M

8( K#F,qWMJT§Ÿ& M#ICEM#I)—%ICEMLcsICcQcsW\2X%bEFcFcoY6bMT!ICd=GVIGHMx\3XQd=FcQV=XMJE•¦¥©E\2M)dq9T–Y6`ICdq

—¡MbWT!ICdcF[WV\–T2qIEMiICT?T!ICd=GVIGHM[IXMrqFdc>s=M 8( K#F6qM)TŒŸ

/01 D7K2

 ¡s=MqICcJI|b?ICEcQF¥¡ICdœF['hMrU)c\2XgILX‘cE>V=U)c>VWEM—Ss=FHXMOžM)T2qWXUCICdœFdWT]Y[MxIUrU™MrXXMrq[,Y¢cs=M

F[9h>M™UJc XK#M)c>s=F6qXrŸ ŽMJžWdW\]c\2FdF¥›ICd£F[9hMrUJc xsI),\–dG|žM)T2qWXx\2X¡—SE\]ccMJd 2

! #"_%$

'&

(&

)*& ! +"_%$

k”WICKLbWT2M 2

! #"-,%.!/)%01$

.2) '.! &3*+&

)*& ! +"-,%.!/)01$

®SdšF[9h>M™UJc x\3X%X‘\–KLbWT]Y#qWMrU)T!ICEMrq“[,Y2

! 456?7&

mŒdlcsW\2X¡UiIXMH`xsIX¡cF[MQqWM)žd=M™qlIXSUJT3Fd=MQF¥›ICd=Fc>s=M)E%F[9h>M™UJcª¦XMrM[M)T]T3Fr—¬JŸ

®tž=MJT3q8“UiICd[MOIUrUrM™XX>M™qe[,Y:F[9hMrUJc X K#M)csF6qWX›VWd=qM)E¯cs=MdICK#M9:. 13*#";8:$6Ÿ

 ¡s=MQF['hM™UJc¡d?ICK“Mrq<0=.s?IXICd¢MJK.bcŒY#q=ICcJIOb?ICEci`=ICd=qe\2X¡bWEMrqWMJžWd=MrqŸ

5 K7 > D7K2

 ¡s=MQqWMJžWdW\]c\3Fd:F¥›IK#M)c>s=F6q lIXXF,U)\!ICcMrqecFLICd¢F['hMrU)cxsIX¡c>s=M¥¦FT–T2F™—%\–d=G¥5FEK 2

3 ? 3*#"_7 '$A@

B

j¢M)csF6q#[?F,q9\2M™X%ICEMKeIqMgF¥ 8 ! XZcJICcMJK“MJd,cXrŸ6®tK#M)csF6qL\3X%UCICT]T3Mrq \]d\]cX¡[F,q9Y_`WICd=q

\–c)XgdICK#Mx\3XBA)0'Ÿ ICE\©IC[T3MrXOqWMJžWd=Mrqš\–d°IeK#M)csF6qš[F6q9YœICE)M|T2F,UCICT›cF\]cICdq¨ICEM

\–d,cEF,q9V=UrMrq[6YxcsM6%0_MJY6—¯FEqŸa ¯s=MF™—SdM)E F['hM™UJc¯F¥c>s=M¡K#M)c>s=F6qx\2X›UCICT]T3Mrq =1A`6ICd=q

\–c)XOdICK#M.\2X=133)%0Z9ŸC5=FExMJ”WICKLbWT2Ma`c>s=M.¥5FT–T2F™—S\]d=GK#MJcs=F,q£bWE>\–d,cXO\]cXgd?ICK“M#MiIUs

c\]K“M\]c¡\2XSM)”'MrU)VWc)M™q"2

3 ? 3*#" %0=. .!*) .!5$3@

& #"&& $3@

6:.2) +" 0%=#3)%0Z$ & B

=3 6 &

B

B

7Fc\2U™M›cs=M =3 & !6@8 !¤X‘c™ICcM)K#MJd6ccsICcX‘cFbX0MJ”9MrU)Vc\3FdQ¥¦FEcs=M›U)VEEMJd6c\]d=X‘cJICd,ci­™MJ”9MrU)Vc\3Fd

—S\]T–TEMrX‘cJICEc¯¥©EFK csW\2XbF\]d6c`_—%s=M)dlcs=MK#M)csF6q#—S\–T]TM)”'MrU)VWc)M%¥5FEScs=Md=MJ”6c%c\–K#MaŸ

pM)K:ICEICT2XFcsICc…c>s=M)E)M \2X0csM bFHXX‘\][W\]T–\]coYŽc)FqWM)žd=M dFdW•¦EMiIU)c\]_M F[9hMrUJcX?—SsFHXMK#MJ•

cs=F,qŽdM)_MJE0cMJEKL\]dICcM?¥5FE0cs=MUJVWEE)M)d,c\–d=XZcJICd6c`CICdMJ”WICKLbWT2MF¥6—%sW\3UsQ—¯FVWT3qQ[M .*) :.5

—S\]cs=FVWc cs=M =3 & !6x\]de\]ciŸ 6V=Us:F[9h>M™UJcXSICE)MŽqM)žWd\–cMJT]YxM)E>EFd=MrFV=X \]d#cs=MpMCIUJc\]_My%['hMrU)c

j¢F6qWMJTŒŸ

D7! &2

 ¡s=MQU)T2Fd=M:F¥›ICd¢F['hM™UJc 13*.\2XSUJEMCICc)M™q#[6Y#cs=MQqWMJžWdW\]c\3Fd42

1 ) "1A* $ &

y%['hMrU)cL\3X¡T2F,UCICTcFcs=M[WT2F6U#\]d—SsW\2UsecsMŽqM)žWd\–c\2Fdec™IC_M™X¡bT©IUrMHŸ

®Sd ICT–E)MCIq9Y°qWMrU)T!ICEMrq¨F[9h>M™UJc¤\2XxqWMJžWd=MrqAIXLIšU)T2Fd=MeF¥ 13*˜[,Y¨MJ”9MrU)Vc\–dGcs=M

X‘cJICcMJK#M)d,cI2

.=1 !) "13*+'$&

5 K7 '2

 …F#IqWq¢IOK#MJcs=F,q #cFxF[9h>M™UJc xVWd=qWMJE¡d?ICK“Mšª©—SsW\2Use\2XIX‘cE>\–d=G_¬›\3X¯—SE\]ccMJd 2

0**0= "# $ &

& sM)dL\2X¡cs=MdICK#MF¥ `WFd=MQX‘\]K.bT–YL—SE\]cMrX2

0**#"_# '$&

Y2 < 7K782 D2

®X‘Y,d=UsWEFd=FVXŽK#MJcs=F,q¢UCICT]T3XQICEMbMJE¥¦FEK#MrqeV=X‘\]d=GLcs=M=!)*XZcJICcMJK“MJd,ciŸ'® bICEJICK#M)c)M)E

IŽbICE™ICK“MJcMJE—SsW\2UsL\3Xd=Fc V=XMJ¥©VWTŒŸrmo¥cs=MSUiICT]T=\3X IUrU™MJbWcMrq`ic>s=M¡bICEJICK#MJcMJE\3X›cEJICd=XZK.\]ccMrq

cFgc>s=MSUiICT–T2M™qxK#MJcs=F,q`aICd=qL\]d.c>s=M¡K#M)c>s=F6q[F,q9Y6`‰\–c›\2X ,d=Fr—Sd:IX0/Ÿ6®SdlIX‘Y6dUsWEFd=FV=X

UCICT]T0c)F“IK#MJcs=F,qF¥›F[9h>M™UJc`'—Ss=FHX>MŽ\]d6c)M)E¥ŒIU™MdICK#MŽ\2X 2)%0Z6`,—S\]csb?ICEJICK#M)cMJE 0/`

\3X¯—SE\]ccMJd 2

=!)*+"_7 )0Z' 0/:$&

k”WICKLbWT2M 2

=!)*+"_ .!*&!) :.!5 ' "!!$&

 …FLGHMJcS\–d¥¦FEK:ICc\2FdFdœIUrU™MJbWcJICd=UrMFEEMohM™UJc\2FdF¥›ICdœIXZY6d=UsEFd=FV=XSUiICT]T§`WFd=MV=XMrX

cs=M =)*=œbE\–KL\]c\]_MHŸR¯F6qWM

&AK“MiICd=X#csICcec>s=M¢K“MJcs=F,q«\3XeVdW6dF™—Sd`¡ICdq

! LcsICc%cs=MOUiICT]T0\2X¡EMohM™UJcMrqe[M™UiICV=XMcs=MK#M)c>s=F6q:sIXICT–E)MCIq9Y#[M™MJd¢UiICT–T2Mrq

q9VWE\]d=GcsMgUJVWEEMJd,cS\–dX‘cJICd,ciŸ' ¯s=MŽE)M)cVEd¢UrF6qWM\2XIXX‘\2Gd=M™qc)F“ICd . ) ._ICE>\©IC[WT2MOG\]_MJdœIX

¥¦FVWEc>s¢ICEGVWK#MJd6c­_¥5FEM)”ICKLbWT2M12

=!)*= "# )0' 0 / =:1A :$ &

:=< 37!K7 K2 D2

mŒd£IX‘Y,d=UsWEFd=FVXSIUrU™MJbWcMrq“UiICT]T§`6cs=MUiICT–T2MJE¡—%IC\–cX ¥¦FE¡c>s=MUCICT]T3Mrq“K#MJcs=F,q.c)FOcMJEKL\–dICc)M™X

¥¦FE¡c>s=MU)VEEMJd6c \–dX‘cJICd,ciŸa®tX‘Y,d=UsWEFdFV=XUiICT]Tc)FxIgK#M)c>s=F6q#F¥F[9hMrUJc `_—%s=FHXMS\]d6cMJE¥§IUrM

dICK#MŽ\2X 2)%0Z6`6—S\–c>sebICEJICK#MJcMJE 0/`6\3X¡—%E\–c>cM)d42

A011 "_7 )0Z' 0/:$&

 …F¢GHMJcO\]dW¥¦FEK:ICc\2Fd¤Fd IU™UrM)bcJICd=UrM.FEEMohM™UJc\2Fd¨F¥ŽIX‘Y6dUsWEFd=FV=XUCICT]TŒ`FdM.V=X>M™XQcs=M

A011 =ObWE>\–KL\]c\–_Ma­a¥¦FEMJ”ICK.bT3M2

A011 = "# )0' 0 / =:1A :$ &

< D2

® qM)T!I)Y_MrqšUCICT]T…¥¦FEcsMgd=MJ”6c\]d=X‘c™ICd6cS\2XSK:IqWMOV=XZ\–d=GxcsM =)*)38 #bWE\]KL\–c\]_MaŸ, ¯s=M)E)Mg\2X

d=F#U™FEE)M™X‘bFd=q'\–d=GbWE\]K.\]c\]_MŽc)F.GHMJc\]dW¥¦FEK:ICc\2FdšIC[FVWcQIUrU™MJbWcJICd=UrMQFEŽE)MŒhMrUJc\3Fd£F¥cs=M

UCICT]TŒ`9IX \]c¡qF6MrX dFcUrFd=UrM)E>d“csMSU)VEEMJd6c›\]d=X‘cJICd,ciŸa® qWM)T!I)Y_MrqeUiICT]T=cFIK“MJcs=F,qLF¥0F['hMrU)c

W`9—Ss=FHX>MŽ\]d6c)M)E¥ŒIU™MdICK#M\3X )0_`6—S\]cseb?ICEJICK#M)cMJE 0/=`9\3X¯—SE\]ccMJd 2

=!)*)A8 #"_# 2)%0Z;0/$ &

5 K7

®tK“MJcs=F,qeUiICdšq9Y,dICKL\3UiICT]T–Y#UsICd=GHMQ\–c)X¡\–d,cMJE¥§IUrMdICK#MŽ[,YMJ”9MrUJVWc\]d=GxIEMJdICKL\–d=GxXZcJIC•

cMJK“MJd,ciŸ'5=FESMJ”WICKLbWT2MH`9\]c¡\2XSUsICd=GHMrqe\]d ) [,Y2

&!)%0Z " ) $&

pM)d?ICK.\]d=GHX|ICEMeX‘bMrU)\!ICT]T–YšV=XMJ¥©VWTc)FEM™XZcE\2U)c.IU™UrM™X>XOcFK#M)c>s=F6qXrŸ 5=FEcsICcbWVWEbFHXMa`…I

K#M)csF6qUCICdE)M)dICK#M\]cXMJT–¥,[6Y|I¡d=MJ—¨dICK#M—SsW\2UsO—S\]T]Ta[M›UrFK.K|VWdW\2UCICcMrqQFdWT–YQcFF['hMrU)cX

ICT–T2F™—¯MrqcFxUCICT]T\–ciŸ)5=FESMJ”ICK.bT3Ma`'UrFd=X‘\2qWMJE¡csM%¥5FT–T2F™—S\]d=GK#MJcs=F,q"2

3 ? 3*#"_7 6 :1.$A@

&!)%0Z "-0 /:$&

B

y%dMOGHMJcXIEM™XZcE\2U)cMrqIUrUrM™XXSc)F|c>s=MŽK#MJcs=F,q`6[6YlUCICT]T]\–d=Gx\]cS—S\]csšId=MJ— dICK#MIXSb?ICEJIC•

K#M)cMJE#ª¦Fd=MxX‘VWbb?FHX>M™Xcs=MJEMO\2XI#—SIJY£c)FeUJEMCICc)Md=M)— ¥©EMrX‘sœdICK#M™X)¬J­cs=MJd`c>s=MK#M)csF6q

—S\]T–Td=FcS[MIUrU™MrXX‘\][WT2MŽ[,Yec>s=MgFT2qdICK#M 6 1.,`6[WVWcFdT–Y:[6Y:cs=FHXMQ6d=Fr—S\]d=Gxcs=Md=M)—

dICK#MHŸ

/0>1

 ¡s=M .) /10F[9h>M™UJcLqWMJžWd=MrXOcs=M:X‘Y9XZcM)K MJd6cE>Y¤bF\–d,ci­0\–cLFr—Sd=X#IšX‘bM™UJ\©ICT¯K#M)csF6q`ICT2XF

UCICT]T2M™q . ) .! .3019`9—Ss=FHXMU™Fd,c\]d6VFV=XM)”'MrU)VWc>\3Fd¢qM)žWdM™XScsMgGT2F[ICT…\]d=X‘cJICd,cXrŸ& s=M)d¢\]c\2X

d=MrM™qWMrq`9Fd=MUiICdebIXX bICEJICK#MJcM)E)XcFOc>s=MX‘Y'X‘cMJK¢`aVX‘\–dGOcs=MX‘cJICdq=ICEq 0 /

0 /3 !

K#M™UsICd\3X‘K£Ÿ™ …F%qWM)žd=M…cs=M\]dW\–c>\©ICTHK#MJcs=F,q%—%\–cscs=M…bICE™ICK“MJcMJEX 6%00ZŽsIXcs=M¥¦FT]T3Fr—S\–dG

X‘Y,d6cJIC” 2

.2)'. :.301 " 600Z'$3@

B

k”WICKLbWT2M@2

.2)'. :.301 " . ) 0/: ?%00 / $3@

& #"2. 7&& .$3@

6:.2) +"!) . ):=A 0A) * .$ &

=3 6 &

B

B

2 &2

mŒdX‘cJICd,cX¡K:I)Y:[?MQqWMrU™FKLbFHXMrqe\]d6cFbsIXMrXrŸ' ¯s=MŽdFc\3Fd£F¥ IbsIXMg\2XSX‘c>EFd=GT]Y“EMJT!ICcM™q

cFcs=MSbFHXXZ\–[W\]T]\–coYx\–d 8 ! cF|qWM™UrFKLbFHXMIgEMiIU)c>\3Fd:\–d,cFXMJ_MJEJICTK.\2UJEF•¦EMiIU)c\2Fd=Xr`aVX‘\–dG

cs=M =:=!6!)*LX‘c™ICcM)K#MJd6cŸ &¤Mcs,V=XSUs=F,FHXMcFxq9\]EM™UJcT]YLV=XMcsW\2X 8 ! X‘c™ICcM)K#MJd6c`'ICdqeGHMJc

cs=McŒ—¯F¥¦FT]T3Fr—S\]d=GbWE\]KL\–c\]_MrX2

 ¯s=Me[F6FT2MiICdAcM™XZc .=?0= " )'$#\2XxcEV=M:\–¥QICd=q«FdWT]YA\]¥cs=MX‘Y'X‘cMJK \–d«\]d bsIXM

d,VWK[MJE)œª©cs=M\]dW\]c\©ICTbWs?IXMsIXSd6VK[M)EŽ{¬JŸ

5=FEMJ”WICKLbWT2MH`9Fd=M—%IC\–cX¯¥¦FEScs=MbWs?IXMŽd,VWK[MJENO[,YeMJ”'M™UJVWc\]d=GOcsMŽ¥¦FT]T2F™—S\]d=GT2F6Fb 2

& #"&& $3@

.! "2.= ?%0= "_%$$ "03 &

= :=6)* &

B

® d=MJ— bWsIXM¡\2X›\3XXZV=M™qL[,Yxcs=MSX‘Y'X‘cMJK —%s=M)d:MiIUseUiICT–T2Mrq.K#MJcs=F,qWX›M)\]cs=MJE\3X¯U™FKLbWT2MJ•

cMJT–YxcMJEKL\]dICcMrq`iFE sIX›cMJEKL\–dICc)M™q\]cX›M)”'MrU)VWc>\3FdL¥¦FE cs=MSUJVWEE)M)d,c\–dX‘cJICd,cŽª5M)”'M™UJVWc\]d=GI

=A !6¢X‘cJICcMJK#M)d,cJ¬J`WFE\3XQX‘V=XZb?MJd=qWMrq¤ª¦MJ”'M™UJVWc\]d=GLI = :=6)*eXZcJICcMJK“MJd,cJ¬JŸW® d=MJ—\–d=XZcJICd6c

\3X\2XX‘V=Mrq[,Ycs=MXZY9X‘c)M)K —Ss=MJdœI.d=MJ—tbWsIX>MOcJIC_MrX%bT©IUrMO—SsW\]T2Mgd=F:X‘V=X‘bMJd=qWMrqeK#M)csF6q

EMJKeIC\]d=XrŸj¢FEMrF™_MJEi` cs=M#bWsIXM#d6VK[M)E\3XxEMrXMJccF°{lICcLcsM.[MrG\–dWd\–d=GšF¥MiIUs«d=M)—

\–dX‘cJICd,ciŸ

&¤MLICE)MGHF\–dG“cF#U™FdX‘\3qM)Eco—¡F:M)”ICKLbWT2M™XScF#X‘s=Fr— c>s=MOMJ”6bEM™X>X‘\–_MQbF™—¯M)EQF¥ cs=M 8

K#F6qWMJTŒŸ'mod¢cs=MOžWE)X‘cFd=Ma`Fd=MqM)žWdM™XXFK#MQ6\]d=qšF¥ JIU)c>\–_M eF['hMrU)cXSc>sICcUCICdœMJ”9MrUJVWcM

\–d°ICd°ICVWcFd=FK#FV=X—SIJY_Ÿ0 ¡sMxXM™UrFd=qšMJ”WICKLbWT2MxX‘s=Fr—XŽsF™— cFe\]K.bT3MJK#M)d,cQI“[WEF_IqUCIX‘c

U™FKLKVdW\3UiICc\2FdeK#MrUsICdW\2X‘K£Ÿ

/ 0>1 2

*X‘\]d=Gcs=M =)*)38 šX‘c™ICcM)K#MJd6c`?IeK#M)csF6qœUCICd°U™Fd,c\]d6VFV=X‘T]Y˜UiICT]T \]cXMJT]¥¥¦FEcs=Mxd=MJ”6c

\–dX‘cJICd,ciŸ®Sd F[9hMrUJcxF™—Sd\–d=GšX‘VUs«IK“MJcs=F,q˜\2XLICd 6 OF['hMrU)c|csICcxMJ”9MrUJVWcMrXO\–d ICd

ICVWcFd=FK#FV=X—SIJY_`…—S\–c>s=FVWcOc>s=Mxd=M™Mrq¤¥¦FE“ICd=Fcs=MJExF['hM™UJccF¢UiICT]T¡Fd=M:F¥S\]cXOK#M)c>s=F6qXrŸ

5=FE M)”ICKLbWT3Ma`ic>s=M¥¦FT]T2F™—S\]d=GbWEFHGEJICK qWM)žd=M™X›ICd:IUJc\]_MSF[9h>M™UJcg—SsW\2Us#ICc MCIUsL\]d=X‘cJICd,ci`

bWE\]d6c)XSIK#M™XX)IGHMH`WICT]cs=FV=Gs\]cX )“K#MJcs=F,q“\2XSFdWT]YeUiICT]T3MrqeFd=UrM[6Y:cs=M\–d\–c\!ICTF[9h>M™UJcI2

3 ? 3*#" %0=. ) $3@

& #"&& $3@

6:.2) +") $ &

=!)*)38 #" =13+ A)0 !!:$'&

=3 6 &

B

B

.2)'. :.301 " $3@

1 ) " 0=.%$ &

0**#"_# )'$ &

=!)*+"_7 ) !!:$&

B

K2 &7 K2 37 2

&¤M¢—%ICd6c:cF˜\]KLbWT2M)K#MJd6c:I˜_MJEYA[IX‘\2U¢d=Fc\2Fd F¥xI˜[WE)F_IqWUCIXZceMJ_M)d,ci` —S\]cs FdWT]YAcŒ—¯F

bWE\]KL\–c\]_MrX2

0 0%.! ) #" :$Ž[WT3F,U'XSU™Fd,cEFTVWd,c\]T?MJ_MJd6c L\2XSGHM)dM)EJICc)M™qŸ

/!) 0 !) #" $šGHM)d=MJEJICcMrX#M)_MJd6c =`—SsW\2Us s?IX“cs=MšM"M™UJcec)F¤\–KLK#Mrq9\©ICc)M)T]Y

E)M™X‘VK“MMJ”9MrUJVWc\2FdF¥›ICT]T?K#MJcs=F,qWX—%IC\]c\–dGO¥¦FE Ÿ

7Fc\2U™M¡c>sICc…csW\2X…\2X›I¯E)MCICT'[WEF_IqWUiIX‘c›UrFK.K|VWdW\2UCICc\2FdK#MrUsICdW\2X‘K’ª©cs=M¯IGHM)d,c›GHMJd=M)E™ICc\–dG

ICdšM)_MJd,cSsIX¡d=F,d=Fr—ST3MrqWGHMQFd¢cs=MQIGHMJd6cX¯csICcICEM[WT2F6U_Mrqe—%IC\–c>\–d=G¥5FES\–c™¬¡ICd=qedFcI

X‘\]K.bT3MKVT–c\2UiIX‘cLª©\–dœ—SsW\2Usœcs=MMJ_M)d,cGHMJd=MJEJICcFEQ—¡FVT3qšsI)_MxcF:6d=Fr— ICT]Tcs=MLIGHMJd6c)X

I)—%IC\–c>\–d=GxcsMŽMJ_MJd6cJ¬™Ÿ

 ¡s=M\]K.bT3MJK#M)d,cJICc\2Fd“\2X¡[IX>M™q:Fd¢cs=M¥¦FT]T3Fr—S\–dGb?F\]d,cX2

k_MJd6c)XLICEMeF['hMrU)cX—%sW\3Us°sI)_Meco—¯F¤IXX>F6UJ\©ICc)M™q¤K#MJcs=F,qWX) 0 & !) œICd=q

0%.! ) =Ÿ

 ¯s=M!) 0 !) OK#M)csF6q:XM)c)XSIž=MJT3q:F¥…cs=MQF[9h>M™UJcSGHMJd=MJEJICcMrqŸ

 ¯s=M)E)MgICE)MŽco—¡FbsIXMrX2'MJ_MJd6cX%ICEMQGHM)d=MJEJICcMrqeq'VWE\]d=GOcs=MžWEXZcSFd=Ma`WICd=q¢IC[=XMJd=UrM™X

F¥ M)_MJd6c)XICEMbWEF,U™MrXXMrqeq9VE\–dGOcs=MXMrU™FdqFd=MaŸ

 ¯s=M

0%.! 3) ¡K#MJcs=F,qŽcMrX‘cXUrFd6c\]d,V=FV=X‘T]Ycs=M›F['hM™UJc0žM)T2q­)\]¥6csM X>M™UrFd=qgbsIXM

\2X¡EMiIUs=Mrq˜ª©c>s=MM)_MJd6c¯\3X¯cs6VXSIC[=XMJd,cJ¬J`6cs=MJd“c>s=MK“MJcs=F,qeMJ”'M™UJVWcMrX¡IqM)T!I)Y_MrqUiICT–T

c)F%\]cXMJT]¥W¥¦FE›UrFd6c\]d,VW\–dG%c)F%—¯FELICcdM)”,c\–dX‘cJICd,ci­iFc>s=M)E>—S\3X>MH`C\–cc)M)EKL\]dICcMrXrŸ7Fc\2U™M

c>sICcSMJ_M)d,cXICE)MgMJ”WICKLbWT2MrXSF¥ JIUJc\–_M xF['hM™UJcXrŸ

M)E)Mg\2X¡cs=MUrF6qWM2

=² †C„

®Sd¢MJ_MJd6cS\2XICd¢F['hMrU)c%—S\–c>sFdWT]YeFdMŽž=MJT2qeUiICT–T2M™q /&!)Ÿ

,! #"0=. !) :$

. ) /&!)(&

)* ! #"0=. 3!) :$

 …F¢GHMJd=M)E™ICcMeICd«MJ_MJd6cK#MiICd=XOcFœIXXZ\3Gd /!)˜csM.d,VWK[MJEF¥cs=MLUJVWEEMJd,c\–dX‘cJICd,ci`

—SsW\2Usš\3XQX‘cFEMrq¢\–dšcsM . )=3 0A) #_ICE\!IC[WT2MHŸ= ¡sW\2X%6ICE\©IC[T3M\2XQICVWcFK:ICc\2UCICT]T–Y£XM)c

[6Ycs=M›X‘Y'X‘cMJK ICccs=M[M™G\]dWdW\]d=GSF¥MCIUsxGT2F[ICT'\–d=XZcJICd6c`iICdqOcs,V=Xr`™bWEMrXMJd=U™M›F¥ICT]TWMJ_MJd6cX

\3XŽICVWcFK:ICc\2UCICT]T–Y#EMrXMJc¡—Ss=MJd¢Id=MJ— \]d=X‘c™ICd6c¯cJIC_M™X¯bWT©IUrMaŸ

3 ? 3*#"0=. !) &!) 0 ) :$A@

+"&& $A@

:.313*#";/&!)'$ %. ):=A 0A) +&

=3 & !6 &

B

VWE\]d=GxbWsIXM.{_`cs=M

%0. !) LK#M)c>s=F6q:U™Fd,c\]d6VFV=X‘T]YecMrX‘cX¡c>s=MgMJ_MJd6ccFx[MgGHMJ•

d=MJEJICcMrq`9ICd=qL\–¥\–c sIXdFc[MrM)d:GHM)dM)EJICc)M™qL—Ss=MJd“bsIXMQNgcJIC_MrXbWT!IUrMH`6\]c¡UiICT–T2X\]cXMJT]¥¥5FE

cs=Md=MJ”,cg\]d=X‘cJICd,ciŸ& s=MJd

%0.! !) qWMJcM™UJcXcsICcQcs=MxMJ_MJd6c\3XQGHM)dM)EJICc)M™q`\]cUCICT]T3X|I

K#M)csF6q—Ss\3UsxsIXcsM¡XICK#M¡dICK#M¡c>sICdx\–c)XM)T]¥Z`HICd=qx—SsW\2UsL[?MJT2Fd=GHX…cFICd“F['hMrU)c›bIX>XM™q

IXICEGVWK#MJd6ci`WICd=q#cs=MJd\]c¡cMJEKL\–d?ICcM™XCŸ9R¡F6qMŽ¥¦FE

0. 3!) x\2X2

3 ? 3*#"0=. !)

0%.! 3 ) :$A@

0 ! 456 "V !%,! 456$30 /+&

+"&& $A@

.!+" .= ?0= "_$$3@

=!)*)A8 #" =13+ A)0Z ! !:$ &

=A 6 &

B

1= .!#";:.31A*+";/&!) $ .2):=3 03) :$A@

=!)*+"V 7 A)0Z !!:$&

&3 )(&

B

1= = =!6)*+&

B

B

7Fc\2U™McsICc›csM¡K#M)csF6qLUrFd6c\]d,V=FV=X‘T]YxMJ”9MrU)VcM™XcsM =:=6!)*XZcJICcMJK“MJd,c—SsW\]T3MSbWs?IXMN

\3X¯d=FcSEMiIUs=Mrq¢ICd=q“c>s=MgMJ_MJd6cS\2X¡d=Fc%GHM)dM)EJICc)M™qŸ

e² ²6‡ˆ'†©¶ ¶ˆ =² † R¡F,qWMQU™FE>EM™XZb?Fdq9\–dGgcF/) 0 &3!) +"P $S\3X2

=!)*#"V &!) 0 3) ' "!!$ &

7Fc\2U™McsICccF%GHM)d=MJEJICcM ICdxICT]EMCIq'YGHM)d=MJEJICcMrqQM)_MJd6csIXd=FSM"M™UJc IX?cs=M &!) 0 )

K#M)csF6q\3XMJ”9MrU)VcM™qICc0K#FHX‘cFd=UrM›q9VWE\]d=G¡FdM \]d=X‘c™ICd6c ª Fd=M›UiICT–T_bM)E\]d=X‘cJICd,c bEFbM)EcoY¬JŸ

ˆ3† §¶=‡Aˆ =² † ® K#M)csF6q¨—%IC\–c>\–d=Gš¥¦FE:ICd M)_MJd6c ` [M™G\]d=Xx[6Y IqWq9\]d=G

cF ICd¢\]d=X‘cJICdU™MQF¥

0. 3!) xVWd=qM)EIxd=MJ— =&3 LdICK#MH­9cs=MJd`9\–cUiICT–T2XS\]cSV=X‘\]d=G#I

X‘Y,d=UsWEFd=FVXUCICT]T§­\–¥\–cEMJcVWE>d=X…q9VWE>\–d=GSbsIXM{_`csW\2X0K#MCICdX…csICc…csM¡MJ_M)d,c\3XGHMJd=MJEJICcMrq`

ICd=q˜c>s=M0 0. 3!) ¢X‘c™ICcM)K#MJd6ccMJEKL\]dICcMrXr­\]¥¡\]cgEMJcVWE>d=Xgq'VWE\]d=G“bWs?IXMLN,`c>s=MxM)_MJd,c

\3XUrFd=X‘\2qWMJEMrq¢IXqWMJžWdW\]cM)T]Y:IC[=XMJd6c%¥¦FEcs=MQU)VEEMJd6cS\]d=X‘c™ICd6ci­6csM)dc>s=MgK#MJcs=F,q“EMJdICK#M™X

\–c)XM)T]¥0\]d =A #ICd=qMJ”'M™UJVWcMrXSI =3 & !6#X‘cJICcMJK#M)d,c¡cFc)M)EKL\]dICcMScsMgUJVWEEMJd,c\]d=X‘cJICd,ci­6\]d

csW\2X›UCIXMa`aFdWT]YcsMSM)_MJd,c —%\–T]TWbFHXX‘\][WT]YUiICT–T=\]ci`i—%s=M)dLcsM¡MJ_M)d,c—%\–T]T9[MSGHMJd=MJEJICcMrqŸ6R¡F,qWM

U™FE>EM™XZb?Fdq9\–dGOcF0 %0. !) +"V $\3X 2

@

0 >2?0 = A ) 0 "2$ =0 &

0**0= "V +

%0. !) =&3 $ &

3011 "V -= A =1A:$ &

J P

M

@Y

D=X A'>ID

D CM A'YFC

D ? [DLM

CM

?BP

D=[

O M [ [D=O A'P

M !#"$

Y

D=X A'>ID

D X D%F>

M ? XP [ C [X

AM C

?BA'C'>

DFE

? ^

.!#"2.=?%0= "_%$$A@

=0Z " ?0 $=3 * 6(" 3)%0Z$ &

)0Z " = A :$ &

=3 & !6 &

)0Z " =0 $&

B

B

7Fc\2U™MxcsICccsMF[9h>M™UJcg\2qWMJd6c>\–coY¨ª =13'¬¡\3Xcs=MbICE™ICK“MJcMJEQF¥csMX‘Y,d=UsWEFd=FVXŽUiICT]TcF

cs=MQM)_MJd,ci`ICT]T2F™—S\]d=G\]cScFEMJbWT]Y“cFc>s=MgF['hMrU)c`_—%s=M)d:cs=MQM)_MJd,cS—S\]T–T[MŽGHMJd=MJEJICcMrq¤ª©cs\3X

U™FE>EM™XZb?FdqWX.c)F¤ž=GVWEMšw_¬JŸ 7Fc\2UrM˜ICT2XF¤c>sICce\]d UiIXMšK#M)csF6qAdICK#M¢\3X:UsICd=GHMrq \]d6c)F

=&3 =`0\]c\3XE)M™X‘c)FEM™q°ICcxcs=M#M)dq¨F¥MJ”9MrU)Vc\3Fd ª§IC¥©cMJEOsIJ6\]d=G¢[M™MJdAXIJ_M™q¨VX‘\–dGcs=M

=A * 6x¥©VWd=UJc\2Fd¬JŸHj¢FEM™Fr_M)E`a—Ss=MJd.c>s=MM)_MJd,c\2X›GHM)d=MJEJICcMrq#q9VWE\]d=GžWEX‘c›\]d=X‘cJICd,ci`‰UiICT]TF¥

cs=M = 3 |K#MJcs=F,qe[,Yecs=MQMJ_M)d,csIX¡d=FLM"M™UJcQIXScsW\2X¡K#MJcs=F,qeqWF,M™XSdFcM)”,\2X‘c\–dlcs=M

F[9h>M™UJciŸ

> | t

J=

 ¡s=M#pMCIUJc\]_Mey['hM™UJcLj¢F,qWM)T›\]d6c>EF6q'V=U™Mrq¨IC[Fr_M“EMJT–\2MrXOFd I¢GT3F[?ICTd=Fc>\3FdAF¥%\–d=XZcJICd6c

X‘sICEMrq˜[,Y°ICT–T EMiIU)c\]_MLF[9h>M™UJcXrŸ?modAIq9\2X‘cE\][WVWc)M™q¢UrFd6c)M)”,cO—S\]cs b?Fc)M)d,c\!ICT–T]Y¢T3FdG'` ICd=q

M)_MJd«IebWE>\3FE\Vd6[FVWd=qM™qœU™FKLKVdW\3UiICc\2FdœqWM)T!I)Y'Xr`0EMiICT–\0/)\]d=G¢I:GT3F[ICT \]d=X‘cJICd,cgK:IJY˜[M

U™FHXZcT–Y6Ÿj¢FEMbWEMrUJ\3XMJT]Y_`9cs=MbWEJIUJc\2UCICT]\–coY:F¥ \–d=XZcJICd6c™ICd=M™FVXEMiIU)c\2Fd=X¡\]d¢cs=MQpMiIU)c\]_M

y%['hMrU)cxK#F,qWMJT§`›IX|—%\–cs Fcs=MJELX‘Y6dUsWEFd=FV=X¥5FEK:ICT–\2X‘K#XX‘V=Us IX . , .&%'` , .`

M)c)UHŸ]`'qM)bMJd=qWX¡Fd¢c>s=MŽ\]dW¥¦FE>KeICTEVT3MQF¥cs,VWK[ec>sICcSEMiIU)c>\3Fd=X%FV=Gs6cc)F|[M¥§IX‘cMJd=FV=Gs

cFAUiICbWcVWEMšICT]TEMJT3MJ_ICd,ceMJ_M)d,cF,UrU)VWE>EM)dU™MrX.\]d c>s=M¢X‘Y'X‘cMJK¢Ÿ mo¥xI¤E)MCIUJc\2Fd \]d6_FT]_MrX¢I

bWE\2FE\…VWd,[FVWd=qWMrqUrFKLKVWdW\2UCICc>\3Fd¢qM)T!I)Y'Xr`csM)d¢cs\3XSEVT3MF¥›cs,VWK[¢—%\–T]T…F[,6\2FV=X‘T]Y[M

6\2FT!ICcM™q0Ÿ DEFHGEJICKLKL\–dG—S\–c>s¨EMiIU)c\]_M#F[9hMrUJcX\–d q9\3XZcE\][WVWcMrq˜XZY9X‘c)M)K#XOcs,V=XUiICT]T3X¥¦FE

XFK#MOIqq9\–c>\3Fd:cFcs=MK#F6qWMJTŒŸ

®XsW\]d,cM™q#ICc \–d# 9MrU)c>\3FdlN,`a—¡MUiICdqWMrUrFK.bFHXMŽIOX‘Y'X‘cMJK \]d6cFQEMiIU)c\]_MQICEMiIXr`a—Ss=MJEM

IGHM)d,cX¯U™FKLKVWd\3UiICcM¡\]d=X‘\2qWM¡csM)\]ESICE)MCI[6YL\]d=X‘cJICd,cJICd=MrFV=X›FEqWMJEXr`9ICd=qL[M)co—¯M™MJd#q9\3XZc\–dU)c

ICEMiIX|[,Y¨V=XZVICTVd6[FVWd=qM™q¨qM)T!I)Y°FEqWMJEXrŸmodAcsW\2XxXMrU)c>\3Fd`0—¯Mq9\2XU)VXXOcsW\2XOK#F,qWM)T¯\–d

K#FEMgqM)cJIC\]TŒ`'ICdqe[WE\2M 3Y“UrFKLK#M)d,cSFd\]cX¡\]KLbWT2M)K#MJd6cJICc>\3FdŸ

2 0 7 < 7 2

&¤MxUrFd=X‘\2qWMJEžWEX‘ccsMO[IX‘\2UOK#F6qM)TŒ`'—S\]csšq9\2X‘c\]d=UJcEMiIU)c\]_MxICEMiIX\–d,cMJEUrFdWd=MrU)cMrqe[,YœI

U™FKLKVdW\3UiICc\2Fd˜\]dW¥©E™IX‘cEV=UJcVWE)Mg—S\]csœVWd6[FVWdqWM™q¢UrFKLKVWdW\2UiICc\3Fd qWMJT©IJY9X#ª©cs=M|GHM)d=MJEJICT

UCIX>Mg\]dq9\2X‘cE\][WVWc)M™q#X‘Y'X‘cMJK“X)¬JŸ

R¡FKLKVWdW\2UiICc\3Fd[MJcŒ—¯M™MJdQF[9h>M™UJcX?E)M™X‘\2q9\]d=G›\–dcŒ—¯FSq9\2X‘c\]d=UJc?XZY6d=UsEFd=FV=XICEMiIX?\2X…ICT2XF

[6YxK#MiICd=X›F¥IX‘Y6dUsWEFd=FV=X ICd=q#X‘Y,d=UsWEFdFV=XUCICT]T2XrŸamŒd:ICd:IX‘Y,d=UsWEFdFV=X›UCICT]T§`ac>s=MSUiICT–T2M)E

qWF,M™Xd=Fc—%IC\–c¥¦FEcs=M|UCICT]T3Mrq¢K#M)csF6qcFLcMJEKL\–d?ICcMH`h‘V=XZcQIXŽ—S\]cs¢csM=!)*“bWE\]KL\–c>\–_MaŸ

*SdWT]\–_M%ICdLIX‘Y,d=UsWEFd=FVX…UCICT]T9—%\–cscs=M›EMiIU)c\]_M =!)*bWE\]KL\–c>\–_Ma`)s=F™—¯MJ_M)Ei`cs=M›MJ”9MrU)Vc\3Fd

F¥=cs=M›\–d,_F_Mrq|K#MJcs=F,qOqWF,MrX0d=FccJIC_M bWT©IUrM›—S\–c>sW\–d|cs=M XICK#M \]d=X‘cJICd,ci`C[WVWc…\]d=X‘c)MCIq|ICc ICd

ICE[W\]cEJICEY#¥©VWc>VWEMQFd=MHŸ 5=FEcs=MXICK#MgEMiIXFd`I|XZY6d=UsEFd=FV=XUiICT–T[M)co—¡MrMJdcŒ—¯F#q9\3XZc\–dU)c

EMiIU)c\]_MIM)EJIX%M)”,cMJd=qWX¡Fr_M)EQICdl\–d=qM)cMJEKL\]dICcMSd,VWK[M)E¯F¥…\]d=X‘cJICd,cXrŸ

5WEFK c>s=M…bF\–d,c0F¥'6\2MJ—¤F¥'cs=M…EMiIU)c>\–_M…K#F,qWM)TŒ`™X‘Y,d=UsWEFdFV=X?UiICT]T3XcFEMiIUJc\–_M›F['hMrU)cX

FVWcX‘\2qWMcsMFE\2G\–dICc>\–d=GlICEMiI“cMJEKL\–dICc)Mgcs=MxMJ”'M™UJVWc\2FdœF¥csMxUCICT]T–\]d=G#K“MJcs=F,q¢¥¦FEQcs=M

U)VEEMJd6c\]d=X‘cJICd,ciŸa ¯s=MSUiICT–T2M)E›—S\]T]TWEMrX‘VWK#M¡MJ”9MrUJVWc\2Fdx—Ss=MJd.c>s=MSX‘Y,d=UsWEFdFV=XUCICT]T=EMJcVWEdXr`

ICcIœq9\"M)EMJd,ci` IšbWE\2FE\SVWdW,d=Fr—Sd` ¥©VcVWEM#\–d=XZcJICd6cŸ7Fc\2U™Mc>sICcL\–cL\2X|bFHXXZ\–[WT2Me\]d«cs=M

EMiIU)c\]_M¢K#F6qWMJTScF bWEMrU)\2XMJT–YAK#MiIX‘VWEMa` \–d cMJEK#XLF¥O\]d=X‘cJICd,cXL\–d cs=M¢UiICT–T2MJE

XLEMiIU)c>\–_M

ICEMiI,`,csMgq9VEJICc\2FdF¥›IX‘Y,d=UsWE)Fd=FV=XSUiICT–T‰Ÿ

modcsW\2X?K#F,qWM)TŒ`™cs=M›XMJK:ICd6c\2UrX0F¥=UiICT–T2X0\2X c\]K#M™q '`J\ŒŸMHŸUCICT]T2X…X‘bICd|XM)_MJEJICTª§ICc…T2MCICc Fd=Mi¬

\–dX‘cJICd,ciŸ? ¡sW\2Xg\2Xg—Ss?ICcq9\2X‘c\]d=GVW\2X‘s=MrXUCICT]T3X—S\–c>sW\–d°I“EMiIUJc\–_M#ICEMiIe¥©EFK UiICT]T3XQ[?MJco—¡MrM)d

q9\"M)EMJd,cEMCIUJc\]_MICEMiIXrŸa®ST]cs=FV=Gs…`‰XMJK:ICd6c\2UiICT–T]Y_`cs=M c\–K#M¯U™Fd=XZ\3qWMJEMrq\3XbWVEM)T]YOT2FHG\2UCICT

ª©\]d=X‘cJICd,cXeqM)E\]_M¢¥©EFK cs=MšFbMJEJICc\2FdICTOX>M)K:ICd,c\3UrX“E>VWT3MrXeF¥|cs=MšK“F,qWMJTICd=qtICE\2XM IX

cMJEKL\–dICc)M™qFEQX‘c)FbWbM™qUrFKLbWVWcJICc>\3Fd=X)¬J`,\]c\2X%bFHXXZ\–[WT2McF.E)M)T!ICcMgc>sW\3XST2FHG\2UCICT…c>\–K#Mg—%\–cs

bWs,Y9X‘\2UiICT0c\]K#MŽ\]dšFEqWMJEcFxK:IC\–d,cJIC\]dEMiICT–•¦c\]K#MOX‘Y,d=UsWE)FdW\/iICc\2FdŸW ¡sW\2XSUCICd¢[M|IUsW\3MJ_Mrq

[6YœICdUs=FE\]d=G“csMO\–d\–c\!ICTF['hMrU)cQ\–d 9MrUJc\3Fd w“c)FI.c>\–K#Mq9E>\–_MJd¤XZ\3GdICT›XZV=Us IXOI“E)MCICT]•

c\]K“M%U)T2F6U?`6ICd=qx[,YLM)dX‘VWE\]d=GcsICc MiIUs“EMiIUJc\3Fd…`i\ŒŸMaŸaMiIUs“\]d=X‘cJICd,ci`\–d:IŽE)MCIUJc\]_MICEMiIŽ\2X

[FVWd=qWMrqŽ\]dOc>\–K#MaŸ™ ¡s=M…c\]K#MGEJICd6VT©ICE\]coYgF¥'\–dX‘cJICd,cX\]dxI¡E)MCIUJc\]_MICE)MCI\2X?c>s6V=XM™X>XM)d,c\!ICT–T]Y

G\–_MJd[,YecsM%[FVWdqeFdcsM)\]ESMJ”9MrUJVWc\2Fdec\]K#MHŸ

 ¡s=M\]dW¥¦FEK:ICT=EVWT2MF¥…cs,VWK[:EM)¥5M)EE)M™qLcFLIC[F™_MQUCICdlcs=MJde[MX‘\–KLbWT]YLX‘cJICc)M™qlIX cs=M

X‘K:ICT–T2MrX‘cQqWM)T!I)Yl[?MJco—¡MrM)d¢co—¯FeUrFd=XMrU)VWc>\–_MF,UrU)VWE>EM)dU™MrXF¥›cs=MXICK#MMJ_MJd6ccoY6bMX‘sFVWT3q

[MgGEMiICcMJE¡cs?ICdcs=Mc\]K#MŽGE™ICd6VWT!ICE\]cŒY:F¥…\]d=X‘cJICd,cX'Ÿ

2 0

7 ,< 7! 2

 ¡s=MSX>M)K:ICd,c\3UrX›F¥U™FKLKVWd\3UiICc\2Fdx\–dLVWd,[FVWd=qWMrq9•§qWMJT©IJYMJd6,\]EFdWK#M)d,cXqWMrXUJE\][?MrqxIC[F™_M

EMK3=M™UJcX cs=MIXX‘VWKLbWc\2Fdec>sICcScs=MbWEFHGE™ICK.K#MJE¡sIX¯d=Fx6d=Fr—ST2M™qWGHMQF¥Z`=FEqWF,M™X¡dFcSEMJT–Y

FdšICd,Ye,d=F™—ST2MrqWGHMgF¥ U™FKLKVWd\3UiICc\2FdqWMJT©IJY9X¯csICcSK:I)Y:F,U™UJVWES[MJcŒ—¯M™MJdeE)MCIUJc\]_MOICEMiIXrŸ

mŒdšT!ICEGHMq9\2X‘cE>\–[WVcM™qlX‘Y9XZcM)K#Xr`WcsW\2XS\3X\]dœGHM)d=MJEJICT…c>s=MOUiIXMa`—S\]cs¢cs=MOVd6[FVWd=qM™qqM)T!I)Y

IXX‘VWKLbWc>\3Fd:IC[=X‘c>EJIU)c>\–d=GIXX‘VK.bc\3FdXIC[FVWc›csMS\–KLbWT]\3UJ\]c[?MJsIJ6\2FE¡F¥cs=MUrFKLKVWdW\2UiIC•

c\2Fd\–d¥©EJIX‘cE>V=U)c>VWEMSIXS—¯MJT–TIXSbFcMJd6c\!ICT=¥§IC\]T–VEMK“F,qWMrXgª©¥!EFK cs=Md=F,qWMrX\]dcs=MX‘Y'X‘cMJK

FES¥©EFK c>s=MU™FKLKVWd\3UiICc\2Fde\]dW¥©EJIX‘c>EV=UJcVWEMi¬JŸimodMJd,6\]EFdWK#MJd6cX —S\]csIxUrFKLKVWdW\2UCICc>\3Fd

\–d¥©EJIX‘cE>V=U)c>VWEMgbEF™,\3q'\–d=GL[FVWd=qWMrqšU™FKLKVdW\3UiICc\2FdœqWM)T!I)Y'Xr`?s=Fr—¡MJ_M)E`\–cQ\3XQbFHXX‘\][WT3McF

EMJžWd=Mcs=M[IX‘\2Ugq'\3X‘c>E\–[VWcMrq|K#F,qWMJT[,Y:X‘Y6dUsWEFdW\0/)\]d=Gq'\#"MJEMJd6c¯EMCIUJc\]_MOICE)MCIXrŸ

mod“csMX‘Y6dUsWEFdW\0/™MrqxK#F6qWMJTŒ`‰EMiIU)c\]_MICEMiIX¡FbMJEJICcMS\]d“bICE™ICT–T2M)T[WVWc cs=MJ\–E MJ”9MrU)Vc\3Fd

\3X|X‘Y6dUsWEFdW\0/™Mrq¤X>FcsICccsM)\]EOEMiIUJc\3FdXOF,U™UJVWExq9VE\–dGecs=MLXICK#M#GT3F[ICT¯\–dX‘cJICd,ciŸ0 ¡s=M

XMJKeICd,c\2U™XxF¥UiICT]T3Xx[M)co—¯M™MJd¨EMiIU)c>\–_MlICEMCIXx\2XLIXxbWEMrXM)d,cMrqAIC[F™_Ma` MJ”9UrM)bcxcsICcxcs=MJY

ICEMgdF™—GVICEJICd,cMrM™qc)FLICEE\]_MICccs=MJ\]EqWMrX‘c\]dICc\2Fd¢ICccs=Md=MJ”6c%\–d=XZcJICd6cŸ 5=FES\]d=X‘c™ICd=U™Ma`

—Ss=MJdšIxX‘Y,d=UsWEFd=FVXSUCICT]T0\2X¡K:IqWMQcFLIEMCIUJc\]_MOF['hMrU)cS\]dšIxq9\"M)E)M)d,cSEMiIU)c>\–_M|ICEMCI,`W\–c

cE\2GHGHM)E)X¡IEMCIUJc\2Fd:ICccsM¡d=MJ”6c›\]d=X‘cJICd,c›¥¦FT–T2F™—%\–d=GQ\–c)X \]dW\]c\!ICc\3Fd…Ÿ \]_M)—%\3XMa`‰csM¡EMrX‘bFd=XM

cFxIX‘Y,d=UsWE)Fd=FV=X UCICT]T—S\–T]TICEE\]_MQICc¡cs=MUiICT]T3MJE¡\]decsMS\–dW\]c\!ICTICEMiIM)”IU)c>T–YLco—¡FO\]d=X‘c™ICd6cX

IC¥©cMJEcs=M \–dW\]c\!ICc\2FdLF¥=cs=MSUiICT–TŒŸ \2X‘cE\][WVWc)M™qMJ”'M™UJVWc\2Fd=X…\]dxcs=M¡XZY9X‘c)M)K ICEM¡cs,V=XGT2F[ICT]T–Y

HLDNC >

D

?BA

[DZXMV[

>IA ?BY

X M ? A'D O [ >D A [ >D

?BDVO

M AXG D XKN[

C'>

[LGIM

C

^ P M D

A'P

M X [ GIG CM

A'YLC

D ? [ A'P

M XG D X K

[ C'>

[FGIM PLD

G@O

?A'P

MGD Y O

=M C*D 3>

D

?BA

[D A? M G@[

%=?

M;O

?B>

D=XM A'P

M >D

>IA'>

[

A'>ID

D

D3A'P

MX [GIG^

U)T2F,U_M™q`[VWcOUrFKLKVWdW\2UiICc\3FdœICdq£EMiIUJc\3Fd°ICEMxFdWT]Y¢\]d=X‘cJICd,cJICd=MrFV=X—S\]csW\]dœI“EMiIU)c\]_M

ICEMiI,Ÿ

R¡FKLKVWdW\2UiICc\3Fd°[?MJco—¡MrM)dAE)MCIUJc\]_MICEMiI£cJIC_MrXLM)”IUJcT–Y Fd=MUJT3F,U¨c\2UŸ ¡sW\2XxX‘Y,dW•

UsWEFdW\0/rM™qœK“F,qWMJTEMJbWEMrXM)d,cXFd=MLMJ”6cE)M)K#Ma`\–d —SsW\2Us¤MJ”'M™UJVWc\2Fd=X\–d cs=M—Ss=FT2MxX‘Y'X‘cMJK

\3XUrFd,cEFT]T3Mrq“[,Y¢IxGT2F[ICT…UJT3F,U#—Ss=FHXMQGEJICd,VWT©ICE>\–coYe\2XSG\]_M)d¢[,Y“c>s=MgXZVWK F¥…cs=M[FVWd=qWX

Fd¢UrFK.K|VWdW\2UCICc\2Fd:qWM)T!I)Y'XSICdqeFdeE)MCIUJc\]_MgICE)MCIOEMiIUJc\3Fd:c\]K“MaŸ9ycs=MJEEMJžWd=MJK#M)d,cX ICEM

bFHXX‘\][WT3M¯—Ss=MJEMH`¥¦FE \–d=XZcJICd=UrMH`HUCICT]T3X[MJcŒ—¯M™MJd#q9\"M)EMJd,c¡ICE)MCIX ICEMqWMJT!I)Y_Mrq.¥¦FE XFK#M¡ž”9Mrq`

6dF™—Sdd,VWK[MJE F¥U)T2F,U.c>\3U'Xr`WICT–T2F™—%\–d=G.IOžWd=MJE¡GEJICd,VWT!ICE\]cŒY#F¥0c>\–K#MS¥¦FE¯cs=MEMiIU)c\2Fd:F¥

EMiIU)c\]_MICEMCIXCŸ

D2

0

/0>1

2

 ¡s=M \3X‘c>E\–[VWcMrq£pMiIUJc\–_M#y[9h>M™UJcOK#F,qWM)Tª 8 ¨¬gq9\2XUJV=XXMrq IC[?Fr_M“UiICd¨[MxEMiIq9\–T]Y

\–KLbWT2MJK“MJd,cM™qLV=X‘\]d=GLIX‘c™ICd=q=ICEq:q9\3XZcE\][WVWcMrqxbWT©ICc>¥¦FEK’X‘V=Us˜IXSFd=MQU™Fd=XZ\3X‘c)M)d,c¡—S\]cs:cs=M

RSyp $¡®X‘bM™UJ\]ž=UCICc>\3Fd <¸{~ ?ŒŸ' ¡s\3XSMJd,cJIC\–T2XSqWMJE\]6\]d=G\]d6c)M)E¥ŒIU™MX‘\2GdICcVWE)MgqWMrXUJE\]bWc\2Fd=X¥¦FE

EMiIU)c\]_MF['hM™UJcX\]d“csMRSyp $¡® mod,cM)E>¥§IU™MŽMJžWdW\]c\2Fd

ICd=GVIGHMª ¬™`6ICd=qLbWEF™,\2q9\–dG

ICdœICbWbWEFbE\©ICc)M%[\–d=q'\–d=GQ[M)co—¡MrMJd¢IEMiIU)c\]_MICEMCIxICdqe\–c)XSM)d,,\–EFdK“MJd,ciŸ

 ¡—¯FEM)T!ICcMrqIX‘bMrU)c)XKV=XZc¡[MgUrFd=X‘\2qWMJEMrq“\]deEMiICT–\0/J\–d=Gc>s=MT©ICcc)M)EI2

{_Ÿ K:ICdIG\]d=G'`9\§ŸMaŸ'GHMJd=MJEJICc\]d=GxICd=qUrFT]T3MrU)c>\–d=G'`9UiICT–T2X¡\]dšICd=qFVcSF¥›IEMiIU)c>\–_MICEMiI,`

N,Ÿ bEM™X>M)E,\]d=GOcs=MXMJK:ICd6c>\3UrX¡F¥…E)MCIUJc\2Fd=X¡\]d=X‘\2qWMQIOEMCIUJc\]_MOICE)MCI,Ÿ

k›XXMJd6c\!ICT]T–Y6`,c)FxU™FKLbWT]YL—S\–c>secs=MXMJK:ICd6c>\3UrX¡F¥UiICT]T3XSMJ”,bWT©IC\]d=MrqIC[F™_Ma`9cs=MM)”'MrU)VWc>\3FdlF¥

MCIUsLEMiIUJc\3Fdx\]d=X‘\2qWM%I%EMiIUJc\–_M%ICEMiI%KVX‘c[McEMiICcMrqLIX IŽX‘\]d=GT2MSICcFKL\2USIUJc\2Fd`‰q9VE\–dG

—SsW\2Us¢cs=MQM)d,,\–EFdK“MJd,c¡,\3X‘\][WT2MŽ¥!EFK’cs=MICEMCI¢ª©\ŒŸMaŸWXM)cŽF¥\–d=UrFKL\–dGxUCICT]T3XFEE)M™X‘bFd=X>M™X

¥©EFK’bWEMJ,\3FV=X¯X‘Y,d=UsWEFd=FVX¡UiICT–T2X¬KVX‘c¡EMJK:IC\–d:VWd=UsICdGHM™qŸ

 ¡sW\2X\2X¡MJ”WIUJcT]YeXZ\–KL\]T©ICE¯cFOcs=MUrFd=X‘cE>V=U)c>\3Fd`6qM)cJIC\]T2M™q#\–d <¸{ = ?Œ`,F¥IO6\]EcVICTK:IUsW\]d=M

cFMJ”9MrUJVWcMObWE)FHGEJICK#XŽ—SE>\–cc)M)d¢\]d˜c>s=M . , .&%#X‘Y6dUsWEFd=FV=XbWEFHGE™ICK.KL\]d=GLT©ICd=GV?IGHMHŸ

mŒdqWM™Mrq`6IbICEc>\3UJVWT!ICEqM™GHMJd=MJEJICcMrqxUCIXM%F¥?EMiIUJc\–_MŽICEMCI—¯FVWT3qL[Mcs?ICcF¥IQX‘\–dGT3M¡E)MCIUJ•

c\]_MŽF['hMrU)c¯csICc%U™FVWT2q`6MaŸG'Ÿ]`6[M%bEFHGEJICKLK#M™qLV=X‘\]d=GxIOXZcJICd=q=ICEq#X‘Y,d=UsWEFdFV=XT!ICd=GVIGHM

X‘V=UsšIX 2 . , .%FE 2 , .Ÿ

 ¡s=MpMiIUJc\–_M£y%['hMrU)c:j¢F6qM)TS\2X#I£d=MJ—’¥¦FEK:ICT]\3X‘K cs?ICc.K#MJEGHMrX“ICd F['hMrU)c:ICbWbWE)F_IUs

cFHGHMJcs=MJE…—S\]csOcsM dFc\3Fd.F¥IGT3F[ICT,\]d=X‘cJICd,ciŸy%['hMrU)cK#M)csF6qWX ICEM M)”'M™UJVWcMrqg\]dbICE™ICT–T2M)TŒ`

ICd=q«ICEM#UCICT]T2M™q¨V=XZ\–d=G\]d=X‘c™ICd6cJICdM™FV=XFEqWMJEXO—Ss\3Us ICEMIX‘Y,d=UsWE)Fd=FV=XUiICT–T2XbWEF,UrM™XX>M™q

ICccs=MšXICK#Mš\–dX‘cJICd,cecs=MJY ICEM¢\3X>X‘V=MrqŸ¡®bWEFcFcoY6bM¢T!ICd=GVIGHMš[IXMrq Fd csM 8

K#F6qWMJT2X s?I)_MS[M™MJd#qWMrX‘\3GdM™qLICd=qx\]KLbWT3MJK#M)d,cMrqO\]d 8 .3)! "/. !Ÿa ¡s=M%M)”,bWEMrXX‘\]_MbF™—¯MJE

F¥›cs=MOp%ygj K#F6qWMJT0\2XS\]T–T]V=X‘cE™ICcM™q:[6Y\]KLbWT2M)K#MJd6cJICc>\3Fd¢F¥ IL[WEF_IqWUiIX‘cUrFKLKVWdW\2UCICc>\3Fd

K#M™UsICd\3X‘K£Ÿ 5…\–d?ICT–T]Y_`Ccs=M MJK[M™qWq'\–d=G%F¥=cs=M8( K#F6qWMJT,\–d,cFQIq9\3XZcE\][WVWcMrqŽ¥!EJICK#M)—¯FE

ª 8 ¨¬ sIX¡[M™MJdq'\3XUJV=XX>M™qŸ

& FEQFdOcs=M 8 K#F6qM)T\2X0UJVWEE)M)d,cT]YSVWd=qWMJE—SIJY_Ÿ & MbWT©ICdQcF¡E)MCICT]\/rM…cs=M 8

K#F6qWMJTIX›qWMrXUJE\–[Mrq\–d 9MrUJc\3Fd#v[6Y|\–d,cMrGEJICc\]d=Gcs=M;8 K#F,qWM)TFd.c)Fb“F¥IRSyŽp $¯®

<¸{~ ? ICd=qœy D <Â{` ?…UrFdW¥¦FE>KeICd,cq9\2X‘cE\][WVWc)M™q#bWT©ICc>¥¦FEK ª¦UiICT–T2M™q "& 8! ¥¦FEQ …MJT2M™UrFKL•

KVWdW\2UiICc\3FdXy%['hMrU)cpMr^aVM™X‘c%$ EF_MJEJ¬<¸{?Œ`EMJV=X‘\]d=Gx—¡FE>œICT–EMiIq9Y¢UiICEE\2Mrq¢FVWc¥¦FEcs=M

M)”'MrU)VWc>\3Fd«F¥EMiIUJc\–_M:F[9h>M™UJcX\]d I£q9\2X‘cE>\–[WVcM™q M)d,,\–EFdK“MJd,c[IXMrqAFd«cs=M ! ( ,

FbM)EJICc>\–d=G|X‘Y9XZcM)K KL\2U)E)F_M)EdM)T <Â{ =I?ŒŸ

& MgICT2XFObT©ICd:cFg\]d6c)M™GEJICc)MScs=M pSyQj K#F6qWMJT=—S\]cs:IOX‘cVq9YLF¥# #% / A 0> 4'¡UrFd=q9\]•

c\2Fd=Xr`6cF[MQIC[WT3McFxX)ICc\3XZ¥©Y#XFxUCICT]T2M™q ^aVICT]\]cŒY:F¥XMJE,\3UrM™X OEMr^aVW\]EMJK#M)d,cXª©¥©EFK IOc>\–K#M

EMJT©ICcMrq`WIXS—¯M)T]T…IX¯¥©EFK I¥©VWd=UJc\2FdICT=,\3MJ—SbF\–d,cJ¬<Â{N?ŒŸ

5…\]dICT–T]Y6`a—¡MbWT!ICdecF|qWM™XZ\3Gd£IgcEV=MXZY6d,cJIC”L¥¦FE¡c>s=MSbWEFcFcoY,b?MST!ICd=GVIGHMbWEMrXMJd6c)M™qx\]d

XMrU)c\2Fd¢w'Ÿ= ¡sW\2X¡T©ICdGVIGHMH`=UCICT]T2M™q 8 !L`9—¡FVWT2qe[M[WVW\]T–c%Fd¢cs=McFb¢F¥!L`=ICd=q\–c

—¡FVT3qe\]KLbWT2M)K#MJd6c 8( EMiIUJc\–_MQF['hM™UJcX%IXS—¡MJT–TIXS[WE)F_IqWUCIXZcSUrFK.K|VWdW\2UCICc\2FdŸ

C

›

<¸{? xŸ6®GsI,Ÿ #K 605 . K& # #K.+ & 1 . . #K & *' ! Ÿ

jm‘  D E)M™XXC`{}U0Hv,Ÿ

<N? xŸ9®GsI,` Ÿ'5WEFT–Vd=q` & F6F›FVWd=G\]K¢`9pŸWDICd,—SICEi`=®Ÿ'D ICccMJEXFd`WICd=q |Ÿ1 6cVWE>•

K:ICdŸ®S[=X‘cE™IU)c\2FdšICd=q£jlF,q9VWT!ICE\]cŒY:j¢MrUsICdW\2X‘K#X¡¥¦FER¡FdU)VWE>EM)d,cR¯FK.bVWc\]d=G'Ÿ mod

ŽVWT'®GsIQICd=qD…MJcMJE &¤MrGd=MJE ICd=q®S,\–dFE\›Fd=M /iI)—%I,`aM™q'\–cFE`K# # .)

. . &'#K#%.+ #K /K.+ # #% . ‰`>bIGHMrX›9N_{_Ÿ‰ ¡sM¡jmZ ¨DEM™X>Xr`a{}H}H,Ÿ

<?.y DtpMJ¥¦MJEM)dU™Mxj¢F,qWMJT 2®SE)UsW\–c)M™UJcVWEMaŸOmŒcV•¦cŽ\2XF C\2M™UxEMrUrFK.K#MJd=q=ICc\2Fd¢”?Ÿ} _,`?\]dW•

cMJEdICc\2FdICTX‘cJICd=qICEq¢{6=w_vC•oN,`n'ICd,VICEY£{}H}H~,Ÿ

<w ? xŸ $¡MJEEY ICd=q xŸ gFd,csW\2MJEiŸz ¡s=M«k›X‘cMJEM)T 6Y,d=UsWE)Fd=FV=X¤DEFHGE™ICK.KL\]d=G ICdW•

GVIGHM2 MrX‘\3Gd…`- 'M)K:ICd,c\3UrXr`)moKLbWT3MJK#M)d,cJICc\2FdŸ K K. ; &)K# # #% . ‰`

{}9ª§NH¬K2I01=W{~HN,`?{}H}HN,Ÿ

<~?@5¯Ÿ$¡FV=XXZ\–d=FcŸ“pMCIUJc\]_M“R 2®Sd°k ”,cMJd=X‘\2Fd¨F¥ŽR cFDEFHGEJICK pMiIU)c>\–_M. 6Y'X‘cMJK#XrŸ

" #% # / . ,)#K /K. ™`WN_{6ª¦w_¬K2w ,{6w_NU0,`0{}H}_{_Ÿ

<v?@5¯Ÿ $¯FV=XX‘\]d=FciŸpefM™X>MCICVW”£qWMODEF,U™MrXX‘VXpefMCIUJc\]¥¦XrŸŽ  M™UsWd\3UiICT…pMJbFEcQ{~U0U0,`m 7pSm‘®`

{}H}HN,Ÿ

<=?nŸpŸ¡R¡FE>[W\–d…Ÿ#A # #K & 0> /1 .) # #% . +6.) /-&+

#!)1 # I&'#% 00>Ÿ 6Vde …MrUsWdW\2UiICTpM)¥¦MJEMJd=UrM \][WEJICEY6Ÿ 6bE\–dGHM)E ›M)E>T©IG'`

{}H}_{_Ÿ

<10? xŸ'ŽFVK“MJd=Ua` .Ÿ ICEU)\]d`_ICd=qxD Ÿ ŽV=MJY'qWFdŸ'*Sd 6Y9XZcMJK“M¯qWMSR¯Fd6cE FT3MLHR¡FKLK:ICd=qWM

pefMiIU)c\]¥ 6c>E\3UJciŸ0mŒd # " 9`{}H}w'Ÿ

<}?@5¯Ÿ $¯FV=XX‘\]d=Fc#ICd=qApŸqWM 6\]K#Fd=MHŸ¨ ¡s=M# 6Y,d=UsWE)Fd=FV=X ICdGVIGHMHŸ« …M™UsdW\3UiICT

pM)bFEc¯ppS•oNH~_{'`'m 7pSmZ®`jšICEUsœ{}H}H~,Ÿ

<¸{ ?.y DpMJ¥¦M)E)M)d=UrMxj¢F,qWM)T 2 5=FVWd=qICc\3FdXrŸ|mocVW•¦cQ\3XF C\2MrU|E)M™UrFKLK“MJd=q=ICc>\3Fdš”?Ÿ} _N,`0\–d•

cMJEdICc\2FdICTX‘cJICd=qICEq¢{6=w_vC•oN,`n'ICd,VICEY£{}H}H~,Ÿ

<¸{H{?.RŸ MJ—S\]cciŸ"\3MJ—S\]d=GQR¡Fd,cEFT1 ,cEV=UJcVWEM›IX›DICc>cM)E>d=XF¥DIXX‘\]d=Gj¢M™XX)IGHM™XrŸ & #K. 10

# /10 .+ 00> . J` 09ª§H¬K2¸HNH9Hvw'`0{}1=1=,Ÿ

<¸{N?nŸ$gŸ ,cM)¥ŒICdW\§ŸLR¡FKLbWVWcJICc>\3FdICT ®X‘bM™UJcXQF¥F £\]dAICdAy['hM™UJc $SIXMrq\2X‘cE\][WVWcMrq

6Y'X‘cMJK ®SEUsW\]cMrU)cVEMHŸ# .+ K#K. 1 . 10 #I . K%.) & #

' /24 . 10>. /% `1 9MJbWcMJK[M)EŽ{}H}H,Ÿ

<¸{?nŸ$gŸ 6cMJ¥§ICdW\Œ`aICd=qLD Ÿa®SV1/J\]K“FVEi`aICd=q 5¯Ÿ QICd=G 0EJICd`_ICd=q Ÿ I /iICEq`9ICdq 5¯Ÿ FEd`

ICd=q |ŸD…MJEM)[?IX‘6\]d=MaŸ ® pMCICT]•§ ¡\]K“M ŽD›kFd«cFb F¥cs=MlRs=FEVXK.\2UJEF•¦_M)E>d=M)TŒŸ

 …MrUsWdW\2UCICTpMJb?FE>c7  D®®   9®   p w,{ =H},`0R 7k› Q`9n'ICd6VICE>Yš{}H}H~,Ÿ

<¸{Cw ?.RŸ

ICd=MJ_M ICd=q 5¯Ÿ $¯FV=XX‘\]d=FciŸ ¡—¯F 9MJK:ICd6c\2UrX¥¦FE I

ICdGVIGHM›F¥WpMiIU)c\]_M›y[9hMrUJcXrŸ

 …MrUsWdW\2UCICTpMJb?FE>cSppS•oNH~_{H{_`'m 7pSmZ®`jšICEUsœ{}H}H~,Ÿ

<¸{~?.y%['hMrU)c jšICdIGHMJK“MJd,c EFVWbŸ ¡s=M R¡FKLK#Fdy['hM™UJcpM™^_V=MrX‘c $EF_MJEI2C®SEUsW\]cMrU)cVEM

ICd=q 6bMrU)\]ž=UiICc\2FdŸ K IK&K.+ ‰`&MrU™MJK[MJEQ{}H}_{_Ÿ

<¸{v?|®Ÿ?yd=M /iI)—%I,`nŸD…Ÿ$E\2Fci`ICdq¢kSŸ 6sW\][I)Y,ICK:I,ŸŽy['hM™UJc•oyE\2M)d,cMrq¢R¡Fd=UJVWEEMJd,cDEF•

GEJICKLKL\–d=G\–d¢® $%R _{_Ÿ # ' ; 32 ‰`'b?IGHM™XNH~U09NHvU0,`{}U0Hv,Ÿ

<¸{ =?|pŸ $¯M)EdsICEq¢ICd=q ŸI /iICEqœICd=q 5¯ŸFEd ICd=qnŸ$Ÿ 6cMJ¥§ICdW\ŒŸ›moKLbWT2M)K#MJd6cJICc>\3FdlF¥

I 6Y6dUsWEFd=FV=X¯k”9MrU)Vc\3Fd£jšIUsW\–dMgFdc>s=MOR s=FEV=X K.\2UJEF•¦_M)E>d=M)TŒŸmod # I .

, 10" $ ' ! ' & ) 10 = ` M™UrMJK[M)E {}H}H,Ÿ

<¸{=0? |Ÿ *Sd=G_ICEgICd=qpŸ$Ÿ 6KL\–c>sŸ 9k

5 29 ¡s=MQD…F™—¯MJEF¥ 6\]KLbWT–\2UJ\–coYŸ 2 % . ' +10> /

& 1 .W`6bIGHMrXQ{=01=9N _~,`0{}H}_{_Ÿ

Unite´ de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP 93, 06902 SOPHIA-ANTIPOLIS Cedex

´ diteur