analyzing automata with presburger arithmetic and ... · pw n0fsy ¦n xzxx\¡ ux[zkux[zn§ k d [...

20
HAL Id: inria-00072531 https://hal.inria.fr/inria-00072531 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- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés. Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols Vlad Rusu To cite this version: Vlad Rusu. Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols. [Research Report] RR-4100, INRIA. 2001. <inria-00072531>

Upload: hathuan

Post on 17-Apr-2018

220 views

Category:

Documents


6 download

TRANSCRIPT

HAL Id: inria-00072531https://hal.inria.fr/inria-00072531

Submitted on 24 May 2006

HAL is a multi-disciplinary open accessarchive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come fromteaching and research institutions in France orabroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, estdestinée au dépôt et à la diffusion de documentsscientifiques de niveau recherche, publiés ou non,émanant des établissements d’enseignement et derecherche français ou étrangers, des laboratoirespublics ou privés.

Analyzing Automata with Presburger Arithmetic andUninterpreted Function Symbols

Vlad Rusu

To cite this version:Vlad Rusu. Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols.[Research Report] RR-4100, INRIA. 2001. <inria-00072531>

ISS

N 0

249-

6399

ISR

N IN

RIA

/RR

--41

00--

FR

+E

NG

ap por t de r ech er ch e

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Analyzing Automata with Presburger Arithmeticand Uninterpreted Function Symbols

Vlad Rusu, IRISA/INRIA Rennes

N˚4100

Janvier 2001

THÈME 1

����������� ���������������������������! #"%$'&)(���"%��$*"+��"%��������$��%� ,-����./ ���0���%$*"�1�"%$��%$'.!2�����,3��� ���546�7�8(9��� &

:<;>=@?BA�CEDFC*GIH A7H0J�KMLNH O�A�H�KPA7QSRER%QSD

TVUXWZY\[^]`_ba`ced [gfShji9[Zk�d l@d�k WZY\[edmon pSq�[Zk�m%r6stm%r

a`fSuvuEpwn�k�xv[n [ey UX[Zn y0UX[{z�|~}X]g����_b��fSz��@��[Zn6�����j]`_ ]g�<u)fS�~[ed

�����e�g���v�~����� [�d�k�hXxjl�f\yZ��fwd d�pS�'[�i@k [ZzXxv[ex�fShvk pwY^fSk0f\xv[��XzX[ex���l���h)fSn xv[extyepwYMY^fSzXxvdp��~[Zn\m'n [ed��vhvn��~[Zn^fSn�� k�UvY\[Zk���y�¡�� k�U#hvzv� z�k [Zn�uvn [Zk [ex¢�>hvzXyZk���pwzXd�£¥¤`z#k�UX[�k�UX[epwn [Zk���ygfS�`d���xv[�¦¡§[�d UXpg¡�k�U)fSk`k�UX[��EpwhvzXxv[ex�n [gfwy0U)fS�v� � � k¨l©uvn pw�v��[ZY���d`xv[eyZ��xXfS�v��[<� z�k�Uv��d6Y\pNxv[Z�ª£¤`z�k�UX[uvn0fwyZk���ygfS�7d ��xv[�¦�k�UX[©yZ��fwd d9��d9hXd [��>hv�6�«pwn�Y\p@xv[Z� � zv�¬uvn pw��n0fSY\d�¡�� k�U­uEpwk [Zz�k���fS� � l®� zj�Xzv� k [xXfSk0f�d�k�n�hXyZk�hvn [edg¦vfSzXx�k�UX[�n [gfwy0U)fS�v� � � k¨l�uvn pNye[exjhvn [¯ygfSz9�%[�hXd [ex\�«pwn°d lNY��%pw� ��y6d�� Y�hv��fSk���pwz±¦k [ed k�� zv�X¦)fSzXx²�~[Zn��³�)ygfSk���pwz±£´�µ~¶E· ¸�¹ ��º���� uvn pw��n0fSYPY\p@xv[Z� � zv�X¦Xd�� Y�hv��fSk���pwz±¦Xk [ed�k�� zv�X¦X�~[Zn��³�)ygfSk���pwz±£

»³¼3½¿¾ªÀgÁ�½°Â3ྪīÅeÆ

Unité de recherche INRIA RennesIRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France)

Téléphone : 02 99 84 71 00 - International : +33 2 99 84 71 00Télécopie : 02 99 84 71 71 - International : +33 2 99 84 71 71

���������&)$8.��ª��������������$'&�����$'��.���&�����$',-��"%��������$��%���¯��$ .�$ #"E$'&X(<��"%��$*"�$���e����,±���0����&+����� � �`��$*"%1�"�����'$'&

�� ����� � � pwhXdMcZk�hXxj��pwzXd<hvzX[²yZ��fwd d [9x�� fShvk pwY^fSk [ed^cZk [ZzXxjhXdg¦°xvc��Xzv��d<u)fSnMxv[edMyepwY��Y^fSzXxv[ed¯��fSn xvce[ed[�ijuvn�� Y\ce[ed[Zz fSn�� k�UvY\[Zk�����hX[Mxv[�m'n [ed��vhvn��~[Zn�fg�~[ey�� pwzXyZk���pwzXd6zXpwz©� z�k [Zn��uvn cZk ce[ed�£ � pwhXd^Y\pwz�k�n pwzXd��NhX[���[�uvn pw�v���Y\[tx�� fwyeye[ed d � �v� � � k c��Epwn�zXce[�[ed�k9xvceyZ��xXfS�v��[©xXfSzXdye[^Y\pNxvWZ��[�£��ozBuvn0fSk����NhX[�¦�ye[\� pwn�Y^fS� ��d Y\[^uE[Zn�Y\[Zk�xv[^Y\pNxvcZ� ��d [Zn�xv[ed�uvn pw��n0fSYMY\[edMfg�~[eyd k�n�hXyZk�hvn [ed§xv[6xvpwzvzXce[edVxv[�k0fS� � ��[6uEpwk [Zz�k���[Z� ��[ZY\[ZzNk�� zj�Xzv��[�¦j[Zk°��f�uvn pNyecexjhvn [6x�� fwyeye[ed d�� �v� � � k cuE[Zhvk �Zk�n [hvk�� � ��d ce[7u%pwhvn���fMd lNY�hv��fSk���pwz�d�l@Y��Epw� ����hX[�¦v��[¯k [ed kg¦X[Zk���f<�~cZn��³�)ygfSk���pwz��«pwn�Y\[Z� ��[�£!�¹ �g� · ��" � Y\p@xvcZ� ��d0fSk���pwztxv[¯uvn pw��n0fSYMY\[edg¦�d�� Y�hv��fSk���pwz±¦)k [ed�kg¦v�~cZn��³�)ygfSk���pwz±£

����������� ������������������������� ��!���� � "

# $ �`�)"E�.���,3��� ���

s�p@xv[Zn�z¥n [ed [gfSn y0U#� z#fShvk pwY^fSk [ex#�~[Zn��³�)ygfSk���pwz¢ygfSz �%[9xj� �@��xv[exB� zNk ptk¿¡°p ygfSk [Z�~pwn���[edg£&%¿zk�UX[��Xn d�k�ygfSk [Z�~pwn�l~¦j¡�Uv��y U�� zXyZ� hXxv[edV��fSzv��h)fS�~[ed�fSzXx9k p@pw��d§d hXy U²fwd('�)+* ,.- ]g�0/¨¦2103546- " /±fSzXx798;: )<->=�/¨¦~k�UX[V�«pNyZhXd ��d pwz\hXd � zv�7¡°[Z� � �¨[ed�k0fS�v� ��d UX[ex�k [ey0Uvzv����hX[ed§d�hXy0U9fwd d k0fSk [�[Zz�hvY\[Zn0fSk���pwzpwnV�v� z)fSn�l9xv[eyZ��d���pwz²xj��fS��n0fSY\dg¦XfSzXx9uvhXd�Uv� zv�<k�UX[ZY k p�k�UX[6� � YM� k dV��l9pwuvk�� YM�@?e� zv�Mk�UX[fS� �~p �n�� k�UvY\d`� zt[Z�~[Zn�l²uEp�d d�� �v��[�¡§fgl~£�TVUv��d`U)fwd�uvn pg�~[Zz�� n�hv� k��>hv� � z�k [Zn�Y\d6pS� fSuvuv� ��ygfSk���pwzXdg¦IfSzXx� kV��d�f�Y^fSn�A�pS��d�hXyeye[ed0d�pS� k�UX[ed [¯k [ey0Uvzv����hX[ed�¦v¡�Uv��y U²�«pwnVk�UX[¯Y\p�d�k�u)fSn�k�¡°[Zn [7� zv� k���fSk [ex²� zk�UX[[Z� ��UNk���[ed6fSzXx�[gfSn�� l�zv� zX[Zk���[edg£

TVUX[�d0[eyepwzXx­ygfSk [Z�~pwn�l pS��n [ed0[gfSn y U­��d�yepwzXye[Zn�zX[ex­¡�� k�U­[�i@uv��pwn�� zv�¬zX[Z¡�k [ey0Uvzv����hX[edg¦¡�UXp�d0[ � YMu)fwyZk � pwn uvn0fwyZk���ygfS�XfSuvuv� ��ygfSk���pwzXdg¦�fS� k�UXpwhv��U�� z �Nh)fSz�k�� k0fSk�� �~[§uvn pw��n [ed dg¦�d k�� � ��U)fwd�k p�E[Vfwd d [ed d [exI£�T±¡§p¯n [Zuvn [ed [Zz�k0fSk�� �~[�[�ivfSYMuv��[ed*�«pwn�k�Uv��d'ygfSk [Z�~pwn�l<fSn [Vm'n [ed��vhvn��~[Zn fSn�� k�UvY\[Zk���y- ]B=C/ fSzXx�k�UX[<k�UX[epwn�ltpS�§hvzv� z�k [Zn�uvn [Zk [ex©� hvzXyZk���pwzXd¡�� k�U [ �Nh)fS� � k¨l6- ]�/¨£ED�zv� �@A~[��Xzv� k [ �¨d�k0fSk [Y\[Zk�UXp@xvdg¦Ek�UX[ed [�n [Z��fSk�� �~[Z� l�n���y U k�UX[epwn���[ed7fS� ��p�¡ k�UX[�Y\p@xv[Z� � zv��pS�°n [gfS� �ª� �³�«[<d�ljd�k [ZY\d6Y\pwn [fwyeyZhvn0fSk [Z� l~¦�¡�� k�UXpwhvk�k�UX[7zX[e[ex�pS�ofS�vn�hvuvk`d�� YMuv� �³�)ygfSk���pwzXdg£VTVUX[ed [7k�UX[epwn���[ed6fSn [7xv[eyZ��xXfS�v��[F fS� k�UXpwhv��U�k�UX[Z� n yepwY��v� z)fSk���pwz���d3zXpwkHGIfSzXx�fSn [ [�I^yZ��[Zz�k�� l7� YMuv��[ZY\[ZzNk [ex�� z�d�k0fSk [ �¨pS� �ªk�UX[ �¿fSn�k�~[Zn��³�)ygfSk���pwztk pNpw��d�d�hXy UtfwdJ)�4;1K- ]BLC/ fSzXxt¤`Y\[Z��fM- ]BN0/¨£

stpwk�� ��fSk [ex �Nl¬k�UX[ed [�n [ZY^fSn�Ajdg¦�¡§[�� zN�~[ed�k�� ��fSk [t� z k�Uv��d�u)fSu%[Zn�f yZ��fwd d9pS��[�ijk [ZzXxv[exfShvk pwY^fSk0fMk�U)fSk�yepwzXd���d�k�pS�*k�n0fSzXd�� k���pwzXd�p��~[Zn`f��Xzv� k [yepwz�k�n pw��d�k�n�hXyZk�hvn [�¦v¡�� k�U���h)fSn xvd`fSzXxfwd0d�� ��zvY\[Zz�k d9� z®fBxv[eyZ��xXfS�v��[t�>n0fS��Y\[ZzNk9pS�7k�UX[�k�UX[epwn�l pS��m'n [ed��vhvn��~[Zn²fSn�� k�UvY\[Zk���y�¡�� k�Uhvzv� zNk [Zn�uvn [Zk [exM� hvzXyZk���pwzXdg£'TVUX[§�«pwn�Y^fS� ��d�Y{��d'[�ijuvn [ed d�� �~[ F [�£ �X£ ¦�pwzX[�k�n0fSzXd�� k���pwz^ygfSzMY\p@xj�³�>lfSzBhvz��EpwhvzXxv[ex z�hvY��%[Zn<pS�§�>hvzXyZk���pwz¥�wfS� hX[edHG�£O%¨k�ygfSz Y\pNxv[Z� ��hv� k [Mz)fSk�hvn0fS� � l uvn pw��n0fSY\d¡�� k�U�hvz��EpwhvzXxv[ex�xXfSk0fMd�k�n�hXyZk�hvn [ed`d�hXy U�fwd�u)fSn0fSY\[Zk�n���y �¨d��@?g[ex��~[eyZk pwn d6fSzXx�fSn�n0feljdg£

� [�d�UXp�¡ k�U)fSk9n [gfwy U)fS�v� � � k¿l � z®f �%pwhvzXxv[ex z�hvY��%[Zn²pS��d�k [ZuXd^��d�xv[eyZ��xXfS�v��[t� z®k�Uv��dY\p@xv[Z�ª£�TVUX[�n [ed�hv� k���d`� z�k [Zn [ed�k�� zv�X¦%� z�pwhvn`pwuv� zv��pwz±¦%�%[eygfShXd0[7� k���� �~[ed¯f\xj� n [eyZk6uvn p@ye[exjhvn [�«pwn�d�l@Y��Epw� ��yd�� Y�hv��fSk���pwz±£§TVUX[¯uvn p@ye[exjhvn [�yepwYMuvhvk [ed�k�UX[¯¡§[gf0A~[ed�k`yepwzXd k�n0fS� z�k d�pwz�f�uvn p ���n0fSY � d§� zvuvhvkVxXfSk0f�«pwn§f���� �~[Zz��Xzv� k [`d [ �NhX[ZzXye[6pS�±k�n0fSzXd�� k���pwzXd§k p��E[�[�iv[eyZhvk [exI£'TVU�hXdg¦@¡§[pw�vk0fS� z fSz fShvk pwY^fSk���y^d0pw� hvk���pwz k p²k�UX[QPSRUTPWV@X�Y[Z\P]Y�^`_�a0bcRedf- ]g�C/ �>n pwY�d0pS�>k¿¡§fSn [\k [ed k�� zv�2g��� �~[Zz�f¯�Xzv� k [�u)fSk�U�� z�f¯uvn pw��n0fSY�¦N�XzXx\¡�UX[Zk�UX[Zn§� k ��d [�iv[eyZhvk0fS�v��[�¦vfSzXx\�³�Ik�Uv��d°��dok�UX[6ygfwd [�¦pw�vk0fS� z�� zvuvhvkxXfSk0fM�«pwn`[�iv[eyZhvk�� zv��� kg£�TVUX[Zz±¦%��� �~[Zz f\yep��~[Zn0fS�~[MyZn�� k [Zn���pwz6- �j]�/'xv[��XzX[ext��lf\�Xzv� k [�d [Zk6pS� �Xzv� k [�u)fSk�UXd6� z�k�UX[�uvn pw��n0fSY F [�£ �X£ ¦E[�iv[eyZhvk�� zv�²[Z�~[Zn�l�� zXd�k�n�hXyZk���pwz fSk¯��[gfwd�kpwzXye[�¦3pwn¯y0UX[eyeA@� zv��[gfwy U¥yepwzXxj� k���pwz¥fSk¯��[gfwd�k7pwzXye[G�¦I� k¯��d¯u%p�d0d�� �v��[�¦EhXd�� zv��pwhvnuvn p@ye[exjhvn [�¦k ptd [Z��[eyZk�k�UX[^u)fSk�UXd�k�U)fSk<fSn [^[�iv[eyZhvk0fS�v��[9fSzXxBk p�d�l@z�k�UX[ed �@?g[\� zvuvhvk<xXfSk0f��«pwn�[�iv[eyZhvk�� zv�k�UX[ZY�£'TVUv��dVn [ed hv� k dV� z�f�yepwYMuv��[Zk [yepg�~[Zn0fS�~[6�«pwnVk�UX[¯y UXp�d [Zz²yepg�~[Zn0fS�~[�yZn�� k [Zn���pwz±£ih�� z)fS� � l~¦d lNY��%pw� ��y9fSz)fS� l@d���d�ygfSz¬fS��d p��E[\hXd [ex#fwd<f�d [ZYM� �¨xv[eyZ��d���pwz#uvn p@ye[exjhvn [\�«pwn��~[Zn��³�)ygfSk���pwz¬pS�dFf�� [Zk¿l�uvn pwu%[Zn�k���[edg��³�§f9d0f��«[Zk¨l�uvn pwu%[Zn�k¿l�xvp@[ed6zXpwk6UXpw��xI¦Ek�UX[�uvn p@ye[exjhvn [<¡�� � �'xv[Zk [eyZkk�Uv��d� z�f<�Xzv� k [z�hvY��%[Zn6pS�*d�k [ZuXd�£

j;jlk]m�nCo�pHp

} � � �����(���H�

TVUX[�n [ed�k`pS�'k�UX[�u)fSu%[Zn`��d�pwn���fSzv�@?g[ex fwd��«pw� ��pg¡�d�£5%¨z��@[eyZk���pwz©�\¡°[�uvn [ed [Zz�k6k�UX[7k�UX[epwn�l�pS�mon [ed��vhvn��~[ZnVfSn�� k�UvY\[Zk���y`¡�� k�U^hvzv� zNk [Zn�uvn [Zk [ex9�>hvzXyZk���pwz9d�l@Y��Epw��dg£[%¨z��@[eyZk���pwz " ¡§[�xv[��XzX[¯fyZ��fwd0d�pS�o[�i@k [ZzXxv[ex�fShvk pwY^fSk0f F ygfS� ��[ex&)� �¿fShvk pwY^fSk0f G�¡�� k�U���h)fSn xvd¯fSzXxtfwd d�� ��zvY\[ZzNk d�� z©fxv[eyZ��xXfS�v��[��>n0fS��Y\[ZzNk pS�%k�Uv��dok�UX[epwn�l~£�TVUX[�� zv� k���fS�XyepwzXxj� k���pwz^Y^fel<yepwzXd�k�n0fS� z�fSzMhvzN�%pwhvzXxv[exzNhvY��E[Zn�pS�§�>hvzXyZk���pwzB�wfS� hX[edg¦ fSzXxBfwd d�� ��zvY\[ZzNk d7Y^fel©Y\p@xj�³�>l fSz hvz��EpwhvzXxv[ex zNhvY��E[Zn�pS�d hXy U���fS� hX[edg£;%¨z�@[eyZk���pwz�}�¡°[ uvn [ed [Zz�k*f�xv[eyZ��d���pwz�uvn pNye[exjhvn [o� pwn3k�UX['�%pwhvzXxv[ex�n [gfwy U)fS�v� � � k¿luvn pw�v��[ZY�� z )�� �¿fShvk pwY^fSk0fj¦ �)fwd [ex pwz d�l@Y��Epw� ��y\fSz)fS� ljd���d¯k [ey Uvzv���NhX[edg£<TVUX[<uvn pNye[exjhvn [\��d� YMuv��[ZY\[ZzNk [ex#hXd�� zv��k�UX[ * 7 19xv[eyZ��d ��pwz¥uvn p@ye[exjhvn [9u)fwyeA�fS�~[ - �C/°�>n pwY��@a(% %¿z�k [Zn�z)fSk���pwz)fS�ª£�@[eyZk���pwz N<uvn [ed [Zz�k d`yepwzXyZ� hXd���pwzXdg¦vn [Z��fSk [ex�¡°pwn�AE¦)fSzXx�� hvk�hvn [¡°pwn�AE£

� � ��,����"E������.

%¿z k�Uv��d�d0[eyZk���pwz±¦3¡§[M�vn���[��Xl xv[ed yZn�� �%[\k�UX[Mk�UX[epwn�l pS��mon [ed��vhvn��~[Zn�fSn�� k�UvY\[Zk���y9fSzXx � k d�[�i �k [ZzXd ��pwz�¡�� k�U�hvzv� z�k [Zn�uvn [Zk [ex�� hvzXyZk���pwz�d�l@Y��Epw��dg£

����� �������! #"$��%&���'��)(+*-,#./�0*�(�123[Zk43©xv[ZzXpwk [§k�UX[°d0[Zk�pS�)� zNk [Z�~[Zn dg¦~fSzXx65®�E[§f`d [Zk pS��� z�k [Z�~[Zn'��fSn���fS�v��[edg£ r PSRe^�d+��d'f��Xzv� k [�¦fCI\zX[^yepwY��v� z)fSk���pwz#pwz k�UX[M��fSn���fS�v��[edg£^r`z V@X R87�Z)9Cb@V P;:B��d�f²yepwYMu)fSn���d pwz F=<?>8@?>8A?>8B?>DC G�E[Zk¨¡§[e[Zz k [Zn�Y\d�£®rFE ^`_�Z�XHGJI�^`RUTa�Z�^KE\Re^�L�_B^�d Z�bM9 ��d9f��Xzv� k [ONVp@pw��[gfSz yepwY��v� z)fSk���pwz­pS�� zX[ �Nh)fS� � k���[edg£²rPI�^`RUTa�Z�^KE\Re^L _B^�dOZ�bM9���d�f��Xzv� k [�NVpNpw��[gfSz yepwY��v� z)fSk���pwz¬pS��� zX[ ��h)fS� � k���[ed�¦� z®¡�Uv��y U­d pwY\[t��fSn���fS�v��[ed²ygfSz �E[ �Nh)fSz�k��³�)[exI£ TVUNhXdg¦��³�?Q >SR�>UT>SV fSn [���fSn���fS�v��[edg¦�k�UX[ZzQXW/Y R W[Z<��d7f�k [Zn�Y�¦\Q A]R_^ QXW`Y R WaZ @]b ��d7f���n pwhvzXx m'n [ed��vhvn��~[Zn�«pwn�Y�hv��fj¦ fSzXxc T0d Q AeR W T�^_fgVhd QiWOY R W Vj@kR ��d§f7m'n [ed��vhvn��~[Zn°�«pwn�Y�hv��fj£$�jfSk���d���fS�v� � � k¿l\� z^m'n [ed��vhvn��~[ZnfSn�� k�UvY\[Zk���y9��d�xv[eyZ��xXfS�v��[ - ]B=�/¨¦ ¡�� k�U¥k�� Y\[�yepwYMuv��[�ij� k¨lBk�n�� uv��[�[�iju%pwzX[ZzNk���fS�V� zBk�UX[9d��@?g[^pS�k�UX[6�«pwn�Y�hv��fQ- ]l�/ F �vhvk�d�� YMuv��[[�ijuEpwzX[Zz�k���fS�3� z²k�UX[7��n pwhvzXx²� n0fS��Y\[Zz�k - �0/ G�£

���M� �������! #"$��%&���'��)(+*-,#./�0*�(�1jmj(n*�,]oqp$(rph*s����t$���*s��u]v$"$p$1g*�(�wxpzy4{|.} ~wx���23[Zk�fS��fS� zq5 �E[<f9d [ZkpS�§� z�k [Z�~[Zn��fSn���fS�v��[edg¦3fSzXx�� �E[�f�d [ZkpS�o� hvzXyZk���pwz d�l@Y��Epw��dg£ h)pwn[gfwy0U9�>hvzXyZk���pwz����O�\¦@¡§[6pwzv� lKANzXp�¡®� k di9C^�V P;: F f�z)fSk�hvn0fS�Iz�hvY��%[Zn~�;G�¦jfSzXx9k�UX[��ªfwyZk§k�U)fSk� k°��d§f�>hvzXyZk���pwz�� n pwY�3��<k p3�£'r PSRe^�dF�[V P���LSZ�XH�PcVc_BX T=:\d a2_Bb T ��d§[Z� k�UX[ZnVf���fSn���fS�v��[�¦Npwn�f� hvzXyZk���pwz�fSuvuv� ��ygfSk���pwz�k pMf�k [Zn�Y�¦vpwn�fSz�fCI\zX[yepwY��v� z)fSk���pwz�pS��k�UXp�d [�£|� X R87�Z)9Cb@V PcVcRUT F n [ed u±£E ^`_�Z�XHG�I�^`RUTa�Z�^KE\Re^�L _B^�dOZ�bM90T�¦3n [ed�u±£\Ii^`RUTa�Z�^KE\Re^�L _B^�dOZ�bM90THG��[V P��qLSZ�XH�PcVc_BX.T=:�d a\_Bb T�fSn [xv[��XzX[exMfwd � z��@[eyZk���pwz\�j£ ]�¦�[�ivye[Zuvk k�U)fSk*k�UX[Zl�fSn [°�vhv� � k'pg�~[Zn*k [Zn�Y\d�¡�� k�U�� hvzXyZk���pwzMd�l@Y��Epw��dg£� h)fSzNk��³�)ygfSk���pwz pg�~[Zn6� hvzXyZk���pwz�d�l@Y��Epw��d`��d�zXpwkfS� ��pg¡§[exI£TVU�hXdg¦%�³�|Q >SR�>UT0>SV fSn [��wfSn���fS�v��[edfSzXx�� >K� fSn [�� hvzXyZk���pwzXdVpS� fSn�� k¨l9pwzX[�¦�Q�W�Y R W���� � � T��S� ��dVf7k [Zn�Y ¡�� k�U^� hvzXyZk���pwz²d�l@Y��Epw��dg¦Q AeR?^ Q�W}Y R W}��� � � Tg�S��@kb ��d°f¯��n pwhvzXx9m'n [ed��vhvn��~[Zn°� pwn�Y�hv��f7¡�� k�U^�>hvzXyZk���pwz9d�l@Y��Epw��dg¦

��� jx���

����������� ������������������������� ��!���� � N

fSzXx c Q d Q AeR W��� � � Tg�S�D^�fgVhd QhW_Y R W��� T��~@e� � VH� ��d�f�m'n [ed��vhvn��~[Zn � pwn�Y�hv��f�¡�� k�U�� hvzXyZk���pwzd lNY��%pw��dg£ %¿z�k�UX[�d [ �NhX[Z�ª¦X¡°[�xv[ZzXpwk [���l )�9k�UX[�k�UX[epwn�l�pS�om'n [ed��vhvn��~[Zn7fSn�� k�UvY\[Zk���y�¡�� k�U� hvzXyZk���pwz<d�lNY��%pw��d�£4�jfSk���d���fS�v� � � k¿l�� z�)�6��d����� �¨yepwYMuv��[Zk [J- ] " /¨¦S�vhvk*xv[eyZ��xXfS�v��[§� z�k�UX[°��n pwhvzXx� n0fS��Y\[Zz�k5- ���C/¨£*r6d�¡°[Vd�U)fS� �jY^f0A~[§hXd [VpS�)k�UX[§��fSk�k [Zn'n [ed�hv� kg¦w� k*��d � YMuEpwn�k0fSz�k k p�hvzXxv[Zn d�k0fSzXx¡�UNl�� k�UXpw��xvdg£

������� � µ � �>º��v��� "� � ¶¢¹�� ��� µ�� � ¹ ���3º ���3º µ�� �>�e� µ �%��� � " � ��� � � µ �%�g� ��NUXp�d k0f0A - ���C/IY^fwxv[¯k�UX[`� pw� ��p�¡�� zv�\d�� YMuv��[¯pw�Xd [Zn��wfSk���pwz±£ %¨z�f���n pwhvzXx9� pwn�Y�hv��f�¡�� k�U�hvzv� z �k [Zn�uvn [Zk [ex�� hvzXyZk���pwz�d�l@Y��Epw��dg¦)k�UX[�pwzv� l²n [Z��[Z��fSz�k6uvn pwu%[Zn�k¿ltfS�%pwhvk��>hvzXyZk���pwzXd6��d�k�U)fSk`k�UX[ZlY^fSu�[ ��h)fS��d'k p[ �Nh)fS��dg¦�fSzXxI¦���l<� zXd�k0fSzNk���fSk�� zv��k�Uv��d'uvn pwuE[Zn�k¨l<k p6�Xzv� k [Z� l<Y^fSz�l<k [Zn�Y\dg¦�� k'��duEp�d d�� �v��[¯k p^pw�vk0fS� z�fSz�[ �Nhv� �wfS��[ZzNk`m'n [ed �vhvn��~[Zn6fSn�� k�UvY\[Zk���y�� pwn�Y�hv��fj£#2±[Zk�� �%[�f<� pwn�Y�hv��fpS� k�UX[¯��n pwhvzXx9�>n0fS��Y\[ZzNk�pS��)��£�hXpwn�d�� YMuv� ��yZ� k¿l~¦v¡°[¯d�hvuvuEp�d [6k�U)fSk�� z�� k�UX[Zn [¯��dVpwzv� l9pwzX[hvz)fSn�l�� hvzXyZk���pwztd lNY��%pw���*¦v¡�Uv��y U���d`pwzv� l�fSuvuv� ��[extk p\k¿¡°p�k [Zn�Y\dg¦�� � fSzXx�� �w£�TVUX[Zz±¦��¬��ddFfSk���d���fS�v��[�³�ofSzXx²pwzv� l9�³�*k�UX[6�«pw� ��pg¡�� zv��mon [ed��vhvn��~[Zn��«pwn�Y�hv��f<��d�d0fSk���d���fS�v��[�g

!�#" �%$ ���&� � �(' � � > ���&� � �(' � �*) ^ �&� � C � ��+ � � C � � � F ]GTVU)fSk<��dg¦o� z !�V¦ok�UX[^� hvzXyZk���pwz fSuvuv� ��ygfSk���pwzXd����&� , � � n pwY-�+fSn [9n [Zuv��fwye[ex#�Nl¥zX[Z¡8� z�k [Z�~[Zn��fSn���fS�v��[ed��.,�¦3fSzXx©k�UX[M�~[ZzX[Zn0fS�ouvn pwuE[Zn�k¨l�k�U)fSk� hvzXyZk���pwz �¥Y^fSuXd7[ �Nh)fS��dk p²[ ��h)fS��d7��d¯� z �d k0fSz�k���fSk [extk p0/¿[ �Nh)fS� � k¨l�pS�ok�UX[7k [Zn�Y\d�� , � YMuv� ��[ed¯[ �Nh)fS� � k¨l�pS�'k�UX[7��fSn���fS�v��[ed � ,�1 £�TVUX[Zn [���df<pwzX[ �ªk p �¨pwzX[�yepwn�n [ed�uEpwzXxv[ZzXye[7�E[Zk¨¡°[e[Zztk�UX[Y\p@xv[Z��d�pS���#fSzXx²k�UXp�d0[7pS� !�§£

2 pwzXd���xv[Zn�zXpg¡ k�UX[[�i@��d�k [ZzNk���fS�I� n0fS��Y\[Zz�k`pS� )� F �ª£ [�£ ¦Xpwzv� l�[�i@��d k [Zz�k���fS� �Nh)fSz�k��³�)[Zn d6fSn [fS� ��p�¡°[exI¦IfSzXx�hvzXxv[Zn`k�UX[�d yepwuE[7pS� fSz�[Z�~[Zztz�hvY��E[Zn¯pS�*zX[Z��fSk���pwzXd�G�£�stp@xjhv��p�f<n [Zz)fSYM� zv�pS�`�wfSn���fS�v��[edg¦*� k<��d�u%p�d0d�� �v��[^k p�Y\p��~[�fS� � �Nh)fSz�k��³�)[Zn dMk ptk�UX[�pwhvk [Zn�Y\p�d�k<��[Z�~[Z�ª£ TVUX[Zz±¦ f�«pwn�Y�hv��f f Q d �#� z�k�Uv��d�� n0fS��Y\[Zz�k¯U)fwd¯f\Y\p@xv[Z���³�°fSzXxtpwzv� l��³�3� fS��d p�U)fwd`pwzX[�£J%¨zXxv[e[exI¦%�³�k�UX[Zn [�[�ij��d�k d���fS� hX[ed¯pS�ok�UX[7� hvzXyZk���pwzXdfSzXxt�>n [e[��wfSn���fS�v��[ed6k�U)fSkd0fSk���d�� l��°¦%k�UX[Zz�k�UX[<d0fSY\[��fS� hX[ed dFfSk���d��>l f Q d �°¦@fSzXx\�³�Ek�UX[Zn [�[�ij��d�k d°fY\pNxv[Z�v�«pwn f Q d �§¦~k�UX[Zz^k�Uv��d Y\pNxv[Z�ª¦jfShv��Y\[Zz�k [ex¡�� k�U<k�UX[3/¨¡�� k�zX[ed d 1 ��fS� hX[§pS��Q<� pwn*k�UX[�[�ij��d�k [Zz�k���fS� �Nh)fSz�k��³�)[Zng¦���d'f�Y\p@xv[Z�j�«pwn��§£�TVU�hXdg¦~k�UX[[�ij��d�k [ZzNk���fS�3� n0fS��Y\[Zz�kpS� )�9��d6xv[eyZ��xXfS�v��[�£6TVUv��d�n [gfwd pwzv� zv�²ygfSzt�%[�uvhXd�UX[ext[Z�~[Zzt� hvn�k�UX[ZnBgf )��� pwn�Y�hv��f4�¢��d`dFfSk���d���fS�v��[��³�°fSzXxtpwzv� l��³�°k�UX[7�«pwn�Y�hv��f f � d �§¦�¡�UX[Zn [�� ��d¯f\� hvzXyZk���pwz±¦��d�d0fSk���d���fS�v��[�£ � pwk [Mk�U)fSk7k�UX[\��fSk�k [Zn7�«pwn�Y�hv��f���d�zXpwk7� z.)��£ � [M¡�� � � hXd [Mk�Uv��d7n [ed hv� k7� z�@[eyZk���pwz�}X£

��������� � µ � "�� �B¸ � ��� ���5�76 µ ����� " �¿¹ � � � ">�v� �TVUX[`hvzv� �~[Zn d0fS���>n0fS��Y\[ZzNk§pS� )��MyepwzXd���d�k d§pS�I�«pwn�Y�hv��fwd§� z^¡�Uv��y0U�pwzv� lMhvzv� �~[Zn dFfS��Nh)fSz�k��³�)[Zn dfSn [\fS� ��p�¡°[exI¦ hvzXxv[Zn�fSz [Z�~[Zz z�hvY��%[Zn�pS�§zX[Z��fSk���pwzXdg£MTVUv��d�>n0fS��Y\[ZzNk7��d¯Uv� ��Uv� lthvzXxv[eyZ��x �

j;jlk]m�nCo�pHp

� � � �����(���H�

fS�v��[���£�� [Zkg¦3hvzv� �~[Zn d0fS�'�«pwn�Y�hv��fwd�fSn [MhXd [�� hv� g6� pwn7[�iXfSYMuv��[�¦3d�uE[eyZ�³� lN� zv��f9uvn pwuE[Zn�k¨l pS� 9Cb@bk�UX[¯[Z��[ZY\[ZzNk d�pS�*f�u)fSn0fSY\[Zk�n���y �¨d��@?g[ex²�~[eyZk pwnVn [ ��hv� n [ed�f�hvzv� �~[Zn d0fS� �Nh)fSz�k��³�)[Zng£i%¿z9k�Uv��d�d [ey �k���pwz±¦ ¡°[�xv[��XzX[�f²yZ��fwd0d�pS��hvzv� �~[Zn d0fS�W)���� pwn�Y�hv��fwd�k�U)fSk<fSn [\d0fSk���d���fS�v��[�¦*fSzXxBd�UXp�¡ UXp�¡k p�xv[eyZ��xv[^d0fSk���d���fS�v� � � k¿l�� pwn�yepwY��v� z)fSk���pwzXd<pS�V��n pwhvzXx fSzXx hvzv� �~[Zn d0fS� � pwn�Y�hv��fwdg£ � [\hXd [k�UX[ed0[¯n [ed�hv� k d�� z²k�UX[zX[�ijk�d [eyZk���pwzXdg£

� [Md0fel�� pwn�Y�hv��f��¥��d7fSz 90TeT�V E X\d ReX9P PS_�9�LSZ�XH�PcVc_BX �¥�³���¥��dpS�Vk�UX[�� pwn�Y c�� d � � +����� � � C �� � ¦E¡�UX[Zn [ � ��d7f9��n pwhvzXx )��� pwn�Y�hv��f�pg�~[Zn5���� ��� �j� F �«pwn¯d0pwY\[Md [Zk d�5 pS���fSn���fS�v��[ed�fSzXx���pS�3�>hvzXyZk���pwzXdVd�hXy0U9k�U)fSk � � '�O� G�¦jfSzXx� � ��d§f�k [Zn�Y8pS�[)�^pg�~[ZnVk�UX[¯d0fSY\[[Z��[ZY\[ZzNk dg£$�NhXy U^� pwn�Y�hv��fwd°fSn [�dFfSk���d���fS�v��[�g � pwn fSzNl���fS� hX[ed pS�Ek�UX[���fSn���fS�v��[ed F � zXyZ� hXxj� zv��k�UX[�Nh)fSz�k��³�)[ex9��fSn���fS�v��[ � G fSzXx�� hvzXyZk���pwzXdg¦@�³�� � UXpw��xvdg¦@k�UX[Zz�� � � � � ygfSz��%[`y UXp�d [Zz�k p��E[�[ �Nh)fS�k p����¦vpwk�UX[Zn�¡���d [�¦������ � � Y^fgl9U)fg�~[�fSzNl���fS� hX[�£

� [\d0fel��«pwn�Y�hv��f���pS��)�t��dOZ�X\V��0Re^eTD9Cb@b : TD9 PcV T���9�a0bcR��³�Vk�UX[\hvzv� �~[Zn dFfS� yZ��p�d�hvn [^pS��� �k�UX[��«pwn�Y�hv��f¢pw�vk0fS� zX[ex �>n pwY��P��l®hvzv� �~[Zn d0fS� � l �Nh)fSz�k��³� lN� zv�¢[Z�~[Zn�l ��fSn���fS�v��[ pS��� �\��ddFfSk���d���fS�v��[�£QhXpwn<[�iXfSYMuv��[�¦*� k���d�zXpwk�U)fSn x¥k ptd UXpg¡ k�U)fSk<fwd d � ��zvY\[Zz�k d�k p�� hvzXyZk���pwzXd<fSn [hvzv� �~[Zn dFfS� � l�dFfSk���d���fS�v��[�£r �«pwn�Y�hv��f\pS� )����d5T�Red V�� Z�X\V��0Re^eTD9Cb±�³�'� k�ygfSz��E[¯¡�n�� k�k [Zz�fwd � ^ �6¦v¡�UX[Zn [ � ��d�fM��n pwhvzXx�«pwn�Y�hv��fj¦'fSzXx�����d�f²hvzv� �~[Zn dFfS� � l d0fSk���d���fS�v��[^� pwn�Y�hv��f�pS��k�UX[\hvzv� �~[Zn dFfS� � n0fS��Y\[Zz�k<pS��)�¡�� k�U�k�UX[¯uvn pwuE[Zn�k¨l9k�U)fSk�[gfwy U �Nh)fSz�k��³�)[ex���fSn���fS�v��[¯��dV� z�k�UX[d yepwu%[¯pS�'f7� hvzXyZk���pwz�d�l@Y��Epw�ª£F � pwk [¯k�U)fSk�k�Uv��d���d�zXpwk�f<d�lNzNk0fwyZk���ygfS� xv[��Xzv� k���pwz±¦)�%[eygfShXd [¯k�UX[yepwzwq�hvzXyZk��®��d�n [ �Nhv� n [ex²k pU)fg�~[�fMd [ZY^fSzNk���yuvn pwuE[Zn�k¨l~£ G

TVUX[<� pw� ��p�¡�� zv����[ZYMY^f²d0fgl@d7k�U)fSk�d0fSk���d���fS�v� � � k¿l©pS��f�d [ZYM� �ªhvzv� �~[Zn d0fS� � pwn�Y�hv��f²ygfSz �E[n [exjhXye[exBk p�d0fSk���d���fS�v� � � k¿lBpS��f²��n pwhvzXx �«pwn�Y�hv��fj¦��Nl�� zXd k0fSz�k���fSk�� zv��hvzv� �~[Zn d0fS� �Nh)fSz�k��³�)[Zn dk p��Xzv� k [Z� l�Y^fSzNl9k [Zn�Y\d�£

µ � � � ����! ���c�M�#"]�%$`� � � �c� � �&�'&���(`� �s� � �*) ���`!��'+�� �2�',0�.-D�`���%)`�/-�! ���@�!�E�M� ����(`� � �%$�� �10

2 - �B��)30 2±[Zk54 C � ^ �¥�%[�f¯d [ZYM� �ªhvzv� �~[Zn dFfS�v� pwn�Y�hv��fj£ � � k�UXpwhvk n [ed�k�n���yZk�� zv�k�UX[��~[ZzX[Zn0fS� � k¨l~¦¡§[�ygfSz�fwd0d�hvY\[�k�U)fSkok�UX[Zn [���d pwzv� lMpwzX[V� hvzXyZk���pwz�d�l@Y��Epw����p@yeyZhvn�n�� zv��� z�4'£[hXpwn�Y�hv��f6� ��dk�UX[Zz9Y\p@xj�³�)[ex�fwyeyepwn xj� zv�Mk p�k�UX[�� pw� ��p�¡�� zv�Mk�n0fSzXd�� pwn�Y^fSk���pwzXdg�� pwnV[Z�~[Zn�l\k [Zn�Y8� z7� pS�±k�UX[�«pwn�Y ���&� � ¦�¡�UX[Zn [ ��Y^fgl�%[°fSz�l¯k [Zn�Y+[�ivye[Zuvk�f �Nh)fSz�k��³�)[ex���fSn���fS�v��[�¦1����d±k�n0fSzXd��«pwn�Y\[ex7� zNk pk�UX[M[ �Nhv� ��fS��[Zz�k�«pwn�Y�hv��f c R�d � R�C � + � �&� ' R0�S� £X�N� zXye[<¡§[MU)fe�~[Md�k0fSn�k [ex ¡�� k�UBf�� pwn�Y�hv��f¡�UX[Zn [�fS� � ��h)fSzNk��³�)[ex���fSn���fS�v��[ed`fSn [� z�k�UX[7d yepwuE[pS�'f�� hvzXyZk���pwz�d�l@Y��Epw�ª¦v¡§[7pw�vk0fS� z�f�� k [Zn8:9<;>=?*?7@�ACBD=*E k ;F@�? @�A�GF@�HI;KJ G k1LNMCO HP;KJ�QSR�TUG�;KHV@�A�?�HP;KJ�QXWZY<[]\*^*^*^Y/_`^ acbZ^ d�E�Be@fBD=fgZ;K==BUhCTD?i@�;

=jk;.TD?*QlBDm*?nbih L J�?*g�TUGFo*B k�p Be@rqsBe@�AtG k ?]quHIR k ov@�BU; k = L QShZ;.TnwxEyqsACBUo:A p BDzk?*=V@�A�?6?�{3R�BDzKGKTD? k @|HI;KJ�QSR�TUGWZY [ \]^*^*^Y _ ^ d�}~bC�.w<}~Y [ \*^]^*^Y _C��v� 9�A�? k E<G k G�J�h�Be@J:GFJ L HI;KJ�Q�RCTUGV;FH McO o�G k hZ?S@J:G k =TUGF@�?��6B k @�;|G k ?�{3R�BDzKGF�TU? k @�R k BDzk?vJ�=�GKTkHP;FJ�Q�RCT�G�h Ln� J�=�@�Ql;�z1B k�p GKTDTc{3R/G k @�B � ?vJ�=<@�;�@�AC?�;KRC@�?]J�Ql;K=�@�TD?*zk?*T~E.G k �5@�A�? k =jk;KTD?*QlBDm*B k�p @�A�??]�cBU=�@�? k @�BUGFTUT L {3R/G k @�B � ?*�VzKGFJ�BUGKhCTD?*=�GK=s=A�;�q k GFhZ;�zk? � � k @�A�BD=�q�G L Ec@�A�?�qsAC;.TD? McO @�AC?*;KJ L o*G k hZ?n? k o*;1�c?��B k Be@�=�R k BDzk?]J�=�GFT%H�J:G p Ql? k @ � 9�AcRC=*E�=�G�@�BD= � GKhCBDTUBe@ L B k @�AC?5R k BDzk?vJ�=�GKT`HIJ:G p Ql? k @s;KH McO BD=n� [[ ��o*;KQlg�TD?]@�? �

��� jx���

����������� ������������������������� ��!���� � �

fS� �§k�UX[ed [9k�n0fSzXd��«pwn�Y^fSk���pwzXd\f�� pwn�Y�hv��f>�-pS��k�UX[^�«pwn�Y c T � d8d8d8d c T � d�����n��� T � �D>8d8d8dh> ��� T � �S� ¦¡�UX[Zn [ ��+��d�f²��n pwhvzXx.)���«pwn�Y�hv��fj¦'fSzXx ��� T � �D>8d8d8dh> ��� T � � fSn [^fS� �ok�UX[\p@yeyZhvn�n [ZzXye[ed�pS�i�� z �6£�2±[Zk$���&� � �D>8d8d8dh> ���&� � � �%[�fS� �vk�UX[�p@yeyZhvn�n [ZzXye[ed pS�&��� z �°¦~¡�UX[Zn [ � � >8d8d8d � � fSn [Vk [Zn�Y\d�£TVUX[Zz±¦ 4���d�[ ��hv� ��fS��[Zz�k�k p\g

� ^ �� [�������� � _� � [�������� �����

�� �n��� T � �D>8d8d8dh> ��� T � �S�&^ c T � >8d8d8d�T � '�N� � � >8d8d8d � � � d��� �n��� T � �D>8d8d8dx> ��� T � �S�S� F � G

TVU)fSk���dg¦��«pwn�Y�hv��f|� ��d*d�uv� � k � zNk p�k¿¡°pyepwzwq�hvzXyZk dBg±� z�k�UX[ �Xn d�k�pwzX[�¦wk�UX[ �Nh)fSz�k��³�)[ex��wfSn���fS�v��[edT � >8d8d8dDT � fSn [6� zXd�k0fSz�k���fSk [ex�k p�[Z�~[Zn�l9uEp�d d�� �v��[¯yepwY��v� z)fSk���pwz�pS� k�UX[6k [Zn�Y\d � � >8d8d8dh> � � ¦vfSzXx� z9k�UX[6d [eyepwzXx�pwzX[�¦Nk�UX[ �Nh)fSz�k��³�)[ex���fSn���fS�v��[ed T � >8d8d8d T � fSn [6n [ �Nhv� n [ex^k p��E[�xj���I[Zn [Zz�kV� n pwYfS� � k�UX[ed [7k [Zn�Y\d�£5h�� z)fS� � l~¦�¡§[�d UXpg¡ k�U)fSk6k�UX[�d0fSk���d���fS�v� � � k¨ltpS��h)pwn�Y�hv��f F � G���d6[ �Nhv� �wfS��[ZzNkk p<k�UX[dFfSk���d���fS�v� � � k¨l�pS��� k dV�Xn d�k�k¨¡§p^yepwzwq�hvzXyZk dg¦j¡�Uv��y U�yepwzXd�k�� k�hvk [�f���n pwhvzXx )��M�«pwn�Y�hv��fj¦¡�UXp�d0[d0fSk���d���fS�v� � � k¨l²��d�xv[eyZ��xXfS�v��[�g

���n���&� � �D>8d8d8dx> ���&� � �S�&^ �� [�������� � _�� � [�������� �����

�� �n��� T � �D>8d8d8dh> ��� T � �S� F " G

%¿zXxv[e[exI¦ fSzNltY\p@xv[Z� pS�WhXpwn�Y�hv��f F � G6��d�fS��d p�f9Y\p@xv[Z�*� pwn F " G�£ 2 pwzN�~[Zn d [Z� l~¦*d�hvuvuEp�d [ F " GU)fwd°f6Y\pNxv[Z�ª¦�k�U)fSk ��dg¦���fS� hX[ed*� pwn'k�UX[§� hvzXyZk���pwz���fSzXxMk�UX[§� n [e[V�wfSn���fS�v��[ed§fSuvu%[gfSn�� zv��� z F " G�£r`z�l\d hXy U�Y\pNxv[Z�EyepwzXd�k�n0fS� zXd§k�UX[`�wfS� hX[6pS�h��pwzv� l�fSk§k�UX[`u%p�d�� k���pwzXd§xv[��XzX[ex9��l\k�UX[`��fS� hX[edpS��� � >8d8d8dx> � � £©TVUNhXdg¦'�«pwn�[Z�~[Zn�l¥u%p�d � k���pwz � xj���I[Zn [Zz�k<� n pwY�k�UX[ed0[���fS� hX[edg¦*� k<��d�u%p�d0d�� �v��[k p�y UXp@p�d [Mk�UX[M��fS� hX[\pS�i��� � � � n [e[Z� l~£K%¿z u)fSn�k���yZhv��fSng¦ ¡°[^y0UXpNp�d0[Mk�UX[ed [M��fS� hX[ed�fwd�xv[��XzX[ex�Nl²k�UX[���fS� hX[�pS�#� � z�d pwY\[�Y\pNxv[Z�*pS�ok�UX[7hvzv� �~[Zn dFfS��yZ��p�d�hvn [�pS� �`£ F TVUX[Zn [�[�ij��d�k d6d�hXy U fY\p@xv[Z�3�E[eygfShXd [�¡°[�U)fe�~[�d�hvuvu%p�d0[ex�� ��d�hvzv� �~[Zn dFfS� � l�d0fSk���d���fS�v��[G�£ � [�yepwzXd���xv[Zn¯fMY\p@xv[Z�pS�ihXpwn�Y�hv��f F " GV¡�� k�U�� y UXp�d [Zz©fwd6fS�Epg�~[�¦EfSzXx�d UXpg¡�� k���d`fS��d0p�fMY\p@xv[Z� pS�ihXpwn�Y�hv��f F � G�£N§l¬yepwzXd�k�n�hXyZk���pwz±¦�k�UX[ty UXp�d [Zz �wfS� hX[ed9pS���­fSzXx pS�7k�UX[�� n [e[���fSn���fS�v��[ed�¡�� � �`d0fSk���d�� l k�UX[�Xn d k9k¿¡°p¬yepwzwq�hvzXyZk d�pS� hXpwn�Y�hv��f F � G�£ TVUX[ed0[t��fS� hX[ed�fS��d p#d0fSk���d�� l¢k�UX[�k�Uv� n x­yepwzwq�hvzXyZkc T � >8d8d8dx>UT � '� � � � >8d8d8d � � � d�����n��� T � �D>8d8d8dh> ��� T � �S� g�d�� zXye[ �­��d`hvzv� �~[Zn d0fS� � l�dFfSk���d���fS�v��[�¦%k�Uv��d��d�fS��d p�k�UX[°ygfwd ['�«pwn3k�UX[ ¡°[gf0A~[Zn��«pwn�Y�hv��f c T � >8d8d8dx>UT � '� � � � >8d8d8d � � � d���?�n��� T � �D>8d8d8dh> ��� T � �S�S� £TVUNhXdg¦�k�UX[ty UXp�d [Zz®�wfS� hX[��«pwn��*¦§k pw�~[Zk�UX[Zn�¡�� k�U®fSz�l �wfS� hX[ed^� pwn�k�UX[�� n [e[���fSn���fS�v��[ed F � zu)fSn�k���yZhv��fSng¦)k�UX[pwzX[ed�y0UXp�d [Zz²� n pwY k�UX[¯Y\pNxv[Z� pS�[hXpwn�Y�hv��f F " G�G§¡�� � � d0fSk���d�� l^� kg£ �

� ����� �����������V�%�

%¿z�k�Uv��d¯d [eyZk���pwz©¡§[�xv[��XzX[�k�UX[<d�l@z�k0f�itfSzXx©d [ZY^fSz�k���yedpS�°f�yZ��fwd d¯pS� [�ijk [ZzXxv[ex©fShvk pwY^fSk0f¡�� k�U ��h)fSn xvd�fSzXx fwd d�� ��zvY\[ZzNk d7� zBf�� n0fS��Y\[Zz�k�pS�Vm'n [ed��vhvn��~[Zn<fSn�� k�UvY\[Zk���yM¡�� k�U hvzv� z�k [Zn��uvn [Zk [ex²�>hvzXyZk���pwz�d lNY��%pw��dg£

j;jlk]m�nCo�pHp

L � � �����(���H�

� µ�� ��� ��� ¹ ��� ��� )�~· � �±� ¹ � �j� ¹ ��� � )��x�+9 Z\PS_Bd�9 PS_BX �M� �K�c��9� �� � >����s> 5 > � >��>������

� �l� � �V"i�2�c��� �B�`� ��) bc_���9 PcVc_BX2T��

� ��� � � � � �'&�� V@X\V PcVM9Cb bc_g��9 PcVc_BX��

� 5 �M� �|"i�2�c�������`� �*) V@X9PSRSE\Re^�� 9C^�VM9�a0bcRUT��

� � �M� �|"i�2�c��� ����� �*) � �9�/-�� L Z�XH�PcVc_BX T=:\d a2_Bb T��

� � �M� ���B��! �#+ ���+�#,0�k- ����� )� )`�/-�! ���@� � (e��� � ��� �'&�� V@X\V PcVM9Cb���_BXHG V PcVc_BX��

� � �M�E�V" �2� ���������]�*) Pc^D9CX2T�V PcVc_BX2T 0 � �`(.&Q��-����0��� �c� ���Q�M� �K�c��9� �� �g>��h>! > � >�� � �#" &��k-��

$ � � �l� �E�'&�� _B^�V E V@X �*)E�'&�� ��- ���0�H�c�c�c��� �$ � � � � �/-�������� )�� )��/-H! � � � � (e��� �@��� �'&\� E+Z)9C^ G �*)E�'&�� ��-����0��� �c� ��� �$ � � ��"i�2�c���i���`�i��) �89C^�VM9�a0bcR 90TUT�V E X\d ReX9P T 0W���Q�!�D�H�@���2!K���+�[� �f,0�/-H� �%$�� �&% ��5

� �(���M������-e�D�D�H� ���Q�*) �'&���)`�Z-H!'% � C)( � " &��.-e� ( � �5� ���k-H! �*) )� �/,��.- 5 ���9� � 0* �/- �e�`(.&�,C�/-�� �%$�� �+% �j5�� �'&��.-e� � � � � ��� ! �s���]�������!� ��� ���+!��`�+� � �,% �

$ � �M� �r"i�2�c���������W��) L Z�XH�PcVc_BX�90TeTeV E X\d ReX9P T 0 ��� �!�D�H�@���2!K���+� � �r)H� ��(��c� ��� �q�� �M�Q��� ������-e�D� ���c��� �*)<�'&��6)`�Z-H! c�� d � � + � � � � ��C � � � " &��.-e� � � � �/-��-���� �\��(B�c�#,0�`���<� �Z- ��� �9� )� )��/-�! ���@�K�����K�O���.-H! �*) )� �/,0�k- 5 ��� ��� ��� 0 * �/-���`(.& )�� ��(��c� ��� �j�O�-� �'&��.-e� � � � � � � �i!��!��� �������!�D�H�@���2!K���+�]� � �.�

$ � � � � �O� �c(e���c� ��� (e��� �@��� �'&\� G\RUTPcV@X�9 PcVc_BX �*)E�'&\� ��-����0��� �c� ����0

� pwk [²k�U)fSk�k�UX[�� zv� k���fS�`yepwzXxj� k���pwz � ��d^n [ ��hv� n [ex k p �E[�f d [ZYM� �ªhvzv� �~[Zn dFfS���«pwn�Y�hv��fj£ r6dY\[ZY��%[Zn d Uv� u � z k�Uv��dyZ��fwd d¯��d¯zXpwkxv[eyZ��xXfS�v��[�¦3pwk�UX[Znk [ey Uvzv���NhX[ed F [�£ �X£ ¦Ik�UX[epwn [ZY uvn p��N� zv��GY^fgl��E[§zX[e[exv[ex�k p¯[ed�k0fS�v� ��d U�k�U)fSk f���� �~[Zz\d�k�n�hXyZk�hvn [V��d'f )� �¿fShvk pwY^fSk pwz±£ � [V[�i@uE[eyZk*k�U)fSk)�� �¿fShvk pwY^fSk0f�¡�Uv��y0U²Y\pNxv[Z��/¨n [gfS� 1 uvn pw��n0fSY\d�¡�� � �%U)fg�~[6n0fSk�UX[ZnVd � YMuv��[`� zv� k���fS�IyepwzXxj� k���pwzXdg¦¡�UXp�d0[d0fSk���d���fS�v� � � k¨l²��d�zXpwk�U)fSn x²k p^fwd d [ed0dg£

h � ��hvn [�]���d7fSz [�ivfSYMuv��[MpS� )� �¿fShvk pwY^fSk pwz±¦±¡�Uv��y UBY\pNxv[Z��d¯k�UX[<d�hXyeye[ed d � �~[�� zXd0[Zn�k���pwzpS��fS� �ok�UX[�[Z��[ZY\[Zz�k d<pS��f��~[eyZk pwn � pS��d��@?g[-/ � zNk p�k�UX[�d pwn�k [ex �~[eyZk pwn��¬pS��d��@?g[��o£9TVUX[� zv� k���fS�°��pNygfSk���pwz¥��d,0 � ¦*fSzXx k�UX[\� zv� k���fS�§yepwzXxj� k���pwz d�u%[eyZ�³�)[ed�k�U)fSk�k�UX[^�~[eyZk pwn� ��d�d0pwn�k [exI£1 fSn���fS�v��[32���d'hXd [ex�fwd°f7yepwhvz�k [Zn°�~pw� zv��p��~[Zn k�UX[�[Z��[ZY\[ZzNk d°pS�I�~[eyZk pwn � £ ¤`z\k�UX[�k�n0fSzXd � k���pwz� n pwY40 � k p50 � ¦%k�UX[��>hvzXyZk���pwz fwd d � ��zvY\[Zz�k¯k p � d�uE[eyZ�³�)[ed6k�U)fSk¯fS� ��k�UX[<[Z��[ZY\[Zz�k dpS� � k�U)fSkfSn [���n [gfSk [ZnVk�U)fSz � �62 � fSn [`d�UNh87^[ex�pwzX[`uEp�d�� k���pwz�k p�k�UX[�n�� ��UNkg£oTVUX[�� hvzXyZk���pwz²fwd d�� ��zvY\[Zz�kpwz�k�UX[7k�n0fSzXd�� k���pwz��>n pwY90 � k p�07�7d�uE[eyZ�³�)[ed�k�UX[� zXd [Zn�k���pwz�pS�'k�UX[7zX[Z¡ [Z��[ZY\[ZzNk � �62 � fSk�k�UX[yepwn�n [eyZkuEp�d�� k���pwz±£ NV[eygfShXd [�� ��dd0pwn�k [exI¦Ik�Uv��d¯u%p�d � k���pwz���d¯hvzv���NhX[�£�TVUX[Zz±¦±k�UX[Md��@?g[<pS�����n p�¡�d��Nl9pwzX[�¦)fSzXx�k�UX[zX[�i@k�[Z��[ZY\[ZzNk`pS� � ��d�uvn p@ye[ed d [exI£

��� jx���

����������� ������������������������� ��!���� � =

��� ��� ��� ��� � � ����� , � ��� ,� ��� ����� ,�� � � ,�� � ���

��� � � � �

��� �� � ��� � �

� �

�"!

� #

� $

�&%

��' � � �(')� � � � ' � � � �(* � � ��� � ' � � � ' � � �,+

��� � .- � � * � ��+� � � -�� ��� - � � � .- � � ��� "- � � � � * � ��� � .- � ��� "- � �(* � ���

h � ��hvn [^]�g��*iXfSYMuv��[7pS�i)�� �¿fShvk pwY^fSk pwz g %¿zXd [Zn�k���pwz�� zj�@pwn�k [ex 1o[eyZk pwn

)�� �¿fShvk pwY^fSk0f fSn [©hXd [�� hv�¯� pwn²Y\p@xv[Z� � zv�¢uvn pw��n0fSY\d�¡�� k�U­uEpwk [Zz�k���fS� � l hvzN�%pwhvzXxv[ex+xXfSk0fd k�n�hXyZk�hvn [ed`d�hXy0U�fwd��X��[edg¦X�vh �I[Zn dg¦%fSzXxtfSn�n0feljd¯pS�'u)fSn0fSY\[Zk�n���y�d��@?g[�£ %¿z0/¯[��Xzv� k���pwz " £ ]�¦)¡§[U)fg�~[^fwd d�hvY\[ex k�U)fSkk�UX[\pwzv� lt�)fwd ��yMk¨l@u%[<��d7� z�k [Z�~[Zng¦ �vhvk7Y\p�d�k7pwk�UX[Zn7k¿lNuE[ed F NVpNpw��[gfSzXd�¦[ZzNhvY\[Zn0fSk���pwzXdg¦§n [eyepwn xvdg¦ d hv�vn0fSzv�~[edHG�ygfSz¬�%[�[ZzXyep@xv[ex#hXd�� zv� � z�k [Z�~[Zn d�£ TVUX[�n [ed k�n���yZk���pwzk�U)fSk�k�UX[Zn [^��d<fSk�Y\p�d k�pwzX[�fwd d�� ��zvY\[Zz�k��«pwn�[gfwy U ��fSn���fS�v��[9fSzXx �>hvzXyZk���pwz¬fSuvuv� ��ygfSk���pwz#��dhXd0[��>hv�)� pwn�fe�~pw��xj� zv�Md [ZY^fSzNk���y6yepwYMuv� ��ygfSk���pwzXd F �ª£ [�£ ¦@d � k�h)fSk���pwzXd°¡�UX[Zn [¯f7�>hvzXyZk���pwz��~[Zk d°k¨¡°pxj���I[Zn [Zz�kV��fS� hX[ed°d � Y�hv� k0fSzX[epwhXd�� l2G�£i%¿k°ygfSz9�%[`xv[gfS� k§¡�� k�U9� z^uvn0fwyZk���ye[6�Nl\� z�k�n p@xjhXyZ� zv�<zX[Z¡k�n0fSzXd � k���pwzXd`k p9d [ �NhX[Zz�k���fS� �@?g[<k�UX[<fwd d�� ��zvY\[ZzNk dg£¯r���d pv¦�k�UX[�n [ed�k�n���yZk���pwz©k�U)fSk¯fS� � �>hvzXyZk���pwzXdfSn [¯hvz)fSn�l���d�hXd0[ex�k p\d�� YMuv� �³� l9d [ZY^fSzNk���y�xv[��Xzv� k���pwzXdg£

� �21�� � 3 µ � ���%���>�~� ¹���)�~· � �3� ¹ � �j�g� �r � 9Cb Z)9 PcVc_BX¬��dMftY^fSuvuv� zv� k�U)fSk^fwd d�� ��zXdg¦*k p©[gfwy0U#�>n [e[9��fSn���fS�v��[�fSuvuE[gfSn�� zv� � z#k�UX[²fSh �k pwY^fSk pwz±¦'f��wfS� hX[^� z 3�¦*fSzXx k p�[gfwy0U � hvzXyZk���pwz¥d�l@Y��Epw�ª¦'f9� hvzXyZk���pwzB� n pwY 3�k pj3�£ � [xv[ZzXpwk [7��l54 k�UX[d [Zk�pS�ofS� �I�wfS� h)fSk���pwzXd�£or TBP�9 PSR���d`f�u)fS� n�� ��> % � yepwzXd���d�k�� zv��pS�*f���p@ygfSk���pwz� � � fSzXx f���fS� h)fSk���pwz % �64¯£ � pwk [�k�U)fSkg¦o�«pwn^f )� �¿fShvk pwY^fSk pwz ¡�� k�U fSkM��[gfwd k\pwzX[� hvzXyZk���pwz^d�l@Y��Epw�ª¦�k�UX[Zn [�fSn [�hvzXyepwhvz�k0fS�v� lMY^fSz�lMd�k0fSk [ed�£�r`z V@X\V PcVM9Cb+TBP�9 PSR°��d f¯d�k0fSk [�pS�Ek�UX[�«pwn�Y � � � > % � � d�hXy0U©k�U)fSk % �87 C � ¦)k�U)fSk6��dg¦�k�UX[���p@ygfSk���pwz���d�� zv� k���fS�ofSzXxtk�UX[���fS� hX[ed¯pS�ok�UX[��fSn���fS�v��[edfSzXxt�>hvzXyZk���pwzXdd0fSk���d��>l²k�UX[�� zv� k���fS�'yepwzXxj� k���pwz � £¯TVUX[<d [Zk6pS�§d�k0fSk [ed¯��d¯xv[ZzXpwk [ex�Nl:96¦)fSzXx²k�UX[d [Zk`pS��� zv� k���fS�3d k0fSk [ed���d�xv[ZzXpwk [ex²�Nl;9 � £�� fwy0U�k�n0fSzXd�� k���pwz0<�� � xv[��XzX[ed6fPc^D9CX2TeV PcVc_BXQ^`RebM9 PcVc_BX>=�?8@A9CB09`¦X� z�k�UX[�«pw� ��pg¡�� zv�9¡§fel~£(%¨zNk�hv� k�� �~[Z� l~¦ED<fSzXxFD � fSn [7� z�k�UX[

j;jlk]m�nCo�pHp

]g� � � �����(���H�

n [Z��fSk���pwz = ? �³�*k�UX[¯��p@ygfSk���pwz�pS��D F n [ed�u±£vpS��D � G°��dVk�UX[pwn�� ��� z F n [ed u±£oxv[ed�k�� z)fSk���pwz9GVpS��<I¦XfSzXxk�UX[��wfSn���fS�v��[ed¯fSzXx²� hvzXyZk���pwzXd`� z D�d0fSk���d�� l�k�UX[7��h)fSn x�pS� <I£Vs�pwn [epg�~[Zng¦%k�UX[7��fSn���fS�v��[ed¯fSzXx� hvzXyZk���pwzXd��~[Zk�zX[Z¡ �wfS� hX[ed�fwyeyepwn xj� zv��k p<k�UX[�fwd d�� ��zvY\[ZzNk d�pS� <

hXpwn�Y^fS� � l~¦%� pwn¯f )��9�«pwn�Y�hv��f � fSzXx©f\��fS� h)fSk���pwz % � 4¦)��[Zk �%$ % ) �%[�k�UX[�k�n�hvk�U���fS� hX[pS� � ¡�UX[Zz�k�UX[�>n [e[��fSn���fS�v��[ed`fSzXx�k�UX[� hvzXyZk���pwz�d�l@Y��Epw��d�pS� �#[Z�wfS� h)fSk [�fwyeyepwn xj� zv�^k p % £h)pwn�f9k [Zn�Y ( ¦I¡°[Mxv[ZzXpwk [^��l ( $ % ) k�UX[M� zNk [Z�~[Zn���fS� hX[Mpw�vk0fS� zX[ex ��l©[Z��fS� h)fSk�� zv���wfSn���fS�v��[edfSzXx �>hvzXyZk���pwz d�l@Y��Epw��d�fwyeyepwn xj� zv��k p % £ � [\zXpg¡ xv[��XzX[^UXp�¡-��fS� h)fSk���pwzXd<fSn [\Y\p@xj�³�)[ex�Nl�fwd d�� ��zvY\[Zz�k d�£ r�yeyepwn xj� zv�^k p /6[��Xzv� k���pwz " £ ]�¦vk�UX[ed [�fSn [�pS��k¿¡°p�A@� zXxvdBg fwd0d�� ��zvY\[Zz�k d`k p��fSn���fS�v��[ed7fSzXx fwd d�� ��zvY\[ZzNk dk p\� hvzXyZk���pwzXdg£?23[Zk % ��� 4��E[�k�UX[��wfS� h)fSk���pwz pw�vk0fS� zX[ex�� n pwY% f��>k [Zn�fSzBfwd d � ��zvY\[Zz�kg¦±k�UX[Zz±¦ % � ��d7pw�vk0fS� zX[ex©� z k�UX[�� pw� ��p�¡�� zv��¡§fgl~£ %ª�§k�UX[Mfwd d�� ��zvY\[Zz�k��d�pS�Vk�UX[\� pwn�Y Q � C ( ¦±¡�UX[Zn [�Q ��d�f���fSn���fS�v��[�¦ k�UX[Zz % �*��d�k�UX[\��fS� h)fSk���pwz¥d�hXy0U k�U)fSk7�«pwnfS� � V �k� �J�+5 � � Q � � ¦ % � � V\�?C % � VH� ¦'fSzXx % � ��Q �?C ( $ % ) £�¤`k�UX[Zn�¡���d [�¦*k�UX[�fwd d�� ��zvY\[Zz�k��dpS�°k�UX[�� pwn�Y c�� d � � + � � � � � C � � ¦E¡�UX[Zn [� � ��df���n pwhvzXx©� pwn�Y�hv��f²fSzXxN � ��d7f�k [Zn�Y�¦�Epwk�U�pg�~[Zn�k�UX[6�wfSn���fS�v��[edi5 � � ��� fSzXx��>hvzXyZk���pwzXd~�\£'TVUX[Zz±¦ % �)��d§k�UX[6�wfS� h)fSk���pwz²d�hXy0U�k�U)fSk�«pwn^fS� � V �z5 �k��� � � � � � ¦ % � � V\�XC % � VH� ¦�fSzXx % � �n� � ��dMxv[��XzX[ex fwd<� pw� ��p�¡�dBg9�«pwn^fSz�l� � �O3�¦@��[Zk� � $ % > � ' � � ) F n [ed�u±£��� $ % > � ' � � ) Goxv[ZzXpwk [6k�UX[`�wfS� hX[6pS�� � F n [ed�u±£� �Go¡�UX[Zz�k�UX[`� n [e[��fSn���fS�v��[ed 5 [Z�wfS� h)fSk [�fwyeyepwn xj� zv�\k p % ¦XfSzXx � [ ��h)fS��d � � £'TVUX[Zz±¦j� pwn�fSzNl � � �O3¢d�hXy0U²k�U)fSk � $ % > � ' � � ) UXpw��xvdg¦ % � �n� � � � � � C � $ % > � ' � � ) ¦ fSzXx % � �n� � � � � � C % �n� � � � � � pwk�UX[Zn�¡���d [�£�h�� z)fS� � l~¦�«pwn < C ��>��4>! > � >�� � � ftk�n0fSzXd�� k���pwz±¦ ¡°[²xv[ZzXpwk [��Nl % $ 0> � ) k�UX[���fS� h)fSk���pwz¬pw�vk0fS� zX[ex#��ld hXyeye[ed d�� �~[Z� l9k�n0fSzXd�� pwn�YM� zv� % fwyeyepwn xj� zv�\k p\k�UX[�fwd d�� ��zvY\[ZzNk d�pS� <I£ F � pwk [¯k�U)fSk�k�UX[�pwn xv[Zn� z ¡�Uv��y U®k�Uv��d^��d9xvpwzX[t��d\zXpwk9� YMu%pwn�k0fSzNkg¦��%[eygfShXd0[�k�UX[Zn [t��d9fSk�Y\p�d�k�pwzX[�fwd d�� ��zvY\[Zz�kuE[Zn²��fSn���fS�v��[ pwn²� hvzXyZk���pwz d�l@Y��Epw� G�£ TVUX[Zz±¦¯k�UX[©k�n0fSzXd�� k���pwz n [Z��fSk���pwz =�?¬pS��k�n0fSzXd � k���pwz< C ��>��4>! > � >�� � � ��d�k�UX[7d�Y^fS� ��[ed�k�n [Z��fSk���pwz�xv[��XzX[ex²��l�k�UX[¯�«pw� ��pg¡�� zv�^n�hv��[�g

D > D � � 9 > D C � ��> % �D> D � C � � � > % � �D> � $ % ) C � (sV > % � C % $ > � )= ? � D > D � �

� [^xv[ZzXpwk [^�Nl>= C�� ? �� =�?�k�UX[\k�n0fSzXd�� k���pwz¥n [Z��fSk���pwz¥pS��k�UX[ )�� �¿fShvk pwY^fSk pwz±£�r ^BZ�X¥��df9d [ �NhX[ZzXye[MpS��d�k0fSk [edBg�� " D � > D � d8d8dh> D � d hXy U k�U)fSk D � � 9 � ¦±fSzXx��«pwn � C b�d8d8d �� Z�¦=0� D , > D�,�� � � UXpw��xvdg£�TVUX[ bcReX E+P��<pS�%n�hvz�4" D � > D � d8d8dx> D � ��d4�o£3r¢d k0fSk [ D�� 9 ��d ^`R�9)�r��9�a0bcRV@X 9 PWd _TBP&/ TBPSR Y T¯�³�§k�UX[Zn [\[�ij��d�k df9n�hvz pS�°��[Zzv��k�Uq� F � A / G�¡�UXp�d [<��fwd�kd�k0fSk [<��d(DN£TVUX[ a\_�Z�XHG\R8GQ^`R�9)�=��9�a0V@b@V P : Y�^`_�a0bcRed���dBg¯��� �~[Zz¥f�d [Zk7pS��d�k0fSk [ed��{fSzXx¥fSz � z�k [Z�~[Zn,/ ¦±��dk�UX[Zn [�f²d�k0fSk [:D�� � ¡�Uv��y0UB��dn [gfwy0U)fS�v��[^� z¥fSk�Y\p�d�k,/ d�k [ZuXd�£K%¿z �@[eyZk���pwzB}�¡§[Muvn pg�~[k�U)fSk�k�Uv��d�uvn pw�v��[ZY ��d�xv[eyZ��xXfS�v��[7� pwn�)� �¿fShvk pwY^fSk0fj£

��� jx���

����������� ������������������������� ��!���� � ]�]

� 46�7�8(9��� � , ���������&)� &

h)pwn�f�k�n0fSzXd�� k���pwz <¢fSzXx¢fSz fSn��v� k�n0fSn�l#uvn [exj��ygfSk [�4­pwz d k0fSk [edg¦ok�UX[²uvn [exj��ygfSk [ ���!��� ? �'4 �y0U)fSn0fwyZk [Zn��@?g[ed9k�UX[�d�k0fSk [ed5D � k�U)fSk�ygfSz �%[²n [gfwy0UX[ex �Nl¬k0f0AN� zv�¥k�n0fSzXd�� k���pwzC<¬�>n pwY!d pwY\[d k0fSk [(D�d0fSk���d��>l@� zv� � g

���s��� ? �'4 � " f D d = ?g� D > D � �\^ 4|� D �Ddh)pwn�f¢d0[ ��hX[ZzXye[¥pS�\k�n0fSzXd�� k���pwzXd�� " < � >8d8d8dx> < � fSzXx+f¬uvn [exj��ygfSk [�4'¦k�UX[ uvn [exj��ygfSk [�\�!����� �'4 � ��d<xv[��XzX[ex¢fwd ���!�`��� �'4 � " ���!��� ? _ � ���!�`� ? _��<[ � d8d8d ���!�`� ? [ �'4 �S�S� £ %¿z k�UX[�d [ �NhX[Z�ª¦'¡§[��xv[ZzNk��³�>l d0[Zk d7pS��d�k0fSk [ed7¡�� k�U¥k�UX[M�«pwn�Y�hv��fwd�k�U)fSk�y U)fSn0fwyZk [Zn��@?g[9k�UX[ZY�¦*fSzXx ��[Zk7k�UX[�d [Zk�pS�d k0fSk [ed����%[�fM��n pwhvzXx )���«pwn�Y�hv��fj£ 2 ��[gfSn�� l~¦ � ��d�n [gfwy U)fS�v��[�� z©fSk�Y\p�d�k+/�d�k [ZuXd`�³� fSzXxpwzv� l9�³� k�UX[Zn [[�ij��d�k d�f<d [ �NhX[ZzXye[�� pS�'yepwz�k�� ��hXpwhXd�k�n0fSzXd � k���pwzXdg¦XpS� ��[Zzv��k�U�fSk�Y\p�d�k / ¦vfSzXxd k0fSn�k�� zv�\� z²k�UX[� zv� k���fS�±��p@ygfSk���pwz±¦Xd�hXy0U�k�U)fSk ���!�`� � � 9 � � ���C� £

�N� zXye[�k�UX[Zn [�fSn [��Xzv� k [Z� l Y^fSzNl d0[ ��hX[ZzXye[ed\pS�6k�n0fSzXd�� k���pwzXdMhvu¬k p ft��� �~[Zz¢��[Zzv��k�U±¦°� k��d¯[ZzXpwhv��U©k p�d�UXpg¡�k�U)fSkg¦%�«pwn¯fSzNl��Xzv� k [<d [ �NhX[ZzXye[�� pS�§yepwz�k�� ��hXpwhXdk�n0fSzXd�� k���pwzXdd k0fSn�k�� zv�� z�k�UX[�� zv� k���fS����p@ygfSk���pwz±¦Ek�UX[�� pwn�Y�hv��f �\�!����� � 9 � �\^ �+��d�� z f�yZ��fwd d`¡�UX[Zn [�dFfSk���d���fS�v� � � k¨lt��dxv[eyZ��xXfS�v��[�£ � [\d�UXpg¡ �Nl©� zXxjhXyZk���pwzBpwz k�UX[<��[Zzv��k�UBpS���#k�U)fSk ���!�`� � � 9 � � ��dpS�Vk�UX[<�«pwn�Yf Q � >8d8d8d Q ' f � � >8d8d8d � - d 4'¦j¡�UX[Zn [ Q � >8d8d8d Q ' fSn [6��fSn���fS�v��[edg¦� � >8d8d8d � - fSn [6�>hvzXyZk���pwzXdg¦vfSzXx 4t��df`d [ZYM� �ªhvzv� �~[Zn d0fS�j�«pwn�Y�hv��f F y���£��@[eyZk���pwz^�j£ � G�£ TVUNhXdg¦~d0fSk���d���fS�v� � � k¿l�pS� ���!����� � 9 � � ��d*n [exjhXye[exk pMdFfSk���d���fS�v� � � k¨l�pS�n4'¦j¡�Uv��y U���d�xv[eyZ��xXfS�v��[ F y���£023[ZYMY^f^�j£ ]G�£

TVUX[o�)fwd [°d�k [Zu7��d3pw�N�N��pwhXdg±��l(/¯[��Xzv� k���pwz " £ ] pS�9)� �¿fShvk pwY^fSk0fj¦�k�UX[ � zv� k���fS�NyepwzXxj� k���pwz ���d`f<d [ZYM� �ªhvzv� �~[Zn d0fS�±�«pwn�Y�hv��fj¦X¡�Uv��y U���d`f�u)fSn�k���yZhv��fSn`ygfwd [pS�*k�UX[7xv[ed�� n [ex��«pwn�Y�£

hXpwn±k�UX[*� zXxjhXyZk�� �~[ d k [Zu±¦�� kI��d±[ZzXpwhv��U�k p�d�UXpg¡Bk�U)fSkg¦g�«pwn3fSz�l6k�n0fSzXd�� k���pwz�< C ��>��4>! > � >�� � �pS�6k�UX[ )� �¿fShvk pwY^fSk pwz®fSzXx fSz�l¥� pwn�Y�hv��f���pS�`k�UX[²� pwn�Y�� " f Q � >8d8d8d Q ' f � � >8d8d8d � - d 4¡�� k�Ui4�f�d [ZYM� �ªhvzv� �~[Zn d0fS�E�«pwn�Y�hv��fj¦jk�UX[��«pwn�Y�hv��f ���!�`� ? ��� � ��dVpS�±k�UX[¯d0fSY\[��«pwn�Y�£ � � k�UXpwhvkn [ed k�n���yZk�� zv��k�UX[<�~[ZzX[Zn0fS� � k¨l~¦ ¡°[^fwd0d�hvY\[�k�U)fSk7k�UX[K)� �¿fShvk pwY^fSk pwzBU)fwd7pwzv� l©pwzX[�� hvzXyZk���pwzd lNY��%pw�0�*¦SfSzXx�k�U)fSk�k�UX[ � hvzXyZk���pwzMfwd d�� ��zvY\[Zz�k d �\pS�)k�n0fSzXd�� k���pwz <�yepwzXd���d k d pS��pwzX[§[Z��[ZY\[Zz�kg¦pS�Vk�UX[<�«pwn�Y c�� d � � + � � � � ��C � � £623[Zk Q¥xv[ZzXpwk [Mk�UX[\�wfSn���fS�v��[ed�pS�§k�UX[K)� �¿fShvk pwY^fSk pwz±¦fSzXx � Q � xv[ZzXpwk [�k�UX[²[ �I[eyZk\pS�6k�UX[���fSn���fS�v��[�fwd d�� ��zvY\[ZzNk d pwz¬k�UX[���fSn���fS�v��[edg£#TVUX[Zz±¦�\�!��� ? ��� � ygfSz^�E[�¡�n�� k�k [Zz�fwd'k�UX[��«pw� ��pg¡�� zv��� pwn�Y�hv��f�p��~[Zn k�UX[�zX[�ijk��¨d�k0fSk [���fSn���fS�v��[ed Q � fSzXxzX[�ijk��¨d�k0fSk [¯� hvzXyZk���pwzj� � g���!�`� ? ��� � " f � d f Q d � Q � C ��Q �&^ � ^ c�� d � � + � � � � �#C � �&^ c�� d ���5 � + � � � � �$C ��� � �S�S�

F }�G

N§l9Y\pg�@� zv��fS� �±k�UX[7[�ij��d�k [ZzNk���fS���Nh)fSz�k��³�)[Zn d`� z�� fSk�k�UX[7pwhvk [Zn�Y\p�d�k���[Z�~[Z� pS�*k�UX[EhXpwn�Y�hv��fF }�G�¦X¡°[7pw�vk0fS� z�k�U)fSk ���!��� ? ��� � ��d�[ �Nhv� �wfS��[ZzNk�k p<k�UX[¯�«pw� ��pg¡�� zv�^� pwn�Y�hv��f�g

� ����������� ���!�"�$#%�&�('$��')��� ������' � �+* �-,/.10�*2�$35476�4�8$9��:*<;��>=?'/,@*A9�3B.1;�CD3�4�8/9��:*@EF;G�H=I'/,<*29�3B.�'F*29J3"3�3K<L)M

j;jlk]m�nCo�pHp

]g� � � �����(���H�

� U)fSk°¡§[6d k�� � ��U)fg�~[¯k p�d�UXp�¡ ��d°k�U)fSk§k�UX[`� pwn�Y�hv��f�pw�vk0fS� zX[ex9�>n pwY F N G§f��>k [Zn§n [ZY\pg�@� zv�\fS� �[�ij��d�k [ZzNk���fS� �Nh)fSz�k��³�)[Zn d���d�f²d [ZYM� �ªhvzv� �~[Zn dFfS�o�«pwn�Y�hv��fj£�N§l�� zXxjhXyZk���pwz U�l@uEpwk�UX[ed���dg¦s4¬��d�fd0[ZYM� �ªhvzv� �~[Zn d0fS�X�«pwn�Y�hv��fj£'TVUNhXdg¦%4 C � ^ �6¦~¡�UX[Zn [�����d§f¯��n pwhvzXx )���� pwn�Y�hv��fj¦@fSzXx �¥��d§fhvzv� �~[Zn dFfS� � l¯dFfSk���d���fS�v��['�«pwn�Y�hv��f�pS�@k�UX['hvzv� �~[Zn dFfS�~� n0fS��Y\[Zz�k pS�9)� F y���£ �@[eyZk���pwz��j£ � G�£��6[ZzXye[�¦� k���d�uEp�d d�� �v��[�k p�¡�n�� k [9k�UX[\� pwn�Y�hv��ftpw�vk0fS� zX[ex¥� n pwY F N G�f��>k [Zn�n [ZY\pg�@� zv� fS� �§[�ij��d�k [ZzNk���fS��Nh)fSz�k��³�)[Zn d�¦ fwd¯k�UX[Myepwzwq�hvzXyZk���pwz � � ^ � � ¦I¡�UX[Zn [ � � " Q � C ��Q ��^ �§¦3fSzXx�� � " � ^c�� d � � + ���n� � �|C � �\^ c�� d ���5 � + ���n� � �|C ��� � �S� £

2 ��[gfSn�� l~¦3� � ��dMft��n pwhvzXx )�©�«pwn�Y�hv��fj¦§fSzXx � � ��dMfthvzv� �~[Zn d0fS��)�©� pwn�Y�hv��f�¡�� k�U#k�UX[uvn pwuE[Zn�k¨l k�U)fSktfS� � �Nh)fSz�k��³�)[ex �wfSn���fS�v��[ed�fSn [©� z�k�UX[ d yepwuE[ pS�Mf¥� hvzXyZk���pwz d�l@Y��Epw� F y���£�@[eyZk���pwz®�j£ � G�£¢T3p yepwYMuv��[Zk [�k�UX[²uvn pNpS��¦o¡§[<q�hXd�kMU)fe�~[²k pBd�UXpg¡ k�U)fSk � � ��dMhvzv� �~[Zn d0fS� � ldFfSk���d���fS�v��[�£~N§l9� zXxjhXyZk���pwz�U�l@uEpwk�UX[ed���dg¦ � ��d`hvzv� �~[Zn d0fS� � l�d0fSk���d���fS�v��[�¦�k�U�hXd�¦X� z�u)fSn�k���yZhv��fSng¦k�UX[Zn [<[�ij��d�k df��wfS� hX[<pS���Bd�hXy U k�U)fSkg¦%�«pwn7fSz�lt�wfS� hX[edpS� k�UX[���fSn���fS�v��[ed Q ¦�����d¯d0fSk���d��)[exI£23[Zk�k�UX[��fS� hX[pS��� � �%[xv[��XzX[ex�fwdV�«pw� ��pg¡�dBg*�«pwn�fS� �±��fS� hX[ed�pS� � fSzXx�pS�*k�UX[�wfSn���fS�v��[ed Q ¦j�³� � UXpw��xvd�¦Nk�UX[Zz9k�UX[6�wfS� hX[6pS�4���n� � � [ ��h)fS��d§k�U)fSk�pS����S¦jpwk�UX[Zn�¡���d [6k�UX[6��fS� hX[`pS�4���n� � � [ �Nh)fS��dk�U)fSkVpS�x��� � � £�N§l^fwxvxj� zv��k�UX[`��fS� hX[�pS�h� � k p7k�UX[`Y\p@xv[Z��pS�±k�UX[`hvzv� �~[Zn d0fS�%yZ��p�d hvn [`pS�s�6¦�¡§[pw�vk0fS� z�f�Y\pNxv[Z�%�«pwn°k�UX[`hvzv� �~[Zn d0fS�IyZ��p�d�hvn [¯pS���S�>£��6[ZzXye[�¦<� �)��d§hvzv� �~[Zn d0fS� � l9d0fSk���d���fS�v��[�£ �� �>�g� �3�g� � ¹ � �TVUX[<fS�Epg�~[�uvn pNpS�°d UXpg¡�d6k�U)fSk6y0UX[eyeA@� zv��n [gfwy U)fS�v� � � k¨l�� z /�d�k [ZuXd`� z��~pw� �~[edy0UX[eyeA@� zv��d0fSk����d���fS�v� � � k¨l²pS� fMd [ZYM� �ªhvzv� �~[Zn d0fS�I�«pwn�Y�hv��f�4 ¡�� k�U / yepwuv��[ed�pS�o[gfwy0U��wfSn���fS�v��[�fSzXx�� hvzXyZk���pwzd lNY��%pw�ª£'TVUv��dg¦N� z9k�hvn�z±¦j� z��~pw� �~[edV� zXd�k0fSzNk���fSk�� zv�\[Z�~[Zn�l\hvzv� �~[Zn d0fS����h)fSzNk��³�)[ZnV�>n pwY k�UX[`hvzv� ��~[Zn dFfS�Nu)fSn�k'pS� 4^k p¯fS� �@k�UX[ k [Zn�Y\d*� z�� k d���n pwhvzXx�u)fSn�k F y���£ 2±[ZYMY^f¯�j£ ]G�£[h�� z)fS� � l~¦~f�xv[eyZ��d ��pwzuvn p@ye[exjhvn [�� pwn`��n pwhvzXxtm'n [ed �vhvn��~[ZnfSn�� k�UvY\[Zk���y�¡�� k�Uthvzv� z�k [Zn�uvn [Zk [ex�� hvzXyZk���pwz�d�l@Y��Epw��d`��dhXd0[ex¢k pBxv[eyZ��xv[�k�UX[�n [ed�hv� k�� zv� ��n pwhvzXx � pwn�Y�hv��fj£ � [�hXd [�k�UX[ * 7 1txv[eyZ��d���pwz®uvn p@ye[exjhvn [u)fwyUAwfS�~[�>n pwY �@a�% %¿z�k [Zn�z)fSk���pwz)fS�W- �/¨£

m'n [Z� � YM� z)fSn�l#n [ed�hv� k d<¡�� k�U¢pwhvn\d�l@Y��Epw� ��y�fSz)fS� l@d���d<uvn pwk pwk¿lNuE[�fSn [�[ZzXyepwhvn0fS��� zv�2g��«pwn[�iXfSYMuv��[�¦3f�d�l@Y��Epw� ��yMd�� Y�hv��fSk���pwzBpS�Vf9u)fSk�U pS��fS�%pwhvkk [Zz k�UXpwhXd0fSzXx d k [ZuXd¯� zBf9�~[eyZk pwn��d0pwn�k�� zv�²fS� �~pwn�� k�UvY�¡§fwdyepwYMuv��[Zk [ex � z fS�Epwhvk6k¿¡°[ZzNk¨l©UXpwhvn dg£�TVUv��d¯Y\[gfSzXd¯k [Zz k�UXpwhXdFfSzXxygfS� ��d<k ptk�UX[�xv[eyZ��d���pwz¬uvn p@ye[exjhvn [ed�� pwnMy UX[eyUAN� zv�©�«pwn�Y�hv��fwd\¡�� k�U k�UXpwhXdFfSzXxvdMpS���wfSn���fS�v��[edfSzXx��>hvzXyZk���pwz fSuvuv� ��ygfSk���pwzXdg£�r6d�pwuvk�� YM�@?�fSk���pwzXd¯� zt�%pwk�U * 7 1�fSzXx�pwhvn6uvn pwk pwk¨l@uE[�fSn [�d�k�� � ��E[Z� zv�^xv[Z�~[Z��pwuE[exI¦X¡§[�[�iju%[eyZk�k p\�%[�fS�v��[7� z�k�UX[¯� hvk�hvn [k p\uE[Zn��«pwn�YPd�l@Y��Epw� ��y7d�� Y�hv��fSk���pwzpwz²n [gfS� �¨d �@?g[uvn pw��n0fSY\d6fSzXx²d u%[eyZ�³�)ygfSk���pwzXdg£

h � z)fS� � l~¦@� k°��d ¡§pwn�k�U9zXpwk�� zv��k�U)fSk�f7d�� YMuv��[6[�i@k [ZzXd ��pwz9pS� )� �¿fShvk pwY^fSk0f�¡�Uv��y U²yepwzXd���d k d� z9��[Zk�k�� zv�<k�UX[���h)fSn xvd§�E[�hvzv� �~[Zn dFfS� )�<� pwn�Y�hv��fwdg¦j��d°k pNp�[�i@uvn [ed0d�� �~[��«pwn°d lNY��%pw� ��y¯d�� Y�hv��f��k���pwz±¦�fwd�n [gfwy U)fS�v� � � k¿l�[Z�~[Zz�� z�pwzX[7d�k [Zu²�E[eyepwY\[ed�Uv� ��Uv� l�hvzXxv[eyZ��xXfS�v��[ F y���£#�@[eyZk���pwzt�j£ � G�£

��� jx���

����������� ������������������������� ��!���� � ] "

� � ����, � ��&)�0�������+$'� ����$'.�� ��"����<����. 2�������"%$�� ��"��

%¿z�d [gfSn y U pS��zX[Z¡ � zj�Xzv� k [ �¨d�k0fSk [#Y\p@xv[Z��dt� pwn©¡�Uv��y0U{d pwY\[ �~[Zn��³�)ygfSk���pwz uvn pw�v��[ZY\d fSn [d k�� � ��d pw� ��fS�v��[�¦7¡§[¥� zN�~[ed�k�� ��fSk [ � z+k�Uv��dtu)fSuE[Zn©f yZ��fwd d�pS�^[�i@k [ZzXxv[ex�fShvk pwY^fSk0fj¦<ygfS� ��[ex)�� �¿fShvk pwY^fSk0fj¦ ¡�� k�U#��h)fSn xvd<fSzXx¬fwd d � ��zvY\[Zz�k d�� z¢f�xv[eyZ��xXfS�v��[�� n0fS��Y\[Zz�k\pS��m'n [ed��vhvn��~[ZnfSn�� k�UvY\[Zk���yt¡�� k�U hvzv� zNk [Zn�uvn [Zk [ex¢� hvzXyZk���pwz d�lNY��%pw��d�£ TVUv��d\� pwn�Y^fS� ��d�Y fS� ��pg¡�d�k p Y\p@xv[Z��Nhv� k [�z)fSk�hvn0fS� � ltuvn pw��n0fSY\d¯¡�� k�U©hvz��EpwhvzXxv[ex xXfSk0f9d�k�n�hXyZk�hvn [edd�hXy0U©fwd6u)fSn0fSY\[Zk�n���y �¨d��@?g[ex�~[eyZk pwn d¯fSzXx�fSn�n0fgl@dg£VTVUX[�Y\pNxv[Z� ��d�[�i@uvn [ed0d�� �~[�g k�UX[�� zv� k���fS� yepwzXxj� k���pwztY^fel�yepwzXd�k�n0fS� z©fSzhvzN�%pwhvzXxv[ex�zNhvY��E[Zn¯pS�'� hvzXyZk���pwz��wfS� hX[edg¦EfSzXxtfwd0d�� ��zvY\[Zz�k d¯Y^fgl�Y\pNxj�³� l�fSzthvzN�%pwhvzXxv[exzNhvY��E[Zn`pS�od�hXy0U��wfS� hX[ed�£ TVUX[��fSk�k [Zn6ygfSz��%[d0[e[Zztfwd�Y\[Zk0f��ªk�n0fSzXd�� k���pwzXdg¦�¡�Uv��y U�[ZzXyepNxv[�� zpwzX[Vd�k [Zu<k�UX[�[�iv[eyZhvk���pwz\pS�%fSz<hvz��EpwhvzXxv[exMz�hvY��%[Zn°pS�)k�n0fSzXd�� k���pwzXdg£ � [§uvn [ed [ZzNk f`xv[eyZ��d ��pwzuvn p@ye[exjhvn [�� pwn°k�UX[��EpwhvzXxv[ex^n [gfwy0U)fS�v� � � k¨l^uvn pw�v��[ZY8� z�k�Uv��d Y\p@xv[Z�ª£'TVUX[�uvn p@ye[exjhvn [�¡§pwn�A@d�Nl¥d�l@Y��Epw� ��ygfS� � l¥d � Y�hv��fSk�� zv� k�UX[9� zv� k���fS��d�k0fSk [edMpg�~[Zn<�Xzv� k [�d [ �NhX[ZzXye[ed<pS�`k�n0fSzXd�� k���pwzXdMpS�k�UX[6fShvk pwY^fSk pwz±£i%¿ko��do� YMuv��[ZY\[ZzNk [ex�� z��� ���fSzXx\hXd [ed k�UX[J* 7 1`xv[eyZ��d���pwz�uvn pNye[exjhvn [ed°� n pwY�@a�% %¿z�k [Zn�z)fSk���pwz)fS�W- �/¨£$�NlNY��%pw� ��y�d�� Y�hv��fSk���pwztU)fwd�f�z�hvY��%[Zn6pS��uvn0fwyZk���ygfS�*fSuvuv� ��ygfSk���pwzXdBg

� � k���d�f�hXd [�� hv�Ik [ey Uvzv���NhX[¯�«pwn�hvzXxv[Zn d�k0fSzXxj� zv�9fSzXx²xv[Z�vhv����� zv��uvn pw��n0fSY\d���l9� z�k [Zn0fwy �k�� �~[7[�iv[eyZhvk���pwz±¦

� � koygfSz\�E[§[ZYMuv��p�l~[exM�«pwn'u%[Zn��«pwn�YM� zv��fwyeyZhvn0fSk [`d�k�n�hXyZk�hvn0fS�Xk [ed�k�� zv�2g ��� �~[Zz�f¯yepg�~[Zn0fS�~[yZn�� k [Zn���pwz±¦)¡�Uv��y0Ut��d6f<�Xzv� k [�d [Zk�pS�*�Xzv� k [�u)fSk�UXd�� z�k�UX[�uvn pw��n0fSY F fwd`yepwYMuvhvk [ex��Nl~¦[�£ �X£ ¦If\yepwYMY\[Zn yZ��fS�'k p@pw�]- �0/ G�¦%pwhvn`uvn p@ye[exjhvn [�yepwYMuvhvk [ed¯� zvuvhvk6xXfSk0f\� pwn¯[�iv[eyZhvk�� zv�k�UXp�d [�u)fSk�UXd�k�U)fSkfSn [�[�iv[eyZhvk0fS�v��[<fSzXxtxj��d ygfSn xtk�UXp�d [�k�U)fSk¯fSn [�zXpwkg¦)n [ed hv� k�� zv��� z fyepwYMuv��[Zk [�yep��~[Zn0fS�~[�«pwn�k�UX[7y UXp�d [ZztyZn�� k [Zn���pwz±¦

� �Xz)fS� � l~¦�d�l@Y��Epw� ��y�fSz)fS� ljd���d9ygfSz fS��d0p �E[�hXd [ex fwd9fBd [ZYM� �¨xv[eyZ��d���pwz uvn p@ye[exjhvn [��«pwn� pwn�Y^fS�3�~[Zn��³�)ygfSk���pwztpS�'d0f�� [Zk¿l�uvn pwuE[Zn�k���[edBg'�³�of<d0f��«[Zk¨l9uvn pwu%[Zn�k¿l²xvpN[ed�zXpwk�UXpw��xI¦)pwhvnn [gfwy U)fS�v� � � k¿l�uvn pNye[exjhvn [�xv[Zk [eyZk d�k�Uv��dg¦vpwk�UX[Zn�¡���d [�¦)� k�¡�� � �±��p@pwu�� pwn [Z�~[Zng£

�9µ ">�j� µ º�� ¹ ��� �TVUX[°� � k [Zn0fSk�hvn [�pwz�k�UX[VfSz)fS� ljd���d*pS��fShvk pwY^fSk0f¯[�ijk [ZzXxv[ex�¡�� k�U<� zNk [Z�~[Zn���fSn���fS�v��[ed*��d��wfwd k���d [e[- }�/ � pwn`zX[Z¡+n [ed hv� k d6fSzXx©fwd6fSz�[Zz�k�n�l�uEpw� z�kg£ 2 pwzXye[Zn�zv� zv��fShvk pwY^fSk0f\¡�� k�U�hvzv� z�k [Zn�uvn [Zk [ex� hvzXyZk���pwzBd�l@Y��Epw��dg¦*f�n [eye[Zz�k�n [ed�hv� kK->L0/§d�UXpg¡�d�k�U)fSk�d�� Y�hv��fSk���pwz ��d7xv[eyZ��xXfS�v��[^� pwn�ye[Zn�k0fS� zyZ��fwd0d [ed'pS�Ed hXy U�fShvk pwY^fSk0fj£'TVUX[�pwzv� l�n [ed�hv� k d'¡§[�fSn [�fg¡§fSn [�pS�±fS�Epwhvk fShvk pwY^fSk0f7[�ijk [ZzXxv[ex¡�� k�U m'n [ed��vhvn��~[Zn²fSn�� k�UvY\[Zk���y�9CXHGB� hvzXyZk���pwz d�l@Y��Epw��d�fSn [�n [Zu%pwn�k [ex � z - ]BNC/¨£ �6[Zn [�¦°k�UX[¤`Y\[Z��fk pNpw�X��dohXd [exMk p�fSz)fS� l ?g[���n0fSuvUXdo¡�UXp�d0[�[exj�~[ed°fSn [�fSzvzXpwk0fSk [ex^��l<��n pwhvzXxM�«pwn�Y�hv��fwd� z�k�Uv��d���pw����y�£*r ^`R�9)�r��9�a0bcR pwuE[Zn0fSk���pwzMyepwYMuvhvk [edofSz<p��~[Zn��¿fSuvuvn peij� Y^fSk���pwz^pS�)k�UX[§n [gfwy U)fS�v��[

j;jlk]m�nCo�pHp

]Z} � � �����(���H�

d k0fSk [edg£�TVUX[MpwuE[Zn0fSk���pwz ¡�� � �'¡°pwn�At� pwn¯��n0fSuvUXd¯¡�� k�U [Z� k�UX[Zn7yZljyZ��[ed�_B^¯�>hvzXyZk���pwzXd�¦I�vhvk¯zXpwk�Epwk�U±£

TVUX[�pwk�UX[Zn9Y^fS� z �EpNxjl¬pS�n [Z��fSk [ex ¡§pwn�A¬��d�d k�n�hXyZk�hvn0fS��k [ed�k�� zv�X£�s�p�d�k^yepwYMY\[Zn yZ��fS�k p@pw��d F [�£ �X£ ¦ - �C/ G�ygfSz�Y\[gfwd�hvn [�k�UX[�yepg�~[Zn0fS�~[<¡�� k�U�n [ed�uE[eyZk`k p�fM��� �~[Zz yep��~[Zn0fS�~[�yZn�� k [Zn���pwz�«pwn�� zvuvhvk<xXfSk0f�uvn pg�@��xv[ex¥�Nl k�UX[^hXd0[Zng£�s�pwn [epg�~[Zng¦*k�UX[�u)fSk�UXd�� z¥k�UX[�yZn�� k [Zn���pwz¢fSn [^zXpwkfS� ¡Vfeljd�[�iv[eyZhvk0fS�v��[�£^a`[ed [gfSn y UBpwz d lNzNk�UX[ed��@?e� zv��� zvuvhvk�xXfSk0f²hXd�� zv��d�l@Y��Epw� ��y\d�� Y�hv��fSk���pwz¡Vfwd�d�k0fSn�k [ex�� z²k�UX[¯d [Z�~[ZzNk���[ed - ���j¦2NC/3fSzXx�U)fwd�n [eye[Z� �~[ex²n [ZzX[Z¡§[ex�fSk�k [Zz�k���pwz�n [eye[ZzNk�� l - ]�]`/¨£�6pg¡§[Z�~[Zng¦%k�UX[ed [k [ey Uvzv���NhX[edfSn [�yZhvn�n [ZzNk�� l�� � YM� k [ex�k p^uvn pw��n0fSY\d�¡�� k�U©d ygfS��fSn6xXfSk0fMk¨l@uE[edF �~[eyZk pwn dfSzXx©fSn�n0feljdfSn [�zXpwk6k�n [gfSk [ex+G�£?�@pwY\[�k [ey0Uvzv����hX[ed`�«pwn6xv[gfS� � zv��¡�� k�U��~[eyZk pwn dfSzXxfSn�n0fgl@d�U)fe�~[t�E[e[Zz uvn pwuEp�d [ex - ]Z}X¦`]g�0/¨£­T3p pwhvnKA@zXpg¡���[exj�~[�¦`pwhvn^Y\p@xv[Z�ª¦V¡�Uv��y U�fS� ��pg¡�dfSz hvzN�%pwhvzXxv[ex z�hvY��E[Zn�pS�V�wfS� hX[ed¯k p��E[MyepwzXd�k�n0fS� zX[ex �Nl�k�UX[<� zv� k���fS� yepwzXxj� k���pwz fSzXx©k�UX[fwd0d�� ��zvY\[Zz�k dg¦@��dVfSY\pwzv��k�UX[`Y\p�d�kV[�i@uvn [ed0d�� �~[��«pwn°¡�Uv��y0U²d�lNY��%pw� ��y`d�� Y�hv��fSk���pwz²k [ey0Uvzv����hX[ed[�ij��d�kg£� �±� � � µ � ¹ � � �TVUX[�Y^fS� z xj� n [eyZk���pwz­pS�¯�>hvk�hvn [�¡°pwn�A yepwzXd ��d�k d\� z®pwuvk�� YM�@?e� zv�¥k�UX[tuvn pwk pwk¨l@u%[td�l@Y��Epw� ��yfSz)fS� ljd���d§k p@pw�IfSzXx�fwxvxj� zv�MzX[Z¡®�«[gfSk�hvn [edVk p�� kg¦@d hXy U�fwd�d�k�n�hXyZk�hvn0fS�Eu)fSk�U�yepwYMuvhvk0fSk���pwz²�«pwnd0[Z�~[Zn0fS��yep��~[Zn0fS�~[�yZn�� k [Zn���fj¦Exv[ZuE[ZzXxv[ZzXyZl�fSz)fS� ljd���d6pS�o�wfSn���fS�v��[edg¦IfSzXx�d�� ��yZ� zv�X£ � [<fSn [<fS��d p� zNk [Zn [ed�k [ex�� zthXd � zv�9d�l@Y��Epw� ��yMfSz)fS� l@d ��d�k [ey0Uvzv����hX[ed6�«pwn6pw�vk0fS� zv� zv��yep��~[Zn0fS�~[�Y\[gfwd�hvn [ed¯� zyepwzj�«pwn�Y^fSzXye[7k [ed k�� zv�X£�<��� � ¹N¸ " µ º � � µ �%�g� �TVU)fSz\Ajd'k p�/6hvzXygfSz 2 ��fSn�A~[�¦@m'Uv� � � uvuE[�/fSn pwzXxv[gfSh±¦NTVUv��[Zn�n�l<�~cZn pwz±¦jfSzXxM�~pwUvz^a�hXd U���l��«pwnhXd0[��>hv�±yepwYMY\[ZzNk d6fSzXx�d hv���~[ed�k���pwzXdg¦XfSzXx²k p �¯fSn0fS��x²a�hX[ed0dV� pwn�UX[Z� u�¡�� k�U * 7 1~£

��$ �e$*"E$'��,�$'&

- ]�/ � £)r�yeA~[Zn�Y^fSz±£ ! ����,C�x$��@�����!���D� �*) �'&�������(`�M�H� ��� 2 -��%$�� ��! 0 � pwn�k�U � �`pw� ��fSzXxm'hv�v� ��d�Uv� zv� 2 pwYMu)fSz�l~¦)r`Y\d�k [Zn xXfSY�¦±]B=�NS}X£

- �C/ � £�N§��[exvd p@[�£ r zX[Z¡8Y\[Zk�UXp@x � pwn<uvn pg�@� zv� ye[Zn�k0fS� z¬m'n [ed��vhvn��~[ZnM�«pwn�Y�hv��fwd�£%¨z�� �'&��H�+���.-��9���c� ���9��� ��� �+�������1)B�.-e����(U�����M�|-��c� "S(`� �����H�+����� � � ���`��(U� ¦XTV�v� � ��d0d��F D �0�@a G�¦juvuB]BN� @�j]�£

- " /��X£ a�£�N§hvn y U±¦ ��£ s¥£ 2 ��fSn�A~[�¦��M£ 2o£�s�yes�� � ��fSz±¦ /<£ 2o£ /6� � �EfSzXx^�X£ ��¡VfSzv�X£g�Nl@Y���%pw� ��y<Y\p@xv[Z�oy UX[eyUAN� zv�2gXZ b � � d�k0fSk [ed7fSzXx©�%[Zl~pwzXxI£ �H�1)��/-�! � �c�c��� ���9������!�+�9��� ���c�c��� ¦2=�L F � G�g ]Z}��� �]l�w�j¦ ]B=�=��j£

��� jx���

����������� ������������������������� ��!���� � ]BN

- }�/�T£sN°hv� k0fSz±¦�a�£��[Zn��%[Zng¦�fSzXx � £Sm'hv��U±£vs�pNxv[Z�jy UX[eyUAN� zv�7yepwzXyZhvn�n [ZzNkod�ljd�k [ZY��d�¡�� k�Uthvz��EpwhvzXxv[ex�� zNk [Z�~[Zn`��fSn���fS�v��[edBgVd�l@Y��Epw� ��y7n [Zuvn [ed [ZzNk0fSk���pwzXdg¦%fSuvuvn pgi@� �Y^fSk���pwzXdg¦jfSzXx^[�iju%[Zn�� Y\[ZzNk0fS��n [ed�hv� k d�£ � ����� - ���0�`�`(B�c�c����J��� 2 -��e�/-���! !�� ���� ��� ��������D������� ! �!�`����!� ¦X�j] F }�G�g#��}�� ��L�=j¦ ]B=�=�=j£

->NC/_2o£ r�£ 2 ��fSn�A~[�£�r{d�ljd�k [ZY�k p9�~[ZzX[Zn0fSk [<k [ed�kxXfSk0f²fSzXx d�l@Y��Epw� ��ygfS� � lt[�iv[eyZhvk [uvn pw��n0fSY\dg£ ���i� ��� - ���0�`�`(B�c�c�������� ! �*)`� " �/-e� �W����� ���e�.-�� � � ¦�� F " G�g��j]BN� @���j¦]B=��w�j£

- �C/��%£ 2 pwn�zX[Zk�kg£ 2 p@xv[ yepg�~[Zn0fS�~[ fSz)fS� ljd���dg£ r3��fS� ��fS�v��[ fSk������ � � ��������� � ��� �� �������� ����� ���� ��

- �/�/<£ 2 l@n�� h\AE¦~m £-2±� zXyepw� z±¦NfSzXx � £��NU)fSz\A�fSng£�¤`z��NUXp�d�k0f0A� d'xv[eyZ��d���pwzMuvn p@ye[exjhvn [� pwnMyepwY��v� z)fSk���pwzXd^pS�`k�UX[epwn���[ed�£ ����!+�9�����.-.+c��� ����� ��������(��c� ��� � � ���J��� �! ¦2 � r�%6]�]g�S}X¦vuvu�}�� " �}��-�@¦±]B=�=��j£

->LC/ � £�/¯fSYMY�¦�r�£Im'z�hX[Z� ��fSzXx �%£±a�h)fSU±£ �`[Zn��vn0fSzXx fShvk pwY^fSk0f��«pwn7U)fSn xj¡§fSn [�~[Zn��³�)ygfSk���pwz±£ �����1)B�.-e����(U����� ������(��x-.-��`��(`�"��&��e�/-H�$# ��%'& �)(\�*� +-, ¦g2 � 2 �]Z}����j¦vuvut��� L " ¦±]B=�=�Lj£

->=C/�� � 2 £2hX[Zn�z)fSzXxv[`?~¦ ��£.�fSn0fg�~[Z�ª¦Xr�£ �[Zn��vn0fSkg¦)a�£js�fSk [e[ed0yZh±¦2o£vs�pwhvzv��[Zng¦XfSzXxs¥£&�N� ��Uv� n [gfSzNh0/)13254Eg%r uvn pwk pNyepw� �wfS� ��xXfSk���pwzBfSzXx©�~[Zn��³�)ygfSk���pwz k p@pw� �EpeiI£����!+�9�����.-K+ ���c����� � �.-�� "S(U���c�c��� � � � � � �! ¦ 2 � 2 � ]�]g���j¦vuvu�} " � �}�}��j¦3]B=�=��j£

- ]g�C/�r�£6�¯pw��xj�%[Zn��X¦�T£ � 2 £ � fSzv�X¦%fSzXx0/<£87�� YMY\[Zn�Y^fSz�r`uvuv� ��ygfSk���pwzXd`pS�*�«[gfwd�� �v��[u)fSk�U9fSz)fS� ljd���dok p�uvn pw��n0fSY-k [ed k�� zv�X£ �H�+���.-��9���c� ���9��� ! �0!+���s�H� ��! ��� ! �*)`� " �/-���9�����c� ���O���9�����������!��� � � � ! ! ���$� �X¦@uvu L��� =S}X¦±]B=�=S}X£

- ]�]�/ ��£9�6hvzNk [Zn�fSzXx /<£Em�[Z��[exI£�m*fSk�U [�i@uv��pwn0fSk���pwz k p@pw�ª£ �9�B��� �����9�K��� � �/-�� �'&�!_�)`�Z-E�'&�� �����0����-���(��c�c���&���������9�����!�H�M� �*) ! �!�����`!_� � ��� � � ! � ¦ 2 � 2 � ]BN���=j¦uvu�}���N� �}���=j£

- ]g�C/5�<£ �X£ �`pw�@?eY^fSzvz±£ ���D�H�@��� ���9� � ��� �c� � �c�c��� �*)�����! ! � �2��(U���c�c��� 2 -���� �1(U��� �10m'n [Zz�k���ye[ �6fS� �ª¦3]B=�=j]�£

- ] " /��X£ �¯fS� u%[Zn�z±£�m'n [ed��vhvn��~[Zn`fSn�� k�UvY\[Zk���y7¡�� k�U9hvzv� zNk [Zn�uvn [Zk [ex²� hvzXyZk���pwz�d�l@Y��Epw��d��d;: �� �¨yepwYMuv��[Zk [�£ ����x-��9���;��) ! ��!�$e�����( � �e���( ¦�N���g � " � @�S}��j¦3]B=�=j]�£

- ]Z}�/�a�£v��fwd u%[Zng¦�s¥£0N§n [Zzvz)fSz±¦��M£ � � � � ��fSY\d pwz±¦%fSzXx /<£87�� YMY\[Zn�Y^fSz±£VT3[ed�k`xXfSk0f�~[ZzX[Zn0fSk���pwz hXd�� zv�B�«[gfwd�� �v��[�u)fSk�U fSz)fS� ljd���dg£ �H�9���.-H�����c�c���9��� ! ��!+���!��� � ! ���! �*)`� " �/-e�<���D�`�c� ��� ���9� ���9��� �!�H�M� � ! ! ���$� �X¦@uvu =�N� �]g���@¦±]B=�=S}X£

j;jlk]m�nCo�pHp

]g� � � �����(���H�

- ]BNC/ � £ �[Z� � l~¦ 1<£�s©fwd���pg�E¦ � £tmohv��U±¦ ��£�a�p�d d [Zng¦¬T£��NUvuv��[ed�Y^fSz±¦®fSzXx/<£ � pwzvz)fwyepwk�kg£�TVUX[-¤`Y\[Z��f � � �vn0fSn�l�� z�k [Zn��ªfwye[{��hv��xv[�£ r �wfS� ��fS�v��[ fSk����� � � � � � � � � ��������� � ����� �� � �v£

- ]g�C/5�<£v�X£vstl~[Zn dg£'TVUX[r`n�k�pS�|�@pS� k¨¡VfSn [�T3[ed k�� zv�X£o�~pwUvz � � ��[Zl�fSzXxj�@pwzXd�¦I]B=���=j£- ]l�/�/<£j¤`uvuE[Zz±£3r[Y ����

_hvuvu%[Zn§�EpwhvzXx9pwz9k�UX[6yepwYMuv��[�i@� k¿l9pS�3m'n [ed �vhvn��~[Zn�fSn�� k�U �

Y\[Zk���y�£ ����<-��9���;�*) ����!+�9�����.- ����� ! �!�`����! ! (`� ����(U��� ¦±]g� F " G�g " � " "�" �j¦ ]B=���Lj£- ]BLC/��%£X¤`¡�n [�¦v�X£ja�hXd�UN��l~¦ � £ �NU)fSz\A�fSng¦XfSzXx h§£@�~pwz �6[Zz\A~[�£;hXpwn�Y^fS�I�~[Zn��³�)ygfSk���pwz

� pwn±�«fShv� k��ªk pw��[Zn0fSzNk*fSn y0Uv� k [eyZk�hvn [edBg±uvn pw��[Z�~pwY\[Zz)f�k p�k�UX[oxv[ed�� ��z�pS�vm 1��%£ ���i� ���-����0���`(��c� ���0� ��� ! �*)`� " �/-e�J�W����� ���e�.-�� � � ¦)�j] F � G�g ]g��� �]g��Nj¦�]B=�=�Nj£

- ]B=C/�s¥£§m'n [ed��vhvn��~[Zng£�`�%[Zn�xj��[ 1opw� ��d k �SzXxj� ��A~[Z� k�[Z� zX[ed9�~[Z¡���d d0[Zz �Nljd�k [ZY\d9xv[Znr�n�� k�UvY\[Zk��@A©��fSz\?g[Zn37��SUv��[ZzB� z � [Z��y UX[ZY�xj��[Mr�xvxj� k���pwz fS��d7[Z� z\?e� �~[�¤`uE[Zn0f��k���pwz#UX[Zn��~pwn�k�n�� k�kg£$�Nuvn0fe¡°p�?gxXfSzv��[<? % �`pwzv��n [ed�h¬s�fSk [ZY^fSk¿l�A~p�¡ �¯n0f�q�p�¡F�����pg¡§ygfSzXd�AN��y0U � fSn de?�fe¡§fj¦�m pw��fSzXxI¦ ]B=���=j¦XuvuQ=��� �]g�j]�£

- ���C/ 2 £Va`fSY\pwY\p@pwn�k�U�l~¦��%£ �6pv¦`fSzXx � £ 2 UX[Zz±£{¤`z k�UX[ fShvk pwY^fSk [ex �~[ZzX[Zn0f��k���pwz�pS�±uvn pw��n0fSY-k [ed�k°xXfSk0fj£ ���i� � ��-����0���`(��c� ���0�J��� ! ��)�� " �/-e�5� � ��� � �e�.-�� ��� ¦� F }�G�g ��= " " ���j¦ ]B=��w�j£

- �j]�/��%£Xa`fSuvuXd`fSzXx ��£ � [Zl@h\A~[Zng£ �@[Z��[eyZk�� zv�9d pS� k¨¡§fSn [�k [ed�k�xXfSk0f<hXd � zv�^xXfSk0f��)p�¡� zj� pwn�Y^fSk���pwz±£ ���i�i� � -����0�`�%(��c�c���0� ��� ! �*)`� " �/-��K� ����� ���e�.-�� ��� ¦�]�] F }�G�g " ��� " ��Nj¦±]B=�L�Nj£

- ���C/�a�£�NUXp�d�k0f0AE£ r uvn0fwyZk���ygfS�±xv[eyZ��d���pwz²uvn p@ye[exjhvn [6� pwn�fSn�� k�UvY\[Zk���y¯¡�� k�U²hvzv� z�k [Zn��uvn [Zk [ex�� hvzXyZk���pwz�d�l@Y��Epw��dg£o�~pwhvn�z)fS�3pS�*k�UX[7r 2 s ¦)��� F � G�g " Nj] " ���j¦3]B=���=j£

��� jx���

Unité de recherche INRIA Lorraine, Technopôle de Nancy-Brabois, Campus scientifique,615 rue du Jardin Botanique, BP 101, 54600 VILLERS LÈS NANCY

Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES CedexUnité de recherche INRIA Rhône-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST MARTIN

Unité de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY CedexUnité de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP 93, 06902 SOPHIA-ANTIPOLIS Cedex

ÉditeurINRIA, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex (France)��������� ���� ���������� ��� ���

ISSN 0249-6399