efficiency of automata in semi-commutation … · e ciency of automata in semi-commutation veri...

24
Efficiency of Automata in Semi-Commutation Verification Techniques erard C´ ec´ e, Pierre-Cyrille H´ eam, Yann Mainier To cite this version: erard ec´ e, Pierre-Cyrille eam, Yann Mainier. Efficiency of Automata in Semi- Commutation Verification Techniques. [Research Report] RR-5001, INRIA. 2003, pp.20. <inria-00077039> HAL Id: inria-00077039 https://hal.inria.fr/inria-00077039 Submitted on 29 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´ ee au d´ epˆ ot et ` a la diffusion de documents scientifiques de niveau recherche, publi´ es ou non, ´ emanant des ´ etablissements d’enseignement et de recherche fran¸cais ou ´ etrangers, des laboratoires publics ou priv´ es.

Upload: hoangdang

Post on 08-Sep-2018

219 views

Category:

Documents


0 download

TRANSCRIPT

Efficiency of Automata in Semi-Commutation

Verification Techniques

Gerard Cece, Pierre-Cyrille Heam, Yann Mainier

To cite this version:

Gerard Cece, Pierre-Cyrille Heam, Yann Mainier. Efficiency of Automata in Semi-Commutation Verification Techniques. [Research Report] RR-5001, INRIA. 2003, pp.20.<inria-00077039>

HAL Id: inria-00077039

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

Submitted on 29 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, estdestinee au depot et a la diffusion de documentsscientifiques de niveau recherche, publies ou non,emanant des etablissements d’enseignement et derecherche francais ou etrangers, des laboratoirespublics ou prives.

ISS

N 0

249-

6399

ISR

N IN

RIA

/RR

--50

01--

FR

+E

NG

ap por t de r ech er ch e

THÈME 2

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Efficiency of Automata in Semi-CommutationVerification Techniques

Gérard Cécé — Pierre-Cyrille Héam — Yann Mainier

N° 5001

Novembre 2003

Unité de recherche INRIA LorraineLORIA, Technopôle de Nancy-Brabois, Campus scientifique,

615, rue du Jardin Botanique, BP 101, 54602 Villers-Lès-Nancy (France)Téléphone : +33 3 83 59 30 00 — Télécopie : +33 3 83 27 83 19

����������� �������������������������� �!���#"%$&�'�(�)�*�+��������,-�/.0�21��������3��546��07�8�39:���;

<>=@?BAC?EDGF:=IHI=KJMLONQPSR@?T?ERVU3F'WX?EPSYSYZR\[8=IAC]�JIL+^'A`_0_GabACPS_+PSRI?TJ

c/dfeEg:h�i�jlknmEofpqhQrtsVu@ptv3pqhErh3wxv3yzr{v�|}r�~��Mg��CsVrtp{�@|}h����sz��h3wn��yV~�~�p{~

�!yz�}�`s@��w!��h���hEv#dfhE��v#dfh&oC�0�z�@�f��j��!s��@h3g'�f��hQiz�@�V��j�iz�'�}yVuVhE~

