modular formal specification of data and behaviour

20

Upload: tno

Post on 20-Nov-2023

0 views

Category:

Documents


0 download

TRANSCRIPT

������� ����� �� �� ����� �� ���� ���

���������

���� ��� �� ��� ���� �������� ����� �� �����

� ����� �� ������ �������� ��������� ���������� �� �������� ����� ��� � !� �"## $�� ���������� ��� %������&���

'&��()��������� ������ ������� *�������� ���������� �� %�'� ������ ��� +# #� "�## ,-� %�'� ��� ��� %������&���

���&�(���.����� /���&���� �� �&&�&��&�&��� ��0�

���� ��� 12� 3��# ,�� /�� ���� ��� %������&������'�� (�� �&&����

��������� 4� ������� & ���&� &����&�� �� ��� ���&� �����5�&6���� �� ��� ��7������� �� �8����� ������� *� ���� &����&��� ��67������� �� �&�& &�� �����5�� &� ���&��&��� �� ��&���� 9�7��������� 8��&���� &�� �����5�� &��������&��� 8� �����&� �� �� ����&������������ ��� ��� �� ��� ������ ��� �������� ����� �� ���&��8��&�� ��������� �&� 8� �����5�� &�� &�&����� �� ����&����� &����� ���)� �� �����&� ��������� �&� 8� ��8���� �� &� �&�� )&�� 9�67������� �&� 8� ��8���� 8� ����� ����� ��� �� ���'�������: &���&���&� ��&�)��. �������� ���� &����&�� �� ��������� &����������� �� ��� ������ ������ �0�� ��� ����� �� ������&��� 8����&����� ��� ��7������� �� & ���&��� �8����� ������ ���������5�&���� �� ���� &�&����� ��� ��� ������ ������� ����&��� ��������� �� ��� ��� ��&� �����5�&�����

�������� ���� ������������ ������������� �������� �������� �������������� ��� ���������� ������ ��� ������� ����� ������� ����� ��

� ����������

!�� ������������ ������������ �� ��� ���� ���� �������� �� ��� ����������� � �����" ������ ������ �� ��� ������������ ��������� �� � ���� �������� ��� ����������� ���� ���� ��� �������� #� �� ��$%���� ���� ������ ������� ���� ���� ��� �������� ���� ��� �������� �"������� �� ������ &'(� � )*+ ������ ��� ������ � � ������������ ������������ �� ��������� ,��� �������������� ��� ��� � �� ������� ���� ������

!�� ������������ ������������ ������ �� ������� ������� ���� ����� ��$�� �������� -������ ���� ��$ ��������� ����%�� �� ��� ��� �� ��������������� �� ���� ���� ������������ ������� ��������� ���������� ���� ����

�������� �� ������ ��� ������ � �������������� �%� ����������� �������������� �������� ����������

��� ���� ������� ��� ��� � �� ���� ���� ����� � ������ ������������ &'(+ ������ ��� ���� ����%��� � ������������ ����� �������� ������ !�� ���� ��������� � ��� ������������ ������� �������� � ���������$�� ���� � ��� �������� ������� ����� ��� �� ������� ���� ����������������� ��������� � ��� ������������� �%� ������������ ��� �� ������� �������� ��������� �� ��������� �� ������� ���� �������� ���� � �������������� ��� ������� �� ��%� ���� ������� �������� �� ���� �������

!�� ������������ � ���� ����� �� � �������% �� ����� � ������������ ������ ��� �� ��������� � �����" ������� �� � ������ ������ #� ������� ���� ��� ������� �� ���� �"��������� ������ �� ��� �� �"������ ������$������� ������� ������ .� ���� �"���������� &'/+ ���� �� 0������������������� ������1 &'2� ')+� ����� �� ����� �� ����� ������$����� �����������

�� � ��� �� ������� .� ����������� ������� ������ ��� ������ !�� ��������������� ��� ���� �� ��� ������� ���� ��� ���� ������� ����� ��� ������������ � �3���� �� ��� ����������� ������ ����� �������������� �� ��� ������� ��� ������ ������ ��� �� ���� ���� ����� ��� ������ ������ 4� ����������� � ����� ����������� ����� ��� ��%�� ���� �������������� 4 ��� � ��������� �� �� ������� �������� ��� ��� ��� ��� ��� � � �� ����� ��� �� ��� ������ ������ �� ��� ������ 4 ��� ���������� ��� ������� ��������� � ��� ������ #����� ��������� ����������� ������ ��� ������ �� � ������� ������������

���� ������� ���� �� �������� �� ���������� ������� �������� �� ������� ������ ���� �������� �������������� �� ��� ���������� �� ������ ��� ������ 4��������� �� ������ ��������� ������������ ������� ���� ����� ��������� �� ���������� ���������� -� ������ ����������� �� ���5� ���� ������� � ��� ��� ����������� ��� �� ���������� 4��������� �� ���� �� ����� ���� ��������� � ��� ������ #� ���� ����� �� �� �������� ���� ������������ ������ � ����� ������� ����� ����� �� ������������ �� ������� ���������������� ��� ������

����� ��� ����� !� ������� ���������� ��� ���������� ���� ��������� ��� ���� ������� �� ���� ������������� !� ���� ���� ��� ������������ � ��� �������� ���������� ���� � ������������ � ���������� !���� ���������� ���� ����� ���������� �� ��������� �� ������� ����� � ��� ������ �� �� �����������6���� ������������� �� �� ����� �� ��� ������ ����� !�� ���������� ��� ������������ �� ���7������� � ��� ������� ������� �� � ������ � ����� ����$���� ��� � ������ � ������ !�� ������������ �� � ��������� ��� ���������� ����� � ��� ��� ����� �������� ��� ������ ���

8������� ������������� 8' ��� 82 � ���� ��������� 4 8' ��� 82 ����������� �������� ������������ ��� ���5� ���� %��� ����� ���� �����5��"������� .� ���5� ����� � ������� ������������� ������� 8' ��� 82 -���������� 8' ��� 82 ��� ������������� � 4� ������������ �� 4 ��� ��� ������������� ��� ������� �� ������������ ������� 8' ��� 82 ��� �� �������� ����� ��� � 4

������� �� ������� 9�� ��� �� �� ������ � ���� �������% �� ��� ��$���������� ������������ � �������� ������� !� ������� ��� ���������������� ������ ����� ��� ���������� ������������� � ���� ��� ��������� :������������ ��� ������ ����� �� ������� �� ������ ���� ���������� ����������� ����� ����������� � ��� ������� ������ 8����������� �������������� ���������� �� �������� ���������

4 �������� ������ ���� ��� �� �� ����� �������� ��� �������������� � ��� ���������� � � ��������� �� � ���� ��� #� ����� �� ������� ����� ��� ������������ � ��3����� ���������� �� ���7������� .� ��% �� �������� ���� �� ����� ����������� �� ��

�� ���� �� ���� � ���� ������� 2 �� ����� ���������� � ������� �"���� !��������������� �� �� �������� � � ������� ���� 0������� )1 ��� � ������������� ���� 0������� /1 !�� ������� ���� �������� ��� ��������� � ����������� ��� ��� ������ �������������� #� ��� ������� ����� �� ������� ��������������� � ��� ������� �"����� ����� ��� ������� �������% ������� ;������� �� ��� ������� � � ������������ ������������ !�� ������ ��� ���$������� �� ������� (� �� ����� ��� ������ ��� ����� ���% ��� ���������

� ����� �������

�������� ������� ��� �������� ���� ������� ������� ��� ��������� <��$��������� ��� ��� ����������� ��� ����������� �������� ��� ��� ���������� ������� ���� �� �������� ������� ���� ��=���� ��� ������� ����� � �������������� !��� ������� �� ������������ �� � ���� � ��������� !�� ���$��� �������� ��� �������� ��%��� ������� �� ����%��� ��3������� ������� ������������ ����� ��� ��� �������� ������ ��� �� ��������� ��� �������� ������$���� �������� ����� ��� �� �"������ ��� ��� ������5� ��������� 4����������� ����� ������� ������ ���� ���������� �������� ������� ��� �������������� ��� ������� ������ �������

.� ��� ��������� � ������� �"���� ����� ��� �� ���� �� � ����������������� ������ !�� ������ ��������� ���� ��� ��3����� �������� ��� ������ �������� :�� ��������� �� �� ������� ���� ��� ������� ��� ������ ���������� ������� ���� ��� ������� �� ��� ������ 4���� ��� ��� � ��� � �������� ��������� ����� �� � ������� ���� ����� �� ����� ���������� ��� ��3������������� ����� ��� �����

!�� ������ ������������ ��������� ��� ����������� �� �������� ��� ���$��������� ���� ��� ��������� ��� � ������� ��������� # ���� ��������� �� ������ � ������� ��� �� � ����� �������� ��� ���� � � �"����� '> !�� ��$������ ��� ����� � ������ ������� .��� � �� ���� ���� �� ���� �� '> ��������� ������ ��� ��� ������ � ��� ������� :����� ��� �������� ��� ��������� �������� � ��� ������� ������

4�� ������������� � ���� ��� ������ �� ��������� ��� �� �������� ������������ �� ������ ��� ������ ���� � ������� ��������� ��� � ����������������� !�� �������� �������� ��� �������� �� �������������� ���� ���

System

active?: bool

toggle

dbwarn

DatabaseWarning

raise

withdraw

close

z: nat

x y

Counter

value: nat

increment

�� �� /���&����� �������� �� ����� ��&���

��� ����� � ��� ������������� ������� :����� ' ����� �� ���������� � ������������ ���� �������� <�������� ���� ����� ������� ����� �� ��� ���$���������� 0�%� � ��� ��1� ����������� ����� ����� �������� 0� � ���������� �����1 ���� ����������� ��� ��� ����������� ��� ������ 0� � �����������1 � ��� ������ ���� ��� ����������

.� ��� �������� ��� ��� ������������ ��� �� �������� �� ���������� ������� ��� �� ���������� .� ������ ���� ��� ��� ������������ �� ��� ���������������� �� ������� /

!�� ������� ��������� ��� �� �"����� ����� 9�� ��� ������� ������ � ����� ����������� ���� �� �� �������� !�� ��� ���� ��� �����$������ ������ ���������� �� � �������� �� ���� ������ �� �"������� �� � ������� ���� �����?

�0�������00������ � � ���1 � �����1�

����� � �� ���� �� �� ��� � �� ���� ��� � �� ������ #� �����? .�������� ����� ������� ��� ��"� ����� ����� �� �������� �� ������ � �������� �� �����

#� ��� ������� ���������� �� ���� �� �������� ���� ��� �3��� � ��� �����$���� ����� �� !��� �3��� �� � ����� ������� ���� ��� �� �"������� ��? �� ��� @�� �� A '� ������� ���� ��� ���� �� ��� ��"� ����� ����� ��� ������� ��������������� �� ��� !�� ���� � � �� ��� �������� ��������� �� �������� ���� ��������� !��� ��� �� �"������� �� � @ ���� ��� ���� �� 4� ��� ���������� �� ���� �� ����� � ��� ������������ ������� ��� ������� ��� ������������������ <��� ����������� �� ���� �� ����� � ���� � �����$����� ���������� �� � ��������� ���������? �0�������0���� � '>1 � ♦0����������11������ ♦ �� ���� �� ������ ���� ��� �������0�1 ����� ���� � ������� ���� ����� ������� ����� ����������

��� ����� � ����� ������

���������� �� !� �� " �� ���� �� #������ ������ ��� ������ ��� �� �������� � ��� ��� -������ � ��������� ��� ������� ��� ��� �������� ��� ����������� �� ��� �������������� ��� ����� � ���� ��������� �� ������ ����� 8�������� ������� � ��� ��� �������� ��� ��� ������ � ��� �������������0��� :����� 21 9� ��� ����� ����� � �� ����� ������� �� ������ �� �� ����� � ��� ��������� ���� � �� �� ��� � ��� ������������� !���� ���� ��� ��� � ������ � ���� ��������� ��� �� ������ �� ��� ���7���� ����� � ��� ���������� ��� ��� ������ � ��� ������������� 0��� :����� )1 B��7�������� �������� �� ����������� � � ��� ��������� ������ � ��� ��� ��������

#� ��� �"����� ��� �������� ��� ��� ���� �� !�� ���� ����� ������� ���������� �� ��� ������ �� ������� �� ���� � ��� �� ��� �� ���� �� ���7��$����� ���� ���� �� ��� ���� ��� 8�������� ������� !�� ������ ��� ����������������� ��� ������������� �� ������ C��� ���� �� ������� ����� �� ���� ��� �� ���� �� ��7�������� ���� ���� �� ��� ���� ��� ���7���� �����

������ � ������� !� ������� !�� ����� ���� �� �� ��������� ��� �������$����� � � ��������� �� ��� �������� ������ #� :����� / ���� ��������� ����������� !�� ���� ��"�� ��� ������ ��������� ��� ����� ��� ������ � ���������� !��� �"��� �� ��� �����"� � � ����� ����� 0��� ������ ����1 ��������� � ����� ���������� ��� ����� 0��� ������ ������1 !�� ��������������� �� ����� � ��� ���� ��"�� ��� ������ .� ���� �� �������� ���� �� �������� ��� ������ ��"�� ��� ������ :�� � ���� ����� ���� �� � �����"��� ���$��� ������? ������� �� � � � ��� ������� ������ �� ��� ���� �� ���� ��

� � � ��� �������� -�� ���� ���� ��� ��� ���� ��� ��� ���������� ���������� ��� ����� ���������� .� ���� � ������� ���� ��� ����� ��������� ���������� �� ��

!����� �� ��� ��������� !�� ������� �� �� ����� � �� �� � ����� ��� ������� ������ �� ��� ��� ������� ��� �� ����� � ����� ��� ��� ��� �������� ��� ���� ������ !�� ����� ������� �� � ����������� � ��� ����� ���$7�������� � � � Æ �� B���� ��� ����� ������� �� � ����������� � ��� �����

x

value: natz:nat

db

y

value: nat

system

active?: bool warn

�� � ��� ��&�� &� ����&�����&� �&�����&� ������

system

dbx y

increment increment

raise

withdraw

close

warn

toggle

�� �� ��� ������ &� ����&�����&� ���'���� ����

�� �� �������� �����5�&���� �� & �&� �� �������

��7�������� � � ��� C��� ���� ������ ��������� � ��� ���� ��������� ����� �������������� ������� ���� ���� ��3����� ����� ��� ����� ��������

D���� ����� ����� �� ��� ��������� ��� ������������ �� ���� ���� ������� ������ ��� ������E -������ ��� ������������ � � ���������� ��� ����� ����������� �� ��� ���� ���� ������� ��� ������������ �� ��� ��������� ����� ��� ���7������� � ��� ������������ �� � ���������� #� �������� ������ �� �� ������� ���� ��� ������������ � ������ ���������� ��� ����������������

� � ��������� ��� ����������� ��������

#� ��� ��������� � ������������ ������������ �� �� �������� � ��� ����� !������ ����� ��������� �� ���� �������� ������ ������� ���� ������� ��� ����������� �������������� ��� ��� ����� ��������� �������� !���� �������� ���������� �� ��� ����� ���� ���� ��� �� ���� �� ���� ������ ������������ ������������� !�� ������ ���� �������� � ��� ������ ������� ������������ :�� ���������� �"���� ���� ���� �� ��������� �� ������� /

��� ��� �������� ��� ������� ������ ���

�� 0�������� ����������� ������ &'2� ')+1 �� � ������������ ������� ��� ����� ����%��� ����� �� ����� ������$����� ������� ����� �� ����� ��� ����$������� �������% ��� �� ����� �"������� 4 ������������ ��� �� ������

��� ���� ����%�� �� ��� ������� �������� �� ���� ����% ���������� -����������� ���� ����% ����������� ����� �������� ��� �� ������ ����� ��� ���� ����%�� .��� ������� � �������� �� ������������� ��� ������� ��� �� �������� #� ��������� ��� ���� ������� ����� ���� ��� ����� �� ������ ��"� �� ��� �������� ���� �������� ���������� �� ������� ������� �������������������

�� �����$� ���� � ��� �� �� �"!� 4 ��$������������ �������� � � ��������� ��������� ���� ���������� � ������ � ���� ��� ������� ����������� ����������� 4 ������ ��� ������ �� � ������ � 0 ����1 ���������� �� �������� ����� 4 ������ ��� �� �������� �� ����� ��������� ����� ��%�� ������������� ������� 4 ������ � �������� ��� ���������� �������� ���� ��������� !��� ������ �������� ����� ������ ����� ������ � � ������ �������0���1� ��� ������� 0����1 ��� ������� 0����1� ���� ����� ���� ��������� !�� ������ ��������� ��� ������� �� ��� ��� ��� 0���7�������� ��������������7������� ��� ��������1

.� ��������� ���� � ��� ����� ��������� � �� :�� � � �"�������� ���� �� �� &')+ :������� ����� ��� ������� �� �� ����������������� ����� ��$����� ��� �������� � �������� ������� ������ ��� ��� ������� :����������� �� ������� �� ����� ��������� �� �� �� !"� #$�����������% � �&��$������ ��� ��� ���� 7��� ��������� F��������� ��� �� ����� �� �� � � '�����#$����%� ()*+�+ #������%� �&��$

G����� ����� ������ 8�������� ��������� ����� ��� ��3����� ���� �������� 4� �"���� ��? �, ������-���� ,� !���� � ���� ���� ��� ��������%� . � #, ���/� -��0 ,% 4 ������ ��������� ������������ ��� �� ���� ��H������I ��� ���� � ��� � ��� ���� .� ���� �����? 1 � . 2*�3 �- ��

4� !�� ���� ��� �� �������� �� ��� �����6 �� ���� �#1%�/ ��� -#1%�4

.� �� ��� ��� �������� ��������� ��� �������� !����� �"����� � �������� ��������� ��� ���� ��� ���������� ����� !�� �����" �� �� ��$�������� ���� 4� �"���� � � ������� �� ������� 5 ()*+�+ #$����% �

�&��$�� ����� ������� ��� �������� � ������ ����� � ������ �������

%������ ��� ����� ��� 4� �� �"���� �� ���� � ������ �� � � ��� ���� ��������������� �� ���������� ���� ��������� �������� ����� �� �� ��� ����������� ���� �� 0:����� ;1 #� �� ��������� �� ��� �� ��������6.�� �� ����������� �� ������

!�� ������ ����7.��� �� ������������� �� � ����� ���� "�$�� !������ � ��� ������ �� �������� �� !(8*� ��� (�" !�� ���� ������ ����������� ����������� !��� ���� ������� ���������� ���� �"������� ��������� ��������� ��������� �� ���������� C��� ���� ���������� �� ����� !�� ������� ����������� ��� ���� �� �� �� ��� ���� � ��� ������ ���$����� :�� ��������� ��� �� ��� ���� ��"�$������������"�$���������� !�� ������ ��� �� ���� �� �������� �� � � ��� ������ ��������� �� ��$������� �� ������ ���������� ���� ������ �������� �� ������? * 9���*�8

����7.��������������

������������ ��������������

�����

�� ��� ��� �

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

���#�$#�$����� % ��� �#�$ &

'#�� $#�$����� % �#�$ ' #�$ &

��#�� $#�$����� % �#�$ �� #�$ &

%"#�� $#�$����� % �#�$ %" #�$

�� ���������

�� �� -����� 8����&� ���������� �� ������&���

��� ������ ������� ����� �� ���

:����� ( �������� � ������ �� ����� ������� ���� 0� &'>+1 �� �� !������ � ������ ��� ������ ��� ���������� � ���� ������ 4 ��� �� �������� ���� ������� �������� � ������� � ������ ��� ������ 4 ������� ����� �� ���������� �� ���� 4 ��� ���� ������� ������� ������������ �� ����� ����������� � ������� ���� ������

&����� ������ � .� ���� ����� ������ ������� �"�������� ��� ��� ����� ��������� �� ������� �� ������� �� �� ����� ����������� ���� �� ��� ����� � ��� ��� 4 ��������� �� ����� ����������� �� � ������ ������� �� ���������������� 0���� �� ����� �� !J4 &*+1?

Transition(tp)

e2e0 e1

Occurs(ep)

Holds(sp)

s1s0 s2

'���� � ���� ���� !���� ��� � ��� �� ������� ���� �� ��������� ����������7.��� � :����� ; ������������ �� ����

��� � ���� ����<��� ��������� ��� �� ������ ��������� �� ����� ������������ ��������� ��2�:+#.% ���� � � ���� � . ���� �� � ��Æ"�� � ������ 0�;<<� �� ������ �� ��� ������1 (=(��>���: �� ������ �� ��� ��� � ��2�:+ !('��(#.�1% �� �� �� ���� ��? . ������� �� ��� 1 0��? . ���� �������11 �()�#.% ���� � � ���� �� ��� ��"� ������ 0� � �� ��� ��Æ" ���������� ������� ��� ���� ������ � ��� ���1

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

!��� ������� �"����� ��� �� ��� ��������� ������� ���� 4� �"������������ �� ������� 2 '� �� ����������� ��� ��� ������ ��� ��� ������ � ����������� ��� ��� ���� ������ ��� ���� ������ � ��� ������� ������

(�������)��* +,(�(���-��(� ������������

�����

�.�� ���� % ��(!"/0(�(��,(�(���-��(��-��(/��

�1� ���� % �.�!"�����

�� � ��� �1 & �� ��� �.� & �2�3� ��� ��(

0�� ��� ,(�(�!"����� 4 � 0(�(� ���� +�(�

��� ��� �-��(!"����� 4 �� �-��( ���� +�(�

(�� ��� ,(�(��,(�(�!"����� 4 � (���0 ( �� ���� +�(�

����0#0�$#�$����� % 0�#0(�(�#�#5$$$

�++.�0#��$#�$����� % ��#�-��(#�#5$$$

����0 ( ��#(�$#�$ ����� % (�#0(�(�#�#5$$�0(�(�#�#6$$$

�7������� ����������.��

�18��,#�$#�$����� % 9���11 2� �#0.:: ;#��2$$

�����<�11�#�$��1 % ��� �18��,#��� �$

��9���#�� $#�$�����

% 9���11 2� #0.:: ;#��2$$ %" ���,�, 3 � 3=2 ' �#0.:: ;#��3$$

����#�$#�$����� % �#0.:: ;#��6$$

�� (�������)��* +

�� �� ��5������ �� ����&� �����&� �� �� �� �0�

���.������)0(�(��1�+)0(�(�� ����� 0�������)0(�(�!"1�+)0(�(���

���)�-��(�1�+)�-��(� ����� �����1�+)�-��(!"���)�-��(��

� ������

�����

�7������� (�������)��* +���)0(�(�����)�-��(�

*06�*0�� ��� ���)0(�(� & *�� ��� ���)�-��( & ��� ��� 1�+)�-��(

�0�� ��� 1�+)0(�(�!"����� 4 � ��+�� 0(�(� ���� +�(�

���� ��� 1�+)�-��(!"����� 4 � ��+�� �-��( ���� +�(�

�(�� ��� 1�+)0(�(��1�+)0(�(�!"����� 4 � ��+�� (���0 ( �� ���� +�(�

��1,#�0�$��1 % ����0#�0� � 0���$

����,�����#�(�$��1

% ����0 ( ��#1�7�� #*06�*0�$� �(�#0���#*06$�0���#*0�$$$

�>><�,#���$��1

% �++.�0#1�7�� *�� ���,�, ��� *� % ����#��$ ' ���#��$$

�� ���.���

�� �� $���&���&���� �� �����&� �� ��

.� ������ � ����� ������� ��� ��� ���� ������ � ��� ������ �� ��� ��������� � ��� ���������6 ��� �� ����� ������� ��� ��� ������ �� ����������

#� :����� K �� ������� � �� ������ ���� ����� ������� ���� � �������������������� !�� ���� ��� ��� ������ ��� ������� ��� ��� ����� ��� ������������� ��� ���������� � ���� ������ 4 ������ ��� �� �� ����������� ����� ���� � ���� ������ ��� ������� �� �� ������ ��$.���� ��� 0:����� (1���� ���������� 8�� +���� ��� 8�� (����

!�� ������ ������ ��� �������� � ��� ������ ������� �"�������� ������� ����� ����������� ��� ����� ����������� �� ��� ���������� ���������� ������� !�� ���������� �� ��� ��� ������ ��� ������ �� ���� ����������� ��$��� ��� ����� ��� ����� �������� !�� �������� �� ���� ��� ����� ��������������� ��� ���������� �� ��� ���� %���� ������ ��� ������

:�� ������ ���� �� ����� ����? ��� ��� ����� ��������� 0��.1 ��� �� ���$����� ���� ��� ����� ��� 0�$�.1� ������� � ���� ����� ��������� :�� ���������������� ��� ��������� �� ������ :�� ������ ��� ��������� �� ��3������ ��$����� ��� ����� ������� �� ����� �� ��� ����� ��������� 4 ��� ����� ���������0��.1 ������� � ��� � ��� ������� ����������� ��� ��� ����� ��� 0�$�.1 ����� ���� ����� ���� �������� ������

��" ������� �� ��#�������� �����$������

!�� ������ ������ 3��"+� ����+*�*�� ��� �??>�+� �������� ���� ��� ���$���� ��������� ��2�:+� !('��(� �()� ��� ��� ������ ����������� ������ �"����� ���� ������������ �������� �� ������� ���� ������� �������� ��$����� ���� � ��� 4������������ � ���� �������� ��� ������ ���� !����������������� ����� ��� �������� �� �"����� ��� ������������ �� � ����������

,���� � ����� ��������� ��.� �� ��� ���� �� !(?� (+ ����� � �� ����������� �� ��� ������� ���������� ����� ��������� ��. �� � 9�(?��"*�*�� � �������� ��������� ��.� � ��. ��� ������ �� ���������� ����� ��. �� ���� !������� ��������� ��. ��� ��� (''(?� ��������� �� ��� ���������� ��������� ��.�� �������� �� ����� ���� �������� ��. ������� ��. ���� !��� ����� ��� ������ ���������� �� ��?

��>�7�,#�0�$��1 % ����#��1,#�0�$$ ' ��� ��1,#�0�$

���>�������#�����0�$��1 % �18��, #�>><�,#���$ %" ��1,#�0�$$

�99�>�#�����(�$��1 % �18��, #�>><�,#���$ %" ����,�����#�(�$$

:����� �� ��������� ���� ����� �������� #� ����� �� ��� ������ �%��??>�+#� �� - % ��� 3��"+#.������ �� ���� %� �� � � ��� ��������������� �� ��������� �� ��� ����� ��� ����� ����������� 7��� �� ��������� ��� :����� ;� ����7.������ ������ ��� ����7.������ ������

.� ��� ����� �� ��������� ���������� ��� ������ �� ����� ���������� !�� ��������� �� ���� �� ��� ��� ����� � � �??>�+#����%� ������� � ����������� �??>�+#�� !"� ����������% #� �� ��� ���������� �� �������� ����?

��6� ���� ��� 1�+)�-��(

�-��(�����#��6$#���$����� % ��6%���

>�����,��� �-��(�����

#� ����� �� ����� � ���� ��� ������������ � ��� ����� �����5� ������� ����������� ��� ������������ �������#% �� ��� ���������� ��������� �� !"�

�@��7� #�@%�#�7% #� ����� �� ����� � ���� � � ��� ����� ����� ��� ��������� ��� ��������$��������� �� ��� �����? (''(?�#������������#��%% C��� ���� ��� ���������� �����7.��� ��� ��� �� �� ������

� ������ �������� �� � � ����� �������

.� ��� ���� ��� �� �"����� ��� ������������ � ��� ������� �"���� 0���$���� 21 �� ��� ����� ��� �������% �������� �� ������� ) ���� �������������� ���� �� ����� �� ��������? 9�� �� ������� ��� ���� ����� ��� �� ���������� ���� �� ���������� ��� �� ��"����� ��� ������� ��� ��� � ������ !������ ���� ����� � ���� �������� ��� ��� � ������ ���� ����� � ��� ���������� !�� ���� �� ��������� ����� ��� ������������ �� ����� �� � ������� ���� �����

"�� ����� �� ������

:����� * ����� ��� ����� ������������ � ��� ������� ��� �������� ������������ �� !�� ������ � ��� ����� ���������� ��� ������ ��������� ��� ���:������ ' ��� 2 !�� ����� � � ��������� �� ����� �� � ������� ���� ���� �� ��� ����� �������� � ��� ��������� 0���;�� �1� ��� �� ��� ������ � ��� ������������� 0�� -1 !�� ���������� ��� ������ �� ���������� �� ���������� !�� ���� ����%�� ���� ���� �������� �� �� ����? ������� ���� ������� � ��������� ��� ����������� �� ����� ����� ��� ��������� �� ���������� �� �� �������� C��� ���� ��� ��������� ������ ���� ���;�#�#�%% ��

+�.�(��)0(�(�� ������

�����

+�.�(��)0(�(�� ���� % / -��.�� ��( /�

�� +�.�(��)0(�(�

��(���0�)0(�(�� ������

�����

�7������� +�.�(��)0(�(�

0(�(�)-��0� ���� % / ;�?� +�.�(��)0(�(�� @ � ��( /�

��(���0�) �-#��0(�(�)-��0$����� %

# @#�$ % -��.�#;#�$$ ! -��.�#?#�$$ $

��(���0�)0(�(�� ���� % A �� 0(�(�)-��0 B ��(���0�) �-#�$ C

�� ��(���0�)0(�(�

�� �� �&�& ���) �� ������ &�� �&�&8&�� �� �0�

���;�#-#�%% !�� ����� �� ������ �� ��� ������� ���������� � ����� ����������� ����� � ��� ��������� !�� ��������� �� ���� ������ ��� ����� ���� ������������ ��� �"����� �� ��� ���� ����%��

4��� �� ���� ��������� �� ���� � ���� �� ��� ������ !�� ���7���� �������� �� �������� �� �� �� ��� "����:9( ��������� :����� L ����� ��� �������������� � ��� �������� ��� ������ ���������� !�� ������������ � ������������ ��� ��� ��� ������ � ��� ��������� 0������1� ��� ��� ��7������� � ��� ������ � ������������� 0��� �1 C��� ���� �� ��� ����������? ����������� ��� �����"�� � ��� ������ ��� �������� �� ��� ������ � ��� ��������� �� �������������� �� ��� ������ � ��� �������� ������ ������ ��� �� ��������������� A���#����% ��� ��#-#���$���%% G���������� ��� ��� ����������� �� �� � ���� ��-���$ ������������ B���������� �� ��� ��� �� ���� ����� ������������ !�� ������ � ��� ����� ���������� ��� �������� ���������0��� :������ ' ��� )1

��(���0�)�-��(� �������

�����

�7������� +�.�(��)�-��(

;#�-�+�.�(��)�-��($�;D

?#�-�+�.�(��)�-��($�?D

�� ��(���0�)�-��(

0?0(��)�-��(� �������

�����

�7������� ��(���0�)�-��(� E��� �*)�-��(

(�**��� (�**��D

��#�-���(���0�)�-��($� ��D

E���#�-�E��� �*)�-��($� E���D

�� 0?0(��)�-��(

�� �� ����� �����5�&���� �� ����� �� �0�

"�� ��#�������� �� %���������

.� ��� ������� ��� ������������ �� ��� ��������� � ��� ������� �����$����� �� ����� :�� ��� ������� ��� ��������� �� ���� ������� ���������������� �������� ��� ��� �������� ����� :�� ��� ����� ���������� �� 7��� ������� ������� ������������� ������� ������� ��� ����������� ������

������ ���������� G��� ���� �� ����������� ��� ���� ������ ��� ������� ��� �������� ������� ��� ��� ��� ������ ��� ������ � � ��������� :����� ������������ � � ���������� ��� ���� ������ ��� ������ ��� ��%���� !���� ���� �� ��� ���� �� ���������� �� ��� ������ �� ��������� 4��� �������� ��� ����� �������� ��� ����� �� � ��������� �� ���� ������ :����� '>�������� ��� ������ �;���� ��B���;� #� ����� �� ��� ��� ���������� ��7��� ���������� ��� ����� ��� ����� ���������� �� ��� ������� ���� �� ��

+�.�(��)��F�- �.�

#�7������� +�.�(��)0(�(�� +�.�(��)�-��($

,(�(�� ����� 0����,(�(�!"+�.�(��)0(�(���

�-��(� ����� �����+�.�(��)�-��(!"�-��(�

�� ������

�����

�7������� ���.���,(�(��+�.�(��)0(�(��0�����-��(�+�.�(��)�-��(������

�+�����()(���0 ( ��#+6�+��+�.�(��)0(�(�$����� %

# -��.�#+�$ % -��.�#+6$ G 6 $

�� . �����(0��1 % �99�>�# �+�����(� �+�����()(���0 ( ��$

�� +�.�(��)��F�- �.�

�� ��� 0��) �� ��� 8��&���� �� ��� ������

�������� 4� �� ���� �� ��� ������ ������� ����� ���� ������ �� ������������ ��� ������� ����� ����������

.� ��� ��� ����� � ��� ������������ �� ������� ���� !�� ��� �������$���� �� ��� �������� �� ���� ��� ����� ���$��� ��� ���� ��� (''(?�

��������� �� ��� ���������� ��������� ���$��� �������� #� �� ���� �� �������� �������� �������

( � � �� ���������� !�� �������� ��������� ��� �� ������������ �� ������ ��������� �� ��� ������������ ��� ����� ��� ���7������� � ��� ��$���������� � ��� ������������� #� �������� �� ���� ����� � ���� ����� �� ������� ������ ������� ��� �������������� � � ��� ���������� � �� ����� �� ��������������� �����5� ������ ��� ����� � ��� � ��� ����� ������������� !���� ������������ ��� �� ���� �� ��� ������ � :����� ''

#� ����� �� ���7��� ��� ������������ � ��� ��� �������������� �� ������ ������ ��� ����� �� ����� ���������� ���� ������ �� ��� ���� ������ !������ �� �������������� ������� ���� ��� �������� ���� ��3����� ����� �����$����� #� ����� �� ����������� ���� ���� ��� �� ���� ��� ��� �������� ��������� ����� �� ��� 66��3(��: � 66 ��������� � ��� ����� ��� ������� �����������

8������� ��� ������������ � � ��� �������� #� ����� �� �� �� �� ��� ������ ��� �������� ��� ��� ���� ������ �� ���� �� ��� �$�. !�� ���7������0������ ��������1 � ���� ����� ��� ����� � ������� � ������ ��� ��������� ����� ������� ����� ������� �� � � �$�. �������� �� ����� � ������� � ���� ����� �� �� ��� �������� ���������� ����� ��� ��7������ 0�����������1 ����� ���� ������� ��� ����� �� � ���� ����� �� �$�. �� ��� ������� �������� �� �$�. � �

C��� ���� ��� ������������ �� ����������� � ��� ����� ����� ��������������� �� ������������ � ��� �������� #� �� ��� ����������� � ��� ������������ � ��� �������� ��������� �� ��� ������ !��� �� �������� �� ������� ������������ ��������

��(���0�)��F�- �.�

#�7������� ��(���0�)0(�(�� ��(���0�)�-��($

,(�(�� ����� 0����,(�(�!"��(���0�)0(�(���

�-��(� ����� �������(���0�)�-��(!"�-��(�

�� ������

�����

�7������� ���.���,(�(����(���0�)0(�(��0�����-��(���(���0�)�-��(������

;� ������ % +�.�(��)��F�- �.�,(�(��; � 0���� �-��(� ���� � ;�

?� ������ % +�.�(��)��F�- �.�,(�(��? � 0���� �-��(� ���� � ?�

�� . �����(0��1 %

;H�� . �����(0

' ?H�� . �����(0

' �99�>�#;D�+��0(��(#?$$

' �99�>�#?D�+��0(��(#;$$

�� ��(���0�)��F�- �.�

�� ��� 0��) �� ��� 8��&���� �� ��� �&�&8&��

) ����� ���������� #� ������� 2� �� ������ ���� ��� ���� ������ ��� ������������ ���� � ���� �� A�B���A ����� �������� ��� ���� �� A�B���A������ ��� �� ���������� �� � ���� ����� :����� ��� ������ ���� ��� ��� ���� ����� !��� ��� �� �������� �� �� �� ����?

�� . �����(0� �1 %

�18��,#�>><�,#�� 0�$ %"

����#��9���#�>><�,#E (F���E$ �� �>><�,#+��0�$� �>><�,#�� 0�$$$$

' �18��,#�>><�,#E (F���E$ �� �>><�,#+��0�$ %"

����#��9���#�>><�,#�� 0�$� �>><�,#E (F���E$ �� �>><�,#+��0�$$$$

' ��9���#�>><�,#�� 0�$��>><�,#E (F���E$ �� �>><�,#+��0�$$

!����� ���������� :����� ��� ������������ �� ��� ������ ��������� �������� ������������ �� ��� ���� ������5� ��������� :����� �� ����� � ������������ ����� ��� ���������� � ��� ������� ��� �� ����� ���� �� �������� �� ���������� ���������?

(�**��)(���0 ( ��#06�0��0?0(��)0(�(�$����� %

# 0� % 06 8��� �+( -�D �% ��� �+( -�D#06$� $

���*��D#0�0?0(��)0(�(�$����� % @#��#0$$"65

!�� ������������ ��� �������� �� :����� '2 :����� ��� �3��� � � ������ �������� ��� ������ ���� � ���� �� ������ !��� ��� ������������ ���������� ������� ��������� ��� ��� �������� �� �������� 4 ������� ��� �������� ��� � ���� ����� ��� �� ��� ��� �� ��������� ���� ����� �� �������� !��� ��� ������ ���� �������� ��� ������ �� ��������� �� �������������� #� ��� ��"� ������������ �� ����� ���� �������� ��� ��������� ��$����� ���������� � ������� ��� �� ������ �������� :����� �� �������������� �������� ������������� ��� ��� ������������ � ��� ������������� ������� ��� ��� ��������� � ������������� ��� ��� ����� ���

�� . �����(0��1 %

�99�>�#(�**���(�**��)(���0 ( ��$

' ��1,#��� �+( -�D$

' ���>�������#E���#�� 0�$��+( -�D$

' ���>�������#E���#E (F���E$���� ���*��D$

' �18��,#��>�7�,#���*��D$ %" �����<�11�#�>><�,#E���#�� 0�$$$$

' ��H�� . �����(0

' E���H�� . �����(0

' �99�>�#E���D�+��0(��(#��$$

' �99�>�#E���D�+��0(��(#�+( -�D$$

' �99�>�#��D�+��0(��(#�+( -�D$$

�� � � ���&���� �����5�&���� �� ��� �����

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

!�� ������ ��� ���� ���� ������� ������� �� ��� ���� ������������ � ������� / #� �� ��� ��� � ��� ������� �� ��� ���� ������� :���� ��������������� � ������� �������� �� ��� ������������ !���� ���� � ��� ������� ����� �� -������ ��� ������������ ��� �������� ����������� ��� �� �"��������� ��������� �� ����� ���� �� ��� ���� ���� ��� ������������ ���� �� �����$������� .� �� ������� ��� ��3����� ����%� �� ��� ����� .� ��� ������� ��������� � ���������� �� ��� ���� � � ��� �������� �� ��

&�� '������(� ��� �! ����� ��������� �� )��������

!�� ���� ����% �� ��%�� ��� &'/+ !�� ������������ �������� ����������� ������ � ������ � ����� ����������� !�� �������� ������� �� ���� ��� ����������� ���� ��� ������������ �� ��� ����� ����������� �� �� �� ��� ���������� #� ���������� � ��� ������� ����� ��� ������������ � ���� �� ������������� �� ��� ��������� ���������� � @ ���� �� � ���� �� !�� ���7������� ���� ���� ����% ������� ���� �� ������� !��� ��� ������� ��� ������������ (''(?� �� ��� ������������ G��� ���� ������ ��� ��������� ������������ �������� �� ��� ����������

�06��0�� ��� ��(���0�)0(�(� & 006�00�� ��� 0?0(��)0(�(�

>��I�>�<�� 9���11 �06� ���,�, �0�� �+�����()(���0 ( ��#;#�06$�;#�0�$$

>��I�>�<�� 9���11 �06� ���,�, �0�� �+�����()(���0 ( ��#?#�06$�?#�0�$$

>��I�>�<�� 9���11 006� ���,�, 00�� (�**��)(���0 ( ��#006�00�$

!�� ���� ��� ����� ��� �� ������ �������� ������� !�� ������ ���� ��� :�� �#��7% �� ��� ��� ������ �#��@%�@ !�� ���� ����%�� ���� ����� ������� ������ ������ 0��� ����������� ��� ����� ��� ��������� ���� ��� ���� ���������� ��� ���� ��1?

!6� @#�06$ "% 5

B!!!!!!!

A6C @#�06$ ! 6 "% 5

.� ���� � ������ �� ��� ������� ������������E # �0��'1 @ > ��� ��� ���� � � �� ������������ ���� %������ ��� ��������� � @ ���� ������� �� ���� ��%�� ��������� ����� �� �������� ������� � �� � ������ ������ !�� ��������������� �� ��������� �� ������ ���� 8�������� ������ �"����� ����� ����� ���������� ��� �������� ������� � ��� � �� ���������� �� ���� ��� ������������������ ����� � @ ���0���� ��� ���� ��1

&�� �������� ���!���� ��� ��#��������

#� �� ��� ������� �� ������� ��� ������������ ������� � ������ � ����������� ��������� ��������� ,���� � ��������� �� ��� �� ����� ������ ���������� ������������ �������� ������ �� �� ���� �� C��� ���� � ���� ���������������� � ������������� ���� �� � ���� ���� ��� ������� ������������ �������������� �� ��� ����� ���� ���� �� ��� �������� ��� ����� ���7������� 9���� �������������� �� ��� ������������ ��� �� ���� �� ���� ��� ��� 0����������� �7 ����1 �������� �� ���� ��������� ������� �� ��� ��������� ���$�������� �� �� ����� ���������

!� ����� ���� ������������ �� ���� H����I ��� ������� �� ��� ����� ������ ������ � ��� ���� ������ ��� ������ ���� ��� ������ ��� ������ � ��������� �������� �� ��� �������� ������� !�� ����� ��� ����� �������� ��������������� ���� ��� �������� ������� C��� ���� ��� ������������� ��� ��������� �� �������� �� ������ ����

�7������� 0?0(��)0(�(�� 0?0(��)�-��(

�7������� 0?0(��)��F�- �.�0?0(��)0(�(�� ��0?0(��)�-��(� ��

C�"� �� ����� ��� ������� $�C� A���� ������ ����� ������ � ��� ������������� � ��� � ��� � ������ ����� �� ����� � �����$�����$������ �� ���������� �� ����� ���� �� ��� �� �� ��� ����� � � ��� - ��� ��� �� � ����� ������������ � �� ��� �� �� � ��� ��� ����� �� � .� ��������� � ���� ����� � �

E0� E��� �*)0(�(�

��3�)E����#�� �#2B "%2$��$�/0(�(��0?0(��)0(�(���-��(�0?0(��)�-��(/� %

#/ 0(�(� �% #/ �+( -�D �% ��

�� �% #/ ;�% #/ -��.� �% /$� ?�% #/ -��.� �% 2 /$� @�% !2 /$�

E��� �% E0 /$�

�-��( �% � /$

D���� ���� �������� �� ��� ����� ��� ������� ��� �@ #� ������ ���� ������� ��� ������� ���� '> !��� ��� ������ ������� �6���$��� ��� ����������� ����� �� �� ������� ������ � ������$������ 0��� �� � ��������� ������� �� ��������� 1

�6� �.� % ���#��3�)E����#9�1,��65�5�(�**��$�

���#��3�)E����#��<��65�5���#;# �+�����($$$�

���#��3�)E����#��<��66�5�E���#�� 0�$$�

1�7�� � ��3�)E����#�-��D# $�66�5�(�**��$$$$

>��I�>�<�� 0?0(��)��F�- �.�H�� . �����(0#�6$

!�� ���7������ �� ���� ���� ��� �������� � ������������ �� ��� ������� �������� ������ �-���$ ��B���;� !�� ������� �� ������ �� �� �������� �������0��� ������� ; )1 !��� ����� ���� ���� �������� �� ����� �� ��� ������������ ����� ��� ������� ������������ ��� ��� �������������

#� ��� ��"� ��������� ������� � �� ��������� ������������ �� �� ��� �$���������� �� ��� ��� ��� ���� �� � !�� ������� ��������� �� �������� �3 ��������� ���� �� ���� �� �� �� ��� ��������� �� ����� ��������

����.� % 1�7�� � ��3�)E����#9�1,�� �5���#;# �+�����($$$

>��I�>�<�� 0?0(��)��F�- �.�H�� . �����(0#��$

�������� ������������ ���� ���7������ ������ �� �� ��� B������� �� ��� ��$������ ��������� ������� ��� ������������ ��� ���������� �������� ������������%� 4 ��� '> ����������� ������ ������� ����� ��� � ������� ���� �������� ��������6 ���� ������� ����� ��� ������ ������� ��� ������� ���$������ �� �3 !��� ����� ��� �� �������� �� ������ ���� !�� ���� ������ ���� ���%�� ��� � ��� ������������ ��

�18��,#��>�7�,#���*��D$ ' �+( -�D %" �����<�11�#�>><�,#E���#�� 0�$$$$

4 ��� ���� �"���������� �� ���� ��� ������ G)� ����� �� � H���I�������� #�� ����� ����� �� ��� ����������� �� !��� �� ��� �� �������� ���� ��� ������� ������� � ������� �� ������ ������� ������

�J��.� % ���#��3�)E����#9�1,��5�5�(�**��$�

���#��3�)E����#��<��5�5�E���#�� 0�$$�

1�7�� � ��3�)E����#�-��D# $�5�5�(�**��$$$

>��I�>�<�� 0?0(��)��F�- �.�H�� . �����(0#�J$

G) ��� ����� �� �� �� ����� � � ������������ !��� ��������� ���� ��������������� �� ��� ������� .������� ����� �� ������ � ��� ��� � ���� �� ��� ��� ��� ��������� �� ��������� .� ����� �� ����� � ��� H��� � I ����

&�� *����� �! +���������

!�� �������� ��� ������ ����$����������� �� �� !�� 8�*�"$���������� ���� �� ����� � ��� ����������� ����� ���������� ��� �%���������� � ���������� !��� ���� ��� ��% � ��� ���%� ���������� � �� ������� �� ���$���� ����� ��� ����%��� ����� ���������� ���� !��� ���������� ��� �������� � �� � ���%� ��� �� ��� ��%�� ��� ���� � ���� ������ 4 ��� ���������� �� ��� ������������� ���� ���� � ��� ����� �� �����

!���� %���� � ������� ��� �� �� ���������� �� ���� !������� �������� ��� ���� ������� 0 �� ��������� ��� ��������� � �� ��� ������ �� ����1 ���� �������� ����� ������� �� ������� �� ��� �������� ������ ����������� ������ ����5� ����� ����������� �� �� ������������ �%� A���#����%�@A���#����% !��� ����� �� �� �� �������� �� ��� �������� �������� � ��

:����� ������� (=(��>���:#.% �� !('��(#.�1% ���� ���� �� ������ � ������� ��� ��� ����� . �� ���� !�� ������ ������ ����������� ���� �"����������������� ����������� !��� �� ����������� ������� ��� ���� �� �������������� �� ��� �"����������

# $�������

*������� #� ���� ������ �� ���� ��������� � ������ �������� �� ��� ���������������� � ��� ������������ �� �������� ������� #� ���� �������� ������������� �������� � ��� ������ ������� ��� ���� ��� ��� ��������� � ������� 9�� �������� ���� �������� �������������� ������� ��� ��������������� ������ �� �� ���������� ��� !�� ������������ �� ���� ��� �������� ������������ �� ������ � ��� ������ -�������� �� �������� �� ������� ���� ������ �� ���� � ��� ������

!�� �������� ������ �� ������� ������� ���������� ��� �� ����������� ������� �� ��������� ��� ��� ����� � ������ ���������� ��� �� ���$����� �� �� ���� ��� 8�������� ������ ����������� �� ��%��� ��� 8��������������� ������ ��� �� �������� �� ��%��� ���7���� ����� !�� �������������� ��������� ��� �� �������� �� ����� ��%��� ��� ���7�������

4 ����������� �������% ���������� ���� �������� ��� ���� �������� .� ���� ���������� ���� �������% �� ��� ������������ ������� ��� ���$���� ������ � �� !��� ����� ���� �� � ���$������ ���������� � �� !��������������� ������ �� ��� ��������� ������ � ��� ���� �������� ����� ������������� �� ����� ��� ����� ���� ��������� �� ��� ���������������� �� � ������ � ��������� ������������� �� ������� �������� ���������� ���������� !�� ������� ���� � ��� ������������� ��� �� ������ ������� ������������� ������� ������ !�� ������ ��� ��������� �� ����$����� ��� ������������ � � ��������� �������� ������ !��� ���������������� ���� �� �������� �������� ���� ������ �� ��� ������������ !�� ���$���� ������������ �� ������������ � ���������� ��� ����� ����������� ��� ����������� ��� ��7������ ���������

*�� ��� )���� .� ����=� ��������� ���� �"������ ������������ �������� !�� ������ ������ � M &'K+� ��%�� ������������� ������ ���� ������� ����� ���� ���� M ������������� ����������� ����� ���������� ��� ����������� ����� ������ :��� � M ������������ ��� ����������� ���� ��� ����������� �������� ������������ �� ����� 0���� �� ��� ���� � �B< &(+1 !��� ����������� ����� ���? �� 9�7���$M &';+ �� ����� �� ������� ��� �� �������� ���� ����������� ������6 ��� ��� &K+� ����� ������� ���� �� ���� �� �������� ���� �������������� ��� ��������� �� ������

������ �������� �� ��� ����� �"������ ��� �������� ������$�������� !�� ����� �� ��� �������� �������� �� � %��� � H������� �������I :��$������ �%� �8GJ &/+� ��� #N9$�������� &L+ ���� ��� � ���� ��������������� ���� ������ ������$��������6 ��� ��� ������ ������� � ��������� ����� <�������� ������������� �� ����� �������� ���� �� �� ��� ���������� �������������� ����������� :����� �������� ����� �� ������� ���� &'>� '+�

��� !J4 &*+� ���� � ������ � ����� ��� ����� ������������ ��� ��������� ����� �������� �� ������� ����������� ��� ����� �������� ��% � �������� � ������������ ���������� ������� �� ���� ��� ��� ������ ���� ������� �� ������� ����

#� �������� ��������� �%� D<J &)+ ��� �!4!�<4!� &;+� ��� �������� ���� �"����������� ��� ���������� ������ ���� �� ��� ��������� ����������� �������%

8�������� ��� �������� ���� ��7���$�������� ������� &2+� �� ��� ��������������� ��� ��3������� 4� �� ��7��� ������������ �� ��� ����� � �����$����� �� ��������� ��� ��� ���� ���������� � ���������� !���� ������������� ��� � ��������� 4�� ������ ����������� � ��� ���� ��������� �������� �������� ��� �������� �����5� ������ ��7��� �������� .� ��� ��$�������� ���5� ���� � ��������� � ������� ������� �� ������������ � ������ ������� ������ .� ����% ���� ����� ���������� ����� ��� �� �������$������ ������ �������������� ��� ��� ��� ��� � �� ������������ �����������

9�� ��������$����� ������� �������� ���� ����%��� �������� � ��������%��� ��� ������ �� �3������� �������� �� ��� �� ����� �� �� 0�����1���������� ����������� � ��� ������ <��� ����%��� ���� �� ��� � ��������� ������ � ��� ������� ����� ���������� ������������ ������

+����� ����� .� ���� ������ � ���� ����� ����� ��� ���� � ���� �"���$����� ���� ���$���� �� �� ����������� ��� ��� �����N ����� ����� ������������ ����� �� �"����� ���� ������� ����� ������ ����� �� ������ 0� &''+1 !��������� ��� ���� �� �"������ �� ������� ����� ����������� ���������� � �������������� �� �������� ����������� ������� ���� ��� �������� ������ ��$����� � ������� �����

G������� �� ��� ������ ����������� � ������������ ������������ ��� ��$���� �� ������ #� ������� ���� ��� ��������� � ���������� ��� ������� ������������ ���������� ��� �������� �� ��%��� ����� ����������� !� ������������ ��� ������������ ��� ���� ��� �� �� �"������� ���� �� ������������������ ����� &*+� ������������� ���������� ��� ������������ !�� ���%�� ���������������� � � &'+ ��� ������� ��� � ��������

:����� ���� ����� �� ��� ��������� ���� ��� ������ � � �������� ����$�������� �������� ����� �� ���������� ��� ������� �� ��������� ���� �������� ����� ������ ���������� �������� � ���� ��������� ����� ��������������� ��������������� �� ������� �"��������� 4 ���� ����� ��� ����� ���� ����������������� � ����������� �������� ��� ����������� ����� ��� �� ���$������ ����������� ��� :����� ' ����� ������������� ���� �� ������������������ ���� ��� ������ ��������� ����������� �������%� �� ��$��� �� ������ � ����� ����$�������� ������������ ������ 0� &'*+1

&���������������� .� �%� �� ����% G�� -�� ��� B����� ������ ������ ��������� D��������� � !�������� �� ������� �������� �� ���������������� � ���� ����� .� ��� ��� ����� � �� <����� ������ ��� ���������������������� - � �� ����������� �� ��� ����������� � ��� ������ !���� ����� ��������� ������ ������������ �� ��� �����

���������

� /� �&���� ��� 9� ;����� &�� :� ������ %�) �� &� ������ �����&� �� �������5�&������ *� ��� ������� �� ����� �� �������� �� �� ����� �& ��� <"!� :�$ ������ +=1�

2� ,� ������ ������ ������� ����� ��� ��� !�� ���������� ��� ���6'&�� ��� � �8������ ��� *���� ++ �

!� $� >�)��� &�� ;� ������ "�# �����$ ������� ��� �������� ������� ������#�������� �8'��� �������� � ������� :������64������ ++3�

1� ?�>� ,����� &�� :� ������ ��� ����&� &�� ��&����� �� ��9-� *� :� �������� 0������� &�� ��>�$� �&� 0��'��� �������� ������� �� ����������� %��&���' "������ ())�� 4��.����� �� ������ � �& �� 2"<"2� ����� ��� ++1�

�� �� /&���� /� -&������� :� %&&&�� :� ������ $� ������� 9� ����&�� &��:� ����6��&��� � ��:��$:��@ & )��.�� ���������� ��� ��� ������������ ������ ��&����� ������� *� %���* �� ��� (+�� ,��* ����* �� ����!��� -��&������� �& �� !+"<1#"� ��� &����� +==� *��� ������ ������� ������

"� ���� ?����� �������� ����!��� �.�������� ��� / �� *�����&����&� �������� ������ �������� ��������6/&��� *���� 2�� �������� ++#�

3� �� ;����& &�� ������ $&�8&� ��� ������������ &�� ����������� �� ��&�� 8&���������� *� �� �&���78&�� /� �&���� ��� &�� :� ������ �������� ������� #���� ����0������ ���� !+= �� #1��� �& �� 21!<2+1� ����� ��� +=3�

=� -� -&����� ��� �����&� �� �� �� &������� ��� �������� �� %���������#������� ��� ������ "A!BC=32<+2!� ++1�

+� %�:� -����� *D� &��&�&C : ���� ��� �������� ����� ������� *� %���* ��22�� ����* �� ,��* ������ ��� ������ �& �� 2+<!=� ���������� %?� ��:� +==�

#� E� $&��& &�� :� ������ �� ������� #��� �� 3����.� ��� ��������������� 4 ����0������ ����� ��� ++2�

� ��9� ������ &�� ��:�9� /�&��� �����5�&����6�������� ��&����� ��� ��6���&��� ���������� ���� ,���������� 2!A BC+<""� +="�

2� �� �)��� �� 9&'&�� ?�$� 9��8�� %� ��&�.&�� &�� $�;� ����&�� �0�C ��68���� �����5�&����� ����� ����.�� � &�� ���� ����.�� � *� 9� :�� &�� ��:�/��F�� ��� �������� %���* �� ��� ��� ,��* ����* �� �������� ���� /��0���������� #2 �� #1��� �& �� 1 <1 1� ����� ��� ++"�

!� �� �)��� %� ��&�.&�� ?�$� 9��8�� &�� ��4�?� ����� ��6�&������ %/� #�������3��������� ������ ������� -&8��&����� �9* *�����&����&�� $���� �&�.� �:������8�� ++=�

1� ?��� �&� �� ���� ?�?�$� /��&�� &�� �� �� ?�� � >��&� ��7������� �����56�&���� ��� ��&�� &�� ������� ������� *� %���* �� ��� ����* �� -���������� �������� 5��� ������ �& �� !3<11� ?���&��� ++=� *����

�� ,� 9���� �8'���6E� *� �� �������� 9� �&����� &�� �� ������� �������� ��������������� � 6� 4��.����� �� ������ � �& �� �+<33� ����� ��� ++2�

"� ?� 9��8�� >��&� ������ &�� ��� �����5�&���� �� ������&� ������� �������&�9����� �9*6��-6+!63� �9* *�����&����&�� $���� �&�.� �:� ++!�

3� ?�$� ������� �� 6 1������$ � 3�������� ������� �������� /&��� 2�� �������� ++2�

=� �� E&�� &�� $� ?&�.���� 4���� �� ����&����� ��� ���G : ����&�&�� �����5�&���� ������7�� ,--- ���* �� �-� 22A3BC�#=<�2=� ++"