le · 2005. 4. 22. · %,)0/1( 324 5 -('% 6$798: @ ba9 c%ed 2'>f 2g ->@h 6 i: kj]^ r4^ 0?')02+ kh82...

31

Upload: others

Post on 26-Jan-2021

3 views

Category:

Documents


0 download

TRANSCRIPT

  • ��� ����� ��� ���������������� ����������� �!�"�#�%$&���'���(�����) �*�+��, � -.�����#/�010������2��345�"�6�879�#�*0:�A@B�C�5�"�

    D �E�E0����C�F�

    GIHKJMLON+PQPQRTSUN�VIWYXQZ�N+XUL[]\Q[_^(`K[]ab^dcfegeghjilkMhOmni]oqp%rtsvuxwzyMr{i}|fm(u~kMrtsvzu~e eq jO rt�p%s KhOgeg wvF(jn^dMj%* jO rt�p%s ^+ofrtsv mi} uxj ¡+¢j %£�¤¥%¦j§�¦¨z©nªY¨ «d¦¬¡+®n¢j¯ %£n¨}®n¢°%hOm%rM²±±³n´nµ¶´+·jµ¸¹n¬n·º»¸¸d¼½·j¾´´³¿¼½·ºº»»%¤À` Á ±±³n´nµ¶´+·jµ¸¹n¬�·j¾»n¾»

    Â�HÃLÄnÅ&Æ+ÇYÇYÇ

  • � ��������� �

    ��� ��������

    �������������! #"��$ &%(')���$�����*"��*+,'-�/.&�!�*�102"3'546 &%7 #829�"*:�;!ij.DK* #Y���82�R')�a02+,')�*k#�).F')02 #+� &%l #OQP��*KR'=E5 #��02�*+,')�*9mK* #+�K*�*�\')"^.&+�9nK* #+�"=')����KR')02 #+�"G02+,') -.&+m.&������ #����0oE.F')�3%7 #��Yp &%�).&��029ZE5���� &') &'5>Z��02+�kW��"�02+�kB���R4^��0?')��')�*KJ��+�02Q���*"*:GZ�*K* #+�9�8?>#@\.&"6.W"�02k#+�0?C/KL.&+,'(KL.&"��{"=')��9\>#@Z46�3.&"�"��*"�"')����"���0?'J.&O�02820?'5>v &%6')���m`�UaEcba�R')"D.&������ ,.&KJ��O,>N���� }MZ029�02+�kwv #+�9��*86UWUp"��!�*K*0?C/KL.F')02 #+8d.&+�k#�/.&k#�4^0?')�u.n%7 #��Yn.&8"��*Yn.&+,')02K*"*:Wv #+�9��*88d.&+�k#�/.&k#�D�/.&"3O!�*�*+NK* #+�K*�*0?M#�*9u%7 #�{9��RM#�*82 #��02+�km9�02"=')��02O��\')�*9.&����8202KL.F')02 #+�"^4^0?')�N�/.&�=')02K*��8d.&��8?>!ia.m"='J.F')�E5 #��02�*+,')�*9N"='5>Z82�H &%(9��*"�K*��02�\')02 #+g@g"=>Z+�KJ���� #+� #��"DK* #Y�Y-�ZE+�02KL.F')02 #+wO/.&"��*9u #+w')���-���*+�9��*hEM# #��"1Y��*KJ�/.&+�02"�Y.&+�9N.�%7 #��Yn.&8"��*Yn.&+,')02K*"*@AO/.&"��*9u #+~K* #82 #�����*9fe�R')��0+��R')"*@�')�/.F'�46�D���� #�! #"��1') $02Y����� }M#�1��"�02+�k$')���B`�UaEcba�R')"a.&������ ,.&KJ�g:

  • ������������� �

    � �� ��� � �

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

    "$#&%'����(*),+,���� -('%.��%,)0/1(��� 324�5�� -('% �

    6$798:�@���BA9�C%ED2'>F��2G ->@H 6

    I :KJ ]^�R4^��0?')02+�kH82 #k#02K :D:D:D:D:D:W:D:D:D:D:D:D:D:D:D:D:W:D:D:D:D:D:D:D:D:D:D:W:D:D:D:D: II :ML q(`6r[�^ba�R')"Bi(Q')����KR')���).&8.&"��!�*KR')"�:D:D:D:D:D:D:D:W:D:D:D:D:D:D:D:D:D:D:W:D:D:D:D: NI : I q(`6r[�^ba�R')"Bi(Z�*Yn.&+,')02KL.&8gr{"��!�*KR' :D:D:D:D:D:D:D:W:D:D:D:D:D:D:D:D:D:D:W:D:D:D:D: O

    PQ;�RG>S8�D:TU=?>@������V,V,��(W���XR Y

    N�:KJ �����-`�UaEcba�R')"*i6Q')����KR')���).&8lr{"��!�*KR')" :D:D:D:D:D:D:W:D:D:D:D:D:D:D:D:D:D:W:D:D:D:D: ZN�:ML `�UaEcba�R')"Wi6Z�*Yn.&+,')02KL.&8gr{"��!�*KR')"w:D:D:D:D:D:D:D:D:W:D:D:D:D:D:D:D:D:D:D:W:D:D:D:D: [

    N�:MLZ:KJ U3OQP��*KR'{K*���L.F')02 #+v.&+�9I9��*82�R')02 #+T:D:D:D:D:D:W:D:D:D:D:D:D:D:D:D:D:W:D:D:D:D: \N�:MLZ:ML qM# #82�\')02 #+I &%[U3OQP��*KR'1Q'J.F')�*"^02+w`68d.&"�"��*" :W:D:D:D:D:D:D:D:D:D:D:W:D:D:D:D: J�]N�:MLZ: I ]^�R4^��0?')02+�kH����82�*"^k# #�\M#�*��+�02+�k$')���B`�UaEcba�R')"^O!�*�/.LMZ02 #��� :D:D:D:W:D:D:D:D: J�]

    N�: I `�UaEcba�R')"Wi6v #���Wr{9\M&.&+�K*�*9u`6 #+�"=')����KR')02 #+�"n:D:D:W:D:D:D:D:D:D:D:D:D:D:W:D:D:D:D: J^JN�: I :KJ _5+����*��0?'J.&+�K*�W02+w`�UaEcba�R')" :D:D:D:D:D:D:D:W:D:D:D:D:D:D:D:D:D:D:W:D:D:D:D: J^JN�: I :ML _5+,')�*�).&KR')02 #+v02+w`�UaEcba�R')"�:D:D:D:D:D:D:D:D:W:D:D:D:D:D:D:D:D:D:D:W:D:D:D:D: J�L

    `bac('%,)G>edfD2'>F��2G ->@H �e6

    gb;h����%,�id-�5�� !%Gj1ac('%,)G>edlkmVn>e�@ 3op�^�5�� -('%,� !%'��(q8�D:TU=?>@��� �e`

    r :KJ �e�).&+�"�8d.F')02+�k�v #+�9��*8

  • �!� �������������

  • �������������������������������*�����������������*��� �!�*����� "

    � ��������� #

    $ �� �&%(' ���*),�� � +% , ���*)�-p� �*),��

    ������ #OQP��*KR'( #��02�*+,'J.F')02 #+g@F4^0?')�H0?')"[�! }46�*�=%7��8/.&O�"=')�).&KR')02 #+HY��*KJ�/.&+�02"�Y�"*@,02"+� }4G.&9/.L>Z"6.{4^029��*8?>.&K*K*�*�\')�*9w�/.&�).&9�02k#Yp9��L.&8202+�kB4^0?')�I9�0/.A�*���*+,'^���/.&"��*"^0V: �&:j.&+/.&8?>Z"�02"*@�"��!�*K*0?C/KL.F')02 #+0tM&.&82029/.F')02 #+g@,9��E"�02k#+�.&+�9y02Y���82�*Y��*+,'J.F')02 #+�02+z')���w9��RM#�*82 #��Y��*+,'n820?%7�IKR>ZK*82�w &%18d.&��k#�I"� &% '54G.&���w02+zk#�*+��*�).&8{.&+�99�02"=')��02O��\')�*9v #+��*"a�/.&�=')02K*��8d.&��8?>#:p_5+�9��*�*9g@ ')���D #OQP��*KR'a�/.&�).&9�02k#Y�.&8282 }4^"G%7 #�*i(.&+v02+,')��02+�"�02K1K* #+�K*���cE���*+�KR>u.&+�9~9�02"=')��02O��\')02 #+I')���� #��k#�w0?')"{Y��*"�").&k#�B�/.&"�"�02+�kmY��*KJ�/.&+�02"�Y.&+�9~02+\%7 #��Yn.F')02 #+I��029�02+�k�s!.+/.F')���).&8ZK* #+�K*�*�\')�/.&8202hL.F')02 #+W &%/"=>Z"=')�*Y�"[.&".aK* #Y�Y-��+�0?'5>W &%� #OQP��*KR')"[.&+�9-Y��*"�").&k#�*"*@&4^��02KJ�-02"M#�*�=>K*82 #"��$') v')����02+,')��0?')0?M#�$�!�*��K*�*�\')02 #+� &%G9�02"=')��02O��\')�*9�"=>Z"=')�*Y�"*s(.&+02+�K*���*Y��*+,'J.&8jO���02829�02+�kI &%GK* #YHE��82�21v"=>Z"=')�*Y�"a')���� #��k#�w0?')"^�! }46�*�=%7��8|.k#���L.F'B+Q��Y-O!�*�B &%^UWU�.&������ ,.&KJ���*"*@8d.&+�k#�/.&k#�*"D.&+�9%7 #��Yn.&8202"�Y�"{%7 #�D9��RM#�*82 #��02+�kw8d.&��k#�$"=>Z"=')�*Y�"02+xk#�*+��*�).&81.&+�9T9�02"=')��02O��\')�*9x #+��*"_02+x�/.&�=')02K*��8d.&�*: r{Y� #+�k|')���*Y�46�N�/.LM#�N�*"��!�*K*0d.&828?>!i|UWU435 6 Z @\5J873.&+�9xUWv� 5 ] 6 f:9*\5J873.&"mUWU .&������ ,.&KJ���*"m.&+�9�Y��R')�� Z9� #82 #k#02�*"*s��^]�U4;�; 5 < =35\ r 7V@w.&��9�� 5 v�*" \ I 76.&+�9|v #+�9��*8 5 6>6 q:9m\5J?7(.&"-UWUp"��!�*K*0?C/KL.F')02 #+0F���� #k#�).&Y�Y�02+�kn8d.&+�k#�/.&k#�*"*s.&+�9=3UWZr 5 @ 3 \ I 7V@e���R4^��0?')02+�kI82 #k#02K 5 v�*" \@LA7(.&+�9���*K*�*+,')8?>B33�C; 5 q(`� 3 \^[A76.&"nS .&82k#�*O��).&02K-O/.&"��*9 X%7 #��Yn.&8202"�Y�"*:

    �����Iv #+�9��*8^UWU "��!�*K*0?C/KL.F')02 #+|8d.&+�k#�/.&k#�n02"B�/.&�=')02K*��8d.&��8?>N9�02"=')02+�k#��02"����*9|O,>�')���n%7 #8282 }4^02+�k%7�L.F')�����*"*i< #OQP��*KR'9��*"�K*��02�\')02 #+-.&"e'5>Z�!�602+�"='J.&+�K*�(4^0?')�H.a�!�*��"�02"=')�*+,'029��*+,')0?'5>!s,Y-��8?')02��82�[02+����*��0?'J.&+�K*�O/.&"��*9� #+"���O\'5>Z��02+�k�sK* #+�K*�������*+�KR>N4^0?')�"=>Z+�KJ���� #+� #��"BK* #Y�Y-��+�02KL.F')02 #+uO/.&"��*9� #+N')���$���*+�9��*hEM# #��"IY��*KJ�/.&+�02"�Y .&+�9T.|"='J.F')�E5 #��02�*+,')�*9xY��R')�� Z9� #82 #k&>�%7 #�m9��RM#�*82 #��02+�k .&����8202KL.F')02 #+�"*: 6 �*"�029��')�/.F'L@6v #+�9��*8G"��!�*K*0?C/KL.F')02 #+��/.&"-���*K*�*0?M#�*9y.w%7 #��Yn.&8("��*Yn.&+,')02K*" 5 6>6 \5J?7V@[��"�02+�kuK* #82 #�����*9 fe�R')��0+��R')"*@(')�/.F'�.&8282 }4^"BM#�*��0?C/KL.F')02 #+ &%{"� #Y��_K*����K*0d.&8G���� #�!�*�=')02�*"H &%a')���I"��!�*K*0?C/KL.F')02 #+ 820�D&�_.&O�"��*+�K*� &%G9��L.&9�82 ZK�D @u &%G #�!�*�).F')02 #+�"*@e�R')K&@e #+')����O/.&"�02"W &%�K* #82 #�����*9�fe�R')��0j+��R')"-.&+/.&8?>Z"�02"���� #�!�*�=')02�*" 5 < �*+�\@LE7V:

    =a }46�RM#�*�*@A02+w"���0?')�D &%

  • 82 ZKL.&8lM&.&��0d.&O�82�*"{.&+�9~02+,')�*��Y��*9�0d.F')�BK* #Y����\'J.F')02 #+�"Om 02"{"� #Y��B�� }4 .&�=')0?C/K*0d.&8V@/4^��02KJ�uYn.nD&�.&+,>�"=')�).&02k#�,'�%7 #�=4G.&��9�Y��*KJ�/.&+�02hL.F')02 #+� &%G')����')�).&+�"�8d.F')02 #+�9�0���K*��8?'L:wv #���* }M#�*�*@[')���nY��*"cE").&k#�*"-S70V: �&:G #�!�*�).F')02 #+�"^ #+v #OQP��*KR')"JX@!')�/.F'a�/.LM#�D') �O!�D02+�9��*�!�*+�9��*+,'3�*+,')0?')02�*"-S70V: �&:6Yn.L>IO!�K*���L.F')�*9g@!9��*82�R')�*9g@!�R')K}X@A.&���D�).F')���*�aK* #+�K*�*0?M#�*9u.&"^C 1\�*9~�/.&�='{ &%�.LM# #029�02+�k~')���*"���S7"='J.F')�}XB��8d.&K*�*"*@[')���_���*"���8?')02+�ku+��R'$02"Y� #���1"�02Y���82�&@\Yn.&+/.&k#�L.&O�82�1.&+�9v��+�9��*��"='J.&+�9/.&O�82�&:

    F `Gfjba�R')"3�/.LM#�HO!�*�*+~"���0?'J.&O�8?>I��"��*9~%7 #�{Y� Z9��*828202+�kH #OQP��*KR'102+�"='J.&+�K*�*"3.&"� K* #82 #�����*9��/') GD&�*+�".&+�9N #OQP��*KR'DO!�*�/.LMZ02 #���W.&"D.&������ #����0d.F')�B')�).&+�"�0?')02 #+�"*:HU3+u')���$ &')���*�1�/.&+�9g@"� #Y���v #+�9��*8"��!�*K*0?C/KL.F')02 #+���� #�!�*�=')02�*"D�/.LM#�nO!�*�*+�M#�*��0?C/�*9���"�02+�ku`Gfjba�R')"B���� #�!�*�=')02�*"B.&+/.&8?>Z"�02"*: =a }4GE�RM#�*�*@Z`Gfjba�R')"[+��*�*9-%7 #�.&+H.&������ #����0d.F')�1SVUWUWX�21Z')�*+�"�02 #+�"*@,820�D&�j')���G #+��Gk#0?M#�*+-O,>H`{:G;.nD& #"5 ;.nDe\@OE7(%7 #�D�21�.&Y���82�&@#:

    �T0?')��')���3.&02Y ') BK* #�!�a4^0?')��')���*"��3"��� #�=')K* #Y�02+�k#"*@Q')���{�����*"��*+,'��/.&�!�*�6���� #�! #"��*"(') D')�).&+�"�8d.F')�v #+�9��*8j"��!�*K*0?C/KL.F')02 #+�"W02+,') _')���n`�UaEcba�R')"B.&������ ,.&KJ�N')�/.F'W46�n.&���$K*�������*+,')8?>u9��RM#�*82 #��02+�k�:������`�UaEcba�R')"^UWU .&������ ,.&KJ�_02"602+,')�*+�9��*9m') -Y� Z9��*8202+�kB.&+�9_�).&��029ZE5���� &') &'5>Z��02+�kD9�02"=')��02O��\')�*9m"=>Z"=')�*Y�"4^0?')��Y� #����.&9��*Q�/.&KR>') v02+\%7 #��Yn.F')02 #+u"=>Z"=')�*Y�"-"��!�*K*0?C/KL.F')02 #+g:mr{"BY� Z9��*8202+�km%7�).&Y��R46 #� D @[`�UaEba�R')"[Y� Z9��*8Z02"D0?')"')�����6K* #+�K*�������*+,'["��*Yn.&+,')02K*"Z��02+�k�@�`�UaEcba�R')"mO!�*�/.LMZ02 #���n02"��21\�����*"�"��*9 02+,') ����R4^��0?')02+�k82 #k#02K&@�.&+�9���*+�K*�D�).&��029ZE5���� &') &'5>Z�!�*"�KL.&+vO!�W9�02���*KR')8?>mk#�*+��*�).F')�*9v��"�02+�k����R4^��0?')02+�k-')�*KJ��+�02Q���*"*:

    �����$"=')����KR')�����$ &%j')���$���*Yn.&02+�02+�kn"��*KR')02 #+�"102"W.&"3%7 #8282 }4^"*ia02+u"��*KR')02 #+1LZ@g')���HYn.&02+~K* #+�K*�*�\')" &%')���Wq(`6r[�^ba�R')"^Y� Z9��*8g.&���3���RMZ02�R46�*9g:(�����3')��02��9_"��*KR')02 #+_9��*"�K*��02O!�*"G')���D`�UaEcba�R')"^.&������ ,.&KJ�g@O��\'-4^0?')�� #�\'B�*+,')�*��02+�ku02+,') v')�*KJ��+�02KL.&869��R'J.&0282"mS .wY� #����%7 #��Yn.&8[�����*"��*+,'J.F')02 #+�KL.&+�O!��%7 #��+�9|02+5 r15\^\A7 X:E_5+�"��*KR')02 #+ I @G46�~�21\��8d.&02+ ')���~O/.&"�02KI%7�L.F')�����*"m &%3')���uv #+�9��*8a8d.&+�k#�/.&k#�v��"�02+�k')���M#�*+�9�02+�k|Yn.&KJ��02+��v�21�.&Y���82�&: _5+y')���vYn.&02+z"��*KR')02 #+g@G4^0?')�z')���w���*82�y &%3')���vM#�*+�9�02+�k|Yn.&KJ��02+���21�.&Y���82�&@Q')���3Yn.&02+n029��L.&"6 &%l')�).&+�"�8d.F')02+�kHv #+�9��*8A02+,') $`�UaEcba�R')"�.&���{9��R'J.&0282�*9g:jZ�*KR')02 #+ ODK*82 #"��*"')���W�/.&�!�*�^O,>_k#0?MZ02+�kH"� #Y��WK* #+�K*82��9�02+�kH���*Yn.&� DQ"*:

    ;/ #�j')���{���*"='G &%g')���{�/.&�!�*�(46�3.&"�"���Y��a')���{���L.&9��*�602"(Y� #���a #�(82�*"�"(% .&Y�02820d.&�

  • �������������� �Z"=')�*Yv@�4^��0282�{')���1')��02��9_ #+��W.&8282 }4^"6%7 #��9��RC/+�02+�kH')���1"��*Yn.&+,')02K*"DS70V: �&:')���1O!�*�/.LMZ02 #���JX &%e')���W"=>Z"=')�*Y �21\�����*"�"��*9~02+,') $���R4^��0?')02+�kH82 #k#02K{4^��02KJ�I4^02828AO!�1C/��"='a���RMZ02�R46�*9g:

    ����� ���������! "�$#�%'&)(*%+�$,]^�R4^��0?')02+�ky82 #k#02K&@1.&"~.y+��R4 �/.&�).&9�02k#Y %7 #�vK* #+�K*�������*+,'u"=>Z"=')�*Y�"*@B�/.LM#�|O!�*�*+ 02+,')�� Z9���K*�*9 O,>< : v�*"��*k#���*�302+ 5 v�*" \@LA7eO,>v #O�"��*�=MZ02+�k�@/C/��"='{')�/.F' d�gAk�d�� ��� l8k�b����R4^��0?')02+�k$02"{.�+/.F')���).&8���� ZK*�*"�"{02+')�*��Y�"j���R4^��0?')02+�kD.&+�9�"��*K* #+�9�')���a02+/.&9��*Q�/.&KR>H &%g02+,')�*�������R')02+�kW���R4^��0?')�^����82�*"(.&"{S7 #��02�*+,')�*9 X�*Q�/.tE')02 #+�"j4^���*+m9��L.&8202+�k14^0?')�n+� #+mf[8d.F') #+�02K,S70V: �&:e���L.&KR')0?M#�}Xj"=>Z"=')�*Y�"*:[�����*+g@\02+����R4^��0?')02+�kD82 #k#02KG4^��0282����R4^��0?')�6����82�*"-.&���(�).F')���*�Z"=')�*Y�"*:�e 1O!�GY� #���6�����*K*02"��646�������*"��*+,'j"� #Y��G9��RC/+�0?')02 #+�"z')�/.F'p5 l8k�bTc � `N.�"��*Q���*+,' PTi 5 NO7qh 5 N b 71.&+�9y4^��0?')�5�r 5 NO7^h 5 Ncb 7�RcjMj 5 NO7^h 5 Ncb 7vu�>vwG 32G 3� u ij;/ #���L.&KJ� 5 ' 7�xyJMLON PjSKQX@ z {}| ~z {}|LZ: 8�('%GjW�X+G>e%,�^> i(;/ #���L.&KJ�I%Tx9�@�+Cx�bD@ z {K| ~z { |.. z {FV�d-���^>e/1>e%'� ia;/ #�a�L.&KJ�u����82� \

  • � ����� � 568 S:9jL#@�') GD&�*+�"^02+,') H��8d.&K*�*",-a.&����S7k#�� #��+�9I.&8oEk#�*O��).&02K}X')�*��Y�"%7 #8282 }4^02+�k1.1k#0?M#�*+$��"��*�j"�02k#+/.F')����� 5 q( [@OE7V:[f[8d.&K*�*"j.&����K* #+�+��*KR')�*9�') 1')�).&+�"�0?')02 #+�"O,>w9�02���*KR')�*9 S702+����\'X^�*9�k#�*"38d.&O!�*8282�*9v &%[O,>v'546 _02+\%7 #��Yn.F')02 #+�"*i(�����-02+����\'W`6 #+�9�0?')02 #+�"}S-_=`�Xa.&+�9')���j33�*"=')�� }>#�*9m�e GD&�*+�"}S 33�aXj4^��02KJ�m.&���aO! &')��Y-��8?')02"��R')"{S70V: �&:"��R'(4^0?')���! #"�"�02O�02820?'5>- &%g���*�!�R')0?')02 #+ X &%[')�*��Y�"*:1r{82"� �@!')�).&+�"�0?')02 #+�"{.&���-K* #+�+��*KR')�*9u') m��8d.&K*�*"3O,>w9�02���*KR')�*9zS7 #�\')���\'Xa�*9�k#�*"18d.&O!�*8282�*9v &%O,>N.v`6���L.F')�*9��e GD&�*+�"}SV`6�aXWY-��8?')02"��R'L:H;#@!4^0?')�N�L.&KJ�N')�).&+�"�0?')02 #+u02"W.&"�"� ZK*0d.F')�*9._O! Z #82�L.&+�21\�����*"�"�02 #+uKL.&8282�*9w�e�).&+�"�0?')02 #+~`6 #+�9�0?')02 #+S7�a`�X:!�����Bk#�*+��*��02K-q(`6r[�^ba�R')" 5 6 \@LE7~.&���B�*Q�/.&8') �_5+����\'3`6 #+�9�0?')02 #+S-_=`�X:

    �����~q(`6r[�^ba�R')"m #�!�*�).F')02 #+/.&8�O!�*�/.LMZ02 #����02"�9��RC/+��*9x.&"$%7 #8282 }4^"*iI')���vC/��02+�kK* #+�9�0?')02 #+�"$ &%')�).&+�"�0?')02 #+ NW.&���viWC/��"='L@e%7 #�B.&82802+����\'D��8d.&K*�*"/.�') I')����')�).&+�"�0?')02 #+ N@�I10nS2.�L N�X1.&����02+�K*82��9��*902+3 S2.!XsQ"��*K* #+�9$')���6')�).&+�"�0?')02 #+-K* #+�9�0?')02 #+- &%Ne02"~9��*82�R')02 #+N &% 33�*"=')�� }>#�*9|�e GD&�*+�"D%7�� #Y ')���$K* #�����*"��! #+�9�02+�k�S702+����\'X3��8d.&K*�*".&+�9w.&9�9�0?')02 #+m &%

  • �������������� �#�*9x�e GD&�*+�"*@a%7 #����KL.&"��*"_�/.LM#�~O!�*�*+x9�02"=')02+�k#��02"����*9 5 6 6 \ I 7V: ������*KL.&828�')���^K* #�����*"��! #+�9�02+�kD���R4^��0?')�^����82�*"[%7 #�')���*"��{KL.&"��*"6.F% ')�*�jk#0?MZ02+�k1"� #Y��^+��*K*�*"�").&�=>�+� &'J.F')02 #+�"*i

    F .&"W9��*"�K*��02O!�*9�.&O! }M#�&@')���$K* #+,')�*+,'B &%6�L.&KJ����8d.&K*�H02"W.IY-��8?')02"��R'1 &%6K*82 #"��*9N')�*��Y�"34W: �*: 'L:�.k#0?M#�*+v"�02k#+/.F')�����&:j�����W��"��/.&8��+�02 #+�S .&"�"� ZK&:(.&+�9vK* #Y�Y-�g: X- #�!�*�).F')02 #+_ #+I')��02"�Y-��8?')02"��R'^02"9��*+� &')�*9wO,> AH:

    F ') |KL.&�\')�����w���R4^��0?')�w����82�*"m.&+�9xq(`6r[�^ba�R')"_"='J.F')�*"NS70V: �&:T') GD&�*+�"m9�02"=')��02O��\')02 #+ X@G.&+� &')���*�Y-��8?')02"��R')"(%7 #��Y �/.LMZ02+�k$.&"G�*82�*Y��*+,')"G�/.&02��"6 &%l')���{%7 #��Yvi^S i /cZd�l k cnh lgSsjbOl��2h `)X4G.&"a��"��*9g:j�����D��+�02 #+I #�!�*�).F')02 #+_ #+I')��02"�Y-��8?')02"��R'�02"�9��*+� &')�*9wO,>��H:

    F k#0?M#�*+I.D')�).&+�"�0?')02 #+ N@\82�R' W .*JGL$YZY/LR. [^] 0?')"602+����\'G��8d.&K*�*"�.&+�9 W�� JGL$YZY/L ����] 0?')"6 #�\')���\'���8d.&K*�*"*:������������ �a©c ������ �a©c ^( hMs r wv���� ��K$© ¡¡¡ ©�� £ ¤� °[]m:ez(uxQw grbez%rAsvp(~rqe yMr ez%r hMsv:O �K$© ��� �K$©c c"! ¡¡#! � £ © ��� � £ ©c c �$n$© � � �$n$©c c"! ¡¡#! �$&%D© � � �$&%D©c  :�� � ����(')����� �a©c +*,��� �a©c -�/. ^( hMs r wv�����0�K$© ¡¡¡ ©�� £ ¤� °[]m:ez(uxQw grbez%rAsvp(~rqe yMr ez%r hMsv:O �K$© ��� �K$©c c"! �K$© ��� �K$©c c"! ¡¡#! � £ © ��� � £ ©c c+! � £ © ��� � £ ©c �K$© ��� �K$©c c"! �$n$© � � �$n$©c c"! ¡¡#! �$&%D© ��� �$&% ©c c1! �$&% © � � �$&%D©c  :2� � �����3+����� �a©c �*4��� �a©c 65�/. ^ hMs e~r ge°hOm%r���� ��K$© ¡¡ ©�� £ ¤� ²[Te° ²drtrm*z%h87 m uxm+ 9U6M ez eez(ux w grbw{hOp( drA(szhOp eQegh ez%r e:7h ~szr M 1w gr& ����

  • � ��Z�� �

  • ����������� � � ���q����� � �����+� ���������� �

    � ��������� �

    � ��� � � � � � � � � ����y�

    r{"aY��*+,')02 #+��*9w.&O! }M#�&@/')���-`�UaEcba�R')"a02"^.&+uUWU .&������ ,.&KJ�I%7 #�^9��RM#�*82 #��02+�k�9�02"=')��02O��\')�*9v"=>Z"=')�*Y�"*:_5+y')��02"n"��*+�"��&@{`�UaEcba�R')"_.&02Y ') �K* }M#�*�n')���w02Y��! #�='J.&+,'����/.&"��*"m02+y9��RM#�*82 #��02+�k�"���KJ�T"=>Z"=')�*Y�"*@�/.&�=')02K*��8d.&��8?>a')���[%7 #��Yn.&8#"��!�*K*0?C/KL.F')02 #+D.&+�9W')���[M#�*��0?C/KL.F')02 #+0tM&.&82029/.F')02 #+{���/.&"��*"*:p_5+W4^�/.F'%7 #8282 }4^"*@46�B�����*"��*+,'a')���DYn.&02+I.&"��!�*KR')"{ &%Z"=')�*Y�"� &% #OQP��*KR')"JX02+,') �')���(q(`6r[�^ba�R')"e%7�).&Y��R46 #� D302"g') a���*k,.&��9W #OQP��*KR'_K* #�����*"��! #+�9�02+�k$')�).&+�"�0?')02 #+�"*:

    =a }46�RM#�*�*@&%7 #�g')���jY� Z9��*828202+�k6 &%\Y� #���[K* #Y���82�211"=>Z"=')�*Y�"~O!�-Y� Z9�0?C/�*9 X^O,>u &')���*�3 #OQP��*KR')"WK*8d.&"�"��*"*:HU3+~')���H &')���*�3�/.&+�9g@g46����� #�! #"��m.&"W46�*828j') w9�02"=')02+�k#��02"��O!�R'546�*�*+|')����02+,')�*��+/.&8(Y��*"�").&k#�*"D')�/.F'-.&8282 }4�%7 #�D�RM# #8?MZ02+�kv')��� #OQP��*KR'G"='J.F')�*"6 }M#�*�6')���^')02Y��a.&+�9�')���{�21Z')�*��+/.&8!Y��*"�").&k#�*"6��"��*9n%7 #�(02+,')�*�).&KR')02+�kD9�0/.A�*���*+,'6K*8d.&"�"��*"*:

    v #���W�����*K*02"��*8?>#@ �L.&KJ�~ #OQP��*KR'{"='J.F')�W4^02828gO!�W���*k,.&��9��*9~.&"{.H')�*��Y mx4^0?')�v���*"��!�*KR'{') $')���BUWU"�02k#+/.F')�����WO!�*82 }4 m &%n'J.nDQ02+�k-0?')"6M&.&82���*"6%7�� #Y�.&+I.&������ #����0d.F')�1.&O�"=')�).&KR'�9/.F'J.'5>Z�!�D'5>Z�!�*9~O,>�� IKJ/s MGNQPnd8L$YZY MGNQP$gD.&���W')��� �g d c �.F'�')��02O��\')�*"a029��*+,')0?C/�*��"aK* #Y��! #+��*+,'a')�/.F'{�/.LM#�-.&".&KR')�/.&8�M&.&82���*"[���*"��!�*KR')0?M#�*8?> e M `d8L$YZY/L e M ` gF:�����^ #O�"��*�=M#�*9n�/.&�='j &%g.&+$ #OQP��*KR'("='J.F')�^02"[029��*+,')0?C/�*9$O,>¥��

  • � � ��� ����� � �����y�����j�����*�������y�+�E�������

    MGNWS8Xnd8L$YZY/L�MGNWS8X��[4^0?')��')���*02�6.&"�"� ZK*0d.F')�*9m.&KR')�/.&8 M&.&82���*" e M `b d L$YZY/L e M `b� :[r{82"� �@,46�1.&"�"���Y��a')�/.F'G.&828�')���.F'�')��02O��\')�*"[029��*+,')0?C/�*��"}S782 ZKL.&8Z #�[ #O�"��*�=M#�*9 X[�).&+�k#�6')���*02�M&.&82���G }M#�*�(.3"���0?'J.&O�82�G"� #�='j9��*+� &')�*9��jI��w@.&+�9n')���*02�G.&"�"� ZK*0d.F')�*9nM&.&82���*"G.&���3�).&+�k#�*9m }M#�*�6')���3"� #�='�� M `�U V{4^0?')� � IKJ H�� M `�U V$S70V: �&: � IKJH.&""���O�"� #�='^ &%�� M `�U VtXj') H.&8282 }4T #OQP��*KR'GM&.&82���*9I.F'�')��02O��\')�*"*:[r{82"� �@Z02+m #��9��*�6') H�/.LM#�1Y� #����/�21\02O�02820?'5> &%g')��02"6 #OQP��*KR'G"='J.F')�1.&+�9m.&8282 }4xO,>$')���{4G.L>�') B�21\��02O�0?'602+,')�).tE5 #OQP��*KR'GK* #+�K*�������*+�KR>#@\46�302+,')�� Z9���K*�.&+I.&������ #����0d.F')�{ #�!�*�).F') #�6')�/.F'G46�19��*+� &')�1O,> A %7 #�6"���820?'�')02+�k_S7���*"��g:j���*K* #Y-O�02+�02+�kQX@Z0?%+��*�*9IO!�&@')��02"G"='J.F')�302+,') -�/.&�='DS7���*"��g:j0?')"G�/.&�='X:����02"G"���820?'�')02+�kZ0F���*K* #Y-O�02+�02+�kD #�!�*�).F')02 #+g@Z���/�*KR')�*9IO,>n')���.E1\02 #Y 02+|')���_ #OQP��*KR'=E5"='J.F')�I"�02k#+/.F')�����_.&"H9��*��02KR')�*9 O!�*82 }4W@j02"H�/.&�=')02K*��8d.&��8?>N02Y��! #�='J.&+,'B%7 #�B')������*"��!�*KR'{ &%e')���W�*+�KL.&��"���8d.F')02 #+I���� #�!�*�='5>m4^���*+w02+,')�*�).&KR')02+�kH9�0/.A�*���*+,'aK*8d.&"�"��*"*:

    v�*"�").&k#�*"W.&���DMZ02�R46�*9u.&"{ #�!�*�).F')02 #+�"^4^0?')�~.F'382�L.&"='{ #+��B &%')���*02�{.&��k#��Y��*+,')"{02"a &% � IKJm"� #�='m 02+u')��02"3"��*+�"��n._Y��*"�").&k#�H"��� #��829N02+,M# #8?M#�$.F'W82�L.&"='1 #+��H #OQP��*KR'B.&"1"��*+�9��*�D #�3���*K*�*0?M#�*�*:$qj.&KJ�Y��*"�").&k#�(k#�*+��*�).F') #� � X��Z4^02828,O!�j'5>Z�!�*9-O,>D.a"� #�='#�R'�!�*�=%7 #��Y��*9 X:_5+�.&9�9�0?')02 #+~') _')���*"���Y��*"�").&k#�$��8d.&K*�*"*@46��.&"�"� ZK*0d.F')�H4^0?')�u')���$ #OQP��*KR'B"� #�=' #+��nS7 #OQP��*KR'XG��8d.&K*�3')�/.F'a�/.LM#�W') $K* #+,'J.&02+_')���WK*�������*+,'{ #OQP��*KR'a"='J.F')�*"^ &%.&���D"��*+,'L:ar{82"� �@/46�-Yn.nD&�D9�02"=')02+�KR')02 #+vO!�R'546�*�*+u82 ZKL.&8g')�).&+�"�0?')02 #+�"^')�/.F'{���/�*KR'{')���B #OQP��*KR'"='J.F')�*"3�RM# #82�\')02 #+u.&+�9~�21Z')�*��+/.&8w02+,M# #8?M#�-.F'�')��02O��\')�B.&+�90F #�aY��*"cE").&k#�W�/.&�).&Y��R')�*��"GM&.&��0d.&O�82�*"*:

    ����� ���{�¢�� �"! # ��� & #? "�$,/& & � �*) ��,@ �ra% ')�*�1k#0?MZ02+�k_�� }4 `�UaEcba�R')"3')�*Y���8d.F')�*"*@.&"19��*"�K*��02�\')02 #+N &%6K*8d.&"�"��*"*@e.&���HK* #+�"=')����KR')�*9g@46�H%7 ZK*��"���*���*02+� #+�')���mO!�*�/.LMZ02 #���).&86.&"��!�*KR')"H &%^"���KJ� K*8d.&"�"��*"*:u���/.F'H02"*@�� }4 ') uK* #+�"=')����KR'$.^d�g ��l�� l8k�b #OQP��*KR'n"� ZK*02�R'5> .&"�.uK* #Y�Y-��+�0?'5>| &%{ #OQP��*KR'n"='J.F')�*"�.&+�9zY��*"�").&k#�I02+�"='J.&+�K*�*"*@�.&+�9 �� }4 "���KJ��."� ZK*02�R'5>$�RM# #8?M#�*"G #+�8?>H02+,') B.4i�l��2h ��`�`���� �l"� ZK*02�R'5>#: 6 >�K* #���*���*+�K*�a46�{Y��L.&+�')���a���*"��!�*KR')02+�kB &%A')���"=>Z"=')�*Y "=')����KR')������.&+�9N')���H��+�02Q���*+��*"�"D &%6 #OQP��*KR')"W029��*+,')0?')02�*"*:Br{+�9O,>u�!�*��Y�02"�"�02 #+~46�$Yn.&02+�8?>��+�9��*��"='J.&+�9v')���W���*"��!�*KR')02+�k� &%e')���W�*+�KL.&��"���8d.F')02 #+I���� #�!�*�='5>#:

  • ����������� � � ���q����� � �����+� ���������� �

    �������������������������������������� �!#"��$%�&�������'���!)(+*��-,.��/"��$%�&��������������0 1���.-���2(+������0 1���.-����34"��$%�&�������5�!��6������0 1���.-����3'(7�������#"��$%�&�������98-:���-,���������0 1���.-����3��-,���������0 1���.-���-3�(?�!��6������0 1���.-����3@"AB�����C�D6����EBF)*��-,.��2���!5� �!#"��A G HI� �!J*��-,.��JKL������0 1���.-���M"��A N HI������0 1���.-����������0 1���.-����3�KL������0 1���.-����3POQ��3�3�:�-1B"R�:�S�S�.T"U�!VHW>�1�,�XY"��A[Z \ ]^H_���!5������0 1���.-����3�K`�!��6������0 1���.-����3@"��A a Hb�!��6������0 1���.-����3��!��6������0 1���.-����39K`�!��6������0 1���.-����34OQ��3�3�:�-1B"c�:�S�S�.T"U�!VHW>�1�,�X/"d�e-��9������0fHg������0 1���.-���ihc������0j3 ¥-k ������0j3 L HI������0 1���.-����3@h��BHl���!/"C�m&n@Z�o \ p�qrqrs6t ¥ ]%aJZ�o \ p�qrqrs6t L ]vuwZ�o \ p�qrqrs6t ¥ Nlp�qrqrs6t L ]^"C�m%xPZ�o \ y�zr{|]vu5o

    C�EB}B�~"�������,���3�3�������0�. ��.-0��9���AB�����C�D6����EBF4���������-3������� k 3�������0 ¥-k "�"�" k 3�������0- k 3�����0� ¥:¥ ¥-k "�" k 3�����0�� ¥ ¥-k

    "�"�" k 3�����0�- ¥ ¥�k "�"�" k 3�����0�- ¥ ¥ "�"�"��$%�&�������5�!V":6��^(7���!#"��$%�&�����������3 ¥�k ���3 L k "�"�" k ���3 (8-:���-, ���3�3������3P"��$%�&�����������3� ¥�k ���3� L k "�"�" k ���3�Q(+;�=��:�0�����! ���3�3������3P"��$%�&�����������36 ¥�k ���36 L k "�"�" k ���36 (�S��:�0�����! ���3�3������3P"�������5�!V":6�� k ���3 ¥�k """ k ���36 ' �D�e e-�����&$%��C�� -��A[Z \ p�qrs ¥ G N Nlp�qrs�G ]^Hb�!V":6��23�������0 ¥ "�"�"3�������0�

    K8-:���-,��6������0 1���.-���-3&" ���&��C���djC�}5e-�����&$%��C�� -��A[Z \ p�qrs6t ¥ G Nlp�qrs6t� G ]^H¡�!V":6��23�������� 3 ¥ "�"�"3�������� 3�

    KL;�=�����0�>��-,��6������0 1���.-���-3&"' �D�e f¢ C�����e�FjC�� -��A4S3 ¥ Hb3�����0�� ¥ ¥ "�"�"3�����0�� ¥ ¥ KL���3 ¥ ""�"�" C�£�AV����� ¢ C�����e�FjC�� -��A4S3� ¥ Hb3�����0�� ¥ ¥ "�"�"3�����0�� ¥ ¥ KL���3� ¥ ""�"�" � ¢ AV����� ¢ C�����e�FjC�� -��A4S36 ¥ Hb3�����0�- ¥ ¥ "�"�"3�����0�- ¥ ¥ KL���36 Y""�"�"

    C�EB}B�~"

    ;Z"=')�*Y�"

    ¤¦¥§¨¥© ª#«¨¬%~®f¯°®²± ~³´¯ µ¶¸·_³¹·cº»ºR½¼T¯ µ¶¸·

    ;/ #�6�*+�"�����02+�kH')���3��+�02Q���*+��*"�"^ &% #OQP��*KR')"�029��*+,')0?')02�*"602+I.Bk#0?M#�*+_K*8d.&"�"6')�/.F'G46�19��*+� &')�1O,> 0`5@Z46����� #�! #"��1')���1%7 #8282 }4^02+�k-K* #+�K*�*�\')�/.&8202hL.F')02 #+giJ#:�r{9�9B') a')���G.&"�"� ZK*0d.F')�3S7Yn.&� D&�*9 Xe`�UaEcba�R'Y� Z9��*8202+�k^"���KJ�-K*8d.&"�"*@,.a+��R4 ��8d.&K*�( &%/"� #�='�IKJfY ¾AS¿.&+�9n9��*+� &')�*9mO,> IKJfY 0`gK* #+,'J.&02+�02+�k cZd8b��!c �g���� l�d8b�` ���Zl8k�b�� C>l�� ` &%l #OQP��*KR')"6 &%A')���a��8d.&K*�¦¾AS¿/:

    LZ:aU3OQP��*KR')"�K*���L.F')02 #+m02"6Yn.&9��a')���� #��k#�m')���3+��R'�9��*��02KR')�*9_02+�')���382�R% 'G�/.&+�9_"�029��{ &%lC/k#������N�:MLZ:�T���*���_')���I+� &'J.F')02 #+ B KL.&�\')�����*"��21�.&KR')8?>�')���I02+,')�*+�9��*9zO!�*�/.LMZ02 #���vS70V: �&:�')���_029��*+,')0?C/�*�IKJu"��� #��829|+� &'H.&82���L.&9\>O!�m02+�')���n��8d.&K*� IKJfY 0` X:~ra% ')�*�DC/��02+�kw')��02"D')�).&+�"�0?')02 #+g@e')���*���m02".&+~.&9�9�0?')02 #+I &%

  • "�� � ��� ����� � �����y�����j�����*�������y�+�E�������

    Id1. . .Id

    n

    TrueId

    Id

    NEW

    Id.obj

    i

    . . . . . .

    i i

    obj

    1 1 k k

    Ad.obj

    True

    . . . .

    cl

    ad (Id )

    ad (Id )1cl

    . . . .

    Id

    ad (Id)

    cl

    p

    ad (Id)

    cl

    cl

    exist(Id)exist(Id)

    EXIST~

    True

    . . . . i i i

    . . . . . .dl (Id )

    1

    p

    dl (Id )1

    k k

    cl

    1

    Dl.obj objcl

    cl

    . . .Notexist(Id)

    Id.obj

    Id Id

    notexist(Id)True

    DEL

    NEXIST

    Id1. . .Id

    n

    Id.obj

    ~

    dl (Id)

    dl (Id)

    cl

    ;GmT02+v')���-"��*+�"��-')�/.F'3+� #OQP��*KR'{"='J.F')�*"^ &% &')���*�^K*8d.&"�"��*"a�/.&�=')02K*02�/.F')�302+_')���DK* #Y�Y-��+�02KL.F')02 #+ m .&"�46�*828.&"�')���W�����*"��*�=M&.tE')02 #+N &%(')���� #OQP��*KR'B029��*+,')0?'5>~��+�02Q���*+��*"�"*:_;/ #8282 }4^02+�km"���KJ�|k#��029��*8202+��*"1.&+�902+ #��9��*�1') I�21\��02O�0?'.Yn.E1\02Yn.&8GK* #+�K*�������*+�KR>#@^')��02"��RM# #82�\')02 #+z"�KJ���*Yn.�02"�9��*��02KR')�*9�02+�;|���*82�RM&.&+,'$�/.&�=')" R$ &%{"� #Y��_ #OQP��*KR'"='J.F')�*"H &%{.~k#0?M#�*+ 0`5@�mT+/.&Y��*8?> H�I d � MGNONQPGXnd \ - s?:?:?sjH�I)g � MGNONQPGX$g \ m 4^0?')��"� #Y��mY��*"�").&k#�*"� X�� d8L$YZY/L � X�� �GL � X��I"��*+�9�02+�k$�21\��8202K*0?')8?>n9��*82�R')�WY��*"�").&k#�*"�%7 #��"���KJ�w #OQP��*KR')"*:F ba�R4 Y��*"�").&k#�*".&���6"��*+,'') { #OQP��*KR')"< &%�')���6K*8d.&"�"*0`g@&+/.&Y��*8?> � X)b � d L$YZY/L � X)b ��� L � X)b�

  • ����������� � � ���q����� � �����+� ���������� "�"

    Ms

    MsConditions on attributes values and messages parameters

    Ms

    Msi1 . .

    . .

    ..

    MsMs

    Ms j1ms

    ms

    i1

    ms´ ms´

    ip

    h1hr

    hr

    jq

    ip

    h1

    ms´ j1

    ms´ jq

    ms j1

    ms jq

    . . . . . i1 i1 i

    obj

    � ����� 8 ����� ���5

    5 � ����� 8 ����� ���

    � ��� � � 8 ����� � � � 5

    5 � ������� 8 ����� ��� � 5 � ��� � � 8 �����

    � � � 5 5 � ��� ��� 8 �����

    � � �

    ;��21\��02O�0?'�+��R4 O!�*�/.LMZ02 #����02+,M# #8?MZ02+�ku')���w.&9�9�0?')02 #+/.&8�.F'�')��02O��\')�*"*@(46����� #�! #"��n')����%7 #8282 }4^02+�kvY� Z9��*8202+�k�:I;

  • "Z� � Z�� ����� � �����y��������C� ��� ��������E�����A� ��������*�����A�

    02+,') H IKJ � MGNQPndni �id2L$YZYZY/L�MGNQP$g~i e M ` gAL � J�� \ 4^���*���� J�� KL.&+|O!�m02+�"='J.&+,')0d.F')�*9��*0?')���*�-O,> [ R `4^���*+��RM#�*�{')���D #OQP��*KR')"a &% 0`d2L$YZYZY/LZ0` % @\4^0?')�_�21\K*82��"�0?M#�*8?>m')��� l,+GbOl��2k c Q�/.&�=')"� &%e"� #Y��1 #OQP��*KR')"^"='J.F')�*"�02+�K*82��9��*9_02+_"���KJ�K*8d.&"�"��*"*@+/.&Y��*8?>^H I d�� MGNONQPGXnd \ @?:?:?:?@>H I)g � MGNONQPGX$g \ :wZ��KJ��K* #+,'J.&KR'L@��+�9��*�B"� #Y��nK* #+�9�0?')02 #+�"')�/.F'(Yn.L>-02+,M# #8?M#�a #OQP��*KR')"6.F'�')��02O��\')�GM&.&82���*"(.&+�9��/.&�).&Y��R')�*�jY��*"�").&k#�*"*@Q���*"���8?')"(02+H')����%7 #8282 }4^02+�k�iF �����DY��*"�").&k#�*" � X�� d2L$YZY/L � X�� � L � X��$02+,M# #8?M#�a9��*82�*KR')02 #+0FK*���L.&KR')02 #+� #+��*"JXj.&���a"��*+,'6') D #OQP��*KR')"6 &%9�0/.A�*���*+,'aK*8d.&"�"��*"*@ +/.&Y��*8?> � X)b � d L$YZY/L � X)b ���?L � X)b�

  • ����������� �� ��������� �S� ���G������ "v�

    � ��������� �

    � ��+%���� � - �� - )e���

    ������v #+�9��*838d.&+�k#�/.&k#�w�/.&"mO!�*�*+T9��*"�02k#+��*9T�/.&�=')02K*��8d.&��8?>�%7 #�mY� Z9��*828202+�k�.&+�9x"��!�*K*0?% >Z02+�k�9�02"cE')��02O��\')�*9u.&����8202KL.F')02 #+�"�02+,') m.&+~ #OQP��*KR'3 #��02�*+,')�*9~"��R'�')02+�k�:^�����-Yn.&02+_%7�L.F')�����*"3 &%(v #+�9��*8e"��!�*K*0oEC/KL.F')02 #+~02+�K*82��9��&i^ #OQP��*KR'W�!�*��"�02"=')�*+�K*�&@lY-��8?')02��82�W02+����*��0?'J.&+�K*�&@A���*+�9��*hEM# #��"1K* #Y�Y-��+�02KL.F')02 #+vO!�E'546�*�*+� #OQP��*KR')"*:Ir{+| #OQP��*KR'L@Z�!�uS70V: �&:?@#@�L.&KJ�w #OQP��*KR'^'5>Z�!�D02"�9��*"�K*��02O!�*9I')���� #��k#�I')�����*�W"��*KR')02 #+�"*i

    ;�RG> ��i���X -��+*��>e��km>e���� -('% A ')�/.F'mYn.L>zO!�w�*Y��\'5>#@^9��*"�K*��02O!�*"n')���u.F'�')��02O��\')�*"n029��*+,')0?C/�*��"m.&+�9')���*02�W'5>Z�!�*"_S70V: �&:?@e')���*02�W"� #�=')"JX1')�/.F'-.&���� &% ')�*+� #OQP��*KR'=EM&.&82���*9g:vv #���* }M#�*�*@[.&"DY��*+,')02 #+��*9.&O! }M#�&@� #+��v &%3')���v"��!�*K*0?C/KI%7�L.F')�����w &%Wv #+�9��*8a"��!�*K*0?C/KL.F')02 #+z02"$')�/.F'�"� #Y��w.F'�')��02O��\')�*"*@')�� #"��IY� Z9��*8202+�k ��k�bOl��2k c ag���� l�d8b�` `8bTcnbOl�`R@G.&���_02Y���8202K*0?'-.&+�9 ')���*02�-M&.&82���_9��*�!�*+�9z #+ ')���.&KR')�/.&8l���� ZK*�*9������WO!�*02+�k$�21\�*K*�\')�*9 S7 #+_')���W #OQP��*KR'X:

    ;�RG> D�Vn>F���5�� -('%,��km>e���� -('% A �����-9��RC/+�0?')02 #+~ &%(.mk#0?M#�*+~'5>Z�!�-02+�K*82��9��D')���-9��*K*8d.&�).F')02 #+w &%( #�ZE�*�).F')02 #+�"wS7KL.&8282�*9�Y��R')�� Z9�"$02+ &')���*�nUWU 8d.&+�k#�/.&k#�*"JXB')�/.F'$Yn.L>�O!�I02+,M# GD&�*9yO,> #OQP��*KR')" &%6 &')���*�1'5>Z�!�*"*:�qj.&KJ�� #�!�*�).F')02 #+u�/.&"D.mC 1\�*9�+Q��Y-O!�*�W &%6�/.&�).&Y��R')�*��"}S 4^��02KJ�Yn.L>~O!�$ &% #OQP��*KR')"{.&+�90F #�������*9��RC/+��*9w'5>Z�!�*"JX:

    ;�RG> t >eRG�@2G -('+G� km>e���� -('% A _'D9��*"�K*��02O!�*"*@')���� #��k#�"� #Y��$���� ZK*�*9������*"*@')���$�21\�*K*�\')02 #+� &%6�L.&KJ� #�!�*�).F')02 #+�:3ba &')02+�k�')�/.F'L@!')���Hv #+�9��*8I% .LM# #��" d�gAh h �Kk � d cnb�� gAk }M#�*�6K* #Y����\'J.F')02 #+g:�_5+n &')���*�j46 #��9�"*@Z'5>Z�!�*"6O!�*�/.LMZ02 #���(02"j"��!�*K*0?C/�*9m��"�02+�kB.D"='J.F')�E5 #��02�*+,')�*9"='5>Z82�&@Z4^���*���102+,')�*��+/.&8 "='J.F')�*"�.&���{Y� Z9��*82�*9m.&"�v #+�9��*8A���� ZK*�*9������*"*:6Z��KJ�IK* #Y�Y-��+�02KL.F')02 #+02"(Yn.&9���')���� #��k#�m.D���*+�9��*hEM# #��"GO!�R'546�*�*+_')���aKL.&8282�*�(.&+�9�')���aKL.&8282�*�BS MZY8Y8V,.!N[%7 #�j���*K*�*0?MZ02+�k.&+�9��B%7 #�|"��*+�9�02+�kQX@m4^���*���x')���xKL.&8282�*��Y-��"='G3 c ��bm��+,')028�')���xKL.&8282�*���/.&"�02"�"����*9 ')���K* #�����*"��! #+�9�02+�k � l8b�� �2kn"='J.F')�*Y��*+,'L:

    7�w*��/1V�d->WA ;l�R'{��"3K* #+�"�029��*�{.�M#�*+�9�02+�kmYn.&KJ��02+�� 5 q:3 6 \ I 7?4^��02KJ�~���*K*�*0?M#�*"1.�K* #02+~.&+�9~9��*820?M#�*��"KL.&+�9�02�*"_') z0?')"_��"��*��"*:p�����N"��!�*K*0?C/KL.F')02 #+T &%D')���NM#�*+�9�02+�kzYn.&KJ��02+��u"=>Z"=')�*Y�K* #+�"�02"=')"v &%B #+��Y� Z9���82�DK* #Y��! #"��*9w &%['546 n'5>Z�!�*"*i�')���D'5>Z�!��� cZd � ��k�la.&+�9w')���D'5>Z�!��` l��@g.&"{9��*"�K*��02O!�*9~O!�*82 }4��"�02+�k�v #+�9��*8g"=>Z+,'J.E1A:j�����1���*8d.F')02 #+nO!�R'546�*�*+_')���3'5>Z�!�*"��` l��6.&+�9�� cZd � ��k�l(02"6���*�����*"��*+,')�*9vO,>')���a.F'�')��02O��\')��hT &% '5>Z�!�� cZd � ��k�lR@#9��RC/+��*9$4^0?')��02+-')�����` l��e'5>Z�!�&:[������ #�!�*�).F')02 #+�"*@��2k ` l��2b,F g ��k.&+�9�� � ` � = k ���al8b,F:cnk � 4F@/.&���1"��!�*K*0?C/�*9I4^0?')��02+n')���W #�!�*�).F')02 #+mK*8d.&��"���S .&"�"��� }4^+v02+_8202+��*"fLH.&+�9

  • " �

    NQX:jba &')�3')�/.F'�')���*"��W #�!�*�).F')02 #+�"�.&���{4^0?')�� #�\'^�/.&�).&Y��R')�*��"*:[�����W��"��*�^02"G02+�0?')0d.&828?>H02+I. H � ��k e ��k.-"='J.F')�&@g.&+�9w4^���*+u���-9��*K*029��*"{') mO��\>w.nKL.&+�9\>w���-02+�"��*�=')"3.nK* #02+g:ara% ')�*�a')���-K* #02+w�/.&"{O!�*�*+N.&KEK*�*�\')�*9g@Q')���^��"��*�(�*+,')�*��"j')�����al8b,F:cnk � 4G"='J.F')�&@Z���L.&9\>-') D.&K*K*�*�\'G.1K* #02+g:[U3+�K*�{.1K* #02+$02"[02+�"��*�=')�*9g@')���aYn.&KJ��02+��a.&K*K*�*�\')"(')���aK* #02+n.&+�9�')���*+n0?'j�*+,')�*��"6')����gfl���@?nl��YF:cnk � 4G"='J.F')�&:ra% ')�*�j')���a��"��*�(�/.&"����"����*9$')����O��\'�') #+H &% ')����Yn.&KJ��02+��&@#0?'[9��*820?M#�*��"��02Y 0F���*�[.3KL.&+�9\>H.&+�9$0?'O!�*K* #Y��*"��Cl c � 4G.&k,.&02+g:

    ��������� gngegr �� ���� wv(uxm%r ������� < ��������' � � ��c ��� � �3 []m(grtsS=hOuxm��; °p(z�?fm ofrteT= m �� � � "! � � � �# $ r M % ��� ��c& ' � � ��( � �c $ r M �) ��� �*� []m(grtszeT=hOuxm ( �� � �c ��� � �,+�� � ( +��' - rxu~kMrtsS= m ���

  • ����������� � � ����A�U� �!�*����� ��������� � ����m���5�����!�*�����A��������� ����� � ����� "��

    � ��������� �

    � �� � �# ) ��, ���C,/& "�)(+#�� �$#? ( ���{�¢�� �r{K*K* #��9�02+�k-') -')���D`�UaEcba�R')"�.&������ ,.&KJ�v.&"G�����*"��*+,')�*9w02+m"��*KR')02 #+?LZ@/.$v #+�9��*8g"��!�*K*0?C/KL.F')02 #+mYn.L>O!�{')�).&+�"�8d.F')�*9n02+,') H`�UaEcba�R')"G02+n"=')�).&02k#�,'�%7 #�=4G.&��9mYn.&+�+��*�*:jv #���{�����*K*02"��*8?>#@Z4^0?')�m�L.&KJ�m'5>Z�!�&@Z46�.&"�"� ZK*0d.F')�D.&+w`�UaEcba�R'-S70V: �&:j.HK*8d.&"�"JXGK* #Y��! #"��*9I &%ci

    F D�%G> (W��&>e��� �����5��>e�CV�d-���^>WA K* #+,'J.&02+�02+�km #OQP��*KR'W"='J.F')�*"W�/.LMZ02+�kI.&"W.F'�')��02O��\')�*"{')�� #"��H9��EK*8d.&���*9��21\��8202K*0?')8?>~02+N')���n.F'�')��02O��\')�$"��*KR')02 #+���82��" b ��l ��hji �� d���b4gAk�l�`1Y� Z9��*8202+�km')����"='J.F')�*" &%{')���I #OQP��*KR'L@�.&+�9 4^��02KJ�y.&���I��"��/.&828?>�02+�0?')0d.&8202h*�*9�02+�')���vO!�*k#02+�+�02+�ku &%{')���IO!�*�/.LMZ02 #���"��*KR')02 #+g:

    7�w*��/1V�d-> gb ��l h cZd � ��k�l b4�i�l

  • " � � "� � ����A�U� �!�*����� ��������� �S����m���5�����!�*�����A�B������� ����� � �����

    F D�Vn>F���5�� -('%,� V�d-���^>e��A ;/ #�I�L.&KJ� 9��*K*8d.&���*9 #�!�*�).F')02 #+g@{46�|.&"�"� ZK*0d.F')�.zK* #�����*"��! #+�9�02+�k��8d.&K*�&:n_%e.&+_ #�!�*�).F')02 #+n02"G9��*K*8d.&���*9I.&"¨¾Z.�P�S M P�� d�L$YZY/L�M P��n#X@Z4^���*��� M P�� d2L$YZYZY/L�M P��n-.&���a'5>Z�!�*"�/.&�).&Y��R')�*��"*@�46�D.&"�"� ZK*0d.F')�3') �0?'G')���1%7 #8282 }4^02+�k$U 6 < 9��*K*8d.&�).F')02 #+gi

    (WV ¾Z.�P-i M P�� d�YZYZY M P��nCIKJfY Y8M `` V V>IKJfY Y8M `` V P a 3 X�� ������3.&9�9�0?')02 #+$ &%g')���a029��*+,')0?C/�*�("� #�=')"( &%g')���aKL.&8282�*�(.&+�9�')���{KL.&8282�*�^02"j+��*K*�*"�").&�=>#: _5+�% .&KR'L@Z0?'.&8282 }4^"6��"G') fDQ+� }4W@�4^���*+v.-Y��*"�").&k#�302"�.&K*K*�*�\')�*9vO,>_.&+_ #OQP��*KR'DS7029��*+,')0?C/�*9_O,>�� �(` d c �l�l)X@4^��02KJ�y #OQP��*KR'm02"$K* #+�K*�*��+��*9xO,>�')���~.&"�"� ZK*0d.F')�*9 � l8b�� �2k S70V: �&:z4^��02KJ�� #OQP��*KR'n���*K*�*0?M#�v')����!�*��Y�02"�"�02 #+m') $K* #+,')02+Q���W0?')"��21\�*K*�\')02 #+w���*���1')��� � �(` d c �l�l)X:r{K*K* #��9�02+�kI') I')��02"*@l46��"��� #��829|.&82"� v.&9�9N') v�L.&KJ�� #OQP��*KR'D'5>Z�!��')�/.F'D"��*+�9�Y��*"�").&k#�*"mS70V: �&:K* #+,'J.&02+�02+�k-')���W����02Y�0?')0?M#� � ��� X$.H��8d.&K*�1K* #+,'J.&02+�02+�k�� l8b�� �2knY��*"�").&k#�*"^9��*K*8d.&���*9w.&"*i

    (WV PnV?N6i IKJfY Y8M `` V V�a 3 X�� �7�w*��/1V�d-> g#@Q')���1���*+�9��*hEM# #��"aK* #Y�Y-��+�02KL.F')02 #+02"�Y� Z9��*82�*9I.&"�%7 #8282 }4^"*iJ#:�r{+w #OQP��*KR'3KJ�/.&+�k#�*"{0?')"^"='J.F')�DO,>v.&K*K*�*�\')02+�kn"� #Y��W #�!�*�).F')02 #+g:6;/ #8282 }4^02+�k-')���B.&K*K*�*�\'k#�*+��*�).&8[%7 #��Y 5 6>6 \5J?7Vi cZd�d�lOi b��i J cnh l��� ��(e2G !)G>e) � � � lZE*+8i � )G( `8bTcnb >e%,) :�����02"O!�*�/.LMZ02 #����02"KL.&�\')�����*9 O,> . "���0?'J.&O�82� ')�).&+�"�0?')02 #+ ')�/.F'|�21\�����*"�"|')���yK* #+,'J.&KR'| &%��i J cnh lB4^0?')��')���v.&"�"� ZK*0d.F')�*9 g���� l�d8bj`8bTcnbOlTmTO! &')� Y� Z9��*82�*9 .&"H') GD&�*+�"�02+,') ~')���*02�.&"�"� ZK*0d.F')�*9 ��8d.&K*�*"Om ��+�9��*�H')���S ')�).&+�"�0?')02 #+ XWK* #+�9�0?')02 #+ � � � lZE*+8i �:������I���*"���8?'$ &%C/��02+�k3"���KJ�$')�).&+�"�0?')02 #+_S70V: �&:e')���GK*���L.F')�*9H') GD&�*+�"JXB')���G"='J.F')�*Y��*+,' `8bTcnb :

    7�w*��/1V�d-> g

  • ����������� � � ����A�U� �!�*����� ��������� � ����m���5�����!�*�����A��������� ����� � ����� " �

    � � �c ��� � �,+�� � ( +��' � MSG Ju]MSR ��q#t x p���@� / �:` l#` � l8b�� �2k 1ai /cZd�l�`#` �Bg � li � l�d���` l�4�Bab ��l d�gAk�bTcZd8b�gSs ��k ` / �vB h�1�3 ��b � H � � X?NDiM>4J \ � l�`�� b�` ��k b ��l d �!cnk.-Zl gSsb ��l h cZd � ��k�lf`8bTcnbOl bOg H � � X?N-i � e \ cnk � c ` l8k�b4gSs c eAk�gn3 �l ��-Zl bOg b ��l �` l�� �b �!cnb b ��l h l�`�` c�-Zl ��` cZd�d�lOi bOl � B>l,+8i � l�`�` l � �)4 � l8b / ��1�`

    LZ:^�����_").&Y��m���L.&"� #+�02+�kuYn.L>|O!�_.&����8202�*9�') u')���m"='J.F')�*Y��*+,'$ &%^')���m%7 #��Yvi � � � lZE*+8i �� ��i J cnh l�� � � � lZE*+8i ��� ��`8b1�:|v #���_�21\��8202K*0?')8?>#@���*���m')���_KL.&8282�*� � �(` d c �l��W"��*+�9 ')���Y��*"�").&k#� ��i J cnh l / � �(` F:c �l�l_O!�*K* #Y��1��+�Yn.&+/.&k#�L.&O�82�&:

    r{828^%7 #�_.&828V@G')���~"=')����KR')���).&81.&"m46�*8283.&"m')���uO!�*�/.LMZ02 #���).&8HS70V: �&: ')���u.&"�"� ZK*0d.F')�*9 `�UaEcba�R')"JX.&"��!�*KR')"a &%e')���1M#�*+�9�02+�k�Yn.&KJ��02+��W.&���W9��*"�K*��02O!�*9w.&"�%7 #8282 }4^"*i

    F �����WYn.&KJ��02+��W.&+�9v��"��*�^"='J.F')�*"3Z�!�*K*0?C/KL.F')02 #+gi

    ����� | i}ge egr � �� � � � < ���2��� gegsvuxm

  • " � � "� � ����A�U� �!�*����� ��������� �S����m���5�����!�*�����A�B������� ����� � �����

    � � � � ge]i}p(grts^�ge]i} wj^([ wv(uxm%rM^%[ |fgrts4 � � � � � � � [ wv(uxm%rM^%[ |fgrts����egsvuxm � � $ ^ - k6����e]i} wF � � \ ¿^+oqwj^�7 ej^�7 ev1����e]i}p(grts4

    � ( �

    F Z�!�*K*0?C/KL.F')02 #+I &%e')���Bw.&KJ��02+��D.&+�9 �a"��*�^"='J.F')�*"

    ����� wv(uxm%r � � � � � � < ���2��� | i}ge egr � � � � wv(uxm%rb � � � ¼ �2 � [ wv(uxm%r�e]i} w� wv(uxm%r� � C6r(N#RSH:M x }�MTKsK&q�v

  • ����������� � � ����A�U� �!�*����� ��������� � ����m���5�����!�*�����A��������� ����� � ����� "��

    ���� ��� & #�� &�& "�$#�% � (+# ����&'�*$�� , &�&(�*� �u� �$#? ( ���{�¢�� �=a�*���L.F% ')�*��46���21\��8d.&02+ �� }4�')���y���� #�! #"��*9 `�UaEcba�R'�02+����*��0?'J.&+�K*�y.&8282 }4^"N%7 #�KL.&�\')����02+�k ')���v #+�9��*81"���O\'5>Z��02+�kFE5O/.&"��*9 02+����*��0?'J.&+�K*�&: ;/ #�n')��02"_.&02Yv@�46�N���� #�! #"��~') ��21Z')�*+�9 #���_����+�+�02+�kM#�*+�9�02+�kzYn.&KJ��02+��u�21�.&Y���82�&: ���.&"�"���Y��~')�/.F'L@{O!�*"�029��~')���.&82���L.&9\>�"��!�*K*0?C/�*9 Yn.&KJ��02+��&@^46�Yn.L> �/.LM#� . �/.&�=')02K*��8d.&��Yn.&KJ��02+��z')�/.F'�O!�R%7 #���xO!�*K* #Y�02+�k ���L.&9\> 0?'|"��� #��829 O!�x02+�0?')0d.&8202h*�*9g:v #���* }M#�*�*@$46�z"������! #"�� ')�/.F'"���KJ� 02+�0?')0d.&8202hL.F')02 #+ S7 #�!�*�).F')02 #+ Xv02"N�! #"�"�02O�82�� #+�8?> 0?%�')���zK* #�cE���*"��! #+�9�02+�k O��\'�') #+�02" #+��E58202+��&: ;/ #� KL.&�\')����02+�k�')��02" 02+\%7 #��Yn.&8m9��*"�K*��02�\')02 #+g@I46� ���� #�! #"��') �.&9�9 ') ')���Yn.&KJ��02+��u'5>Z�!��+��R4 .F'�')��02O��\')�N+/.&Y��*9 "�02k#+/.&85S7"��� #�=')8?>#@�` -}X@3')�/.F'v�/.LM#�') yO!�02+�0?')0d.&8202h*�*9wO,>u')���HM&.&82���- #+��,S JtX@e.&+�9�._+��R4 "='J.F')�$9��*+� &')�*9O,> ��k ��b :nU3+u')���$ &')���*�W�/.&+�9g@l46�.&"�"���Y��n')�/.F'D')���n��"��*�-Yn.L>"��*+�9 .vY��*"�").&k#�n') w02+�0?')0d.&8202h*�IS7"��� #�=')8?>#@ ��k ��b�� c ����El)X1"���KJ� S7"��!�*K*0d.&8 XYn.&KJ��02+��&:[v #���(�����*K*02"��*8?>#@F')��02"e"��!�*K*0d.&8,M#�*+�9�02+�k{Yn.&KJ��02+��(KL.&+B"��!�*K*0?C/�*9B4^0?')�Hv #+�9��*8\.&"%7 #8282 }4^"*i

    �������� � gngegr �� ���� � §� wv(uxm%r � wv(uxm%r ������' ? $ uxmegr rts 3 � � ��c ��� � � �; uxm(u~ezu xu��tr � � � � � "! � � � �# uxm(u~e% ��� ��c& ' � � ��( � �c uxm(u~e �) ��� �*� uxm(u~ezu xu��tr ( �� � ��� � ��� ��� $ r M ��' � ( � � � uxm(u~e�mKL.&�\')�����*9~.&"^9��*��02KR')�*9v02+_C/k#������OZ: �T���*���W')��� ac���XR, !%G> ��8d.&K*�1�/.LM#�W') �02+�K*82��9��+� }4 ')���D��"��/.&8eYn.&KJ��02+��W"='J.F')�*"{.&"^46�*828Z"=')�*Yv:

  • �1� � Z����f���W��� �������������� �W����� ��������� � ����m���5�����!�*�������A������� ����� � �����

    ret(u ) . . . .

    ret(u )

    i

    j

    . . . .

    k k

    1 1

    True

    True

    ret(u)

    True

    True

    ret(u)

    ins(u,m)

    . . . .

    p

    ins(u,m)

    ret(u)

    True

    push(u,m)True

    push(u,m)

    ins(u , m )

    ins(u , k )

    push(u ,m)

    push(u ,m )

    ret(u)

    Gc

    St=wt2 or St=wt0

    True

    Th

    Ret

    Ins

    Ac_Is Ac_ps

    Init

    User

    SpMc 1

    init

    Push

    Psh

    Insert initializ

    The Machine and the SpMachine classes

    The User Class

    init(u,m)

    init(u , m )

    inti(u ,m )

    ;

  • ����������� � � ����A�U� �!�*����� ��������� � ����m���5�����!�*�����A��������� ����� � ����� ��"

    ;/ #�

  • ��� � Z����f���W��� �������������� �W����� ��������� � ����m���5�����!�*�������A������� ����� � �����

  • ����������� �� �������B:� �"*W2')="6"*U|')�"`5=(')`5*: q*-# 5n7i[

    gu#u':#4!$`5�"!>(OC')�(OC'a� !$35�"#HOC')�;]+*X*C')#4!$U>B@')�"6;�('a� =", ')U$U>B:� , ')�"#4U|'a� *-6e!$�(*-6b*-!>� �"*-,k� �",435="`5��`5, ')%"�"!$OC')Un')�"!$8N'a� !$35�935,k]

  • ���

  • �������������

    ������� ���

    � ��� ������ D��� ���

    � � �"!#!�$ %'&(�*),+.-0/1+"2 3#4.5768&9�:3#3*@A%*/�BDC�E*�GF")#2H-I3#JK>L>GF"2H3#-0/�M�)#2D;�NO)#2PNO)#2 Q�):5"/1JRJRSR4"T3#4.5UK3#JRSR5.3

  • ��� �������������

    �������

    � ½,�!:fi$ Ê0&`½#/14.CW/14¶3#4.5�68&Z?)#�/14oX(/�2DT"&hÁ ¦Y³