���+�E�3���f V�V¡ �¢sVg �f|�w�pqofu£w�d}h�ptg¤yzu@h¢sV¥Cy£��hEuV|fr{yz�+rtyVofuV|`yzuVh¢�M��w�dfh�w��#yzo`~�pqw�pt�Vh/v�rts@~�|f��h sz¥%yx��h3r{y�w�pqs@op{~ y�v�h3oIw���yVr}�I|fhE~�w�ptsVo pto��h3u@|fr{yz� ¦\s���hEr%�¢dfhTv#§Mpqofu`¨�©ªo*y���hTv�h3oIw��}yV�`hE�¢«�sV|`y��¬��yzo}pZ­I¦\|}~�v#dfsVrtr}yzo`�c�sV|}pqrtp`�}��s��@hE�:w�d`y�w�w�dfh�v�r{yV~�~ sV¥�®!�/�¯��hEuV|fr{yz�¢rtyVofuV|`yzuVhT~�p{~¢v3rqsI~�hT�¤|fo}�fh3�yzrtrC~�h3g pq°±v3sVg g�|fw�y�w�pqs@o��h3r{y�w�pqs@o}~n�Q¨²¦\sV��h3s��@h3�£y8��hEv�|}��~�pq�@h�yzrtuVs@��pqw�d}g³s@o>w�dfh ��hEuV|fr{yz�£h�´��f��hE~�~�ptsVo>p{~nuVpt�VhEo>w�sµv�s@g �f|�w�hw�dfh¤ptg yVuVh¤sV¥/yVo¶®x���&rtyVofuV|}yVuVh �M�\w�d}h¤w��#yzo}~�pqw�pt�Vh¤v�rts@~�|f��h:sV¥/��¨Xc/dfp{~Q�}yz�Ch3���f��s��Mp{��hE~�yµofhE·yV�f�f��s@y@v#d�­M�}yV~�hE�8sVo\yz|fw�sVg¤yzw�yf­�sV¥Xw�dfh�~�yzg hQ�@|}hE~�w�ptsVo�¨¢¸£|f�!yV�f�f��s@y@v#d��f��s���|}v�hT~y¤~�ptg �frth3�!yzo`�g s@��hµh�¹*v3pqhEo@w�yVrqu@sV��pºw�dfg»·dfp{v#d�¥¼|f��w�dfhE��g s@��hµ·�sV��§M~'¥¼s@��y6rtyV��u@h3�¤v�r{yV~�~ sz¥Q��h3u@|frtyV� rtyVofuV|}yVuVhT~v3rqsI~�hT��|}o}��h3�|}ofpqs@o�­fptoIw�h3�#~�hEv2w�pqs@o�­f~�h3g pº°ªv�s@g g�|�w#y�w�ptsVo���h3r{y�w�ptsVo`~yzo}��v�s@o���|fu@y@v��@¨0c/d}hQh�´�pt~�w�hEo}v�hsV¥Xw�dfpt~!ofh3·-v�r{yV~�~3­M�0sVr¼�£­}yVo}~�·�h3��hE�*w�dfhQs@�`hEo��I|fhT~�w�pqs@oµ�f��s@�`sI~�hT�*pto\«¢s@|}y��¬��yVofp²yzo}�µyVrZ¨t½ ~/�`yz�Ch3�T¨¾\¿IÀ%Á�Â�à ��Ä+�V¡ÆÅ hE��pqÇ`vEy�w�ptsVoX­f�h3u@|frtyV�!¦\s���h3r��¢d}h3§Mpqo}u}­fÈ+pqo}pºw�h�®!|�w�sVg¤y�w#yf­}ÉMhEg pº°ªv�s@g:g'|�w�yzw�ptsVo}~

Ê�ËM̬ÍfÎ8ÏCÐ�ÑBÒ Ó�Ô�Õ×ÖSÒ ØZÙ ÚTÔOÍ�ÕSÛ#ÑBÜSÝBÔªÏ×Î%Þ2ߢØZÙ Ü�Ô�Ü�Ô�à�ÝBÔ�Û#ßáVÜ�à�ß!Û#ÒâÑBÒâÔ�ÕSã+äâÒ åtÜ2æ çBÑTÒ ÓEÏ{åqÜ�Þ2ߢØZÔ2æ åtÕ

�����������#�������; ���������������;��¶����.����; ����07�8�39:���;���� �/.+�21µ����������� �µ��;X�;���� ;X�!����"}�����(�)������������8;

��� ����� � ¡ ��yVrtv3|frqhE�£rS½ pqg¤yzu@h'�²½ |foKrtyVofu@yVuVh���m3u@|frqpth3�£�}yz�nr{y�v�r��zw�|f��h�w��#yzo`~�pqw�pt�Vh:�²½ |}ofh'��h3r{y�w�pqs@ohT~�w:|fofhµ�I|fhE~�w�ptsVo v3h3oIw��#yzrth�hEo��������! #"%$'&)(+*��, .-0/1�32547698:�V¨<;£yVo}~'|fo yV��w�ptv3rqh*��mEv3h3oIwE­�«�s@|}y��¬��yVofpZ­¦>|}~�v#d}sVrtrxyzo}��c�sV|fptrtpxsVoIw��}��s@|f�Vm\�I|fh>r{y v�r{yV~�~�h>�fhE~¤r{yzofuIyzu@hE~ ��m3uV|}rqpth3�#~¤®!��� hT~�w�~�w�yV�frth>�}yz�w�sV|�w�hQrqhT~/��hErtyzw�ptsVo}~�fh�~�hEg:pq°ªv�sVg g'|�w�yzw�ptsVo8��¨=;xh��frq|`~3­f|}oµyVrqu@sV��pºw�dfg h£��mEv3|f�#~�pq¥+~�|f�rS½ h3´M�}��hT~�~�pqs@o��m3u@|frtpqeE��h hE~�w���s@ofofm3h¤�CsV|}��v3yVrtv3|frqhE��rS½ ptg¤yzuVh*��½ |fo6w�h3r�r{yzo}u@yzu@h �}yz��r{y\v�r��zw�|f��h w��#yzo}~�pºw�pq�@h¤��h��Q¨;nyzo`~*ofsVw���hKyz��w�p{v�rthV­o}sV|}~��f��s@�`sI~�s@o}~¤|fo}h ofs@|f�VhErqrth yz�}�f��s�v#dfh@­|�w�ptrtpt~�yzoIw�rthE~�yz|�w�sVg¤y�w�hE~*Ç}ofp{~3­�CsV|}�*��mT~�s@|}����h\v�h�w�w�h>�I|fhT~�w�pqs@o�¨G�xsV|}~¤s@��w�hEofsVo`~¤|fo yzrtuVs@��pqw�d}g:hµ�frt|}~*~�ptg:�}rqh>h3w*�frt|}~*h3¹¤vEyVv3h�I|fp�~3½ yz�}�frqp{�I|fh?>µ|fofh8v�r{yV~�~�h¤�frt|}~Qr{yz��uVh*�fh*rtyVofu@yVuVhT~£��m3u@|frtpqhE��~Q~�w�yV�frqh��}yz��|}ofpqs@o�­+pqoIw�hE��~�hEv�w�ptsVo�­v3sVo���|}u@yzp{~�pqs@o�h3w£�}yV�xrthE~x��hErtyzw�ptsVo}~!�fh'~�h3g pº°ªv�s@g g�|�w#y�w�ptsVoX¨A@�½ h�´�pt~�w�hEo}v�h'��h�v�h3w�w�h�ofs@|f�VhErqrth�v�r{yV~�~�h�0s@r¬����mE�`s@o}��> |}ofhQ�@|}hE~�w�ptsVo�sV|f�@h3��w�h��f��sV�Cs@~�m3hn�}yz�!«�sV|`y��¬��yzo}pCh3wxyzrS¨��fyzo`~/rqhE|f��}yz�}pqhE�E¨B&à �T� Á  �C � �8¡ Å mE��pqÇ`vEy�w�ptsVoX­�rtyVofu@yVuVhE~¢��m3uV|}rqpth3�#~3­�yV|�w�s@g yzw�hT~�Ç}ofp{~3­f~�h3g pq°±v3sVg g�|�w#y�w�pqs@o}~

��� 2,6 � 8 2�� (���� � (��'"� "'698� ��� 6�� - (���� � "� 6 (%8�� � $ 6 � 23"� 6 (%8�� �325/!8=6��,�=��� �

� � '�X.0�'���8� ������

®&~�hEg:pq°ªv�sVg g'|�w�yzw�ptsVo���hErtyzw�ptsVo�� yVrqrts�·!~�w�s�h�´��f��hE~�~/��hE·��pqw�ptofu¤sz¥O·�sV�#�f~~�|}v#d\yV~��! #"�$&%'�!"� ($%­�}��s��Mp{��hE�&)* !+,"�-/.0�:¨0ÉMhEg pº°ªv�s@g:g'|�w�yzw�ptsVo}~+yz��h |`~�hT��pto'~�h3�@h3�#yzrM��sVg¤yzpto}~E­B¥¼sV�+pqo`~�w#yzo}v3h�y@~+y£g s���h3rsV¥��}yz�#yzrtrth3rtpt~�g h�ptoK¦>y213|f��§MpqhE·ptv31Qw��#yVv3h�w�d}h3sV���54 ;n�76I�98S­²pto �`yz��w�p{yzr+sV�#��h3�£��hT��|}v2w�pqs@o\w�hTv#dfofp{�I|fhE~4âk;:<6>=>8�sV��w�s h�´��f��hE~�~¢h�´fv#d}yzo}uVhnsz¥�y:�fpthEv3hnsV¥Xpto�¥¼sV��g¤y�w�ptsVo8�`h3w�·¢hEh3o�ofh3ptuVdM�CsV|f��ptofu��f��s�v�hT~�~�hE~�ptortptofhEyV��sV����ptofuofh3w�·¢s@��§�~E¨²©ªo?$ ���7�! �"%$?�'(+*��, !23/1�3234%698 �@4 «/kA6(B�­E«/:<6(CD8E4 ®�FI�x�f�@��8±­�y§VhE�x�CsVpto@w�pt~Xw�dfhv3sVg �f|�w#y�w�pqs@o¤sz¥²w�d}hxptg yVuVh!sV¥XyQ��h3uV|}rtyV��rtyVofuV|`yzuVh�M�'w�dfh£w��#yzo`~�pqw�pt�Vh!v3rqsI~�|f��h!sV¥XyQ��hErtyzw�ptsVo�¨HG!s�·/°hE�VhE�E­M~�|`v#d�v�s@g:�}|�w�yzw�ptsVo�­Mpto*w�d}hnvEyV~�hxsz¥+~�hEg:pq°ªv�sVg g'|�w�yzw�ptsVo¤��h3r{y�w�ptsVo`~3­Ig¤yB�:rthEy@�¤w�s�ofs@o���h3uV|}rtyV�r{yzo}uV|}yVuVhE~E¨Xc/dfh!v3rty@~�~�p{v3yzrMh3´�yVg �frqh/p{~0w�d}h/¥¼sVrtrqs�·ptofu�sVofh(IXrth�w?JLKM)� "�-ONyzo}�@�PKRQS)* E+T"�-TUI¨+c/d}h3o�­� N )�J/-WV5" N N KX"�Y# #Y²¨\c/dfh3��h�¥¼s@��h&� N )*JZ-�pt~�ofszw���h3u@|fr{yz�T¨�©ªo[4 «�¦ c�f��8±­O«¢s@|}y��¬��yVofpS­+¦\|`~�v#dfs@rqryVo}�>c�sV|fptrtp0~�hEyV��v#d}hE��¥¼sV��y�v3rty@~�~£sz¥¢��hEuV|fr{yz�£rtyVofuV|}yVuVhT~!v�rts@~�hE�\|}o}��h3�QyVrqr0~�hEg pº°ªv�s@g:g'|�w�yzw�ptsVo>��h�°r{y�w�pqs@o}~E¨0c/d}h3����h3Ç}ofhT�*w�dfh�v�r{yV~�~/®!���M\¬Ç}ofpqw�hQ|}ofpqs@o8sV¥��f��s���|}v�w/sV¥�r{yzofu@|}yzu@hE~¢sz¥�w�dfh�¥¼s@��g] S^�sV�QD `_9+O #a>+cb3bcb3+O Y U N ·pqw�dd #e�½ ~�rqh3w�w�hE��~Tf¢yzo}�¤uIyB�Vhnyzo�yVrqu@sV��pºw�dfg w�s v�sVg �f|fw�hA� N )�J/-O¥¼s@��yVoM�*®!����JyVo}� yzoM��~�h3g pq°±v3sVg g�|�w#y�w�pqs@o'��h3r{y�w�pqs@o@�:¨Hg!o�¥¼s@��w�|fo}yzw�h3rt�V­Vw�dfhEpq�¢yzrtuVsV��pqw�dfg p{~O�}y@~�hT�:sVo¤yQ~�hE��pthE~0sV¥g'|�w�|`yzrtrq�'��hTv�|f�#~�pt�Vh�w���yVo}~�¥¼s@��g¤yzw�ptsVo}~0s@o'w�dfh!��h3u@|frtyV�Oh�´��f��hE~�~�ptsVo`~O��h�Ç}o}pqofu�w�dfhx®x���£¨ ;£|f��pqo}uQw�dfhv3sVg �f|�w#y�w�pqs@o�­Iyzw�hTyVv#d*ptoIw�hE��g hE�fptyzw�h£~�w�yVuVh@­Vw�dfhn~�ph13hnsz¥²w�d}hn®x����p{~ g'|frqw�pt�frqpthE��­�·dfptv#d8pqo`��|}v�hT~¢yÇ`o}yzr���hE~�|frqw0sV¥Ch3´��`s@ofh3oIw�p{yzrf~�ph13hV¨+¦\sV��h3s��@h3�T­�yV~+w�d}h3��d`yB�Vh��f��s��@hE��w�d}yzwOw�dfh/pto}v�rt|}~�pqs@o:�}��s@�frqhEg-¥¼sV�®x���bp{~n�¢ÉM�²®x�Zi v�sVg �frth�w�hV­Cw�d}h3��h'p{~nofs��f�#yVv�w�p{v3yVr�·/yB�µsz¥¢~�pqg �frtpq¥¼�Iptofu8w�dfh:pto@w�h3��g hE��p{y�w�h'®!�/��f|f��ptofu¤v�s@g �f|�w�yzw�ptsVo�¨©ªo8w�dfp{~/�}yV�`hE�E­M·�h£|}~�h�y'v3sVg �frth�w�hErq�*�fpkj%h3��h3oIwyz�f�f��s@y@v#d�¨+©ªo}~�w�hEy@�*sz¥�·¢s@��§Mptofu�s@o���h3uV|}rtyV� h�´M°

�}��hT~�~�pqs@o}~E­E·�h�|}~�h yz|fw�sVg¤yzw�yf¨+c/dfp{~���hE~�|frºw#~�pto�y!~�pqg �frth3�0yzo`�²­�yV~Xv3sVo�Ç`��g hE���M��~�s@g h�h�´��Ch3��pqg h3oIw#~3­g'|}v#d¤g sV��h!h�¹*v3pqhEo@w¢w�hTv#dfofp{�@|}hV¨0©ªo*yV�f�fpºw�pqs@o¤w�s�rthEy@��ptofuQw�s:yQg sV��hxv�s@g �}yVv�w ��hE�f��hE~�h3oIw�yzw�ptsVo�­z|`~�°ptofu¶yz|�w�sVg¤y�w#y yzr{~�s>g¤yz§VhT~�w�dfh�|}~�h8sz¥xsVw�dfhE��w�hEv#dfo}pt�I|fhT~�sV¥!��hEuV|fr{yz�'g:s���hErv#dfhEv#§Mptofu>hEy@~�pth3� yV~w�dfhE~�hnw�hTv#dfofp{�@|}hE~!yV��hng¤yzptofrq�8�}yV~�hE�8sVoµyz|fw�sVg¤yzw�yf¨®£~xyV�f�Vs�v3yzw�hE���M�l4 «/¦>c�f��8S­%®!��� p{~xyVo\pqoIw�hE��hT~�w�pqo}u*~�|f�%v�r{yV~�~sV¥0��h3u@|fr{yz�r{yzofu@|}yzu@hE~cm}~�hE�VhE��yVr

�@h3��pºÇCv3y�w�pqs@o8�}��s@�frqhEg¤~n\×~�rqp{��ptofu¤·pto}��s�·b�f��sVw�s�v�s@rt~E­f�}yV��yVg h�w�hE��ph13hT��g'|�w�|`yzrXh3´fv�rt|}~�ptsVo��f��szw�sMv3sVr{~3­h3w�vV¨q¨t¨ f�v3yVo��`h¢g sM�fh3rtpo1EhE�Q·pqw�d�w�dfhEg�¨0®!o'sV�Ch3o��I|fhT~�w�pqs@o�·/yV~²w�dfh�h�´�pt~�w�hEo}v�h sz¥`yr{yz��uVhE��v3rty@~�~�w�d}yVo®x���£­X~�y�w�pt~�¥¼�Mpqofu�w�dfh*~�yVg h'u@sIs��¶v�rts@~�|f��h:�}��s@�`hE��w�pqhT~3¨ «��>pqoM�@hE~�w�ptu@y�w�pqo}u8�CsVrt�MofsVg p{yzr�v�rts@~�|f��h'sV¥��yV��pth�w�pqhT~ sV¥���hEuV|fr{yz�¢rtyVofuV|}yVuVhT~3­@·¢hnuVpt�Vhxy'�Cs@~�pºw�pq�@h£yzo`~�·�h3� w�s�w�dfp{~��I|fhT~�w�pqs@o�·pqw�d�w�dfh�v�r{yV~�~ZpHq(rts\×�`s@rq�Mofs@g ptyVrIv3rqsI~�|f��h�sV¥`v�s@g:g'|�w�yzw�pt�Vh���h3u@|fr{yz�Xr{yzo}uV|}yVuVhE~Tf²v3sVg �`sI~�hT��sz¥fÇ`ofpºw�h¢|}ofpqs@o�sz¥`rtyVofuV|}yVuVhT~sV¥�w�dfh¢¥¼sV��guJ ^ ^ J _ _ bcb3b, #v>JZv�·dfhE��h w�dfhw e ½ ~+yV��h rqh3w�w�hE��~+yzo`��w�dfhwJ e ½ ~+yz��h v3sVg g�|�w#y�w�pq�@h ��h3uV|}rtyV�r{yzo}uV|}yVuVhE~E¨�c/d}pt~v3rty@~�~/yzrtrts�·!~ w�s:�fhE~�v���pq�Ch�rtyVofuV|}yVuVhT~¢~�|}v#d8y@~3IxJ _�y J a ­�·pqw�d0J _ KuQcz�.{Q9 !+T"9U NA|| z | } p{~h3�@h3oµyzo}� | z | ~ p{~/h3�@h3o�U�yVo}��J a KRQ9z�.lQD !+ y U N |�| z | pt~/s��f��U

����� �������W�#���]�����`����!h3uV|}rtyV�8g s���h3rQv#dfhTv#§Mpqofu�4 «kA6(B�­!«/:<62C�­®�FI�x�}�V��8Qp{~µyzoGyV�f�f��s@y@v#d�w�s��VhE��pq¥¼��pqo�Ç`ofpºw�h ~�w#y�w�h~���~�w�h3g¤~E¨�¸£o}hn��h3�}��hT~�hEo@w#~3­�~��Mg��CsVrtptvEyzrtrq�@­f~�h3w�~/sz¥0~�w#y�w�hE~/�M����h3u@|frtyV�¢r{yzo}uV|}yVuVhE~/yVo}��s@ofhQ��h3�@h3rtsV�}~�'�3�">�� $ "78`� 6� 6 (%8`��·dfp{v#d'v3yVo:v3sVg �f|�w�hV­zpto�s@ofh~�w�h3��­Vpqo�Ç`ofpºw�h~�h3w�~+sz¥%~�|}vEv�hT~�~�sV�#~3¨�c/dfpt~0yVg:s@|foIw�~�w�sv3sVg �f|�w�pqo}u�� N )*JZ-%¥¼s@��yu@pq�@h3oQ��h3u@|frtyV��r{yzofu@|}yzu@hE~�J>yVo}��yu@pq�@h3oQ��h3r{y�w�ptsVo��¯��h3�f��hE~�h3oIw�ptofu!y!~�|f�}~�h�wsV¥`w�dfhw���yVo}~�pqw�ptsVo ��h3r{y�w�pqs@o���sz¥%w�dfhx~��M~�w�hEgµ¨+c/dfh/w���yVo}~�pºw�pqs@o:��h3r{y�w�pqs@o@�¯vEyzo �`h£��hEv3sVg �`sI~�hT�:pqoIw�s~�h3�@h3�#yzr�~�|f� ��h3r{y�w�pqs@o}~n�;e�\¼sV¥x~�hEg pº°ªv�s@g:g'|�w�yzw�ptsVo6sV�:~�s@g h�w�d}pqofu h3r{~�hDf2­0hEy@v#d sz¥/w�dfhEg pqg �frt�Mpqofu

��� ��������9�

= ��� -��32������h� -���� �3">��������&)"%698 6 � $

w�dfh3pt�xy@�M°Sd}sMv£w�hEv#dfofp{�I|fhE~!sz¥Ov�sVg �f|fw�y�w�pqs@o�¨¢®£~g s@~�w!sz¥+w�dfh'��h3�@h3rtsV�ChE��w�hEv#d}ofpt�I|fhT~!yz��hQ�}y@~�hT��s@oyV|�w�s@g¤y�w�yxpºwOp{~+g:s@��h�h�¹*v3pqhEo@wOyzo`�'v3sVo}~�pt~�w�hEoIwXw�s�|}~�hE�'yz|�w�sVg¤y�w#y£�f|f��ptofuxw�dfh/·dfs@rqh/v�s@g:�}|�w�yzw�ptsVo�¨c/d}pt~/r{yV~�w!��hEg¤yz��§¤pt~yVofszw�dfh3��frt|}~�¥¼s@�sV|f�/w�hEv#dfofp{�I|fh�v�s@g �}yz��hE�*w�s:w�d}yzw!sz¥w4 «/¦>c�}��8±¨�0sVrt�MofsVg p{yzrCv�rts@~�|f��hsV¥���yz��pqh3w�pthE~�sV¥²��hEuV|fr{yz��r{yzo}uV|}yVuVhE~�pt~¢yzo*s@�`hE��yzw�ptsVo ·pt�fh3rt� ~�w�|`��pqhT�¤pto¤w�dfh

rtpqw�h3�#y�w�|f��h{\×~�h3h�� (%$ ��� ">��� #�d4 �?:<6��M­Oc/dfsSC@iI­O«��O1���B�­0«É�����8�f�¨ ©ªo w�d}pt~:�}yV�`hE�:·�h8v3sVo}~�p{��h3�'w�dfhr{yzo}uV|}yVuVhE~£sz¥/rth3�VhErO���zi�ptoKw�dfh�ÉIw���yV|f�fptofuz°ªc/dfm3��pth3o d}pqhE��yV��v#dM�54 ÉMw��TC@�M­Xc/d}mcCf��8�·dfptv#d¶��h3�f��hE~�h3oIw�~w�dfh¤v�|f����h3oIw£�CsV�#��h3�n¥¼s@���fhEv�p{�fyV�fpqrtpqw��\�f��s@�frth3g¤~�yzo}� ·dfs@~�h:~�w���|}v�w�|f��h'g¤yV§VhE~xw�d}h3g ~�|fpqw�yz�}rqh'¥¼sV��@h3��pºÇCv3y�w�pqs@o\sz¥ v3h3��w�yzpto>~��M~�w�hEg¤~�4 ®x«wFS62C�­%®x®£«/6(6�­²«/¦>c�f�z­%c�sV|}�}��8S¨ ;£hEv�s@g �`sI~�yV�frqh�rtyVofuV|}yVuVhT~p{~¤y¶v�r{yV~�~'sV¥£��h3u@|frtyV�'r{yzo}uV|}yVuVhE~'|}~�hE� ¥¼sV� w�d}hµ~�ptg�|fr{y�w�pqs@o sz¥n�f��sMv3hE~�~ yzrtuVh3�}��yL4 @+É62CD8±¨¯©±w ·/yV~v3sVo���hTv2w�|f��hT�¶pqo�4âÉ�v#d�626�8�w�d}yzwQw�dfp{~�v3rty@~�~�·/yV~�h3´fyVv2w�rq� pHq2r��£¨�Gxs�·¢hE�VhE�£w�dfp{~�v�s@o���hEv�w�|f��h¤d}yV~���|`~�w�Ch3hEo'ptoM��yzrtpt�fyzw�hT��pto04 kn� �@�VyD8±¨0È�pto}yVrqrt�V­@rqsMsV§Mptofu£¥¼sV�0w�d}h�g¤yz´Mptg¤yzr \×�`sI~�pqw�pt�VhDfX��yV��pth�w���v3rqsI~�hT��|fo`��h3�yVo�sV�Ch3�#y�w�sV��pt~�·pt�fh3rt��~�w�|}��pthE��pto�w�dfh�rqpqw�hE��yzw�|f��hV¨O¸£ofh¢vEyzo�v3pºw�h w�dfh¢��hE~�|frqwX¥¼s@�Xw�dfh�~�dM|��¤h¢s@�`hE��yzw�s@�¥¼s@���yz��pqh3w�pthE~A4 i¢É62Cf­f�0h3����CD8XyVo}�8¥¼sV��Cs@~�pºw�pq�@hn��yV��pth�w�pqhT~A4 kn� �@�z�#8±¨��� � !��#"?�%$7� ��& �('7�)d�+*�� �©ªo�É�hEv2wT¨0iQ·¢h��hEvEyzrtrMw�dfh!�`yV~�ptv/ofsVw�ptsVo}~ yzo}� ofsVw�yzw�ptsVo}~E¨�c/dfhEo¤pqo�É�hEv2wT¨O��·¢hu@pq�@h/w�dfh!g¤yVpqo ��hE~�|frºwsV¥xw�dfh\�}yz�Ch3�9I�w�dfh\§@h3� v3sVo}~�w���|}v�w�ptsVo¯·dfptv#d�yzrtrts�·!~�w�dfh\|}~�hµsz¥Qyz|�w�sVg¤y�w#y pto�v�sVg �f|fw�y�w�pqs@o sV¥w�dfh�w��#yzo`~�pqw�pt�Vh�v�rts@~�|f��h£sV¥0y@��dfs�vn��h3uV|}rtyV�¢r{yzofu@|}yzu@hE~��M��y ~�hEg pº°ªv�s@g:g'|�w�yzw�ptsVo8��hErtyzw�ptsVo�¨0©ªo>ÉMhEv�wE¨=`­�·�h�v3sVg �}yz��hV­+pto6w�dfhEsV���¶yVo}�6pqo �}��y@v2w�p{v�h@­+w�dfh¤w�·�s yV�f�f��s@yVv#d}hE~E­²w�d}yzw'g¤yzo}pq�f|}rtyzw�ptofu>��h3uV|}rtyV�h3´��f��hT~�~�ptsVo}~@4 «/¦>c�f�T8/yzo}�6s@|f��~�|`~�ptofu yV|�w�s@g yzw�y}¨8c/dfhEo¶·�h*h3´Iw�h3o}�}~3­+pqo É�hEv2wT¨µ�8w�dfh�v3rty@~�~QsV¥��h3u@|fr{yz�/rtyVofuV|`yzuVhT~�¥¼s@�·dfp{v#d8w�dfp{~v�sVg �f|fw�y�w�pqs@oµpt~�¥¼hTyV~�pq�frthV¨�È+pto}yzrtrt�V­�·�h�v3sVo}v3rq|`��hQpqo\ÉMhTv2wE¨ZBf¨

, - ���/.10Q.0������5�� �32 �������+�����;

:¶hµyV~�~�|fg h�w�d}yzw'w�dfh8��hEy@��h3�'d}yV~:yK�}yV~�ptv��}yVv#§Mu@��s@|fo}�¶pqo Ç}ofpqw�h\yz|fw�sVg¤yzw�yµw�dfh3s@���@¨6È}sV�:g sV��hpto�¥¼s@��g¤y�w�pqs@o8s@o�yV|�w�s@g¤y�w�y�w�d}hQ��hTyV��hE��p{~��h�¥¼hE����hE�*w�s�4 «¢hE�4�>6M­�G�g CV�D8±¨�hTv3yVrqr²w�d}y�wxy'Ç}o}pºw�h�yz|�w�sVg¤y�w�sVo8pt~!y*��°Zw�|f�frth65 KM)87@+�9�+�: +<;�+<=n-�·dfh3��h>7&p{~y:Ç}ofpqw�h�~�h�w!sV¥

