A GATP Algorithm to Automatically Formulate Extended ...

14
V pVT_ VjB$Y8 B VZB8s${sjjk 3B8Zjs e-tII BBjst +Z$R PB s 3Z99k ytPB8s$Bt i$%sj 7kR8 ! ]BI? Bt 3 I Bks ] s{B *} BP ]B8}Z 7{$t{ stI Vy eq7 I ytt$? s ytPB8? s${s =t$%R$k BP pstsIs dM(d T pstsIs w7}s$tD *} BP N$As$stRY$} 3s{Zjk BP N$As$stRY$} stI *B{Z8ts$Bt =t$%R$k BP pstsIs dM(d T pstsIs w7}s$tD _=NezV 7sjZI 7V ]s8$tB I _Z{Y$j EE dM((; T pstsIs w7}s$tD B{BIBtoI{Rs$ZR Pj$-oZR {9s{Bo}Zj%sR d ytBIZ{$Bt

Transcript of A GATP Algorithm to Automatically Formulate Extended ...

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

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

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

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

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

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

��� ��!�� �� "������� #$%&# ' "������ (�����)�.�*�/� ��-�� ����

������ �� .���,�- 00� #$%%1 ' "������ (�����)�������������� ����� ������ ����� ��������������

��������

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

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

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

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

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

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

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

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

�� ����� ���� �� #����� �� ��� ����$� �����# �� � �� ������ �� ��!

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

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

���� �� %�� ������ �� ���� ����� &�!' ����� ����� �� ����� ���� ���

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

� ����������

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

&'(

&�' �� ������ � �� �!� � �� "��#

����� �� ����# �� ��� �� ����� �� ������ ��������� � �� �������� ��������

)��� �� �� �������� ��!� �� ���� �� �� *����� �� ���� ��+�� #��������� ��� �������� ,� �� ��� ����� ��� �������� ��� �� ����� ��� ���� �# ���� �� %��� ��� ������ ���� ��� ������ �� ������� #������ �� �� � ������ ����� -� �� �� ��� ���#���"� � ���� *����� ��!� ���"�� ����� �� ��� #�� ������� ��� ���.������ ���� �� #��� �� ������������ � �� �� ������ /�� � �� ����� #�� ��00� ��������� ������ 1����2� 3� ��� ���� �� �� ���� ������ ��� � �� ���� ����

1��!� ����� � ���� ������� ���� ����#� �� ��� �� ���� ���� ��������� �������� �� �������� �� ���������� #���� ���� ���� ��� � ����� ������ �� �� ������� 4-/� .��� �� �� *����� �������� 54, ��� -� /������ �������� $��� ���� ������ ���� #�� � ��#� � �� �%� �����$����# �� ����� �� ����� �� ������ ������ ������ �� ������� ��������#�� �� *����� ����

4�������� �� �� �� #���� ����� � ���� "��#��� �� �� ������� ���� ���� � ���� �� �������� � ��00� ������ ��� � ���� ����� ���� � �'��� -� �� ���� ����� ���� � *����� ��� 1��!�� � � �6���� ��� ���7%��� ������ %���� ��� ������ ��� � �� ���� �� � ���� ������� �8��� ��������.��� �� �� ������ �������� 54, ��� -� /� ���� ��� ������� � �8���"��� �� ��!�� ����� ��������� ��� �� ����� �� ����� �� ��� � �� �������������� ������ �&� -� �� ��� � ���� �� ������������ ������� ������ ��� ������� �� ���9� ��� $������� � �� ���� �� �� ���� �� �������� ��� ��������� ��� ������� ��������$ �� ���� �� �� �87�� ������� #��� �� ��� �������� � ����� /�� ������� ��� � ������ � ������� ������� ������ ������ ��� ��� ���� ���� ��� ����� � �� �� �������

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

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

�� ���� #�#��+ �� �!������� ������� #������ ����� �� ��� ������� ��������)#���������� ��)0� #������� ����+ (���� �� �� �1������� �" ��� #�� ��!� #��#���+(� �� ������!���� 2� �� ��+ ��� #�#�� �� ���!��!��� �� "��(�� 3������ 4 �� �� ������ ������!�� ��� #�����������+ ���!���� ��� ����� �" ������ �&3� ��� �" *�&3��.��"� �� ��/� #��#��� �� �� ��(�� �� 3������ �� 3������ � #������� ��� ���#��������" ��� ��( �������� #��#���� (��� ��� ��%����� �1#�������� �� ��#�� �� ������ ��� ���(� �� 3������ 5� *����+ �� ��� ����!���� �����,� ��� �!��������� "��"!�!�� (��, ��� #������ �!� �� 3������ '�

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

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

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

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

�� �&3 �� ������� �������!��� �" ����� ���� ���#������6

�� � ��� ������ ���� ����+ (���� ������ ��� ���!����� ��� ��� ��#������������" ����� ��"�������� ��������� �� �� ���������� (��� ��� ������ ��� ��+ (�����!��������� ��������� � ��#����������� "�� ���� ���!���� �� �1����������� ���!���� ��������� 2�1�!� ���!���� ��#����������� �� ��#���� ������� ����1 ����� ���� ��� �� ������ ����� ����� �� ��$!������ (���� ��� ���������� ������7��� �" ��� ���!������

4� � � �� � �������+ (���� ��(� ��� !���� �� "���!��� ����� $!����� ���#������� ��� ��� ��� ���!����� ������ �� �� ��� ������ �� ����� 2� �� ��+�� ���!��� � � �� ��� ��+ ���� ������ ��� �!�� �� �������� ���������$!����� ��� #�����!��� �� ����� ��� ��� ��� ���!������

�� � ������� � ���� ����� ���������+ (���� � �!���� ��� ������ �� (������� ���!���� ��#������������ �����"� ��� ��$!�������� �1#������ �� ��� $!������ ������ �� ����� ���!����� ���� ��� 8!���� �� �� ��� ��� �� ���

�� ��� ����� ������ � ����+ ��� ����1�� ���!� #��"���� � ������ ����1����� ��� ����� ���� � ���� �� � ���!���� ��#����������� �� ������ �����7���� �##������ ���� ���� �� ��� �� ��� �� ���� ��� �##��� �� �� �� ��� 9� ��� ����� ����+ !���$!����� �� ���� ���� ��� �1#������ !���� � $!��� ���!��� ���� �� ����� �� ���������� ��� ��(� ������������ �" ���#� !��� ��$!�������� (��� ����� �#��������:;+ 9& ��� :92 ��5+ �<�� 2�� ���!� �������� "��� ��� #��������� �" � $!����� � ��� �" ���!����� ���� ����� ����� (��� ��+ ����+ ��� �(� #����������� ������������� "�� ���� ���!����6 �� �� �� ��� �� �� ��� ��� "�� ��� !���/� �����+��#�������� �� ��� !��� $!����

2�!�+ ��� ����� ���� #������� �� ��� #������ ���� ��� ������ �� �����%����� ����� �&3 ���#������ �!�� !�6

� �� ���� ��� #�� ��� ��� !��� (��� ���� �� �1#���� ��� ������ �" ��� ���� �"��� ����1 ����� �� ��� ���!����� ������ ��� ����

� �� ��� �� ������ �� �1#���� � !���/� 8!������� �" ��� ��#������� �" �������� �� ��� $!��� � �� ��� ����

� 2���� ��� �� #����� ������� �" ��� ���� �" ���!����� �� $!����� #������!��"! �� ���,��� ������� �����������

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

2����� �� �� � ��� #������ �" ��� ����� �& ���� ������!��� �� ��� ��� �" ���#�� ��!� �!��������+ *�& ����� �1����� �� �� ����� ��#����6

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

�� ;��!���� ��#������������ ������ "!--� ���� ��7��� �� ��� !�� ���� �" �����+��� ����� ������ "!--� ���� ��7��� �� ��� !�� ���� �" �����!��� �" ���!�����+��!� ������!���� � ������ �" ��� ���� ���!������ ���(��� � ���!���� ���� �����

4� :!����� (������ ��� �� ������� #��#����+ ���!����� ����� �4+ �=�� ��� ���)������� �� ��� $!��� (��� ��%����� ��������� � �� ��( �" ���� � �� �� ��"�!�� �� �4��+ ��!� ��(��� ��� !��� �� $!����"� ��� >�!�8���� � ��#�������?�" ��� �������� ��$!���������

�� 3���� ��� � �!����� �" ��� ��� ���� �" � ���!���� �� � $!��� �� ��� ����#������ #������+ � ������ �" ���!���� ��� ���� �� ������!���+ ��� �� ����������� ���� � ��� � &3@�� 2� �� ��+ ��� ������� ���#��� �������� �#)#����� ��� ����� ��� �#������� ��� ������ �� ����� �" "!--� �#��������##��#������ #��"������ ��� �������� �" $!����� �� ���!����� �� � (�� ����#����� �� ��� ��������� �" ��� "������

2�!�+ ��� �#������� ���� �" ��� ����� ���#������ �" �� *�&3 �� ���(� ��"��(��

������� ����� A�� ; �� � ��� �" ���!����� ��� 2 �� � ��� �" !��$!� ��������7���� ����� �1������ �� ����� 2�� ����1�� ���!� �" ��� *�&3 ��7��� ������1��� "!������6

� 6 � � � � �=� ��

�� ��� �� ���� ���� * �� ��� ���������# "!������ �" � �(�)���������� "!--���� � "!--� �������� ��##��� ��� ������ �� (���� ���!���� � ������ �� ��� ����" ���!����� >���!�? ��� �����#��� ��#�������� �� ���� �� � #��8������ ��+ �"!--� ��� ��� �� ���������� �� ���� ���!���� ��� ����6

�� B �� �� ����� � � � �� C ����� B � ��� ��

�� B �� �� ��� �� � � � �� C ��� �� B � �� ���

2���� ��� ��%����� (��� �� ��7�� ��� ����1��� "!������ *� �� ���� #�#��+ (�(� (��, (��� ��� ������-�� ������� ��� ���� ��� ���� ��5�6

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

� �� ����

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

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

� ���� ������� � � �������� ���� ��� ������� ������� � ������� %&%

�� ������ �� ������ ��� �������� ������������� ����� ��� ����� ����������� �����'� ��������� �� ���� ���� � ��� �����

�� �� ���� ��� ()* �� ���� �������� �� � ��++� ���� � �������� ������� �&,"� -��� � ���� ���� ���� �������� ��������� �� ������� �� ������ ��� ./0 �� 1( ��������� ��� �����'� ��������� �� ��� ���� ���� � ����������� ���� ��#�� ��� ������� �� ������� � ����� �� �� 2� ��������� ������ �� ��� ����� �� ������� �� �� ��#� � ������� ���� ��������� ��� ���� ���� ���� ��� ./0�� �� 1(��� 2��������� ����� ���� � ���++� ���� ��� ����� ����� �� ��� �������� �$����� ��� ������ �� �������� ��++� �� ������� �� ��� ������� ���� ���� ���� �� �� ��� ��� ����� ����� ������ ��� �� ���� �� ����� ����3

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

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

1� ��� ����� ����� � ��� ���� ������� � ��� ����� � ������� ������� ������ �� ����� ��� ����������� ��++� ��3

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

1��� ��� ��� ���� ������� ���� �'��'�� � ��� �������� ���� ��'� �����'�������� ��� ��++� �� ���������� ��� ()* �� ��� �������� ���� ��������� ������� ���� ��� � ���� ��++� �� �� ���� �� ��� �������� ��������3

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

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

-� ����� ���� ���� ��� ��� ���'�� �$����� ��� �� �������+�� �� ���#��� ��� ����� ������� �������� ��� ������� ������� ������� ���� ��� ���������� ��$��� ��� ������� �������� �� �� ����������� �� ��� ���������� ����

��� �������� �� ����� � ��++� �� � ��4��� �� ��� �������� ������������ ��� ������ �� ����'���� �� ���� �������� � ��� ���� ��� ��� �������� ��� ������� ����3

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

2��� ��� �� ��� ��'������ �� ��� 5�() ���� �������� ��� �� ���#��� ����� �� ��� �������� ������ �� ����'���� 6� �() ���� �� ��� '��������� ����� �&7"6 ������ ���� �������� �� ��� ��� � ���� ������� 2�� 4�������'��� �������� �� ��� �� ���4�� �� �� � ��� ������� ���3 ���'��� ������� ����� ��� ��� ������ �� �����'�� �������� �� ��4��� � �������� � ������ ����'���� ������ �� ��� �� ���� ��� ������ �'��'� ������� ��� ����� �� ��� ���� ������ ��++� �� ���

%&! �� �������� �� �� ���� �� �����

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

����� %� �� & ����" '�"�����

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

������ ���� +� ��,,- �� � � ���� � �� �� ����� � �� ���� � .���� ��� � �� - � �� ���� �� � �� ���& � � ��� �� ���� ��� ��� � �� ���� � �� ��� ���� �� � ��� �

� ����� ���� �� �� %� � �� �� ������� � ����� ��� � � �� ���� � ��� ��������� �� � � � ��� �� �� �� �� %- � �� �� �/ 0� ���.������ ���& �� ������ ���� �� �� ���� �� ������ � � ������

����� ��������� +� ���� ') �����& �� ������ � ��*�� ����� �� %� ��� �����- � � ���� �� � �� �� � �� �� ���� �� %��� ��%� � ����� � � � % �� � �� %��� � ����

1� �� ��� ���� �� �������� �� �����%����� � �����- � � �� � 2���� �� ����� ��%%����-2 �� �� ') �������3

! #���� � � ����� �� � � �� ���� � ���� �� � � ��%� �����%������ � �� ��� �� ���� � �� ��� � ��45�6!�

%! #���� ��� �� �� - � � �� ���� �� � ��� � � �� �� �� ���� ��� -� %�� % ��� �� �� �- � &�� ����� �� ��45��!�

�! #���� ��� �� �� � � �� �� �� - � � ��45�7!�

"� �� ��� �� � ����������� � ������ �� ������ � ����� � ��6� �� ���.��� �� �� �� %� � �� �/�� ������ � �� �� �� ������ ��� �� �� �- � ������ �� & - ���� �� �� �� �� �� 8 � � 4 ��� �� ��! % �� � �� �� �� % �� � � � �� � �� ������� ��� ����� �� �� �� ���� ����!��� � � &�� �� ���� � ��

��

�4

��� 9��� ��� � ��! �� � 4 5��� ���� �� � ���! �� � 4 �

�� � � �5 �� �� ���� ���% �� �� �������� ��� ! ���� &�� ���� � �5 � ���� ��� �� ��%%����- �� ��� ! % �� ���� �� 5 ��� � � � �� ���% �� � ����� ��� � ��

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

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

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

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

���������� � �� ������� ���������� � ���� ��� �� � ������ �� �������� � ����� ���� ��������� � � ��� ��� � ���� � �������� ����� ���������� �� ������� �������� ����� ����� ��� ��� ������� ��� ���� �������� �� ��� ���� �� ��� ��� ��� ���� ������ ��� �� �� �� ����� ��� ������ �������� ��� ���� ��� � � ��� ����� ������ !"��#�

������� �������� �� �$���� ��������� ��� �������� ����� � ��� ��������� ������ �� ������ ���� ��� %�� ��� ���� ������� ��� � ����� ��� !�&#'(

�� )

���� � ������

* �� ) � �

���� � ������

+ � �

���� � ������

��� �� � �"� �� ��� ��� �������� �� ��� ��� � ��� ��� ��� �� �� � �"� ����� ��� �������� �� ��� ��� � ��� �������� �� ��� � ���� � ���� ,������ ��� ������� ��� ������ ��� � ������ �� ��� � ���� ���� �� ���� ��-�� �������� �� ���� ��

����� �� ��� �������� �������� �� .���� �� ��� ����� ���� ��� ���� � � $������� �� �� ��� �� ������� �� ��� /0 �������( ���� � �������� ������ ���� ��� ������� �� ��� �� ���� ������ ���� ���� �� ��������� �� � ����� �������� �� ��� ���� ��� �� �� ��� ������� �������� ��� ������ ��� �� ��1���� ��� �������� �� ��� ���������� ������� ��� ��� /0 ������1 ����� �� ������� �� � ����� ,���� ��� ������� �� ������� � ��� ������ ���/0 �������� � ���� �� �� ��� ������� �� ������� ����� �������� ��� ���2����� �� �� ������������ ����� ���� �� ���� �� ��� ������ ��������� �34�� 56� ,������� � � ���� �7� �� ��� ��� �������� �� ���� ��� ���� ����������� ����� ��� � ������� �������- � � �� ���� �������� ��� � ���� 8��� ��� ������ �� ��� ������� � ������ �� .���� �� ���2� �������� �� �������� ������� �� ������ ��� � ��� ���� ���� ��������

( ' !'#� '�"����� �� & ��� ����� %� � �

�� ������� ���� ��� ��� ����� � ����� �� �� ������ �� ���� �� ���������� ����� ��������� ��� /��0 !��#� �� ������� � ����� � ������������� /�� ��� ��� /0 ����� � �� ������ ������� ��������� ������� ������� ���� �� ������� ����� 9��� ��� ���� ������ ��� ����� ����� ��� � ���� �� � ��������� :��� ��� /0 ���� �� ��� /��0 ������� ������������� ��� /� ���� ��� ������ ������� ��� ���7���� ��� �����

;��� �� ��� /��02� ������� ��� ��� ���� �� ����� �� ��� �������� ���������� ��� �� /��0 �� /0 ��-� ������� �� ���� ������� �������� ������� ���� ��� /��02� ��� �� �� ��� ��� �������� ��������� �� � ���� ������������ ��� �������� �� ���7��� ���� ��������� ; ���� �� ��������� �������� ��� ���7��� ���� % �� �������� /� �������' ��� ������� ���� �������� ��� ��� �������� ���� % �� ������� /0 �������'�

�� �$���� �������� �� ��� �������� �������� ��� ���� �� ��������

��< �� �������� �� �� ���� � �� ���

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

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

�� �������� ��������� �� .��� �� ��#/� �������� �� ���� � ���� ���� ��������� �� ������������� ���� ��� ���&���� ������� �� ��� ����&� ��������� ���� �� ������� � ������ ������ �� ��� ���# 0��� &���� �� ����� �� ��� ��������� ��������� �� ���� ��� ��� ����� �� ������ ���� ����+�����#

� ������ ������ ��� �� ����� ���� $� �� ��������� �� �������� .��� �� ��#/�� ��� ��������� �� +��� �� ��� ����������� ������� 1"23# 4������� ���������� ���������� �� ���� �� ���� ��������� ��&��&�� ��������� � �������� ������� �� �������� ����� �� ��������� ��� � � �5������ �� �������� ���������� ���� �� ���� ����&� ��� ���&����� ���� �� ��+���������#

6� ��� ���� ���� �������� ��� ��� �� � �� ���� ��������� �� ���� ������������� �� ��� ���������� ��� ����� ����������� �������� +�� ��� ��� &��������� �� ��� ����������� ��� ��7� �� ����� +���� �� ��� ���&����� ��&��&��� ��� �����&� ��&� � ������ � ���# � ��&���� &����� �� ��� �������������� �� ���� ���� � ��� ������ ���� ����� ���� �+������� ����� ������ ������� ������� 1)3#

$� 1")3� �� �� ��� � ���� ��� ��� +���&��� ��� +� �+����� +� ������� �������� ��� ��� ����������# 0�� ����� ������� 183 �� ������� �� �&�� ��&��� ��� � ���&��� �� � ������ ����� ���� ��� ������ ��� ��������� 9����� ���������� � ���������� 7�� � �� ������� ����# 0�� 7�� ��� �� ��� �������� �� ���+��

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

� �� � �������� �� ������������ �������� �������� ������� ��������� -")

��+����������� �� ������ ���&����� ����� �&��&� �� �������� �� �5���� ����������# 0��� ��� ��� � ��� ��� ������� �� �+���� ��� ������� �������� �� �����+���#

�� �� 1")3� �&�� ���&���� ��&��� ��� ���� ����������� ��� �� �� ��������+����� �� ��� ���� �����# 0���� ��� ��� ���&����� �� � ��+���������� ���� ������� ���� ������������ �� � ���� ����� �5���� ������ �� ��� ���� ������&��&� �� ��#

0 � �5���� 7��� �� �����&� �� �������� ������� �� ����� ��� � ������� �� +� ����� +����� � ��� �� ��� ���� �����# ���� ����� ��������

�� ������ +�� ��� ���&����� �� ��� ���� ������ �� �� ���� ���� ���� ��� � ���� �� ����� �� �� �� ���7 �� +���� ��� ������ �� ��� 9�� ������������� ����� �� ��� � ���# $� ���� ������ ���� �������� �� �� ������� ��� � ����� ����� ���� ��� ��� ����� �� ������# 6� ��� ���� ���� ���� ������������� �� ������ +�� ��� ���&����� +�������� �� �5���� ������� ������ +��� ���� �� ������ ������� ���&����� ��� � �5���� � ���� ��#�#������ ������ ��� � �5���� ������������# :���� �� ������ ��� +� ������� ������ �� � ��� � �� ����������� ��� ����� ������������ �5���� ��� ������� �� ��� �������� ������ ������� ���� �����&� ������ ���� �� �� ������������ ��� ���� ��� ����� ����� +� ��� ���������� �� �&����� �� ��� ����������#

0�� �������� �������� ��� �� �� ����� �# !���� � ������ ���&���� �� ��������� ���� ��� � ��+�+����� ���� �� � ��� ��� ������� ��&�� � � ������ ������������� ��+�+����� ��������� ������; +� ����� �� ��� ���&���� ���������������� ���� ����� ������ ����� 1"23# 0���� ��� 7�� �� �����&� �� +������� �� ������ ������� ������� �� � ��+�+����� ����� ������

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

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

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

���� �

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

�� �������� ����� ���� ��� �� � ��� ����������� �� ��� � ������ � � ���� ����� � ��� ������ �� � ����� ���� �� ����� ��� ����� ��� �����'������ ����� � �� � �� �� �� ������ ��� ����������� � � ������� �������(� �� ����� ����������� ��� � � ���� ������� �� ����

������� ������ � ���� ��� � �� ��� ����� � )��� *+,� -./) �� �������� � � ��� �� ����� �� ��� ��������� � �� ���� ���� ����� � ����������� �������� � 0 $��� � � � � ��&� �� � �� �������� � 0 $��� � � � � ��& ��� 0

123 �� ������� � �� �� � � �� �����

$�� � � � � �&� ���� �� ����� � ���� ��� $���� ����& � ��� ������ �� � ��� �������� -�� � � � � ������ 4 � � �/� ����� ���� 0 ������� ��� �� � 0 �� ���� ������ � 0 ������� � $-�� ������/ �� ��� �������� ����� ��� �� �� ���� �� ��!������ �� ���� -�� ������/ 0 -5� 2/� ��� ��� ����� � �� ������� ���� � ����� �� ���������

#� ��� ���� ����� ����������� � ������ �� ������ � ����� �� ���� ������ ��� ����� �� ���� �� �� �������� � ���� �� ������ � �� ��� �� �����

�� ������� ��� ����� �� � � ��� �% ����� ��� ����� �% � �� ��� �������� ����� ����� �� ���� � �� ���� � ���� �� ��� ��������� � �� ���� ����� ��� �� !����% ������ � ����� �� $�& ��� �&& �������� �� ��� 6���� �� ���7� ��� ����� ������� ��� ���� �� �������� 5�8 ����

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

) *+, �� ��� - � ��, � ��� '������ �� � �����

� ���� ��� ���� ����� � ��� �� � ��� ��� ������ �� ���� � �� ��� � ��������'���������� ���� � � �� �� ���� �� -21/� � � �������� ����� �� ��� � 18.�������� �� �� �� � ��� ������� ��� ��� ����� � ������� ��������� ������ ��������� ��� ���� ��� �������� ����'��� �������� � � ��� ������ � 9:5. ������������'��� ������ � ���� ��� ������� �� ���� � 39 ��� 3 �������� � ������������ � ��� ����� �� �������� �� �� ���� ���� �������� � ��� ���� � � ������ ��� ����� ����� �� ������� � !��� ���� ���� ��� ���������" �� �����#���� ������ ��� �� ����� � ��$� � ���� ���������� ��� � "������ ���� ������������ !�� �� ���� �������� �� ��� ���� %�� � & ��� ���� ���� ��� �������� !�� ��'���� ����� �(����� � �� ���� #)�� ������ �� #���� ��������� ������ ���� ���� ����������

%�� � &* +����� �������� �� ��� ���������

�������� ,���������� ���� ��(� &-..

/����� �� ��� ������ &.....���� � � ��� �� +�������� ��� 0����� ������� �� .�1� .�2

������� �� ��� �� 0����� ������� �� .�2� .�2������� ��������� +����� ������� �� .�23

4)�������� ��� ����� � &. ������������ ������ � � �!��� �� ������ .�3

5��"���" ��6����� �� � �� �� �.�1�&�2 � �&�& � �&�2�.�1

7��� ���� � 8������ ��� �������� �� �)��������� ��� ��� ���� ����� � &.

� ���� ������� � � �������� ���� ��� ������� ������� � ������� 9&:

����� �� ����� ���� ��� �� ��$� �� ���� ���� �� � �� �)�������� �� ���������"�� ��� �� �� /;% ������� ��� ������� ��� ���� �� <&9= � ;� �� ���� �������'���� �� ��� ��� �� ��������� � ��� � !��"���"� �������� �� �� ����������� ��� �������� �� �� �� #���� �������� ��� ���������� ��� ���� ���� �� ��� ��� ���� � ��� ������� ��

%�� ���� � ������� ��� ���!� �� %�� �� 2 � 3� !���� ��� ����� ��� �������������" � "����� ��� �& � 9 � ��� �� "������� 8���� ��(�� ��� ��� ��#���� �� ��� ��� � ��� �� �������� ��� ��� �� ���� �������� �� >�� ��� �������� �� ������� �������� �� �� ������ 8����� ��� >�� ��� �� ������ ���� ���� ������� ��������� �� �� �� �� �������� � ��� ������� ������� �9��� 3 � � ��� ��� ���!� !����� �� ������ ������" �� �� ������� ������ ��� ��������� �? �� �� �/ �

%�� � 2* ���� � ������� �� ���� � � ��� ����� �� ����� �

��� � � � �� � >���>��

& &�2 .�1 @ &�1..... &�...... .�@3.... -A-2 &�2 .�1 : &�1..... &�...... .�@3.... -A-9 &�2 .�1 : &�1..... &�...... .�@3.... -A-

& &�. &�. @ &�@3.... &�...... .�@3.... -A-2 &�. &�. : &�@3.... &�...... .�@3.... -A-9 &�. &�. : &�@3.... &�...... .�@3.... -A-

%�� � 9* ���� � ������� �� ������� ����� �� ����� �

��� � � ��� � �� � >���>��

& &�2 .�1 / : 2�...... &�...... &�...... 1A12 &�2 .�1 / : 2�...... &�...... &�...... 1A19 &�2 .�1 / : 2�...... &�...... &�...... 1A1& &�2 .�1 ? @ 2�...... &�...... &�...... 1A12 &�2 .�1 ? @ 2�...... &�...... &�...... 1A19 &�2 .�1 ? @ 2�...... &�...... &�...... 1A1

& &�. &�. / : 2�...... &�...... &�...... 1A12 &�. &�. / : 2�...... &�...... &�...... 1A19 &�. &�. / : 2�...... &�...... &�...... 1A1& &�. &�. ? @ 2�...... &�...... &�...... 1A12 &�. &�. ? @ 2�...... &�...... &�...... 1A19 &�. &�. ? @ 2�...... &�...... &�...... 1A1

�� ���! �� ���� ���� �� ��� ������� �������� ����� �� ���� � � !��� ���������� ���� � ��� ���� � � ���� 0�������� � �� �� ��� � ���� �� �� ���

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

92. �� �������� �� �� ���� �� !����

%�� � B* ���� � ������� �� ���� � � ��� ����� �� ����� �

��� � � � �� � >���>��

& &�2 .�1 : &�B.:2&B .�:-2:-9 .�9&@.@9 2-A2@2 &�2 .�1 @ &�9:3&22 &�...... .�2B9:.2 2.A2.9 &�2 .�1 : &�B&B-9B &�...... .�2-12:9 22A22

%�� � 3* ���� � ������� �� ������� ����� �� ����� �

��� � � ��� � �� � >���>��

& &�2 .�1 / : &�3.1&9. .�:@2222 .�B2-12: 93A9-2 &�2 .�1 / : &�3.1&9. .�:@2222 .�B2-12: 93A9-9 &�2 .�1 / : &�3.1&9. .�:@2222 .�B2-12: 93A9-& &�2 .�1 ? : &�3@@.:B .�:3-322 .�39-313 BBAB-2 &�2 .�1 ? : &�3BB&1- .�:39B11 .�3..... B&AB99 &�2 .�1 ? : &�332@1& .�:2.... .�3-.:@- B-A3.

���� ������" �� �� ������� ������ � �� � ���� � !�� � ������� �� ���������������� ���� ���� �� 8������ ��� ������� ��� ����� � ��� ���� ����� ������� ����� � !��� ��� ����� �� �� ���������� �� ��"���� �� ��� ���� ��� � �"������ �� ���� �� ��� �� ����� �����)���� � ���� ������ ��� ����� � ������� �� �� ��� �� ����� ��

. /������" � ���0�

�� �CD4 � "����� ����� �� �� ���� ������"� ��� ���� �������� � ����� ������ �� �� ����"� �� !��"��� 8������ ��� ���7�� �� ���������� ��� ���� ������ ������" 8������ ��� !� ��'���� ������ � ����� �������� �� �� ���� ����� ���� � ������� !��� ��"��#�� � "���� �����������" �� �������� ������� �� ���� � � �

�� �� ������ !� ��� ���$��" �� ���������" �� ����E���� ��� ������� � "������� � �)��� �� ������ �������� �� �������" �� ���� � !��"� ��� #���������� ������� �������� ��� ��� � ��� "�������" ��'���� ��((� 8������ !���� ���������� �� ��� ��!��� ��� ������ �� ��� ����

'0��1� �" � ���

%�� ������ !�� � �$� � ���$ ,�� F����� 7G����( ���� ;����� H�������� ������ �� ��� � ��""������ �� ���� �� ��� �� �������� � "����� �$� �� ����������

� ���� ������� � � �������� ���� ��� ������� ������� � ������� 92&

� � � � �

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

,*- �� �������� �� ������� �� ���� .�//� �00��� ��� �� �1���� ������� ��)��������� ������2�� ��3 �� ��� �� 4� 0�/�� !����% .�//����� �� ������������������ ������� *5')*$( !'++6%�

,5- &� ���� �� ���� �������� �00��� � �� ���� ��2� 7���� �� �1��0���3 ���10������� ����� ����2�� � ������ � �85 ������ ���������� ��� ������������������ ������� �� ��� ���� �� �� ���� ��� ����������� � ��� � ���� 9+5)$:6 !'++#%�

,(- ;� ����� .�//� ����������� ������2�� ������� �� ����������� ����������� ���)���� � *+)69 !'++(%�

,6- <� ����=�� .� &������ >� �=�� ��/ ���2��� ��� ��� �� ������������ 0������������ ������ �2���������� ���� �������� �� ���7��� 00���� ���������� � ����6)*( !'+++%�

,9- <� ����=�� .� ?��� ?��� @�� � ����� ����� �� ��� �00�� ����� �� ��)���� ���������� �� ����������� ������2�� !�� �0�����% ��� � .����� �����)�������� �� ���� ��� 4��A����� <�����/����� !��4<% �������� � !�<�<B)��8"++% ������� �0��� '$+)'#9 ! 0��� '+++%�

,$- <� ����=�� .� ?��� ?��� @�� � >������� 7������ ��� � ��//� �����������������2�� ������ �� ����� �� � )� �� ���7��� ��� � �C�.> D)��DE>.����� �������� � ����� �� ?����� � �0��� 556)55# !��0������ '+++%�

,#- 4� 8�� 8��� �������� � ��2���������� �� �� �� ��� �0� ��� ��������� �� ��)���� ��� ���� �0����/����� ��� � �� ��� ������������� �������� � �� ������ ��������� !��� % &�������� ��CC (*)6: !'+#+%�

,+- >��� �������� ��8� � ��F�� ���) ���� ������ ���������� ��� �����2��)� ������ ��3 >�8� G������ !���% .���������� �� ������ ��������� * ?��)��� 4������� '#$)*:* !'++5%�

,':- �� &������);����� ?�������� ��� ������2�� 0�� ��� �� �� ����������� ������2�������� ����� �� ������� ��//� ��������� �00��� � ������� �� ��� ���� ���� ���� ��� ����������� � ��� � �� (9:)($6 !*::'%�

,''- >� &�A��� 8� 8" ����� D�� � )�3 � ������ ��������� ��� ������ 0������)���� ������ ���� �10��� '')'6 !'++6%�

,'*- �� 4�/� ������ 0����������� <� ��� 0���������� �� ��0����� �� ������� ������� ���� ���� D�� ?�D ����� !'++*%�

5** �� ������� � �� �� � � �� �����

,'5- 8�&� 4���� .��� ����� ���� �� ���� D� ������2�� ������ ������������� 7���� �0����/����� �� ����������� ������2��3 ����2�� � ������ � ��3 ����� ��/ D� ������� >� � @���� ������ ���������� ��� ��//� ���� �������'66)'$5 !'++$%�

,'(- @� ?� ����A� / ������ ���������� H ���� ���� ����� I �2������� 0��������0������);����� !'++9%�

,'6- �� ������ ?��� ? ���� ������� ���� �� ������ ����������� ������2��? ���A)&��� !'+#+%�

,'9- �� ��� ��/ ��0����� � �� ���A����� ������� ����������� ������� ��� (66)(9( !'+#+%�

,'$- >� �=�� ��/ �� � �������� �� ���� � ���� ��� ������ ����� � )� ��� ����00�� ����� �� ��//� ���� ����� �����J��� ���� ���� ?���A��� K ���� ���)0����� ���� ������

,'#- ���� 2�� �L������� ����������� �����2�� !*�� �������% ������A���� !'+$+%