~�w�yzw�hT~3­�9Gpt~�w�dfhnyVrq�}d}yz�Ch�wT­(:@?A7CBD9BE7 p{~¢w�dfhQ~�h�w/sz¥�w���yVo}~�pºw�pqs@o}~3­�;1?F7 p{~�w�dfh�~�h�wsz¥Xptofpqw�p{yzr~�w�yzw�hT~Qyzo}�G=�?H7 pt~nw�dfh�~�h�w�sz¥�Ç}o}yVr ~�w�y�w�hE~E¨¤©±¥�5 p{~�y�Ç}o}pºw�h*yz|�w�sVg¤y�w�sVo�­WJ�)I5�-���h3ofsVw�hT~�w�dfhr{yzo}uV|}yVuVh y@v3v�hE��w�hT�Q�M�65¤¨�©±¥KJL?A7�yzo`�>MN?F7 ­O5 P�Q R ��hEofszw�hE~�w�d}h¢yz|fw�sVg¤yzw�sVo�) 7@+<9n+�:&+<J;+�M�-2¨¦>sV��h3s��VhE�E­%¥¼s@��yzrtr�S�.F7¤­TSVU2 {K QXW .A7 | )YS�+, !+�W>-�.F:@U@¨*©±¥ZS[U> {K QXWSU¤pt~'yµ~�ptofuVrth�w�sVo�­�·¢hyVrt~�s�·��pqw�h\S]U� K@WM¨�©ªoKw�dfp{~��}yV�`hE�E­²g ptofpqg¤yVr�yz|�w�sVg¤y�w#y8yV��h:��h�w�h3��g:ptofp{~�w�ptv:�f|fw�o}szwQofhEv3hE~�~�yV���v3sVg �frth�w�hV¨©±¥�z[.A9 N ­Z^Zq`_�a3) z�-nKXQXb`c | b!+dc .F9 N yzo}�Vc�b K z�U¤�fh3ofsVw�hE~Qw�dfh�~�h�w'sz¥/pºw#~�v�s@o���|fuIy�w�hT�

·�sV�#�f~E¨+c/d}pt~o}szw�ptsVo�p{~/h�´Mw�hEo}��hE�8w�s¤rtyVofuV|}yVuVhT~¢y@~�¥¼sVrtrqs�·

^Zq`_�a3)�J/-�Kfeg`hji

^Zqj_Oa3) z�-�b

Ìlk � Ìnm

��� 2,6 � 8 2�� (���� � (��'"� "'698� ��� 6�� - (���� � "� 6 (%8�� � $ 6 � 23"� 6 (%8�� �325/!8=6��,�=��� �

©±¥!z:p{~+y!Ç}o}pºw�h�·�sV�#�²­��/) z�-��fh3ofsVw�hE~Xw�d}h/~�h�w0sz¥`rqh3w�w�hE��~+s�v3v3|f����ptofu!pto�z+¨�c/d}pt~+ofsVw�ptsVo�p{~+h�´Mw�hEo}��hT�w�s rtyVofuV|}yVuVhT~�y@~�¥¼sVrtrqs�·

�/)�J/-�Kfeg`hji

�/) z�-�b

®b~�hEg pº°ªv�s@g:g'|�w�yzw�ptsVo ��h3r{y�w�ptsVo&�bs@o�y�Ç}ofpqw�h�yzrt�fd}yV�`h3w 9�­Ip{~�yQ��hErtyzw�ptsVo¤s@oE9�¨�knpt�Vh3o8y�Ç}ofpqw�h·�sV�#�dz>sVo 9�­`·�h���hEofszw�h��M�d�@) z�-ZK Q9�!"� S$ | ��+O$d. 9 N +� !+,"A. 9 N +�)� !+,"3-�.l� yVo}�d�E "T$ K�z�UyVo}�8�I��� N ) z�-¢w�d}hQrtyVofuV|}yVuVh�Qcz�U�� v�� _H� v )�z�-�¨�c/dfp{~ofszw�pqs@o}~yz��hnh�´Mw�hEo}��hE�8w�s:r{yzo}uV|}yVuVhE~��M�

��)*JZ-�K eg`hji

�@)�z�- yzo}� � N )�J/-�K eg`hji

� N )�z�-�b

knpt�VhEoµw�·¢s ·�sV�#�f~wz yzo`�[b�pto[9 N ­fw�d}h��£°±~�dM|��¤hnsV¥xz yzo}�VbC­`��hEofszw�hE�0z � b`­`pt~!w�dfh�~�h�w!sV¥·�sV�#�f~0sV¥`w�dfh¥¼sV��g z _ b _ b3bcb�z Y b Y ·pqw�d zdK[z _ b3b3bOz Y ­�b�K b _ b3bcbdb Y ­Sz e +db e .[9 N ¥¼sV� yVrqr���� ��yVo}�¯~�|}v#d¯w�d}y�w )��/) z�e�-�+��Z)Ib��D-�- ? ��¥¼sV�*yVrqr������#¨ c/dfh��£°±~�dM|��¤h�s@�`hE��yzw�ptsVo¯pt~ h3´Mw�h3o`��hE� w�sr{yzo}uV|}yVuVhE~/J�yzo`��� sz¥Z9 N �I�

J � � K eg`hji Q � h��

z ��� b

®£~�~�w#y�w�hE�Kpqo¶w�d}h ¥¼sVrtrqs�·ptofu�����s@�`sI~�pqw�ptsVoX­X��hE�f|}v�hT� ¥¼��sVg @�h3g g¤yµ�f¨t�¤yzo}�¶�f¨âi*sV¥;4 «/¦>c�f��8S­pqw�p{~�pqg �CsV��w�yzoIwQw�s��Ch*yz�}rqh w�sµv3sVg �f|�w�h w�dfh&�£°ª~�dM|��¤h sz¥¢w�·¢sµr{yzofu@|}yzu@hE~�~�pqo}v3h:w�dfp{~Qp{~�w�dfh¤§@h3�·d}ptv#dµyzrtrqs�·!~¢w�dfhQv�sVg �f|fw�y�w�pqs@o8sV¥Xw�dfhnw��#yzo}~�pºw�pq�@hQv�rts@~�|f��h£sz¥Oy��}��s���|}v�wsz¥W�£°ªv�rts@~�hE��rtyVofuV|}yVuVhT~3¨� � à � à �"!×�"! Ã$#&%('*),+ B.-0/1%�24365��3�J e87 �:93�7��� 2, #(D�,�3*��,�3��<; 6I�9� ��� �=23/d9/="��J e K[� N )�J e -<;� /1�,8>= �/="�?%�"@

� N )�J _ J a b3b3bOJ Y -�K J _ � )�J a � )dU U Uc)�J YBA _ �lJ Y -#U U UT-�-®£~Qyzo6®!��� r{yzofu@|}yzu@h�Jbpt~Qy�Ç}ofpqw�h¤|}ofpqs@oKsV¥¢�f��s���|}v�w�~�sz¥¢w���pq�Mp{yzrtrq� �£°ªv�rts@~�hE� rtyVofuV|}yVuVhT~�\×g:hE��hrth�w�w�hE��~�s@��~�w�yV��h�´��f��hE~�~�ptsVo}~£sz¥/~�|}�}~�h3w�~�sV¥ w�d}h yVrq�}d}yz�Ch�w�f2­Xv3sVg �f|�w�pqofu�� N )�JZ-£p{~���hT��|}v3hE� w�s�w�dfhv3sVg �f|�w#y�w�pqs@o�sz¥}w�dfh��£°±~�dM|��¤h¢sV¥`r{yzofu@|}yzu@hE~E¨XÉMpto}v�hA4 «�¦ c�f��8f�f��s��Mpt�fhE~+yzo'yVrqu@sV��pºw�dfgbw�sQv�s@g �f|�w�hw�dfh �£°ª~�dM|��¤hsV¥Cw�·�s�®x���£½ ~E­M·dfp{v#d¤pt~¢yzr{~�s�yVo*®!���£­#� N )*JZ-Op{~ v3sVg �f|�w#yz�frthV¨0©ªo w�dfhxofh3´Mw¢~�hTv2w�pqs@o·�h�uVpt�VhQyzoµyz|fw�sVg¤yzw�y:yz�f�f��s@y@v#d*¥¼s@�!v�sVg �f|fw�ptofu:w�dfhn�£°ª~�dM|��¤h�sz¥+w�·¢s:��h3uV|}rtyV��r{yzo}uV|}yVuVhE~E¨

C D "};�7:��E��GF-.+�'���8� � �� �IH¯����#��� ���*���'�������

:¶h �f��hE~�h3oIw£s@|f�nÇ}��~�w�g yVpqo¶��hE~�|frºw9Ixdfs�· w�sµv�sVg �f|fw�h:w�dfh �£°ª~�dM|��¤h'yV|�w�s@g¤y�w�s@o sV¥�w�·¢s���h3uV|}rtyV�r{yzo}uV|}yVuVhE~:u@pq�@h3o��M� Ç}ofpqw�hKyz|�w�sVg¤y�w#yf¨ c/dfh\g h3w�dfs���|}~�hE��p{~¤�}y@~�hT� s@o¯w�dfh v3rty@~�~�p{v3yzrs@ofh�¥¼sV�v3sVg �f|�w�pqo}u'w�dfh�~�dI|(� hQsV¥Xw�·�s ��hEuV|fr{yz�/r{yzofu@|}yzu@hE~E¨� � à � à �"!×�"! Ã$#KJL5��3�5 _ K]) 7 _ +�9n+<: _ +�; _ +�= _ -'"78 * 5 a K]) 7 a +�9�+�: a +�; a +�= a -M95��N= (A� 8 6���'"7�� (��'"� "'"%8 *A� "��,�3� 6�� 23(���� ��"> 6 (78 $ � �"� 6 (%8)(�?%�,$ 9���O��QPH?��/)�J )I5 a -�-R;S= � *��,8 (� �T93���VUR /1��,�3�QD &.W�Z)*J�)I5 _ -O- | )� !+�P�- ?���U "%8 *�9�� P 9/=���,�3�QD &.W�Z)*J�)I5 a -O- | )��U7+, - ? ��U �

� /1�/� 8=6� � "%� (��'"� (%8V5MKM)87@+�9�+�: +<;�+<=n- *��*� 8 �3*X93��@

��� ��������9�

B ��� -��32������h� -���� �3">��������&)"%698 6 � $

� 7uK 7 _ B 7 a B�� )I9;-<;� ;�KuQS)YS _ + S a + �>- | S _ .V; _ + S a .[; a U8;� =RKuQS)�S _ +IS a + P�- | S _ . = _ +IS a . = a + PH?F9�U�;� :MK���_ ����a ;�= 6�9/

��_�KPQS)O)YS�_D+IS!a>+�P�-�+, !+c)IWD_�+ SEa2+ P�-O- | S�_ .[7�_�+IS!aA.[7�a2+�WD_ .�S�_ U !+ PH?F9�"%8 * )* E+�P�- ?��U "78 *� a KPQS)O)YS _ +IS a +�P�-�+, !+c)YS _ +<W a + P �lQ9 EU9-O- | S _ . 7 _ +IS a . 7 a +�W a . S a Uc !+ PH?F9�U��

6 � * � 8 (� �5* 5�_ � 5na "%8 *�"�2323� ����7J )I5�_c- � J�)I5�ac- ���� �1� � C ¿ - (%8��36 * � $�9/=�?� (7 9 #(�= 698 �A� 8=6� � "%� (��'"� ">5 _ "%8 * 5 a @

� � �

"

"

y

� y

"78 *&9/=���,�3� 6�� 23(���� ��"> 6 (78 $ �, #"� 6 (%80�PKRQS)*"�+ � -�+c)*"�+ y -�+c)* !+ � -�U ��� 8 � /="D� @P �U P� QD E+T"9U Q � UQ � U QD E+T"9U Q � UQ y U Q�"9U Q � + y UQ � + y U Q�"9U Q � + y U

Ìlk � Ìnm

��� 2,6 � 8 2�� (���� � (��'"� "'698� ��� 6�� - (���� � "� 6 (%8�� � $ 6 � 23"� 6 (%8�� �325/!8=6��,�=��� �

� /=� 8 ;/5 _ � 5 a 6 �� /1�Z� (% 9 #( = 698:� "7��(>� ">�(78�� = � (78= �'$5� � $ ���,�,8� "�2323���T� 6�9, #���T "� ������@

�2+���+�Q � U

� +��E+�Q � + y U

� +���+�Q � U

� +��E+�Q � + y U

"

"

"

"

y y

!+ �

y y

!+ �

@Xh�w>|}~ ��hEg¤yz��§�w�d}yzw pq¥ pto-����sV�Cs@~�pºw�pqs@o i¯·�h ��h3�fr{yVv3h ��a �M� w�d}h ~�h3w>sz¥ w��#yzo`~�pqw�ptsVo}~� a KQ#)�)�S�_D+ SEa2+ P�-�+O !+c)�S�_�+�W3a2+ P � Q9 EUD-O- | S�_ . 7�_D+ SEa5. 7�a>+<W3a . SEa U( !+ P ? 9�U\yzo`� ;6�M� ;� KQ#)YS�_D+IS!a�+ �(- | S�_l. ;c_>+IS!a . ;�a2U@­O·�h�yVrt~�s>s@��w�yVpqo¯y\Ç}ofpqw�h\yV|�w�s@g yzw�s@o ��hTv�s@uVofp{~�ptofulJ )I5�_3- �J )I5 a -/yzo}�8hEy@~�pth3�/w�s¤v�sVo`~�w���|}v�w�f|�w!·pqw�d\y rtyV��u@h3��oM|fg��Ch3�sV¥0~�w�yzw�hE~E¨�xs�· ·�hQ�f��s��@hx����sV�Cs@~�pqw�ptsVo\i�¨

�� �������� È+pt��~�w!·¢h��f��s��Vh�~�sVg hnw�hEv#d}ofptvEyzr²�f��sV�Ch3��w�pthE~�sV¥�w�dfh�¥¼|fo}v�w�ptsVo Uq¨\¼p�f�Èfs@�nyVrqrSP ? 9�­ P ? P Irth�wn"�.6P�¨n«��\��h�Ç`ofpºw�pqs@o sV¥?� U ­`¥¼s@�£hTyVv#dl . � U ­�)* E+T"�- . �:¨c/dM|}~�"�. P�¨

\×pqp�f�Èfs@�£yzrtr�P ? 9�­��U�KP� U yVo}� P K P I¢�M�5\¼p�f2­�� U ?<�U!¨£�¢s@oI�@h3�#~�hErq�@­f�M�8��h3Ç}ofpqw�ptsVo>sV¥P*­�)*� U + P�- ? �:¨ �¢sVo`~�hT�@|}h3oIw�rt�V­`� U ? � U ¨O©±w¥¼s@rqrts�·!~¢w�d}yzw�� U K[� U yzo}� P K P�¨

\¼ptpqp�f�Èfs@�Xyzrtr2 `_D+, SaA. �/)�J )I5naD-�-�­ P �lQD _DU���QD #a�U;K P&� QD `_9+O #a�USI²�M��\¼ptp�f2­�� U���� ~���� K[� U���� ~���� ¨Èf|f��w�d}h3��g:s@��h@­@�M� ��h�Ç`ofpºw�pqs@o�­�y�rth�w�w�h3�w '�`hErqs@ofu@~ w�s�� U���� ~�� Q ~���� pq¥Xyzo`�¤sVofrt� pº¥� .d� U���� ~ ���yzo}� )� !+O a - . �:¨ ©±w8¥¼sVrtrqs�·!~*w�d}yzw� . � U���� ~�� Q ~���� pº¥:yzo}��s@ofrq�¯pq¥� M. � U���� ~ � � yzo`�)� !+O a -/.d�:¨¢�¢s@o}~�hT�I|fh3oIw�rt�V­`� U���� ~ � � ��� ~ � � K � U���� ~�� Q ~���� ­f�f��s��Mpqofu0\¼ptptp f�¨

�xs�· ·¢hn�f��s��Vhw�d}y�w7J )I5�- ?�J�) 5�_�- � J�) 5naD-2¨ @�h3w cR.�J�) 5�-2¨�«��*��h3Ç}ofpqw�ptsVo�­Iw�dfh3��h£h3´�pt~�w�~y ~�|}v3v3hE~�~�¥¼|}r²�}y�w�d"!Æpto 5 rtyV�`hErqhT�8�M�Dc�¨ c/dfh��}y�w�d#! v3yzoµ�Ch���hEv3sVg �Cs@~�hE�8pqoIw�sEI

! K$! _ +�! a +�!#%>+3bcb3bc+�!�v

~�|}v#d�w�d}yzw/hTyVv#d&!da,e('W_�\*) ��P) �+ �D-�, � f�s@ofrt�¤|}~�hT~¢w��#yzo}~�pºw�pqs@o}~�sz¥ ��_nyVo}�*hTyVv#d&!da,ew\ �:�� � , � f sVo}rq�¤|}~�hE~¢w���yVo}~�pqw�ptsVo`~¢sV¥ ��a \×~�sVg hnsz¥�w�dfhEg g¤yB�¤�`h�h3g ��w��`f�¨��!s�·Q­Mrqh3w|}~��h3o}szw�hn�M�&z�e('�_

��� ��������9�

C ��� -��32������h� -���� �3">��������&)"%698 6 � $

w�dfh�rtyV�`hEr%sz¥�! a,e('�_ yVo}�Db e w�dfh£r{yz�Ch3r²sV¥ ! aOe ¨�«��*v�sVo`~�w���|}v�w�ptsVo�­�c�K<z _ b _ z a b3bcb�z�b�\���K � , � pq¥

� pt~nh3�@h3o yVo}���&K ) � + �9-�, � pq¥ � pt~£s��f��fx·pºw�dlz _ b3bcb�z�.5J�) 5 _ -!yzo`� b _ bcb3bdb

�.5J�) 5 a -�¨�:Kh

v3rtyVpqg w�d}yzwQ¥¼sV�Qyzrtr ��L�6� �:��I­w)��/) z e -�+ �/)lb � -�- ?M�:¨:©ªo`��h3hT�²­Xrth�w ��&�6�.� ��M¨*®x~�~�|}g:hw�d}y�w z�ensV� b���p{~ h3g ��w��@¨ c/dfhEoP) �Z)�z!e�-�+��Z)Ib��D-�-�K � ? �:¨ ®x~�~�|fg h�o}s�· w�d}yzw z!e�yzo`� b��\yz��h�Cszw�dKo}sVo�°±h3g ��w��@¨ @Xh�w&)���_�+�9a>+�P�-n�Ch w�dfh:Ç}�#~�w�~�w�yzw�h sz¥ !da �V¨*ÉMpqo`v�h !da �:s@ofrt�>|}~�hE~nw��#yzo`~�pqw�ptsVo}~sV¥ � a yVo}���M�l\¼ptpqp�f�w�dfhQrty@~�wx~�w�yzw�hQsV¥�! a4� pt~!sz¥+w�dfh�¥¼s@��g )�� _ +<W a + P�� �Z)Ib � -O-�¨ @�h3w�)YS _ +IS a +�J�-�w�dfhÇ`��~�w�~�w#y�w�h¤sz¥ !da,e '�_�¨µÉMpto}v�h !0a,e('�_ sVofrt� |}~�hE~�w��#yzo}~�pqw�ptsVo}~�sV¥ ��_�­�pqw�~�rty@~�w�~�w�yzw�h¤p{~�sV¥¢w�dfh¤¥¼sV��g)��D_>+IS!a>+<J�-�¨

)� _ +�� a + P�- )���_>+�W3a2+ P � �/)lb��D-O-

)YS�_D+IS!a>+�J�- )���_�+ SEa�+�J�-

z ��'�_ bhbob b e A _

b��

z e«��6v�s@o}~�w���|`v2w�ptsVo yVo}�6�M� \×pqptp f�­%J K P ���/)lb��Xb���'�_Hbcb3bdb>e A _c-2¨\©±w'¥¼sVrtrqs�·!~Qw�d}yzw P � �Z)Ib��D-1? J:¨¦>sV��h3s��VhE�E­�~�pto}v�h*w�dfh8�}y�w�d !da,e('W_ sVo}rq�¶|}~�hE~Qw���yVo}~�pºw�pqs@o}~Qsz¥ ��_�­0hEyVv#d rth�w�w�hE�� . �Z)�z!e -�d}y@~Qw�s~�y�w�pt~�¥¼��)� !+<J�-E? �:¨ ©±w:¥¼sVrtrqs�·!~�w�d}yzwd)��/) z�e -�+ �/)lb���-�-E? �'­O�}��s��Mptofuµw�dfhµv�r{yzptgµ¨6�¢s@o}~�hT�I|fh3oIw�rt�V­cu.0J�) 5�_�- � J )I5naD-2¨È+pto}yzrtrq�6·�h*�f��s��Vh w�d}y�w@J�)I5 _ - �RJ�) 5 a -E? J�)I5�-2¨ @Xh�w� >�Ch�pto J�) 5 _ - �RJ�) 5 a -�¨K«��

�fh�Ç}ofpqw�ptsVoKw�d}h3��h'h3´Mp{~�w;� _ +O$ _ +cb3b3bc+�� Y +�$ Y ­X~�|}v#d w�d}yzwA� _ � a b3bcb�� Y . J�)I5 _ -2­�$ _ $ a b3b3bO$ Y . J�) 5 a -¥¼s@�£yVrqr�� �� � yzo}�\¥¼sV�£yVrqr�� �W� � �O­x) �Z)�� e -�+��Z)�$ � -�- ? �:¨£É�pqo}v3h�� _ � a b3bcb�� Y .{J )I5 _ -2­w�dfh3��h�h�´�p{~�w�S ^ +IS _ +3bcb3bc+IS Y . 7 _ ~�|`v#d�w�d}y�w°6S ^ . ; _ ­°6S Y . = _ ­° ¥¼sV�!yVrqr �?.{Q �2+cb3b3b�+ �HU@­Mw�dfh3��hQh�´�p{~�w#~y'�`y�w�dµptoV5 _ ¥¼��s@gLS e A _ w�s\S e r{yz�Ch3rthE���M�&� e ¨

É�pqo}v3hA$ _ $ a b3b3bO$ Y .dJ )I5 _ -2­�w�dfh3��h�h�´�p{~�w�W ^ +�W _ +cb3b3bc+�W Y . 7 a ~�|}v#d�w�d}y�w°DW�^n.[;�a@­°DW Y .[=�a@­° ¥¼sV�!yVrqr �?.{Q �2+cb3b3b�+ �HU@­Mw�dfh3��hQh�´�p{~�w#~y'�`y�w�dµptoV5 a ¥¼��s@g W e A _ w�sDW e r{yz�Ch3rthE���M�&$ e ¨

È}sV�¤yzrtrQ� . Q8�(+3bcb3b�+ �HUI­ rth�w¤|}~¤��hEofszw�h8�M��� e w�dfhµ·¢s@���L$ _ b3bcb�$ e ¨¯¦\s@��hEs��VhE�E­0rth�w�� ^ K���¨ :Khv3rtyVpqg w�d}y�w�¥¼sV�µyzrtr �{. Q �2+3bcb3b�+ �HU@­w�dfh3��h¶h�´�pt~�w�y �}y�w�d pto 5�_ � 5naKrtyV�`hErqhT� �M���Ee'¥¼��sVg

Ìlk � Ìnm

��� 2,6 � 8 2�� (���� � (��'"� "'698� ��� 6�� - (���� � "� 6 (%8�� � $ 6 � 23"� 6 (%8�� �325/!8=6��,�=��� 6

)�S e A _ +�W e A _ + �/)�� e A _ -,-�w�sM)�S e +�W e A _ + �/)�� e A _ -�->yzo}� y��}yzw�d pto 5 _ � 5 a r{yz�Ch3rthE�-�M��$ e ¥¼��sVg)�S e +�W e A _ + �/)�� e A _ -,-�w�s )YS e +<W e + �Z)�� e -,-2¨

)�S e A _ +<W e A _ +�/) $ _ b3b3bO$ e A _ -O-)YS e +<W e A _ +�/) $ _ b3b3b�$ e A _ -

)YS e +<W e +�/) $ _ bcb3bO$ e -,-

� e $ e

@Xh�w ���`h�pqo Q8�(+3b3bcb�+ �HUI¨ É�pqo}v3h�¥¼s@�:yVrqr �6~�|}v#d w�d`y�wW� ��� �#­7)��/) � e -�+ �/) $ � -O-]?]�:­OsVofh�d}yV~) �Z)�� e -�+ �Z)�� e A _ -,- ?��'¨0c/dM|}~E­I�M� ��h�Ç`ofpºw�pqs@o�sV¥(S e A _ + S e +�W e A _ yzo`�¤�M� v3sVo}~�w���|}v�w�ptsVo¤sz¥ 5 _ � 5 a ­w�dfh3��h�h�´�pt~�w�~+y£�}y�w�d�pto�5 _ � 5 a r{yz�Ch3rthE���I��� e ¥¼��s@g )YS e A _ +�W e A _ + �Z)�� e A _ -O-Xw�s@)YS e +�W e A _ + �Z)�� e A _ -,-2¨È}|f��w�dfhE��g sV��hV­²�M� �fh�Ç}ofpqw�ptsVo6sV¥ W e A _ +IS e +<W e yzo`� �M� v3sVo}~�w���|}v2w�pqs@o sV¥ 5 _ �A5 a ­²w�dfh3��h¤h�´�p{~�w#~ny�`y�w�d�pto[5 _ � 5 a rtyV�`hErqhT���I� $ e ¥¼��s@g )YS e +<W e A _ + �/)�� e A _ -�-¢w�s0)�S e +�W e + �Z)�� e -O-2­f�f��s��Mpqo}u�w�dfh�v�r{yzptgµ¨�¢s@o}~�hE�I|fh3oIw�rq�@­�w�d}h3��hOh�´�pt~�w�~Xy/�}y�w�dQpqo65 _ � 5 a ¥¼��s@g )YS ^ +<W ^ + �2-H\ZyzoQptofpºw�ptyVrV~�w�y�w�h9fCw�sn)YS Y +�W Y + $ _ bcb3b�$ Y -\Zy'Ç}o}yzr�~�w#y�w�hDf�yzo}��r{yz�Ch3rthE�8�I� }¨0©±w¥¼s@rqrts�·!~¢w�d}yzw�J�)I5 _ - � J�) 5 a - ?�J�) 5�-2¨ �

�hEg¤yz��§\w�d}yzw�w�dfh*yV|�w�s@g yzw�s@o 5�_ � 5�a g yB�\�Ch¤ofs@o�°±�fh�w�hE��g ptofp{~�w�ptvV­�h3�@h3o¶·dfh3oG5�_:yzo`�5�aQyz��hn�Cszw�d\��h�w�h3��g:ptofp{~�w�ptvV¨

� ����� �������������� �+� � F $

@Xh�w�|}~�Ç}�#~�wX~�w�yV��w²�M�£yVoQh�´fyzg �frthV¨0@Xh�w1P KuQ9 !+,"�+ � UI­XJRKRQ y +��(+���U0yVo}����KuQS)* E+ y -�+c) � +���-�+c)*"�+ y -�+c) "D+���-�U@¨g£~�ptofu ����sV�Cs@~�pºw�pqs@oµif­�sVofh�d}y@~

P �U P� Q9 !+,"�+ � U �Q y U QD E+T"9U Q y UQ��(U Q�"9U Q y +��2UQ��U Q � U Q��UQ y +��(U Q�"9U Q y +��2UQ��S+���U � Q y +��S+���UQ y +���U � Q y +��S+���UQ y +��S+���U � Q y +��S+���U

c/dM|}~E­`w�dfh'rtyVofuV|}yVuVh0P N � J N ­%·dfp{v#d>pt~£pto}��h3hT� � N ) P N J N -n\×v�¥�¨£hEo}�\sV¥¢ÉMhEv�wE¨ni(fp{~xu@pq�@h3o\�M�w�dfh�¥¼sVrtrts�·pqofu yz|fw�sVg¤yzw�sVo�I

��� ��������9�

�T� ��� -��32������h� -���� �3">��������&)"%698 6 � $

Q y U

Q��U

Q y +��(U Q y +��S+���U

y

y +��

!+T"D+ �

!+,"D+ y

"D+ y +�� y +��S+��

� +��

g£~�ptofu 4 «/¦>c�}�z­ iO´fyzg �frth¤iD8±­²sVofh:sV��w#yzpto}~£w�d}yzwA� N )�P N J N - K QD E+T"D+ � U N Q � +���U N Q y +��(+���U N �QD !+,"D+ � U N QD !+,"D+ y U N QD"�+ y +��(U N Q y +��S+���U N ·dfptv#d pt~x�f��hTv�p{~�hErq�8w�d}h�rtyVofuV|`yzuVhQsV¥0w�dfh:yz|�w�sVg¤y�w�sVo\uVpt�VhEoyV�`s��@hV¨�c/dfh�v�s@g �}yVv�w�ofhT~�~sV¥�yz|�w�sVg¤y�w#y pt~!yVrq��hEy@������h3�@hEyVrqhT��ptoµw�dfp{~!h3´fyzg �frth��M�8~�d}yz��pqo}u¤sz¥0w�dfh~�w�yzw�hT~/��hE�f��hT~�hEoIw�ptofu'��hE~��ChEv2w�pq�@h3rt� w�dfhQh3´��f��hT~�~�ptsVo}~ Q9 !+T"D+ � U N yzo}�{Q y +��S+���U N ¨

��¿�� # !¼��! Ã$#�� '*),-T- /$J 2 3 �P� 8 6���?"7��(>� ">�(78 5 K ) 7@+<9n+<: +�;E+�=n- 6 �?23"% 9 #�3*��="%$� 6 "% 9 k�)(%$ * � $ �3*6 �A /1�,$ � ��� 6 ��*�."6�1"7$� 6 "7 �(7$ *��,$:�(%8V7 � �=23/0 /1">!� (7$ �*?%� $�� $ "78`� 6� 6 (%8{)�S�+, E+<W>-/.V:M;(S W(�©±w p{~ ·¢hErqr�§Mofs�·o�� yzo}� sV�M�Mpqs@|}~��¶w�d}y�w �}yz��w�p{yzrtrt�¶s@���fh3��hE�6Ç}o}pºw�hµyV|�w�s@g¤y�w�y \¼��¸nÈ&yz|�w�sVg¤y�w#y¥¼s@�*~�d}sV��wTf'd}yB�Vh8w�d}h>~�yVg:hµh3´M�}��hT~�~�pq�Mpqw�� yV~ ®!�/� h3´��f��hT~�~�ptsVo}~E¨�¸£ofh\vEyzo�hEy@~�ptrq� v#d}hEv#§ w�d}y�w¤pq¥5 _ yzo}� 5 a yz��h:��¸nÈ yV|�w�s@g yzw�y}­%w�dfhEoG5 _ � 5 a p{~Qy8�/¸nÈ yz|fw�sVg¤yzw�sVo w�sMs}¨��¢s@o}~�hT�I|fh3oIw�rt�V­v3sVg �f|�w�pqo}u\w�dfhµ~�h3g pº°ªv�s@g g�|�w#y�w�ptsVo v3rqsI~�|f��h*sV¥xy\rtyVofuV|`yzuVh¤u@pq�@h3o �M� y\��¸nÈ yV|�w�s@g yzw�s@o¶·pqw�ds@|f��yzrtuVs@��pqw�d}gÆ��h3w�|f��o}~Qy��}yz��w�p{yzrtrt�>sV�#��h3��hE�>Ç}ofpqw�h�yV|�w�s@g¤y�w�s@o�¨�¸£ofh¤v3yVo¶·�sVo`��h3��·dfh3w�dfhE��sV|f�yVrqu@sV��pºw�dfg»��hE��|`v�hE~¤w�s h3o`v�s���h>yzo�®x��� h�´��f��hE~�~�ptsVo¯pto�y¶Ç`ofpºw�h>�}yV��w�ptyVrqrt� s@����hE��hT� yV|�w�s@g¤y�w�s@oyVo}��w�s�yz�f�}rq�8w�dfh:yzrtuVs@��pqw�dfg³sz¥74 «/¦>c�f��8�sVo pºwn·dfpqrth�g hE��u@pqofu¤hT�I|fpq��yVrqhEo@w�~�w#y�w�hE~E¨xc/dfh�yVo}~�·�h3�p{~�ofs>~�pqo`v�h pºw�·/yV~n�f��s��VhT�>pto�4 «/¦>c�}��8�w�d`y�w�g h3��uVptofu�hE�I|fpt�ByVrqhEoIwQ~�w�yzw�h¤pto y8�`yz��w�p{yzrtrq�\s@����hE��hT�yV|�w�s@g¤y�w�s@o�p{~�¢ÉM�²®x�ZiO°ªv�s@g �frqh3w�h@¨¢ÉMs:w�dfp{~g h�w�dfs���·¢s@|frt�8�Ch�w�szw#yzrtrq��pqofh3¹*v�pth3oIwE¨

g£~�ptofu¤y���h3u@|fr{yz��h�´��f��hE~�~�ptsVo�­Ipto8s@|f�v3yV~�h�yzo8®x���£­�g¤yB�¤�`h�|}~�h�¥¼|}r%¥¼sV�~��ChEv3pº¥¼�Mptofu¤y��}��s@�`hE��w��w�d}y�w!s@ofh�v�rts@~�hE~/�M��y¤~�h3g pq°±v3sVg g�|fw�y�w�pqs@o8��h3r{y�w�pqs@o�¨�G!s�·�h3�@h3�T­Mh3�VhEoµpqo�w�d}pt~!vEyV~�hV­}�fhEv�p{��ptofu |}~�|}yzr�I|fhT~�w�pqs@o}~'rqpt§Vh�pqo`v�rt|}~�ptsVo yzo}� g:hEg��Ch3�#~�d}pq�¯yz��h�hEy@~�ptrt�6�fsVofh�·pºw�d yV|�w�s@g yzw�y}¨6È}|f��w�dfhE��g sV��hV­�y�/¸nÈX°ªyz|fw�sVg¤yzw�sVo hE�I|fpt��yzrth3oIw w�s yzo�®!��� h�´��f��hE~�~�pqs@o v3yVo �Ch\hEy@~�ptrq� �fsVofhµpto rtpqo}hEyz�:w�pqg h>yzo`�~��}y@v�h@4 GxmEy@�V�98 f2¨«�hE~�p{��hQw�d}hE~�hQw�dfhEsV��h�w�ptvEyzrXv3sVo}~�pt�fh3�#y�w�ptsVo`~/·¢hQu@pq�@hQpqo\·d}yzw!¥¼sVrtrts�·!~!y �f�#yzuVg¤yzw�p{vQv�sVg �}yV��p{~�sVo

sV¥Xw�dfh�w�·¢s¤yV�f�f��s@yVv#d}hE~E¨

Ìlk � Ìnm

��� 2,6 � 8 2�� (���� � (��'"� "'698� ��� 6�� - (���� � "� 6 (%8�� � $ 6 � 23"� 6 (%8�� �325/!8=6��,�=��� �@�

��� *�� ����� ���Z�#�x�����2�`�©ªo sV�#��h3�'w�s6v�s@g �}yz��h��Cszw�d w�hEv#dfofp{�I|fhE~E­Ow�dfpt~:sV¥�4 «/¦>c�}��8xyzo`� sV|}��~E­O·¢hµ��p{� ~�h3�@h3�#yzr w�hE~�w�~:s@o�#yzo`��sVg rt�>v#dfs@~�h3o¶�f��sM�f|}v2w#~Qyzo}�K��hErtyzw�ptsVo}~E¨ ®x~�v3��pqw�hE��ptsVoKsz¥v�sVg �}yV��p{~�sVo�­²·�h¤v#dfs@~�h�w�dfh*~�po1Eh:sV¥w�dfh���hE~�|frqw�~cI�oM|fg��Ch3�!sV¥0yzw�s@g:p{v�h�´��f��hE~�~�pqs@o}~�\×y rth�w�w�h3�£sV� P N ·pqw�d>P y¤~�|f�}~�h�w!sV¥+w�dfh�yVrq�fd`yz�Ch�wTf¥¼s@�Q®!���£½ ~�yzo}�KoM|fg��Ch3��sz¥�~�w#y�w�hT~�yzo}�>w��#yzo}~�pºw�pqs@o}~x¥¼sV�Qyz|�w�sVg¤y�w#yf¨ ;£h3�@h3rtsV�fg h3oIw�·�y@~£y@v#dfpth3�VhT�|`~�ptofu:w�dfh�¥¼|}o}v2w�pqs@o}yzr�r{yzo}uV|}yVuVh�¸£�f��hEv2w�pq�@h���yzg r�4 @0;�k ' �@i98±¨®£~¤w�d}h3pt�*h�j%hEv�w�sVo¯w�d}h yzrtuVs@��pqw�dfg¤~¤yV��hµ�VhE��� ��pkj%h3��h3oIwT­�·�h\|}~�hE��y@~ pqof�}|�w�~E­/w�·¢s §Mpto}�f~¤sV¥

�}��s���|}v�w�~cI� À � ¿(% ¡ 9 N^ `_�9 Na bcb3b, Y A _49 NY� À � ¿ J ¡ 9 N^ 9 N_ bcb3b�9 NY

¸£|}���}��s�v�hT��|f��h£sV¥0v3sVg �}yV��p{~�s@o*·/yV~/yV~�¥¼s@rqrts�·!~3¨OÈ}sV�/hEy@v#d�w�hE~�wE­�·�h�~�h�wxy'§Mpqo`�8sV¥��f��s���|}v�wE­fy ~�ph13h��sz¥%w�dfh!�f��s���|}v2wT­@yQ~�po1Eh | 9 | sV¥`w�dfhxyVrq�fd`yz�Ch�wE­Myzo`�:yQ~�ph13h | � | sz¥Cw�dfh£~�hEg:pq°ªv�sVg g'|�w�yzw�ptsVo ��hErtyzw�ptsVo�¨:�pqw�d'w�d}hE~�h�u@pq�@h3o'rqptg pºw#~3­@·¢h���yVo}��s@g:rt�QuVhEofh3�#y�w�hE��yn�f��s���|}v�w0yVo}�'yn~�h3g pº°ªv�s@g g�|�w#y�w�ptsVo'��hErtyzw�ptsVo�¨®!¥¬w�hE��w�d`y�wE­O·�h*h3´MhTv�|�w�hE�¶w�dfh8yVrqu@sV��pºw�dfg sV¥A4 «/¦>c�f��8S­+w�d}h3o s@|f��yzrtuVs@��pqw�d}g s@o6w�dfh*hT�I|fpq��yVrqhEo@wyV|�w�s@g¤y�w�s@o*sz¥Xw�dfh�~�yVg h£�f��s���|}v�wE¨O®!o}��­�·¢hnuVsVw�~�po1EhE~¢sz¥�w�dfhnw�·¢s'��hT~�|frqw�~E¨Oc�yV�frthE~£�nyVo}�8i�uVpt�Vh£y~�|fg g¤yz���¤sz¥+w�dfh�w�hE~�w�~E­fhEy@v#d���hE~�|frqw!pt~/pto�¥×yVv2wxyVo�yB�@h3�#yzu@hxsz¥��T��w�hT~�w#~3¨

c+yz�frth �2I¢�¢s@g:�`yz��pt~�sVo8sz¥Xw�hEv#dfo}pt�I|fhT~/pqo�¥¼|fo}v�w�ptsVoµsz¥S� ·pqw�d | 9 | K � ) yVo}� | � | K��

� � à Ä��+ z�¤�"!� ¿ i � � �®x���£¨ w��M�`h¤� �T� =`�cC =(C@�2Bf� C26 ���V�2=yV|�w�s@g¤y�w�y w��M�`h¤� i2C C@i �@�V� CV�(B®x���£¨ w��M�`h�i ° �T� i@�Vi B>=@�IiyV|�w�s@g¤y�w�y w��M�`h�i ° �z� iV�2B �>6}�

c+yz�frth�iI¢�¢s@g:�`yz��pt~�sVo8sz¥Xw�hEv#dfo}pt�I|fhT~/pqo�¥¼|fo}v�w�ptsVoµsz¥ | � | ·pqw�d | 9 | K � ) yVo}� �0K��

��¿ C×�f�"! Ã$# �"!� ¿ � � � 6®!���£¨ w��I�Ch¤� ��CI�V�>6 � �@�cB@i26@�@i i>C(B>=S626 =Mi��T�2C@�26yz|�w�sVg¤y�w#y w��I�Ch¤� �`�>C CIi>C �E�V�}� �B�ViVi®!���£¨ w��I�Ch�i �V��=I� �T�f�T�z� �9B262BI� i>6 ���@�yz|�w�sVg¤y�w#y w��I�Ch�i �z�Ii BIiVi CV�@� 6V�2B

®xrqr%sz¥Xw�dfhT~�h£w�hT~�w#~ ·�h3��h£y@v#dfpqhE�VhT� pqo8rqhT~�~ w�d}yVo�s@ofhxs@� w�·�s�g ptoI|fw�hE~�s@o�yzo�®�w�dfrtsVo�sV¥ �V¨ � kAG�1·pqw�dµ��k�« sz¥`g hEg:s@���@¨�� ��s�v�hT~�~�hE~+sV¥Cs@|f�+w�hEv#d}ofpt�I|fhT~O|}~�hE�'rqhT~�~+w�d}yzo¤�nsV�x=¢¦>« sz¥Cg h3g sV����·dfptrqhw�dfs@~�h�v�s@����hE~��CsVo}��ptofu'w�s 4 «/¦>c�f��8Xpqo`v���hEyV~�hE��g sV��h���yV�fp{��rq��yVvEv�sV�#��ptofu:w�s w�dfh�~�po1EhQsz¥0w�dfhQptof�f|fw�~\×g sV��h£w�d}yzo0CV�@��¦>«¯¥¼s@�!~�s@g:hnw�hE~�w�~pto�w�dfhQ��pqu@dIw�°±d}yzo}�8v�s@rq|fg o}~/sV¥0c+yz�}rqhT~���yVo}�µi2f

��� ��������9�

�Bi ��� -��32������h� -���� �3">��������&)"%698 6 � $

:¶h�yVrt~�sxyV�f�frtpqhT��sV|}��w�hTv#dfofp{�I|fh�w�snyxrtyVofuV|}yVuVhOsV¥fw��M�`h£� ·pqw�d0� K � )f­ | 9 | K.� )xyzo}� | � | K.� )f¨c/d}h!~�ph13hsV¥`w�dfh!uVhEofh3�#y�w�hE�:yz|�w�sVg¤y�w�sVo ·/yV~Oyz�CsV|fw�=I�z�@�V�@�£yVo}� v�sVg �f|fw�y�w�pqs@o:w�yz§@hE~H=MindfsV|f�#~Oyzo`��Bi>C�¦ « ·�h3��h�|}~�hE�µ�M��w�dfh'�f��s�v3hE~�~3¨!c/dfp{~£§Ipto}�\sV¥Ow�hT~�wn·�y@~!ofsVw!¥¼hEy@~�pt�frth�·pqw�d\w�dfh�w�hEv#dfofp{�I|fh�sV¥4 «/¦>c�f��8S¨

� F �/.O�)�*�+�������� D ��� .+�#�+��]0 ���� F � �2�¤�������� �¤$ ����;X�8.0�b����$&�'� "�)��������� � D �0�� ���Q.��¶��]0����>0��;

©ªo w�dfp{~ ~�hEv2w�pqs@o ·¢h�f��hE~�h3oIw�s@|f� ~�hEv�s@o}�:g¤yzpto¤��hT~�|frqwcIXw�dfhxh�´Mw�hEo@w�pqs@o¤sz¥x4 «�¦ c�f�T8}w�s�y�r{yz��uVh3��v3rty@~�~sV¥���h3u@|frtyV�/rtyVofuV|}yVuVhT~3¨È}sV�!y:uVhEofh3�#yzr²��h�¥¼hE��hEo}v�hnsVo���yz��pqh3w�pthE~/sz¥+¥¼sV��g¤yzr²r{yzofu@|}yzu@hE~�~�hEh@4 ��pto�C2=>8±¨® 2, #"D�T�¢sV¥Xr{yzofu@|}yzu@hE~ � p{~yzo�yz�f�}rqp{v3yzw�ptsVo�·d}ptv#dµyV~�~�s�v3ptyzw�hE~ w�s:hEy@v#d*Ç}o}pºw�h�yVrq�}d}yz�Ch�w�9-y'~�h�w

sV¥C��h3u@|fr{yz�0rtyVofuV|`yzuVhT~XsV¥K9 N ��hEofszw�hE�'�M� 9 N �£¨0®�v3rty@~�~0sV¥`r{yzofu@|}yzu@hE~+� p{~�~�yzp{��w�sQ�`h!v3rqsI~�hT��|fo`��h3�~�h3g pq°±v3sVg g�|fw�y�w�pqs@o�pq¥X¥¼s@�!yzrtr%Ç}ofpqw�h�yzrt�fd}yV�`h3w�9�­fyzrtr�~�h3g pº°ªv�s@g g�|�w#y�w�ptsVo8��hErtyzw�ptsVo8s��Vh3�9-yzo`�8yVrqrr{yzo}uV|}yVuVhnpqo0J�.V9 N �x­`� N )�JZ-/. 9 N �£¨® �=(D� 6� 6 ? � ?%"%$ 6 �3*��sz¥0r{yzofu@|}yzu@hE~ ��pt~y v3rty@~�~/sV¥�r{yzofu@|}yzu@hE~/~�|`v#d�w�d}y�w9I

\��9f]9 N ��p{~!v�rts@~�hE��|fo}��hE�Ç}ofpqw�hQ|fo}pqs@oµyVo}��Ç}ofpqw�hQpto@w�h3�#~�hTv2w�pqs@o�¨\Si2f�©±¥�� pt~xy'g s@ofsVp{��g s@���fd}pt~�g ¥¼��sVg 9 N pqoIw�s P N yVo}��pq¥xJ�. P N �£­�w�d}h3o���A _ )*JZ-/. 9 N �£¨\Z�(f�©±¥HJ�.[9 N ��yVo}��pq¥� &.[9�­�w�dfh3o� A _ J�yzo}�0J? A _ yV��hnpto[9 N �x¨® ?%"%$ 6 �3*�!sV¥Xr{yzofu@|}yzu@hE~Op{~/y��Cs@~�pºw�pq�@hx��yz��pqh3w�� sz¥�r{yzofu@|}yzu@hE~%�¯~�|}v#d¤w�d`y�w�¥¼sV��hEyVv#d*Ç}ofpqw�h�yzrt�fd}yz�Ch�w9�­�9 N � p{~¢v3rqsI~�hT� |fo}��hE�¢v�s@g �frqhEg h3oIwE¨�knpt�Vh3o*y��ByV��pth�w��:sz¥�r{yzo}uV|}yVuVhE~Z�£­@w�dfh£�`s@rq�Mofs@g:p{yzrCv�rts@~�|f��hsV¥+�£­f��hEofszw�hE�0pHq2r �x­fp{~�w�d}h�v�r{yV~�~/sz¥+��hEuV|fr{yz�/r{yzofu@|}yzu@hE~/~�|`v#d8w�d}y�w�J�. 9 N pHq(r ��pq¥0yVo}��sVofrt�*pq¥HJp{~y'Ç}ofpqw�h�|}ofpqs@o8sV¥+r{yzo}uV|}yVuVhE~¢sz¥+w�d}h�¥¼sV��g

J ^ _ J _ U U UO v�J/v·pqw�d�J e .V9 N ��yVo}�0 e .[9�¨c/dfh�¥¼s@rqrts�·ptofu'��hE~�|frqw!pt~/�}��s��@hE�*pto54 �?:<6��M­fc/d}h3sV��h3g³��¨ 6�8 I

-��¿Mà � ¿ �� 5����� 93� "M?%"%$ 6 �3*� (�� #"%8 �7�="�� ��� �&� /=� 8dpHq2r�� 6 � " �=(D� 6� 6 ?%� ? "7$ 6 �� � (�� #"%8 �7�="�� ��� �®���h3u@|frtyV� rtyVofuV|}yVuVh�sz¥69 N p{~*v3sVg g�|�w#y�w�pq�@h8pq¥Qpºw#~¤~��MoIw�y@v2w�p{v�g sVofs@pt�¯p{~¤v�sVg g'|�w�yzw�pt�VhV¨�©±w

p{~¤hT�@|}pq��yzrth3oIw¤w�s ~�yB� w�d}y�w*pqw�p{~¤��hEv�s@uVofph13hT� �M� y v3sVg g�|fw�y�w�pq�@hµÇ}ofpqw�h\g sVo}sVp{�²¨Gc/dfh>v3rty@~�~ sV¥v3sVg g�|fw�y�w�pq�@h£��h3u@|fr{yz�/rtyVofuV|`yzuVhT~�pt~/§Mofs�·o8w�s¤�Ch�y:�ByV��pth�w��¤sV¥+r{yzo}uV|}yVuVhE~�yzo`�8p{~��hEofszw�hE��sO¨�xs�·Q­E·�hO�f��s��Vh+w�d}yzw�pHq2rks'p{~�v�rts@~�hE�n|fo}�fh3��|fo}pqs@o�­EptoIw�hE��~�hEv�w�ptsVo�­Bv�s@o���|fu@y@v��xyVo}��~�hEg pº°ªv�s@g:g'|�w�yzw�ptsVo

\Z~�hEhQc/dfh3s@��hEg �V�Df2¨OÈ+pq�#~�w!·�h�ofh3hT�8~�h3�@h3�#yzr%rth3g g¤yf¨�¢¿ � � �� 50�3+5 K )87@+�9�+�: +<;�+<=n-093� "7� 8 6��� "%� (��'"� " ;WJ _ +,J a 95��N= (' #"78:���=",�:��� (78]9 "78 *� "@�,�3� 6�� 23(>��� ��"> 6 (78)$ �, #"> 6 (78 (�?%�,$ 9 � � /1�Z� (% 9 #( = 698:� �T�,�="% 6� � /1(7 #*D� @

J�)I5�- � Jw_�JZa�K e��h��

)�J )I5�� Q � - � )*J/_HV P N -�-3)�J )I5 � Q �Z-�V[J N - � JZac-

Ìlk � Ìnm

��� 2,6 � 8 2�� (���� � (��'"� "'698� ��� 6�� - (���� � "� 6 (%8�� � $ 6 � 23"� 6 (%8�� �325/!8=6��,�=��� �T�

=�/=� $5�n /1� �!8=6 (78 6 �n�"+4��,8�� (7$ "% 9 ��3� 9��,��*� P "%8 * J (��9 � �=25/�9/="�w) J;+�P�- ?��1��� �������� @Xh�w]W�. 7 yzo}��z . )�J )I5�� Q � - � )�Jw_;V(P N -�-3)�J )I5 � Q �?-wV J N - � JZac-2­·pqw�d)8J;+ P�- ? �:¨Oc/dfhEodz>vEyzo��`h��fhEv�s@g �`sI~�hT��ptoIw�s�I

z0K�� _ $ _ bcb3b�� Y $ Y _ � _ b3b3b � v ��v

~�|}v#d8w�d}yzw\��9f ��_xb3b3bO� Y .�J�)I5� Q � -2­`$S_Hb3b3bO$ Y .dJw_HV�P N ­\Si2f*¥¼sV�!yVrqr � (�M� ����O­ )��/) � e -�+ �/) $ � -O- ? �:­\Z�(f _ b3bcb �vn.�J )I5 � Q � -2­ � _ bcb3b ��v�.0J a V[J N ­\�=Sf*¥¼sV�!yVrqr � (�M� �� � ­ )��/)� e -�+��Z)�� � -�- ?��:­É�pqo}v3hn) J;+�P�-? � yVo}� �M��\��Df0yzo}�0\Z�(f2­@¥¼sV�¢yzrtr � � ��µyzo}�:¥¼s@��yzrtr �:�� � ­!)��/)� �D-�+ �/) $ �D-O- ?�:¨ �¢sVo`~�hT�@|}h3oIw�rt��yzo`���M�{\Si2f�yzo`� \�=Sf�­`z�.�J�)I5�- � Jw_�JZa�¨�¢s@oI�@h3�#~�hErq�@­�rth�w�z .0J�) 5�- �{J _ J a ¨+«��£��h3Ç}ofpqw�ptsVo�sz¥Mw�d}h��/°±~�dM|��¤hV­Ew�dfhE��hOh3´�pt~�w�� _ +3bcb3b3+O� Y +O$ _ b3bcb3+O$ Y .9 N ~�|}v#d�w�d}y�w

\S�2f zdK<��_T$#_Wb3bcb�� Y $ Y\*B(f*¥¼sV�!yVrqr � (�M� ����O­ )��/) �Ee�-�+ �/) $ �D-O- ? �:­\ �>f � _ b3b3bO� Y .�J�)I5�-2­\*C(f $ _ bcb3b�$ Y .0J _ J a ¨ÉMw�y�w�h3g h3oIw \*C(f0ptg �frtpqhT~0w�d}yzw�w�d}h3��h!pt~ �: � �\~�|}v#d:w�d}yzw?$(v£g¤yB���Chx��hTv�sVg �Cs@~�hE�:pto@w�sn$(vAK � �2­·pqw�d �(+ �0.L9 N yVo}� $ _ b3bcb�$(v A _ �L.MJ _ yVo}� ��$Sv '�_ bcb3b�$ Y .uJ a ¨ ÉIw�yzw�hEg:hEoIw�\ �>f'ptg:�}rqpthE~ w�d}y�ww�dfh3��h�h3´�pt~�w�~'y ~�w�y�w�hEW\~�|}v#d w�d`y�w�� _ bcb3b���v . J )I5 � Q � -'yzo}�5��v '�_ b3bcb�� Y .�J�)I5 � Q � -�¨K�!s�·Q­0�M�\S�2f¤yVo}�u\�BSf2­�� _ $ _ bcb3bO�!v ��. J�) 5 � Q � - � )*J _ V(�/) $ _ b3b3bO$(v A _ �D-�-�yzo}� ���!v '�_ $(v '�_ bcb3bO� Y $ Y .)*J�) 5 � Q � -/V(�/) ��v '�_ b3b3b�� Y -O- � J a ¨b«��R\�B(f�­�)��/) �!v '�_ b3b3b�� Y -�+ �/) $ _ b3b3b�$(v A _ �D-�- ? �:­/·dfp{v#dv3sVo}v3rq|`��hE~�w�dfhQ�f��sIsV¥�¨ �

�¢¿ � � ��� O �nJ�"%8 * � "7$ � 25(>��� � "� 6 ? �, � 2, #(D�,�3* "%8 *)$ �����! #"%$' #"78:���=",�:� (��>9 N ;;9/=� 8 J�� .9 N pHq(r s%��� �������� ©±¥ �0. J!­Cw�d}h3o5J�� K � ��� ~ h�� JZ A _ B� ¨Q©±¥ � ,. Jx­%w�dfhEo J�� K�� ~ h�� JZ A _ B� ¨É�pqo}v3hlJ p{~*��h3u@|frtyV�E­�pqw�d}yV~8y6Ç}ofpqw�h oI|}g��Ch3��sV¥Q��ptuVdIw��I|fszw�pqhEoIw�~E­/w�dM|}~¤w�dfh>|fo}pqs@o}~�yV��hµÇ}o}pºw�hV¨¦>sV��h3s��VhE�E­ w�dfhKv�r{yV~�~¤sz¥�v�s@g g�|�w#y�w�pt�Vh\r{yzo}uV|}yVuVhE~ p{~�y6��yV��pth�w�� sz¥QrtyVofuV|`yzuVhT~3­¢w�dM|}~�J? A _ pt~*yv3sVg g�|fw�y�w�pq�@h£r{yzo}uV|}yVuVhV­M·dfp{v#d\v�s@o}v�rt|}��hT~�w�dfhQ�f��sMsz¥�¨ �

��� ��������9�

�c= ��� -��32������h� -���� �3">��������&)"%698 6 � $

�¢¿ � � ��� O �Z5MK ) 7@+<9n+�:&+ �T+�=n- 6 �w9/=��� 698=6��'"% "7��(>� ">�(78 (��A" 23(>��� ��"> 6 ?%� �"%8:���=",�:�*;�9/=� 8� (7$ "% 9 `S�+�W�. 7 ;�J�) 5�� Q � -.6 � "�25(>��� � "� 6 ? � #"%8 �7�="�� �X��� �������� ÉMpto}v3h0J )I5�-'p{~¤v�s@g:g'|�w�yzw�pt�Vh@­�pºw#~¤~��MoIw�y@v2w�ptv8g sVofs@pt� pt~¤v3sVg g�|�w#y�w�pq�@hV¨ ÉMpto}v3h[5 � Q �yVo}� 5 d}yB�Vh�w�dfhµ~�yVg h�g sVofs@pt� sz¥!w���yVo}~�pqw�ptsVo`~3­�yVo}� ~�pqo}v3h�w�dfh�g:s@ofsVp{� sV¥!w��#yzo}~�pqw�ptsVo}~�sz¥ 5 pt~w�dfh ~��MoIw�y@v2w�p{v�g s@ofsVp{�\sz¥/J�)I5�-2­ J�) 5�� Q � -xpt~�yVvEv�hE��w�hT�\�M�µy�v�s@g g�|�w#y�w�pt�Vh'g sVofs@pt�²­%�f��s��Mpqo}u¤w�dfhrth3g g¤yf¨ �

�¢¿ � � ��� 50�3+5 _ KM)87 _ +<9n+<: _ +<; _ +<= _ - "78 *>5 a KM)87 a +<9n+<: a +<; a +<= a -T93�� = (�� 8=6� � "7��(>� ">�""78 *w��";�,��� 6�� 23(���� � "� 6 (%8'$ �, #"> 6 (78 (�?%� $Z9 ��O �WJ�) 5 _ - "78 *wJ )I5 a - "%$ � 23(���� � "� 6 ? � #"%8 �7�="�� ���<; /1�,8 J )I5 _ � 5 a -/. 9 N pHq2r s�� ��������

@Xh�w%5MKM)87@+�9�+�: +<;�+<=n-+�`h/w�dfh/w���ptg yz|fw�sVg¤yzw�sVo:sV�fw�yzptofhT��¥¼��sVg 5�_ � 5naz¨OÈfs@��yzrtrf~�|}�}~�h3w�~P&sz¥ �/)�J�) 5naD-�-2­M·�h£��hEofszw�h!�M�D7 U w�d}h£~�|f�}~�h�w�Q#)IWD_D+�Wca>+ P�- | WD_ . 7�_D+<W3aA. 7�a�UxsV¥/7-yzo}�*�I� : Uw�dfh�~�|f�}~�h�w�:<V[7 U BV9LB[7 U sV¥+:¤¨

@Xh�w � K )O)YS�+<W#+ J�-�+O !+c)�S +�W *+ M -O- . :��0�SU�� � : U ¨ :Kh6v�r{yzptg w�d}yzw�w�d}h3��hKp{~�o}s rtsIs@� pto5 _ � 5 a |}~�ptofu ��I/~�pto}v�h J� M yzo}�µ�M� \¼p�f ���f��sMsV¥0sV¥�����sV�Cs@~�pºw�pqs@o i ��yVrqr0~�w#y�w�hE~xy@v3v3hE~�~�pt�frth¥¼��sVg )YS +�W + M -�yz��hnsV¥�w�dfhn¥¼sV��g )���+�(+ P�-2­f·pqw�d MN? P�¨

i y@v#d\~�|}vEv�hT~�~�¥¼|fr²�}yzw�d#!Æpqo 5 _ � 5 a v3yzo��Ch���hEv3sVg �`sI~�hT��ptoIw�sEI! K$!d^ �O_�!�_ ��axb3bcb � Y ! Y

·pqw�d � e . :��SU�� � : U yVo}� ! e s@ofrq� |}~�ptofuµw���yVo}~�pqw�ptsVo`~�sz¥: U�� ¨ g£~�ptofu�w�dfh8yz�Cs��Vh v�r{yzptg�­�·¢hd`yB�Vh:�( | : � �SU�� � : U | ¨x�¢sVo}~�hE�I|fhEoIw�rt�V­EJ )I5 _ � 5 a -p{~xy:Ç}o}pºw�h�|fofptsVo\sV¥OrtyVofuV|}yVuVhT~/sz¥0w�dfh¥¼s@��g0I

J ^ _ J _ a b3bcbO Y J Y +·d}h3��h�w�dfh e ½ ~¤yz��h�rth�w�w�hE��~¤yVo}� w�dfh J e ½ ~¤yV��hµyVvEv�h3�fw�hE� �M� Ç}ofpqw�h>yV|�w�s@g¤y�w�yK·dfsI~�h�uV�#yz�fd`~'sV¥w���yVo}~�pºw�pqs@o}~/yz��h@)87 U � +�: U � -2¨«�� @Xh3g g¤yE�M­�pqw!��hEg yVpqo`~ w�s �f��s��@hxw�d}y�ww�dfhnJ?e�½ ~yV��hQv3sVg g�|�w#y�w�pq�@h£r{yzofu@|}yzu@hE~E¨�@Xh�w PH?F9�­

·�h �f��s��Vh'w�d}yzwQw�dfh¤g sVo}sVp{� sV¥¢w���yVo}~�pqw�ptsVo`~�uVh3o}h3�#y�w�hT�>�M� )87 U +<: U -np{~�v3sVg g�|�w#y�w�pq�@hV¨'@�h3w �dK)�S�+<W#+ P�-�­ � ~ K )YS ~ +<W ~ + P�-�yVo}� � ~3} K )YS ~�} +�W ~3} + P�-nw�df��hEh�~�w�y�w�hE~�sz¥ 7 U ~�|}v#d6w�d`y�w�w�dfh3��h*h�´�p{~�ww���yVo}~�pºw�pqs@o}~ � ~ KM)���+, E+ � ~ -/yVo}� � ~�} KM)�� ~ +,"D+ � ~�} -�pqo : U ¨

)YS�+<W#+ P�- )YS ~ +<W ~ + P�- )�S ~�} +�W ~�} + P�- "

:�pqw�dµw�dfhQofszw#y�w�pqs@o8sV¥�����sV�Cs@~�pºw�pqs@oµif­Mw�dfh�¥¼s@rqrts�·ptofu¤v3yV~�hE~�s�v3v3|f�9I

Ìlk � Ìnm

��� 2,6 � 8 2�� (���� � (��'"� "'698� ��� 6�� - (���� � "� 6 (%8�� � $ 6 � 23"� 6 (%8�� �325/!8=6��,�=��� �B�

�� ~ + � ~�} . � _ ¨ ÉMpto}v3h 5 _ pt~ g ptofptg yVrxyzo`� ~�pqo`v�h�J�) 5 _ -:p{~¤v�s@g:g'|�w�yzw�pt�Vh@­�w�d}hµw��#yzo}~�pºw�pqs@og sVofs@pt�6sV¥5 _ p{~�v�s@g g�|�w#y�w�pt�Vh@¨�c/dM|}~�w�dfhE��h¤h3´�pt~�w�~ S } pto 7 _ ~�|}v#d¶w�d}y�w SVUS"@K S } yzo`�S } U( LK S ~�} ¨ ¦\s@��hEs��VhE�E­+~�pto}v�h � ~ yzo`��� } �`hErqs@ofu>w�s � _ ­7)� !+ P�-]?]��yzo}�<) "D+ P�-]? P*¨�¢sVo}~�hE�I|fhEoIw�rt�V­�)���+T"D+c)�S } +�W#+ P�-�-'yzo}�[)O)YS } +<W#+ P�-�+O !+ � ~�} -�yV��h¤pto ��_�V : U ¨>©±w�¥¼s@rqrts�·!~Qw�d}y�w� ~�} . � Uc"� `¨

�� ~ + � ~�} .�� a ¨�«���y ~�ptg pqr{yz�!yV��u@|fg h3oIw/sVo 5 a ­}sVofh�d}y@~ � ~�} . � U9"� C¨

�� ~ .�� _ + � ~�} .�� a ¨�c/dM|}~+W ~ K W!yzo}� S ~�} KGS ~ ¨��¢sVo`~�hT�@|}h3oIw�rt� )���+,"�+c)YS�+�W ~�} + P�-O-w.�� a V : Uyzo}�5)O)YS�+<W ~�} + P�-�+, E+ � ~�} -w. � _ VV: U ¨O©±w¥¼sVrtrqs�·!~�w�d}y�w � ~3} . � U9"� C¨

�� ~ .�� a + � ~�} .�� _ ¨�«���y ~�ptg pqr{yz�!yV��u@|fg h3oIw�s@o 5 a ­fs@ofh�d}yV~ � ~�} . � U9"� C¨

�¢s@o}~�hE�I|fh3oIw�rq� �/U #" ? � U�"� C¨OÉMpqo`v�h�w�dfh��sVrthE~+sV¥E �yzo`��"¢yz��h�~��Mg g:h3w���ptvV­ � U�"� D? �/U "B¨+c/d}h3��h�¥¼sV��hV­w�dfh/g sVofs@pt��sz¥}w���yVo}~�pºw�pqs@o}~Xu@h3ofhE��yzw�hT���M�&) 7 U +�: U -�pt~Ov3sVg g�|�w#y�w�pq�@hV­�·dfp{v#d'v3sVo}v3rq|}�fhE~�w�dfh�}��sMsz¥�¨

��� �1� � C ¿6% / 50�3�J _ KRQ9z�. Q9 !+,"9U NA|�| z | } 6 � � ? �,8EU "%8 *nJ a KRQ9z�.{QD !+ y U N�|`| z | 6 � � ? �,8`U "78 *� K Q#)� !+ y -�+9)*"D+, #-�U � � /=� 8 J _ � J a 6 � ��6 ?%� 8 93�� /1�w� (7 9 #(�= 698 ��� 8=6� �?"%� (��'"� (%8 � $ "%8��36� 6 (%8(��: �Q�SU h�� : U "%$ � $ � � $ ���,� 8E��3*�9�� * "D� /)"7$ $ (�=H� ��@

��� ��������9�

�9B ��� -��32������h� -���� �3">��������&)"%698 6 � $

�2+��`+ �

� +��`+ ��2+��`+O

�(+���+,

� +��E+O

� +��`+,

�(+���+ y

� +���+ y

� +��`+ y

�2+���+ y

�2+��`+3Q9 !+ y U �2+���+3Q9 !+ y U

y

y

" "

"

"

"

"

y

y

y

y

!+ y

!+ y

O�!� (7 9 #(�=H�n /1">WJw_ � JZa�K[Jw_� #J?a �dJ/_� #J�� y J�����J/_ y J�����J/_ y J��c #J���; =�/=� $5�

J %�K�Qcz�.{Q9 !+,"9U N |`| z | } 6 � � ? �,8 "78 * | z | ~ 6 � (+*�* UJ � K�Qcz�.{Q9 !+,"9U N |`| z | } 6 � � ? �,8 "78 * | z | ~ 6 � � ? �,8`UJ � K�Qcz�.{Q9 !+ y U N |�| z | 6 � � ? �,8`UJ � K�Qcz�.{Q9 !+ y U N |�| z | � 6 � (�* * "78 * | z | ~ 6 � � ? �,8�UJ � K�Qcz�.{Q9 !+ y U N |�| z | � 6 � �*?%�,8 "%8 * | z | ~ 6 � �*?%� 8EU(b

:¶h�v3yVo8ofs�·G�f��s��Vh£w�dfhQg¤yzptoµ��hT~�|}rºwT¨

Ìlk � Ìnm

��� 2,6 � 8 2�� (���� � (��'"� "'698� ��� 6�� - (���� � "� 6 (%8�� � $ 6 � 23"� 6 (%8�� �325/!8=6��,�=��� ���

-��¿Mà � ¿ � %$%]� /1� 2, #"D�T��pHq(r s 6 � 2, #(D�,�3* �!8 * � $?�!8 6 (%8 ; 698E��,$T�,�32� 6 (%8 ; #�*�T "%8 * $ 6 �+/�� �=(> 6 �,8� ;23(78�� ���:"�23��"%8 *@�,��� 6�� 23(���� � "� 6 (%8K��� �������� ÉMpto}v�hxw�dfh�v�r{yV~�~�sV¥�v�s@g g�|�w#y�w�pt�VhxrtyVofuV|}yVuVhT~�p{~¢y��ByV��pth�w��:sz¥�rtyVofuV|}yVuVhT~3­@�I�¤c/dfhEsV��h3g ��­pHq(r s¶pt~£y �`sI~�pqw�pt�VhQ��yz��pth�w���sV¥OrtyVofuV|}yVuVhT~yzo}�8w�dM|}~xpt~£v�rts@~�hE��|fo}�fh3�x|}ofpqs@o�­}ptoIw�hE��~�hEv�w�ptsVo\yzo}��rth�¥¬wyVo}�8��ptuVdIw!�I|fszw�pqhEo@w#~3¨

@Xh�w�J ^ +,J _ +3b3bcb�+OJ/v¤�Ch:v3sVg g�|fw�y�w�pq�@h�r{yzofu@|}yzu@hE~xsVo 9�­ _ +3bcb3b3+, v¤�Ch'rth�w�w�h3�#~nsz¥%9 yzo`� J KJ ^ _ J _ a U U UO v�J/vI¨ @�h�w 5 e �`h�w�dfhQg pqofptg¤yzrXyV|�w�s@g¤y�w�s@o8sV¥WJ e ¨¢¸£ofhQd}y@~

^Zqj_Oa3)�JZ-ZK e^��!e�� v

J )I5ne � � Q � � -� #e('W_�J )I5ne '�_�-�b3b3b, v J�) 5 v -�J )I5�_c-� `_Wbcb3b, Se*J�) 5ne � � Q � � -

·d}h3��h�S e pt~!w�dfh'pqofpqw�p{yzr0~�w�y�w�h�sz¥�5 e ­K= e pt~!w�dfh:~�h3w£sV¥+Ç`o}yzr+~�w#y�w�hT~!sV¥%5 e yVo}� W e pt~£y*~�w�y�w�h�sz¥%5 e ¨c/dM|}~x|}~�pqofu�@�h3g g¤y]� yVo}��Cf­�^Zqj_Oa3)�JZ-�. 9 N pHq(r sO¨!Èf|}��w�dfh3��g sV��hV­}pq¥�� _ yVo}� � a yz��hQrtyVofuV|}yVuVhT~sV¥ 9 N ­�w�d}h3o ^Zqj_�a3) � _ � � a -�K ^Zq`_�a3)�� _ -S� ^Zq`_�a3)�� a -2¨8©±wQ¥¼sVrtrqs�·!~nw�d}y�w�pHq(r s p{~�v3rqsI~�hT� |fo`��h3�v3sVo���|}u@yVv3�V¨«��*y��fpq��hEv�w¢pto}��|}v�w�ptsVo�|`~�ptofu @Xh3g g¤y�B'yzo}��6�yzo`�¤����sV�Cs@~�pºw�pqs@o>�V­pHq2r sµp{~/yzr{~�s'v�rts@~�hE�¤|fo`��h3�

~�h3g pq°±v3sVg g�|fw�y�w�pqs@o�¨ �

@Xh�w!|}~o}szw�p{v�hnw�d}y�ww�dfhQ�f��sIsV¥�p{~v�s@o}~�w���|`v2w�pt�Vh@¨��� �1� � C ¿6% J 50�3�J KM)* N "� N "� N - N /1�/�,�3�(�� = (%$5*D�A(%8@Q9 !+T"9U:= 6�9/'"78 �*?%�,8'8=��M95�,$ (��x" 7 � ��5����RKPQ#)*"D+ � -�+9)*"D+ y -�+c)� !+ � -TUA9/=�/�,��� 6�� 23(���� � "� 6 (%8 $ �, #"� 6 (%8 ( ? �,$ZQ9 !+,"D+ � + y U ��� /1�,8n� N )*J � N y(y N -�KJ � � N y(y N � � /=� 8 ; �#� 698:� ��� "�� � �� ;�� N )*J � N y(y N -.6 ���76 ?%�,8�93� 9/=�?� (7 9 #(�= 698 � "%� (��'"� (%8 @

�2+���+�Q � U

� +��E+�Q � + y U

� +���+�Q � U

� +��E+�Q � + y U

"

"

"

"

y y

!+ �

y y

!+ �

��� 698:� 5��3���'"�� ; (%8 � (89� "%698��A /1�Z� (% 9 �(�= 698:� * �325(>���=(D�� 6 (%8 @� N )�)� N "� N "� N - N � N ySy N -?KK�d_ y J/_ ���&a y J?a

��� ��������9�

�9C ��� -��32������h� -���� �3">��������&)"%698 6 � $

=�/=� $5�S� _ KM)�Q9 !+ � U N "9QD !+ � U N "9QD E+ � U N - N ;B� a KM)�Q9 !+ � U N "9QD !+ � U N "9Q9 !+ � U N - N "9Q9 !+ � U N ;J _ K ) y N " y N " y N - N"78 *�J a Ku) y N " y N " y N - N " y N "7$ � 25(>��� � "� 6 ? � 2 �(D�,�3*j�

� $&���� ����;X�3��

©ªo�w�dfp{~��}yz�Ch3��·�h£�f��s��VhT�:w�d}yzw/v3sVg �f|�w�pqo}u�w�d}h�~�h3g pq°±v3sVg g�|fw�y�w�pqs@o*v�rts@~�|f��hxsz¥+yzo�®x����r{yzofu@|}yzu@hp{~+~�w���s@ofuVrt�£g s@��h¢h�¹*v�pth3oIw�|`~�ptofu!Ç`ofpºw�h�yV|�w�s@g¤y�w�yx��hE�f��hE~�h3oIw�yzw�ptsVonw�d}yVo�|}~�ptofux��h3u@|frtyV�Xh3´M�}��hT~�~�pqs@o}~E¨¦\s@��hEs��VhE�E­Tpqod4 «�¦ c�f��8�w�dfh�@|}hE~�w�ptsVo�sV¥fÇ}o}�fpqofu�sVw�dfhE�0~�|f�%v�r{yV~�~�hT~XsV¥`��h3u@|frtyV�Xr{yzofu@|}yzu@hE~�·dfp{v#d

p{~�v3rqsI~�hT��|fo`��h3�O|fo}pqs@o�­VptoIw�h3�#~�hEv2w�pqs@o�­z�f��s���|}v�wE­@~�h3g pq°±v3sVg g�|fw�y�w�pqs@o'��h3·��pqw�ptofuQyzo}�:v�s@o���|fu@y@v���·/yV~s@�`hEofhE��¨�:Kh ~�d}s�·¢hT�µw�d}yzw£w�dfh:�`sI~�pqw�pt�Vh:��yz��pqh3w���sV¥�Ç}ofpqw�h:|fofptsVo`~£sV¥�Ç}ofpqw�h:�f��s���|}v2w#~nsz¥¢v3sVg g�|�°w#y�w�pq�@h*rtyVofuV|`yzuVhT~�v�s@oIw�yzpto}~�®x��� r{yzofu@|}yzu@hE~�yVo}�6d}yV~�w�dfhT~�h�v�rts@~�|f��h¤�f��s@�`hE��w�pqhT~3¨>È}|f��w�dfhE��g sV��hV­|`~�ptofu'Ç}ofpqw�h�yz|fw�sVg¤yzw�y�w�dfh�~�h3g pq°±v3sVg g�|�w#y�w�pqs@o8v�rts@~�|f��hxsV¥+y:rtyVofuV|`yzuVhnsz¥�w�dfp{~/§Mpqo`��p{~/h�j%hEv�w�pt�Vh3rt�v3sVg �f|�w#yz�frthV¨&Gxs�·¢hE�VhE�£·�h*��sµofszw�§Mofs�· ·dfh�w�dfh3��w�dfp{~�v�r{yV~�~�pt~�g yz´�pqg¤yzrS¨¤® ~�s@rq|fw�ptsVo6g¤yB�>�`h¥¼s@|fo}� pqo 4 kn� �@�z�8O·dfhE��h�w�dfh:g¤y�´�ptg yVr��Cs@~�pqw�pt�Vh:�ByV��pth�w��\v3rqsI~�hT�\|fo}��hE�nw�dfh ~�dM|��¤h'sV�Ch3�#y�w�ptsVo pt~h3´�dfpq�}pºw�hE�²¨

D ����/.0�8���;

4 ®x®£«w626�8 �+¨O®x�C��|}rqr{yf­�®�¨O®!ofo}ptv#dfptofpS­ yzo`� ®�¨O«�sV|}yz�¬��yzofpS¨6®!rtuVsV��pqw�dfg p{v*�VhE��pqÇ`vEy�w�ptsVo sV¥xrts@~�~��v#d}yzofo}h3rQ~���~�w�hEg ~cI ®xobyV�f�frtptv�w�ptsVoGw�s w�dfh6�CsV|fo`��hE�G��h3w��#yzo}~�g pt~�~�pqs@o �f��szw�s�v3sVrS¨ ©ªo�(� -��; 7 � �V­`�@sVrt|fg h¤�T�`�>6:sz¥�50�323 �!$5��� (� ��� 698 - (�� � � � $� 2,6 � 8 25�3­}�`yzuVhT~xiz�(C �fiViVif­�c626(6f¨

4 ®x«wFS62C>8 �+¨@®�¨V®x�C��|}rqr{yf­M®�¨V«�s@|}y��¬��yVofpZ­zyVo}� «n¨>FVs@o}~�~�sVoX¨C¸£o�°Sw�dfh3°��}�'yzo}yVrq��~�pt~+sz¥%~���~�w�hEg ~0·pqw�d|foM�`s@|fo}��hT�²­²rqsI~�~��\È+©�È+¸ v#d}yVofofh3r{~E¨n©ªo -��n� 7 ���V­²�VsVrt|fg h��c=Ii��:sz¥Q5��32� �!$ ��� (>���� 698- (>��� ���,$A 2,6 �,8 23��­}�}yzu@hE~/�V�I� �M�IiVif­`�96262C}¨

4 ®�FI�x�}�V��8G�0yV��sI~�dµ®71Epo1'®!�%��|frtrty}­`«�h3ofuVw�FVs@o}~�~�s@o�­f¦>yz�#v�|`~�!ptrt~�~�s@o�­`yVo}�0FV|}rqpth3o\�²½ ¸£��~�s}¨¢®!rtuVsz°��pqw�dfg p{v�pqg �f��s��VhEg h3oIw�~�pto8��h3u@|frtyV�/g:s���hErXv#dfhTv#§Iptofu`¨�©ªo -���� 7 � ­ @��n�/É%­}iV�V�V�}¨

4 «�h3����6>8 FVhTyzo «�h3�#~�w�h3rS¨ �1$ "%8�� *7�=2� 6 (%8�� "%8 *�- (78� ���( �� $ �3� 50"78:���=",�:���2¨ «n¨âk:¨¤cXhE|f�fofhE�E­ÉIw�|�w�w�uIyz��wE­��96���6}¨

4 «kA62B>8 «£¨f«�s@pqu@h3rtszw�yVo}�8�+¨CknsM�fh�¥¼��sVp{�²¨0É��Ig'�`s@rqp{v£�Vh3��pqÇ`v3yzw�ptsVo�sV¥�v�s@g g�|fofp{v3yzw�ptsVo8�f��sVw�s�v�s@rt~·pºw�d¯pto�Ç}o}pºw�h ~�w#y�w�h>~��}y@v�hT~ |}~�ptofu� ; ;£~E¨ ©ªo � $ (+2X�.(�� ����� -��n� ��� �����#�� � ; �� ��­�VsVrt|fg h �V�T�@i�­M�}yVuVhT~£� �C�Bi�¨!@X���/É%­��c6(62B}¨

4 «/¦>c�f�38»®�¨V«�sV|`y��¬��yzo}pZ­z®�¨V¦\|}~�v#dfsVrtrS­Vyzo}�:c�¨zc�sV|fptrqpS¨f�0h3��g�|fw�y�w�pqs@o'��h3·��pqw�ptofunyVo}�:yzrtuVsV��pqw�dfg p{v�Vh3��pqÇ`v3yzw�ptsVo�¨+©ªo 5 O%-W 7 � � ­`©�i�i�iG�¢s@g:�}|�w�hE�xÉMs�v�pth�w��V­}�}yzu@hE~/�26(6 �S=I�2C}­Iiz�@�f�@¨

4 «��O1���B>8 F}¨ ®�¨²«��O1Es21Es�·!~�§MpS¨;GxpqhE��yV��v#dfpthE~£sz¥�yz�Ch3��pqs���p{v�r{yzo}uV|}yVuVhE~E¨:O 8c� (7$�� "> 6��,�=� /(�3(7$ 6�� �=����� �j� 6 23"� 6 (%8��x� /1�3(%$5�� 6 23"% O 89� (%$��'"� 6 2�� "78 *�� �j� 6 23"� 6 (%8`�2­+�E��I �@� �S=S6f­`�c6��>Bf¨

Ìlk � Ìnm

��� 2,6 � 8 2�� (���� � (��'"� "'698� ��� 6�� - (���� � "� 6 (%8�� � $ 6 � 23"� 6 (%8�� �325/!8=6��,�=��� �96

4 «É����>8 F}¨ ®�¨X«��,13s(13s�·!~�§Ip0yzo`� ©2¨�É�pqg sVoX¨8�¢d}yz�#yVv�w�h3��ph1Ey�w�pqs@o}~£sz¥¢rts�v3yVrqrt�\w�hT~�w#yz�frth¤r{yzofu@|}yzu@hE~E¨� 6 �,2,$ �� � & ">9/=���'"� 6 2��#­E=�Iâi�=I� ��i��M�@­}�c6 ���}¨

4 «/:<62C>8 «¢hE��o`yz�#�*«�sVptuVh3rtszw�yzo}����pqhE����h;:Ks@rq�Ch3�T¨ Å hE��pq¥¼�Mpqofu ~��M~�w�hEg¤~¢·pqw�d8pqofÇ}ofpqw�h��f|�w��h3uV|}rtyV�~�w#y�w�hQ~��}yVv3hE~E¨0©ªo -���� 7 � �z­f�@sVrt|fg h �3=Ii��QsV¥ 5 �'-W `­f�`yzuVhT~wC2C �6���­SF@|fofh¤�96262C}¨

4 ;n�76@��8 Å ¨ ;xpth3§@h3��wnyzo`�>k:¨C�s(13hEoI�Ch3��u}­`hE��pqw�s@��~E¨�� (�(+4 (��0�!$5"�23���2¨ :Ks@��r{�>É�v�pth3oIw�pºÇ`vV­�ÉMpqo}u@y�°�`s@��h@­²�c626I��¨

4 i¢É6(C�8 �+¨i ~�pq§�yVo}�8©2¨}ÉMpqg s@o�¨+¦>sM�fh3rtpqofu rtpºw�h3�#yzr%g sV���fdfp{~�g¤~��M��~�dI|(� h@¨/ �3� 6 ��$ (%�X� 0(7$ ��'­�>B`IâiVi@� �fiVi`��­f�c6(62C}¨

4âkn� �@�Vy�8 ®�¨ ��yzofs¶knsVg h31µyzo}�LF}¨ ° ix¨���pto�¨ ¸£o yKv�s@o���hEv�w�|f��h�sV¥x~�v#dfo}sIhE�`hErqhEo�­t¨K©ªo��5�� 7 � ­@�hEv�w�|f��hQ�!sVw�hE~/pto �¢sVg �f|�w�h3�xÉ�v3pqhEo}v�h@­`iz�@�V�}¨

4âkn� �@�z�8 ®�¨%��yVofs�knsVg hc1�yzo}�0F`¨ ° i!¨}� pqo�¨ÉMdM|��¤h�s@o��Cs@~�pqw�pt�VhQ��yz��pqh3w�pthE~sV¥+r{yzo}uV|}yVuVhE~E¨�� /1�3(>�$ �� 6 23"% - (>��� ���,$A 2,6 � 8 23��­`iV�V�@�f¨�w�s*yz�}�`hTyz�T¨

4âk;:<6>=28 �+¨�kns���h�¥¼��sVp{�*yVo}�¤�0¨(:¶sVrt�Ch3�T¨�® �}yV��w�ptyVr`yz�}�f��sIyVv#d:w�s'g sM�fh3r%v#dfhEv#§Mptofu}¨ O 89� (%$��'"� 6 (%8"%8 * - (�� � � "� 6 (%8}­��V�T��\Zi(f�I �V�I� �M�Ii>B}­��c6262=}¨

4 G!mTyV�@��8 �+¨ °��£¨`G!mEyVgµ¨OÉ�sVg hnv3sVg �frth�´�pqw��¤��hT~�|frqw�~¢¥¼s@��`s@rq�Mofs@g:p{yzr%�#y�w�pqs@o}yzrCh�´��f��hE~�~�ptsVo`~3¨�� -W @� /=�3(%$ �3 6 23"7 - (�� � � � $A 2 6 �,8 23�3­`i>6(6f­}iV�V�V�}¨

4 G�g CV�>8 F}¨?GxsV�%v���sz¥¬w8yVo}��F}¨Zg!rtrqg¤yzoX¨ O 8� $ (�*7�=2� 6 (%8 �(�"%� (��'"� " /1�3(%$�� ; #"%8 �7�="�� ���<;'"78 *25(>��� ��"> 6 (78}¨�®�f�fpt~�sVo�° :¶hE~�rqhE�V­²�c6(CV�}¨

4 @0;�k ' �@i�8���¨ @Xh3��s��V­7;'¨ ;£sVrtpqu@h31@­(F`¨@k�yz����ptuV|}hV­7;'¨@�mEg��V­Iyzo}�@F`¨ Å sV|}pqrtrqs@o�¨7� /=� � 9��,�32� 6 ?%� - ">� �T�D�� ��� ; $ �, #�3"D�,� � ��� ¨ ©ªof��p{yf­}iz�@�@if¨

4 @�É`62C�8 ;�¨ @�|fu@pqhc1�yzo`�\��d�¨²É�v#dfofsMhE�`hErqhEo�¨£c/dfh'��hEuV|fr{yz�x�Ipth3·�CsVptoIwxsVo �}y�°±�f��sMv3hE~�~�hT~3¨/©ªo �29/O 8� � - (78c��� - (78 2,�!$ $ �,8 23�0� /1�3(%$��"�3- � �?- � � 7 � ����­M�VsVrt|fg h��c=(B2B�sV¥�50�323 �!$ � � (� ����698- (>��� ���,$A 2,6 �,8 23��¨CÉM�f��pqofu@h3�T­²�c6(62Cf¨

4 �0h3����C>8 F}¨ °±È�¨%�0h3����sVwE¨ Å yz��ptm�w�m ��h:rtyVofu@yVuVhT~!h�w�sV�Cm3�#y�w�pqs@o}~E¨ � /=�5(7$ �3 6 23"% �- (>��� ���,$� 2,6 � 8 23��­�#It�c6�� ��if�E�f­`�c6 ��Cf¨4 ��pto�C>=28 F}¨ ° ix¨���pqoX¨�� "%$ 6 �3 6 ����(���� (7$�� "7 = #"78:���=",�:���2¨fÈfs@|fo}�fyzw�ptsVo}~+sV¥²�¢sVg �f|fw�h3��É�v3pqhEo}v�h@­f�c6(C>=`¨4 ��:<6 �98 FVhTyzo�° i���ptv'��pto6yVo}�K�0y@~�vEyzrH:¶h3ptrZ¨ �0sVrt�MofsVg p{yzrOv�rts@~�|f��h:yVo}� |}o}yzg'�fpqu@|fsV|`~£�}��s���|}v�wE¨

� /=�3(%$�� - (�� � � �� E�D�� �����2­}�V��Iq� �M�(6f­}�9626 �M¨4âÉ�v#d�6(6�8 ��d�¨¢É�v#d}ofsMh3�CsIhErqhEo�¨ ;£hEv3sVg �`sI~�yV�frth���h3u@|fr{yz� rtyVofuV|`yzuVhT~'yVo}� w�dfh>~�dM|��¤h\sV�Ch3�#y�w�sV�T¨

���n� -W �A�! 9 �t­EB �#Iâi>CV� ��i2C26f­}�c626(6f¨4âÉIw��,CI�D8 G�¨�ÉIw��#yz|f�}pqofu`¨²È�ptofpqw�hn~�hEg:ptuV��sV|}�}~0��yz��pqh3w�pthE~�sV¥%w�dfhx¥¼sV��g� � �K¨��!(%�!$ 8 "7 (�� � �!$5� "78 *

� �j� 6 �3*�� � ��9 $5"�­}�(B`Iâ�z� �6>=`­`�962C@�f¨

��� ��������9�

iV� ��� -��32������h� -���� �3">��������&)"%698 6 � $

4 c/dfm9Cf��8 ;�¨fc/dfmE��pth3oX¨��¢r{yV~�~�pºÇ`vEy�w�pqs@o*sz¥�Ç}ofpqw�hQg sVofs@pt�}~3I+w�d}hnr{yzo}uV|}yVuVh£yV�f�f��s@y@v#d�¨A� /1�3(7$ �� 6 23"% - (>��� ���,$A 2,6 �,8 23��­X�3=�It�c6I� �fiz�2C}­f�c6(Cf�@¨

4 c/dfsSC@iD8 : ¨Cc/dfs@g¤yV~E¨n�¢rty@~�~�pq¥¼�Iptofu*��h3u@|fr{yz�!hE�Vh3oIw#~!ptoK~��Ig'�`s@rqp{vQrtsVu@ptvV¨ �!(%�!$ 8 "7 (��?- (�� � � �,$"%8 * E�D�� ���] 2,6 � 8 25�3­`i@�I �2BV� �M� �z��­`�c6(C@i�¨

4 c�sV|}�}��8 c�¨�c�sV|fptrtpZ¨ �h3u@|fr{yz��g s���hEr�v#d}hEv#§Mpqo}u |}~�pqofu ·pt�fh3ofptofu w�hEv#dfo}pt�I|fhT~3¨ ©ªo � �� � � �="D�� (%$ 4�� /1(��C­}�@sVrt|fg h��z�:sz¥�� #�32� $ (78=6 2 � (� ��� 698[� -� C­`iz�@�f�@¨

4 cc�@i�8 �+¨@cXhT~�~�sVo:yzo}� ;'¨zc/dfm3��pqhEo�¨=;£ptyVg sVo}�f~OyV��h�¥¼s@��hE�Vh3�9I%w�d}h�ByV��pth�w����}yf¨f©ªo O 8E��,$ 8 "> 6 (78 "7 - (78c� �,$ �,8 23� (78 ��� 6 �7$5(%�X�E�<;H� � (7$ 6�9/���<;H� � (��'"� "?"%8 * 5�"%8 �7�="�� ���2­`iz�@�@i�¨

Ìlk � Ìnm

Unité de recherche INRIA LorraineLORIA, Technopôle de Nancy-Brabois - Campus scientifique

615, rue du Jardin Botanique - BP 101 - 54602 Villers-lès-Nancy Cedex (France)

Unité de recherche INRIA Futurs : Parc Club Orsay Université - ZAC des Vignes4, rue Jacques Monod - 91893 ORSAY Cedex (France)

Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu - 35042 Rennes Cedex (France)Unité de recherche INRIA Rhône-Alpes : 655, avenue de l’Europe - 38334 Montbonnot Saint-Ismier (France)

Unité de recherche INRIA Rocquencourt : Domaine de Voluceau - Rocquencourt - BP 105 - 78153 Le Chesnay Cedex (France)Unité de recherche INRIA Sophia Antipolis : 2004, route des Lucioles - BP 93 - 06902 Sophia Antipolis Cedex (France)

ÉditeurINRIA - Domaine de Voluceau - Rocquencourt, BP 105 - 78153 Le Chesnay Cedex (France)��������� ���� ���������� ��� ���

ISSN 0249-6399