from pnml to counter systems for accelerating petri … pnml to counter systems for accelerating...

16
From PNML to counter systems for accelerating Petri Nets with FAST ebastien Bardin, Laure Petrucci To cite this version: ebastien Bardin, Laure Petrucci. From PNML to counter systems for accelerating Petri Nets with FAST. Workshop on Interchange Formats for Petri Nets, 2004, Bologna, Italy. pp.26-40, 2004. <hal-00003391> HAL Id: hal-00003391 https://hal.archives-ouvertes.fr/hal-00003391 Submitted on 29 Nov 2004 HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destin´ ee au d´ epˆ ot et ` a la diffusion de documents scientifiques de niveau recherche, publi´ es ou non, ´ emanant des ´ etablissements d’enseignement et de recherche fran¸cais ou ´ etrangers, des laboratoires publics ou priv´ es.

Upload: vubao

Post on 03-May-2018

221 views

Category:

Documents


2 download

TRANSCRIPT

From PNML to counter systems for accelerating Petri

Nets with FAST

Sebastien Bardin, Laure Petrucci

To cite this version:

Sebastien Bardin, Laure Petrucci. From PNML to counter systems for accelerating Petri Netswith FAST. Workshop on Interchange Formats for Petri Nets, 2004, Bologna, Italy. pp.26-40,2004. <hal-00003391>

HAL Id: hal-00003391

https://hal.archives-ouvertes.fr/hal-00003391

Submitted on 29 Nov 2004

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

L’archive ouverte pluridisciplinaire HAL, estdestinee au depot et a la diffusion de documentsscientifiques de niveau recherche, publies ou non,emanant des etablissements d’enseignement et derecherche francais ou etrangers, des laboratoirespublics ou prives.

������� ������ ����������� ����������� �� �!�" ���#$����� %&����#' �()��*,+-�. ��/(102�� ��434(5 �687�9;:�<

=?>@&ACBEDGFIHJ@)KML.BONQPRHSKUTVBOKCP�WXBZY[NI@'\�@&F]NIYC^&^&HS_`badcZe fhg�ikjkcl�m�jonqp&rts

u i�cvEw�g�x&y]zhx){pO| x~}qwQ{O�hw.vZ���Z�Z�wQ����vEwQ{��/���������q{�U��� r��&st��g���g��.��i�g�w5vZwI�

� j?�?i.g u�O�)�t�Z�~�� �¡�¢&£�¤�¥)�E¢q¦�§)��§~¨Z�&��¤�©t�ª a¬«®­�iVfhg�i?j.c�l�m�j°¯)±qs)±ZfRl?{h��}twI�G���²�O�w�­³x~�G���?´?«�«�«

�)� x5}twQ{O�hw�µ)w5x){ �·¶ x)�E�G���®�GwVg��¸�wQ¹$wQ{���U��� s)rqsq±ºe?«®aUa u�» �?i u l�c u

� j?�?i.g u¼ ¥q½q�q¾E§t§t�& �¡�� ¼ ��¤¿¾t�E�&£�¦ ¼ �)�Z�q¢ZÀ5Á³¤�©��

Â�óÄQÅQÆ~ÇÉÈ)ÅqÊ �Ëwk�h��w?�Gzhw?�G���)�UÌEͬÎ]Ï��G�'y¸zhwQy¸Ð$�Éx~�¸x)¹$wI�Gw]�G��ÑIw5v��Gx~ÒÓwI��Ô��Z�G�q�RwI� ��G��wQ�/�q{�­dwI���G�C{hwI�G��Õ/�²�GzbxV�Jx~�GÖqw��&�/��{Z×É{E���Gwk�®�¸x&�Gw����Éx&yQwqØh�?�²�Gzh�)�hÖ)z�GzE�����G���)����X{h�)��vZw5vE��y5x~�Gw5vV�G��­dwI���G�E{hwI�G�Qf)�²��yQx){ºÙRw��E��w5vVÒÓ�&���GzEwQ��w/x)�X�h��x&yQw~Ú~���¸x&{h���²�G���q{{EwI�G�$ÛÜx){hvM���q¹$w'�)Ò��GzEwQ�²��wI�O�GwQ{h�����q{E�¸Ý.x&�Gw$���EÙRy5x)��wQ���&Ò ÌhÍCÎIÏ���{h�E�E��¹$�OvEwI�ÜØ» zEw�&�G��Öq��{Éx&���²��Ô��)Ò/�Gzhwº�G���)������wQ�V��{��GzEw$�h��w��)Ò�x&yQyQwQ��wI�¸x~�G���){Þ�GwIy]zE{h��ß��hwQ����{�&�¸vEwI�/�G�ºyQ�)¹$�h�Z�Gw?�Gzhw�w]�hx&yI���Gw5x&y]zhx)Ùh�����²�·Ô���wI�/ÒÓ�)����{E×h{h�²�Gw.�®ÔZ�®�GwQ¹$�QØ«�{à�Gzh����Éx)�Rw]�5f�Õ�wá�E�GwI��wQ{����GzEwáx)�E�G�)¹�x&�G��yâ���¸x){E�®ÒÓ�)�G¹�x~�G���q{ã�)Ò ­dwI���G�k{hwI�G�Õ��G�²���GwQ{���{�äZå[æ�çèÛÜ­dwI���G�ki?wI��mbx&�GÐO�h��a¬x){EÖq�Éx&Öqw~Ý$��{��G��yQ�q�E{O�Gw]���®ÔZ�®�GwQ¹$�QØ» zEwQ{¬f�ÌhÍCÎIÏã�E�G�~}O�JvZwQ��x�����¹$�E��wâÙh�E�}tw]��Ôè�R�5Õ�wI��ÒÓ�E�.��x){hÖ)�Éx&Öqwá�G��wI�Z�E�GwQ���yQ�)¹$�h��wI��E�G�)�RwI���G��wQ��x){hv�y]zEwQy¸Ð��GzEwQ��wqØ

é êhë�ìRí[î�ïVð ñUì[òGî�ë

óõôSö F öZ÷ ^ ö KC^~Y[NINI@&KhFVø ö PR@ ô D$BONI@bPR@)D]HJùEK[@)PÞYCD]HJK[ù�\�@~FIN]H�K[@&FID)ú³û;BOKÉü�F öÉöEô DºBONI@bPR@)PÉýHS^)B�F]@qPèF ö \�@&F]NIH�K[@~FQDBOK¬B ô üÉD]HÓDâþÜ@Zú ùCú�ÿ���������� ������� �k\�������F��[@�� � �!� \���"#�$�?ú&ú)ú�%5ú& ö(' @�)Z@)N*��F+�[@ BOK¬B ô üÉD]HÓD öZ÷ F]@&K-A¬@q^ ö ø�@qD�YCKEFINIBE^5FQBOA ô @ ' �[@)K F��[@àD¸FIBOF]@ D-,¬BZ^~@°þ¿B ô D ö^&B ôSô @)P/.+0214325 146�798:79;$<>=�0�;+% öO÷ F+�[@�\�@&F]NIH³K[@~F�HÓD�HSK@?CK[HJF]@Eú

A KF��[@ ô BZD¸F ÷ @ ' üE@)BZNID*��BºK[@ ' ùZ@&KC@&NQB�F]H ö K öO÷ ø ö P[@ ô ý®^2�[@q^2BZ@)NID*�tYCD¸HSK[ù�=C<(DE62FG8:7H3�.+0JILK.+0C=�0�MN;J1(;$7HF(MN=�F ö �CBZKCP ô @?HSK@?CK[HJF]@�D¸FIBOF]@.D-,CBE^~@qD��O�CBEDX@)ø�@)N]ùE@)P³ú(PQ�[@køâBOHSKR,[N ö A ô @)ø�F+�CBOFD¸üÉøA öZô HÓ^$ø ö P[@ ô ý®^2�[@q^2BÉHJK[ù ÷ BE^~@qD�HÓD�F��CB�FVF+�[@�N]@qBZ^2�CBZA[H ô HJFGüMD]@~F HÓD K ö FV^ ö øE,[YRFQBOA ô @HSKF+�[@�ùE@&K[@)NIB ô ^&BZD]@Zú = öS' @�^&BZK ö K ô üT� ö ,¬@ ÷Üö N�D¸@)øbH�ý�B ô ù ö N]HJF+�[øâD)ú(U�@)^&@&KhF ô ü4��1V323�0�8W0�.+1(;$7HF(M;�02325XMN7HY�ZN0[=\� L^]`_4a � óVó LQb4bN� c�WbVde�f�CBO)Z@$AU@&@)KèPR@*)Z@ ôJö ,¬@qPg� ' �[HÓ^2�ÞBZHJø B�F�79ML3�.+021O=C79Mih;95N0j32F(M�kO0�.lhi0[Mm320 öO÷ F+�[@$NI@)BE^2�CBOACH ô H�FGüáD]@~F�^ ö øE,[YRFQB�F]H ö KXú ó ^&^&@ ô @&NQB�FIH ö KM^ ö øE,[YRF]@qD.F+�C@@[nd@)^5F öZ÷ HJF]@)NIBOF]HSK[ùâBb^ ö KhFIN öEôUôSöÉö , öO÷ BONIA[HJF]NQBONIü ô @&KCùOF+�Xú

PQ�[@�F öÉöEômoLp ��qr� LQc�WX\�b4sO�dHSD?PR@)P[HS^)B�F]@qPbF ö F+�[@'BOKCB ô üRD]HSD öO÷ HSK@?CK[HJF]@'D¸üRD¸F]@&øâD ' H�F��HJKhF]@)ùZ@)N>)�BONIHSBZA ô @qD&ú oLp ��q-YCD¸@qDâF��[@ÞBOY[F ö øâBOFIBàN]@*,[NI@)D]@&KhFIBOF]H ö K ÷Üö Nt=�0�Dj79KJ8:79Mm021(.t=�0�;H=BZDáB�D]üÉøA öZô HS^�NI@�,CN]@qD¸@)KEFQB�FIH ö K �/BOKCPoF��[@ÞBZ^)^~@ ô @)NIBOF]H ö K öO÷ ^ ö KEFIN öEô�ôJöÉö ,CDáPR@qD]^&N]HSA¬@qP

HJK!� c�Wubide�·úkû ö NI@ ö )E@&Ne� oLp �[q-YCD]@)DMBv�[@&YCN]HÓDGFIHS^�F ö ?CK¬P BOYRF ö øâB�FIHS^)B ôSô ü1F+�[@è^ ö KhFIN öEôôJöÉö ,¬D�F ö AU@ºBZ^&^&@ ô @&NQB�FI@)P³úÉû;BOHSK ô ü4� oLp ��qt,[N ö )hHÓPR@qD?BR, ö(' @&N ÷ Y ô HJKN,[YRF�ø ö P[@ ô þ+32F(Z@M�;�0�.=2<O=C;J0[Dj=e%[�)F��[@.@[nd@)^~F]Hw)Z@.^ ö øE,[Y[FIB�FIH ö K öZ÷ F+�[@kNI@)BZ^2�¬BOA[H ô HJFGü$D¸@&F�HSKø ö DGFf,[NQBZ^5FIHS^)B ô ^&BED¸@qDþ¿BOA ö Y[FxaVbb^ ö Y[KhF]@&N�D]üRDGFI@&øâD ' HJF+��HJK ?CK[HJF]@$NI@)BZ^2�¬BOA[H ô HJFGüáD]@~FIDx�CBO)Z@'A¬@)@&Ky)Z@)N]HW?C@qPMBZKCPBONI@ºBO)�BZH ô BOA ô @ºB�FT� c ó = ��%.BOKCPËBzhG.�1�I 5@7H321(8�ZX=[0�.S79MN;J0�.�{[14320$F ö ùZY[HÓPR@ºF+�C@$YCD¸@)N)ú

]è@VHJKX)Z@qDGFIHJùhB�FI@�F+�C@#)E@&NIH|?¬^)B�FIH ö K öO÷ \�@~FIN]HUK[@&FID ' H�F�� oLp ��q�ú@P�NIBZKCD ô BOF]HSK[ù�^ ö øbø ö K@[}ÉF]@)KCD¸H ö K¬D öO÷ \�@&F]NIHZK[@&FID*� ô HwBZ@/K[@&FID ' H�F��HSK �[HSA[HJF ö N[~tNI@)BEP�~tNI@)D]@~F�BZNI^)D��~HSKhF ö ^ ö YCKEFI@&N�D¸üRD¸ýF]@&øâD�F ö A¬@ºBOKCB ô üRD]@)PbAÉü oLp ��qË^)BOKáAU@VP ö K[@'BOYRF ö øâB�FIHS^)B ôSô üV�ZYCD]HJKCù�BOK�� = W@P���� ô BV_4_O�DGFGü ô @)D+�[@&@&F ' �[HÓ^2�èFINIBZKCD ô BOF]@)Dj� � ���;K[@~FQD�� Lx��) &#� b4sO�kHJKhF ö ^ ö Y[KhF]@&N�D¸üRD¸F]@&øâD)úPQ�[@)K,CBONQBOøb@~FI@&NIHW�)@)P�DIB ÷ @&FGü�,CN ö ,¬@)N¸FIHJ@qD�^)BOKãAU@Ë^2�C@)^2BZ@qP³ú = @�)Z@)NIB ô K ö KRý·F]NIHW)ÉHÓB ô \�@&F]NIH?KC@~FID' H�F��àHSK@?CKCH�FI@�DGFQB�FI@bD+,CBE^~@)D��¬BO)Z@�A¬@)@&K�BOKCB ô üX�)@)P ÷ÜöZôSôJö(' HSK[ùËF+�[HÓD$øb@~F�� ö P³úuc ö N$ø ö NI@^ ö øE, ô @[}�K[@&FID*�UD]YC^2�;BZD��[HSù4�Rý ô @*)Z@ ô K[@~FQD��¬F+�C@�F]NQBOK¬D ô B�FIH ö K�,N�CBZD]@�HÓD ø ö NI@ºF]NIHÓ^2BhüV�¬BZKCPBOYRF ö øâB�FIHW�qB�F]H ö K 'kö Y ô PâNI@*�hY[HSNI@ ø ö NI@ 'kö N�B ö K>,CBON]FQd öO÷ F��[@ A =�� ~ A�� ��ý2�e�4_4bV_ A KhFI@&N]ýKCB�FIH ö KCB ô = FQBOKCPCBONQP³ú

PQ�[HSD�,CBG,U@&N�HSD?DGFIN]YC^~F]Y[NI@)PâBED ÷ÜöEôJôSö(' D&úX� ö Y[KhF]@)N�D]üÉD¸F]@)øâD�)Z@)N]HW?¬^)B�F]H ö KbHÓD�,[NI@)D]@&KhFI@)PHJK�D¸@q^5FIH ö K�dRú@PQ�[@$PR@�?CK[HJF]H ö K öO÷ ^ ö Y[KhFI@&N�D¸üRD¸F]@)øbD*�hF+�[@$D]üÉøA öZô HS^VN]@*,[NI@)D]@&KhFIBOF]H ö K�BZKCPF+�[@BE^&^&@ ô @&NQB�F]H ö KMF]@q^2�[K[H��hY[@)D�BZN]@$HSKhF]N ö PRYC^~@qP³ú oLp ��qàHSD�P[@)DI^~NIHJAU@)P�HSK�D¸@q^5F]H ö K�sN�RF+�ÉYCD^ ö øE, ô @~FIHJKCù F��[@�^ ö KhFI@[}ÉF�,[N]@qD¸@)KhFIB�FIH ö K�ú = @)^~F]H ö K�aVHÓD�F+�[@�^ ö NI@ öO÷ F+�[HÓDf,CB4,¬@)N)ú A F/PR@~FQBOH ô DF+�[@.FINIBZKCD ô B�FIH ö K öZ÷ \�@&F]NIHRK[@~FQD/PR@qD]^&N]HSA¬@qP�HJK>� � �#�ºHSKEF ö ^ ö Y[KhF]@&N/D]üRDGFI@&øâD/BE^&^~@*,RF]@qPAÉüo�p �[q�úu�kBZD]@�D¸F]YCP[HJ@qD'BZN]@�A[NIHJ@��Cüy,[N]@qD¸@)KhF]@)PÞHJKàD¸@q^5FIH ö K/�Rúmc�HJKCB ôJô ü4� ' @�^ ö KC^ ô Y¬PR@�BZKCP÷ YRF]Y[NI@�PRHSN]@q^5FIH ö KCD öO÷�'?ö N+B�BZN]@'ùZHw)Z@)K�ú

� ���XíCòJ�ºñm��ì[ò¸î�ë î����èî�ðVë�ì@��í����x Eì@�u¡¢ 

£g¤l¥ ¦j§L¨©mªe«V¬y­g® ¯*ª*«X°±¯² FGZ@MN;J0[.�=C<O=C;�0�DR=�� c�WubidO�RBONI@�BOYRF ö øâB�FQB�@[}ÉFI@&KCPR@qP ' HJF+��Z@Mm62F(Z@ML³V02³�79M�;�0�hi0[.^k(1(.C7H146�8W0[=' � ö D]@bF]NQBOKCD]HJF]H ö KCD�BZN]@ ô BOAU@ ôSô @)P ' HJF+�µ´^.+0[=�6[Z@.$hV0�.CKJ8:79ML021G.�{2Z@ML3�;l7HFGM =5ú ó \/NI@)D]A[Y[NIùZ@&N]ýô HSK[@)BZN ÷ Y[K¬^5F]H ö K1HSD�BOKãB(¶âK[@ ÷ Y[KC^~F]H ö K ' HJF+�1BÞ\/NI@)D]A[Y[NIùZ@&N]ý�PR@[?CK¬BOA ô @�ùEYCBONQP³úuU�@)^&B ôJôF+�CBOF�F+�[@�\�N]@qD¸A[YCN]ùE@&N.BONIH�F��[øb@~F]HÓ^&D.HÓD.F��[@�?CNQDGF ö NQPR@)N.BEP[PRHJF]Hw)Z@'F+�C@ ö NIü�·l¸Q¹�ºS¹2»�¼~ú

� ö Y[KhF]@)N�D¸üRD¸F]@)øbD�BONI@âBy)tB ô Y¬BOA ô @�BOA¬DGFINIBE^5F]H ö K D]HJKC^&@bF+�[@)üàBZN]@áB�ùE@&K[@)NIB ô Hw�)BOF]H ö KöO÷ øâBOKÉü ' @ ôJô ý$BÉK ö(' Kâø ö PR@ ô D*� ô HwBZ@ \�@&F]NIHCK[@&FID*�h\�@&F]NIHCK[@&FID ' H�F���HSK �[HSA[H�F ö N[~tNI@)BEP�~tNI@)D]@~FBONQ^&D*� ö NËLkN ö BZP[^)BZD¸F�,[N ö F ö ^ öZô D�� � c�û�_4_O�®ú A K�F+�C@èùE@&K[@)NIB ô ^&BED¸@V��@*)Z@&K N]@qBZ^2�CBZA[H ô HJFGü,[N ö ,¬@)N¸FIHJ@qD�BONI@VYCKCPR@)^&HSPCBOA ô @ ÷Üö N�^ ö Y[KhF]@)N�D¸üRD¸F]@)øbD)ú

£g¤9£ ½\¨uªe§�°±¾ ª*¾�¿\«iÀ¬(«X¯*«X©mªe¾@ª*Ál§�©ÃÂ�§N¬\Ä�¬O«X¯*Å�¨¬(Æ�«i¬�­u«iª*¯c�HSNQDGF ô üV� ' @�K[@&@qP�B±hVFeF*³±=C<(DE62FG8:7H3�.+0JIL.+0[=�0[M�;�1G;l7HFGM F ö N]@*,[N]@qD¸@)KhFz?CK[HJF]@ ô üoF+�[@;HSK@?[ýK[H�FI@bN]@qBZ^2�CBZA[H ô HJFGü;D¸@&FID öO÷ ^ ö YCKEFI@&N$D]üÉD¸F]@)øâD&ú P ö ^2�C@)^2B;DIB ÷ @~FGüt,CN ö ,¬@)N¸FIHJ@qD��UF+�CHSD�D]üÉø�ýA öEô HÓ^NI@�,CN]@qD¸@)KEFQB�FIH ö Kt�CBZD F ö A¬@b^ ôSö D]@)P;Y[KCPR@)N'YCK[H ö K �UHJKhF]@)NID]@)^~F]H ö KÞBZKCP;HSøâBOùE@AÉü�B\/NI@)D]A[Y[NIùZ@&N]ý ô HSK[@)BZN ÷ Y[K¬^5F]H ö Ku�CBOKCPË@)ø�,[F]HSK[@)DIDQ�CBZDkF ö A¬@�P[@)^~HÓP[BZA ô @Eú

´^.+0[=[6�[email protected][./=�0[;l=r,[N ö )ÉHÓPR@ D¸YC^2��B°ù öÉö P D]üÉøA öZô HS^àNI@�,[NI@)D]@&KhFIBOF]H ö K�ú�\�N]@qD¸A[YCN]ùE@&ND¸@&FID�BZN]@âD]@~FID ö )Z@&NS¸fÇ P[@[?CK[@qP AÉüèB�\/NI@)D]A[Y[NIùZ@)N ÷Üö N]ø�Y ô Bàþ�B ô D ö ^)B ôSô @qPàD]@&øbHJý ô HSK[@)BZND¸@&FID2%5úPQ�CHSD�^ ô BED]D öO÷ D¸@&FID^)BOK AU@�.+0JIL.+0[=�0[M�;�02³y=C<(Dz62F(8:7H321(898|<r6�<tDE021GM =\F�{\1(Z@;JF(Dz1(;J1� Lx�^_4È � ] LQb4b � WX@&N2b4se�®ú PQ�[HSDºNI@�,CN]@qD¸@)KEFQB�FIH ö K�,[N ö )hHÓPR@qDVB ôJô F+�C@ ö ,¬@)NIBOF]H ö KCDVK[@)@)PR@qP;F ö^2�[@)^2B�DIB ÷ @&FGü>,[N ö ,U@&N]F]HS@)D ö K�^ ö Y[KhF]@)N�D¸üRD¸F]@&øâD)ú

£g¤�É ¦j§L°vÀ�¨ª*Ál©Æ�ª*Ê�«�¿�«X¾ ËOÊ�¾@ÅfÁHÌHÁHª2®Ã­u«Vªz§LÂx¾v¦R§L¨�©mª*«i¬�­ ® ¯�ªe«i°c ö NbB;ùE@&K[@)NIB ô ^ ö Y[KhF]@)N�D]üRDGFI@&øy��F+�[@�^ ô BZDID]HS^)B ô NI@)BE^2�CBOACH ô H�FGü D]@~F�^ ö øE,[YRFQB�FIH ö KoB ô ù ö ýN]HJF+�[øy�U^ ö K¬D¸HÓDGFIHJKCùâHJKy?CNIHSK[ù ö K[@Ahü ö K[@�F+�[@$FINIBZKCD]H�FIH ö KCD öO÷ F+�C@D¸üRD¸F]@)ø Y[KhFIH ô B ôSô F+�C@N]@qBZ^2�CBZA ô @ËDGFQB�FI@)D��CBO)Z@MA¬@)@&K ^ ö ø�,CYRF]@qPg��øâBtü�K ö FbF]@)N]øbHSKCB�FI@Zú ó D öEô Y[F]H ö KãF ö �[@ ô ,^ ö KX)E@&NIùZ@&K¬^~@$HÓD�F ö YCD]@jÍXÎ[Î�ÏeÐlÏeÑOÍiÒJÓJÔOÕ�ú ó ^&^&@ ô @&NQB�FIH ö K;B ôSôJö(' D�F ö ^ ö øE,[YRFI@�HSK ö K[@�D¸F]@*,F+�[@�@[}[BZ^~FV@�nU@q^5F öO÷ HJF]@)NIBOF]HSK[ù�BOKàBONIA[HJF]NQBONIü�KÉY[øAU@&N öO÷ F]HSø�@qDºB�^ ö KhF]N öZôXôSöÉö , öZ÷ F+�C@^ ö YCKEFI@&N�D]üÉD¸F]@)ø�ú A Kr� L�]`_4aN� L ö H�_4ÖX� c�WbVde���[\/NI@)D]A[Y[NIùZ@)N?D]@~FQD�BONI@#,[N ö )Z@qPbF ö AU@$^ ôSö D]@)PY[KCPR@)NVF��[@âBZ^)^~@ ô @&NQB�FIH ö K öO÷ BM\�N]@qD¸A[YCN]ùE@&N]ý ô HJKC@)BON ÷ Y[KC^5FIH ö Kr×��dY[K¬PR@&N$D ö øb@�B ô ùE@&A[NQBOHÓ^^ ö K¬PRH�FIH ö KCDTF�{2;J0�M�Dz0[;^79MEIL.�143�;l7H320&ú

PQ�[@&KbF��[@�,[N ö A ô @)ø ^ ö øb@)D/P ö(' KbF ö ?¬KCPRHSK[ù$F+�C@ ù öÉö P ôSöhö ,CD ' � ö D¸@VBZ^&^&@ ô @&NQB�FIH ö KCD' H ôSô¬ô @)BEP�F ö F��[@ NI@)BE^2�CBOACH ô H�FGü�D¸@&Fk^ ö øE,[YRFQB�F]H ö KXú4]à@ YCD]@ B�D+,¬@q^~HW?¬^x�C@&Y[NIHSD¸F]HÓ^�BZKCPbF+�C@.+02³(ZN3�;l7HFGM�F�{#;95N0�MNZ@Dz620[.�F�{�3[<43�8W0[=VùZHw)Z@)KáHSK�� c�WbVde�dF ö ?CKCPáF+�[@qD¸@VHJKhF]@)N]@qDGFIHJKCù ôSöhö ,CD)ú

Ø Ù�Úx�ÜÛ^Ý�Þ@ßàÙ�î.î�áo�p �[qâ� LQc�W�\�bVsO�$HSDËB�F öhöEô PR@)PRHÓ^&BOF]@qP�F ö ^2�[@)^2BÉHSK[ùoDIB ÷ @&FGüÃ,[N ö ,¬@)N¸FIHJ@qD ö K-^ ö Y[KhF]@)ND¸üRD¸F]@&øâD)ú�PQ�[@�øâBOHSK�HÓD]D]Y[@;BZPCPRN]@qD]D]@)PoAÉü oLp ��q-HSDbF��[@Þ^ ö øE,[YRFQB�F]H ö K öZ÷ F��[@µ0�ãi1V3[;þÜHSK@?CK[HJF]@O%XD¸FIBOF]@�D+,CBZ^&@Zú � K�D¸YC^2��B ^ ö øE, ô @[}�,[N ö A ô @&øy�&F]@&NIøbHJK¬B�F]H ö K�^)BOK[K ö F�AU@�ùZNQBOKhFI@)PA[YRF oLp ��q;YCD]@)D�BbD]@&øbHJý®B ô ù ö NIH�F��[ø ' �[HÓ^2��FI@&NIø�HSKCBOF]@)D.HSK�ø ö D¸Fx,[NIBE^5FIHS^)B ô ^&BED¸@qD&ú

É ¤l¥ ä[©Àf¨uªe¯�¾N©åçæ>¨uª*À�¨ª*¯o�p �[q�HSK ,[YRFQD�BONI@;A ö F+� Bãø ö PR@ ô BOKCP-B1D¸F]NQB�FI@&ùZü ÷Üö N�F+�[@ BOK¬B ô üÉD]HÓD&ú � YRF+,[Y[FID�BONI@ø�@qD]DIBOùE@)D�HSKCPRHÓ^&BOF]HSK[ù ' �[@&F+�[@)N�F+�[@VD¸üRD¸F]@&ø HÓD/D]B ÷ @ ö N�K ö F)ú ó Kâ@�}RBZøE, ô @ öO÷ ø ö PR@ ô BZKCPBZDID ö ^~HÓB�FI@)PMDGFINIBOF]@&ùEü ' H ôJô AU@�PR@~FQBOH ôJô @)PËHSK�D¸@q^5F]H ö K�aCú s[ú

è 5N0SDzF*³V0[8�PR@)DI^~NIHSA¬@qD?HSKMB�KCBOF]Y[NQB ôm' Btü�F��[@$^ ö Y[KhF]@&N.D]üÉD¸F]@)ø F ö BOKCB ô üX�)@Zú = @~FQD öO÷^ ö YCKEFI@&NËD¸üRD¸F]@&øâD ' �CHS^2� ^ ö øbøYCK[HS^)B�FI@�)ÉHSB�D]üÉKC^2�[N ö K[Hw�&@qP1FINIBZKCD]H�FIH ö KCD�BZKCP�D-�¬BONI@)P)tBZN]HÓBOA ô @qDM^)BOK AU@�D-,U@)^&H|?¬@)P³úxPQ�[@ @�}X,CN]@qD]D]HW)E@&K[@qD]D�HSDMF��[@�D]BZø�@ BZD ÷Üö N�D¸FIBZKCP[B ôJö K[@^ ö YCKEFI@&N�D]üRDGFI@&øâD��RACYRF�F+�[@�D+,U@)^~HW?¬^)B�F]H ö KËHÓD�@)BED¸HS@&Nqú

è 5N0�=2;$.+1G;�0�h4<�HSDºF��[@�D]@*�hY[@)KC^~@ öZ÷ ^ ö øE,[YRFQB�F]H ö K¬DºF ö ,U@&N ÷Üö NIø HSK ö NQPR@&NºF ö ^2�[@)^2BF+�[@�)�B ô HÓPRHJFGü öO÷ F+�C@ÞD¸üRD¸F]@)øËú�PQ�[@;DGFINIBOF]@)ùZü ô BOK[ùEYCBOùE@�HSDáB�DI^~NIHw,RF ô BZK[ùZYCBZùZ@ ' �[HÓ^2�ö ,U@&NQB�F]@qD ö K�N]@)ùZH ö KCD.þ¿D]@~FQD öO÷ DGFQB�FI@)D2%C�tF]NQBOK¬D¸HJF]H ö KCD�BZKCP�A öÉöZô @)BZKCD)ú ó ôJô YCD¸Y¬B ôRö ,U@&NQB�F ö NQDö KMD]@~FQD?BZN]@'BO)�BOH ô BZA ô @V�hBZKCP>,CN]HSøbH�FIHW)E@)D�F ö ^ ö øE,[Y[F]@VF+�[@'N]@qBZ^2�CBZA[H ô HJFGü�D]@~F$þ ÷Üö N ' BONQP ö NACBZ^2B ' BONQPN%³BONI@^,[N ö )ÉHÓPR@)P�úqL.BZD]HÓ^&B ôSô ü4�)^2�C@)^2BÉHJKCùVB'D]B ÷ @~FGüS,[N ö ,U@&N]FGü$BOø ö Y[KhFQD�F ö PR@q^ ô BONI@F+�[@VHJK[HJF]HÓB ô D¸FIB�FI@)D*�E^ ö øE,[YRFI@�F+�[@VN]@qBZ^2�CBZA[H ô HJFGü�D]@~FVþ-�e%[�hPR@q^ ô [email protected]+�[@#,[N ö ,U@&N]FGüF ö ^2�[@)^2Bþ�;�5 0�hiFeF*³�=C;J1(;J0C=O%�þ$d4%C�qFI@)D¸F�H ÷ þ-�e%^é-þ$d4%�BOKCPR,[NIHJKhF�F+�[@kN]@qD¸Y ô Fqú � K ô üT� HJKCD¸F]NIYC^~F]H ö KCD�BONI@K[@&@qPR@)P�HSK ö Y[N ô BOK[ùEYCBOùE@4�(�[@)KC^~@�^ ö øbø ö KbBOKCB ô üRD]HSD�^)BOKbAU@ D-,U@)^&H|?¬@)P�@)BED¸H ô üEúV� ö øE, ô @[}DGFINIBOF]@&ùEHJ@qDá^&BZK AU@èPR@�?CK[@)P BZD ' @ ôJô � ' �[HÓ^2� øâBtü°ùZY[HÓPR@;F��[@;F öÉöZô ø ö N]@Þ@[¶á^~HS@&KhF ô üZúPQ�[HSDkHÓD.Bø ö NI@#�C@[}RHSA ô @ ÷ NQBOøb@ 'kö N�BF��CBOKËNI@)D¸F]NIHS^~F]HSK[ùHSK ,[YRFQDkF ö#ê YCD¸F�B�D¸üRD¸F]@)ø BOKCPMB,[N ö ,¬@)N¸FGüáF ö )Z@)N]H ÷ üZú

É ¤9£ ½�¬OËOÊ�Á�ªe«iË4ª*¨¬(«PQ�[@;^ ô HJ@)KhF¸ý�D¸@)N+)E@&NáBONQ^2�[HJF]@q^5F]YCN]@ öO÷�oLp ��q HÓDz,[NI@)D]@&KhFI@)P°HJKÃ?¬ùZY[NI@r�Zú�PQ�[@èD¸@)N+)E@&NbHSD' N]HJF¸FI@&K�HJKtëXìXìL� ' �CH ô @ºF+�[@�^ ô HS@&KhF�HÓD ' N]HJF¸FI@&K�HSK�íiîVï î¬ú

and strategies − guided edition of models network

− control and feedback during the analysis

HeuristicAccelerationAutomata library

FAST

Machine M1InterFAST

Machine M2ServerFAST

ð�ñwò Ê(óhÊ � �kc » x&�Gy¸zh�²�GwQy]�G�E�Gw

ô ;95N0z=�0�.CkO0�.�HÓD'F+�C@á^ ö øE,[Y[FIB�FIH ö Kè@)K[ùZHSK[@ öZ÷SoLp ��q�ú A F�^ ö KEFQBOHSKCD$B�\/NI@)D]A[Y[NIùZ@)N ô H�ýA[NQBONIü4�hF+�[@�BE^&^&@ ô @&NQB�F]H ö KËB ô ù ö N]HJF+�[ø BOKCP�F+�[@�D]@)BZNI^2�\�[@&YCN]HÓDGFIHS^)D&ú

ô ^ ô HJ@)KhFBOKCPàD¸@)N+)E@&N$^ ö øbøY[K[HÓ^&BOF]@�F+�CN ö Y[ù4�èF+�[@âKC@~F 'kö N�Bt)hHÓB�D ö ^2BE@~FID)úgPQ�[@á^ ö ø�ý,[YRFQB�F]H ö K�@)K[ùZHSK[@$^&BZKËB ô D ö A¬@$YCD]@)PËBZD�D¸FIBZKCP[B ôJö K[@Zú

ô ;95N0t3[8|7H0[M�;HÓD�B ÷ N ö KEF]ý·@)KCP ' �[HÓ^2�1B ôJôSö(' D$F��[@MY¬D¸@)N�F ö HSKEFI@&NQBZ^~F ' H�F��ãF��[@ËD]@&N�)Z@)NF+�[N ö YCù4��B�ùZNQBG,N�[HS^)B ô YCD]@&NHJKhF]@)N ÷ BE^~@;þ$õ�ö A �?CùZY[NI@�d4%~úPQ�[HÓD$HSKhF]@&N ÷ BZ^&@z,[N ö )hHÓPR@qDùZY[HÓPR@qP@qPRH�FIH ö K öZ÷ ø ö PR@ ô D�BZKCP�D¸F]NQB�FI@&ùEHJ@qD�� ' H�F�� ÷ @)B�FIY[NI@)D�D¸Y¬^2��BEDf,[N]@&F¸FGüS,[NIHSKEFIHJKCùö N�,[NI@)PR@�?CK[@)PÞDGFINIBOF]@&ùEHJ@qD&ú � KC^&@�F+�C@�^ ö øE,[YRFQB�F]H ö KèDGFQBON]FID*� ÷ @)@)PRACBE^2B�HSDºD]Y , , ô HJ@qPF+�[N ö YCù4��PRH|nd@&NI@&KhF�øb@)BED¸YCN]@qDkBZKCPMùZNQBG, �CD$þÜF]HSøb@$@ ô BG,CD]@)Pg�Røb@)ø ö N]ü�YCD¸@qPg��ú)ú~ú�%~ú

ð�ñWò Ê*÷CÊ ÌhÍCÎIÏâÖ&�¸x)�hzE��y5x)�¬�h��wI����{��GwI��Ò x&yQw

É ¤�É oLp ��q ÁH©`­uʧ�¬Oªo�p �[q�HÓD�BF öÉöZô A ö F+�ËYCD]@&N]ý ÷ NIHS@&KCP ô üáBOK¬P�, ö(' @)N ÷ Y ô ú@PQ�[@Sõ�ö A �ÉF��[@�,[N]@qPR@[?¬K[@)PËDGFINIBOF]@&ýùZHS@)D;BZKCP F+�[@1@[}@,[NI@)DID¸Hw)Z@)K[@)DID öO÷ ^ ö Y[KhF]@&NèD¸üRD¸F]@&øâD�øâB4BZ@ oLp ��q @qBZD]ü F ö YCD¸@V� ÷Üö NA ö F+�;D+,¬@q^~HW?¬^&BOF]H ö K�BOKCP�BOK¬B ô üÉD]HÓD&ú = FINIBOF]@)ùZHS@)D.ùZHw)Z@$B��C@�}RHJA ô @ ÷ NQBOøb@ 'kö N�BbF ö PR@qD]^&N]HSAU@^ ö øE, ô @[} BOKCB ô üRD]HSD*��BOK¬P�B ôSôJö(' F+�[@áY¬D¸@)N$F ö ùEY[HSP[@âF+�[@áF öÉöZô�' �C@&KãBOY[F ö øâBOF]HÓ^bø�@&F+�Rýö PCD ÷ BOH ô ú = @)^~F]H ö Krat,[NI@)D]@&KhFID'F��[@�BOY[F ö øâBOF]HÓ^FINIBZKCD ô BOF]H ö K ÷ N ö ø \�@~FIN]H�KC@~FID ' H�F���HJKRý�[HJACH�F ö N[~tNI@)BZPL~tNI@)D]@~FkBZNI^)D ÷ N ö øø� � �#��F ö>oLp ��q ÷Üö N]øâB�FQD&ú

ù ú�íCî�¡ ûy�³ìRíCòRüç�³ì   ìRîý�èî�ð ë?ì@��í����x Eì@�u¡¢ 

óõôSö F öZ÷ ^ ö KC^~Y[NINI@&KhFVø ö PR@ ô D$BONI@bPR@)D]HJùEK[@)PÞYCD]HJK[ù�\�@~FIN]H�K[@&FID)ú³û;BOKÉü�F öÉöEô DºBONI@bPR@)PÉýHS^)B�F]@qPèF ö \�@&F]NIH�K[@~FQDBOK¬B ô üÉD]HÓDâþÜ@Zú ùCú�ÿ���������� ������� �k\�������F��[@�� � �!� \���"#�$�?ú&ú)ú�%C�A[YRF�HJF öO÷ F]@)K�A¬@q^ ö ø[email protected][KhF]NQBZ^5FQBOA ô @ ' �[@&KËF��[@�DGFQB�FI@ºD+,CBE^~@ºHSD�HJK@?¬K[H�FI@Zú

]è@�BOHSø B�FbYCD]HJKCù o�p �[q ÷Üö N�F+�[@�BOK¬B ô üÉD]HÓD öZ÷ \�@~FIN]H.K[@&FID ' HJF+� B ô BONIùZ@ ö N�@�)Z@)KHJK@?¬K[H�FI@�DGFQB�FI@�D-,CBE^~@Eú

þu¤l¥ ÿ^«XËeÊ�©�Á��g¨�«�¨¯e«XåPQ�[@y?CNQDGFáD¸F]@�,°F ö(' BZNIP[D�F��[HSDáù ö B ô ^ ö KCD¸HÓD¸FIDbHSKoFINIBZKCD ÷Üö NIø�HSK[ùèF+�[@;\�@&F]NIH�K[@~FáYCKCPR@&NDGFIYCPRüÞHSKhF ö B�^ ö Y[KhF]@)N�D¸üRD¸F]@)øËú c ö N$F��CB�FT,CY[N+, ö D]@4� ' @bYCD]@áBOK�BG,N,[N ö BZ^2�àD¸HSøbH ô BONºF öF+�[@ ö K[@ºHJKv� L^cf_V_O���ô F+�[@V^ ö YCKEFI@&N�D]üRDGFI@&ø �CBZD ö K ô ü�F(Mm0�=2;J1(;J0�� ' �[HÓ^2��NI@�,CN]@qD¸@)KEFQD�BºN]@qBZ^2�CBZA ô @køâBZN+BÉHSK[ùöO÷ F+�[@�\�@&F]NIHdK[@~F��ô F+�[@)N]@$HÓDTF(Mm0j32FGZ@MN;J0[.�IN0[.^Im8W14320HJKËF+�C@$K[@~F��ô B ôSô ;$.+1(MN=C79;l7HFGM = BONI@ ôSöhö ,CD ö KEF ö F+�C@�Y[K[H��hY[@ D¸FIB�FI@Zú � BZ^2��FINIBZKCD¸HJF]H ö K öZ÷ F+�[@ D]üRDGFI@&ø^ ö N]NI@)D+, ö KCP[D�F ö B�F]NQBOK¬D¸HJF]H ö K�HJKF+�[@kK[@~Fqú(PQ�[@Qh4ZN1(.�³�BZDID ö ^&HSBOF]@qP ' H�F���B F]NQBOKCD]HJF]H ö K^2�[@)^2BRD.F��[@@)KCBOA ô HSK[ùá^ ö KCPRHJF]H ö K�HSK�F+�C@�K[@~FqúLPQ�C@\143�;l7HFGMÞF��[@&KÞø�HSøbHS^)D�F��[@�\�@&F]NIHK[@~F�?¬N]HSK[ùbN]Y ô @Eú

� ãX1(D�IL8W0���c�HJùEY[N]@Ss�,[NI@)D]@&KhFID�BbD]HJøE, ô @�\�@~FIN]HdK[@&F BOKCPMHJFID�@e�EYCHW)�B ô @&KhF�^ ö Y[KhF]@)N�D¸üRD¸ýF]@&ø�ú c ö N'N]@qBZP[BZA[H ô HJFGü�,CY[N+, ö D]@)D*�¬F+�[@�KCBOøb@ öO÷ B\)�BONIHSBZA ô @HÓD F��[@bD]BZø�@�BZDVF+�C@�KCBZøb@öO÷ H�FQD�BZDID ö ^~HÓB�FI@)P\, ô BZ^~@Eú

p1

p2

p3

p4

t1 t2 marking

t1: guard: p1>=1 action: p1’=p1-1, p2’=p2+1, p3’=p3+2

t2: guard: p2>=1, p3>=3 action: p1’=p1+1, p2’=p2-1, p3’=p3-3, p4’=p4+1

32

ð�ñwò Ê��CÊ �°­dwI���G�C{hwI��x&{Év��²�G�/w5ß��h��})x)��wQ{��/yQ�)�h{��GwI�/�®ÔZ�®�GwQ¹

û;BOKÉüâ@[}ÉFI@&KCD]H ö KCD öO÷ \�@~FIN]H³KC@~FID�^)BOK�AU@$ø ö PR@ ô @qP ' HJF+��^ ö Y[KhF]@)N�D¸üRD¸F]@)øbD*�R@Zú ùCú �ô 79MX5@7H6[79;JF(.j1G.+3[=º^2�[@q^2Bm�hHSKMF+�[@'F]NQBOK¬D¸HJF]H ö KMùZYCBZNIPg�hF��CB�F.F+�C@�, ô BE^~@$^ ö KEFQBOHSKCD�0+ãX143�;$8:<B�ùZHw)Z@&KËøâBON�BÉHJK[ù�þ ö N�HÓD.@&øE,RFGü %��

ô .+0214³/1(.+3[=b^2�C@)^2Bm�³HJKàF��[@�F]NQBOKCD]H�FIH ö KèùEYCBONQPg�UF+�¬B�F$F+�C@z, ô BE^~@â^ ö KhFIBOHSKCDz1(;#8W021O=C;ºBùZHw)Z@)KMKÉY[ø�A¬@)N öO÷ F ö BE@&KCD*�RA[YRF P ö @qD.K ö F�NI@&ø ö )E@ F��[@)D]@ ' �[@&K�?CNIHJKCù��

ô .+0[=[0�;�1(.+3[= D]@~F*�ZHJKbF��[@�F]NQBOK¬D¸HJF]H ö KâBZ^~F]H ö K �OF+�[@x)�BZN]HÓBOA ô @�BZDID ö ^&HSBOF]@qP ' HJF+�bF��[@x, ô BZ^&@F ö b��

ô ;l.�1(M =�{[0�.�1G.+3C=�D¸@&F�F+�[@j)�BONIHSBZA ô @�BZDID ö ^~HÓB�FI@)P ' HJF+��F��[@ ö YRF+,[Y[F#, ô BZ^&@�F ö F+�[@j)tB ô YC@öO÷ F+�[@S)�BONIHÓBOA ô @'BED]D ö ^~HÓB�FI@)P ' HJF+�ËF+�C@'HSK ,[Y[Fx, ô BE^~@V�[BOKCP�F+�[@)KËD]@~F.F��[@ ô BOF¸FI@&NkF ö b[úA K ö Y[N�F]NQBOKCD ô B�F]H ö K ÷ N ö ø � �u���ãF ö ^ ö Y[KhFI@&NMD]üRDGFI@&øâD*� ' @��CBZKCP ô @ÞK ö N]øâB ô �?HJKRý

�[HJACH�F ö Ne�RN]@qBZPËBOKCPMN]@qD¸@&F.BZNI^)DºþÜA[YRFVK ö F.F]NQBOK¬D ÷ @)N.BZNI^)D ' �[HS^2��BONI@ºK ö F�üE@~F�HJK¬^ ô YCPR@)PËHSK� � ���i%5ú

þu¤9£ ä[°±À�Ìl«i° «i©mªe¾@ª*Ál§�©PQ�[@�FINIBZKCD ô BOF]H ö K ÷ N ö ø \�@&F]NIHEKC@~FID�F ö ^ ö Y[KhFI@&N�D¸üRD¸F]@&øâD�HÓD�NQB�F��[@&N�^~YCøAU@&NQD ö ø�@Eú & @&K¬^~@4�' @ ' N ö F]@�BOKèBZYRF ö øâB�F]HÓ^j,[N ö ^&@)PRY[NI@�F ö P ö D ö úgP ö �CBO)E@�B>,U@&NI@&KCK[HSB ô ,[N ö ^&@)PRY[NI@4� ' @PR@)^&HSPR@qP�F ö ^ ö KCD]HSPR@)N�\�@~F]NIHRK[@&F�? ô @qD ' NIH�F]F]@&KbHSKbACBZD]HS^�� �u���bþ¿\�@&F]NIH ��@&F?û;BON�BÉY ,bWXBOK[ýùZYCBZùZ@e%j� L���) &#� b4s@� \��Vûy�$��BZKCPÞF]NQBOKCD ô BOF]@�F+�[@)ø HSKEF ö B oLp ��qr? ô @Zú PQ�C@�FINIBZKCD ô BOF]H ö KHSD�,U@&N ÷Üö NIøb@)PMYCD]HJK[ùâBZK\� = W@P ��� ô B4_4_(��DGFGü ô @)D+�[@&@&F)ú

PQ�[@èD¸FGü ô @qD-�[@)@~F�BOKCB ô üRD]@)D�B � � �#�±? ô @�,[N ö )hHÓPR@qP�BZDMHJK ,CYRF�BZKCP ùE@&K[@)NIBOF]@qDâF+�C@@*�hY[Hw)tB ô @)KhF$^ ö Y[KhFI@&N�D]üÉD¸F]@)ø BZD ö YRF+,CYRF*� ' �CHS^2��^&BZKÞF��[@&K AU@âYCD]@)PèAhü oLp ��q�ú ó D ' @' H ôSô D]@&@V�dF+�[@áø ö PR@ ô�öO÷ F+�C@áD¸üRD¸F]@&ø HSD�^ ö ø�, ô @&F]@ ô ü;FINIBZKCD ô BOF]@)P ÷ N ö ø F��[@\� �u����? ô @4�' �[@&NI@)BED�BºD¸FIBOK¬P[BONQP�D¸F]NQB�F]@)ùZüºHÓD�^~NI@)B�FI@)Pg�tHSKC^ ô YCPRHSK[ùºNI@)BZ^2�¬BOA[H ô HJFGü$D¸@&F�ùE@&K[@)NIBOF]H ö K �qA[YRFD-� ö Y ô P�AU@$ø ö P[H|?C@qPËAhü�F+�[@$Y¬D¸@)N�D ö BZDkF ö D-,U@)^&H ÷ ü�F+�[@S,[N ö ,U@&N]F]HS@)DkF ö ^2�[@)^2Bdú

c�HSNQDGFe��F+�[@�K¬BOøb@)D öZ÷ F��[@t, ô BZ^&@)DâHSK°F+�[@;KC@~F�BONI@�PR@)^ ô BZN]@qPoBEDz)�BONIHSBZA ô @)D öO÷ F+�C@^ ö YCKEFI@&N�D]üRDGFI@&ø�ú P ö P ö D ö �[B�FI@&øE, ô B�F]@$HÓD�BG,N, ô HS@)PMF ö B ôJô , ô BE^~@qD��ï@î���������������! ����!"�����#�-î$�$��%�&�! ('�$)�iî*�! !�+� ,�- !./�,021�$��iî�. 435$-6'��#�7$��Vî!. 819'8:�;, -021*ï@î�����1/"������#��<2=>�-?)&/$Nî�� î>'@6Nî>'� -021A�!:�B1C� ��- �./�,081.:D�6��#EF$)�iî,. G35$�6*'2�H�7$��Vî�.* )I�1/��"

����)���#�-î$-$)�%�&�, >'�$)�4î��, ��"+�*�����#���, �����"HJK������*�#���, �-��"�����#���! ��-��"PQ�[@�F]@)øE, ô BOF]@VN]@&F]Y[NIKCD�F��[@ K¬BOøb@ öO÷ F��[@�, ô BZ^&@�H ÷ BOKÉü4� ö N�HJFID�HSP[@&KhF]HW?C@&N ö F��[@&N ' HÓD¸@��

�*�����#���, >'�$)�iî�! L'Lî���.>?!081�$)�iî�.* 43�$�6'8���7$!�iî�.* �1M'�:-;, -021�ï î�����1>"�����#�7$Nî��@î>'N6Nî>'� -021A�!:�B1C� ��- �./�,081>O81/��"�����#�Jï î,�/D� ,&-:-P� ,�- �.>�,021RQS�/6Nî>'8 ,�Gï î��*D! G3QT�*$-6'8���U=�68��.>��=A$,�)=*:6��/$-6'2�H�Jï@î��*D! 81(��"

�����#�V.>?�:-:�� ,"������#��<�?� 6W�, ��/�,021�$�:��,=>��=*:6XEAIZY70![/�!:��21>"�����#���! ��-��"H\��-������#�7�! �����"

����������7<�?� 6�"����)���#�V.>?!:�:�� ,"

�-������#�7�! >'�$)�V�! ,"

ó D¸HSK[ù ô @ D¸FIBOF]@ öO÷ F+�[@'^ ö Y[KhF]@&NkD¸üRD¸F]@)ø��EN]@*,[NI@)D]@&KhF]HSK[ù�B$K[@&F?øâBON�BÉHJKCùN�OHÓD?P[@)^ ô BONI@)PB������#���! ��-��"

�>� �! ��L'L��]8=(6�^XJ�-������#�7�! �����"

PQ�[@&K �R@qBZ^2�MF]NQBOKCD]HJF]H ö KËHSD��¬BOKCP ô @)PMAÉüMB�F]@)øE, ô BOF]@V�CPR@~FQBOH ô @qP��C@&NI@)B ÷ FI@&Nqú�����#�-î$�$��%�&�! ('�$)�iî*�! !�+� ,�- !./�,021A�-� î68�,=(��=*:/6_3�$-6*'8�#����� î*6��,=(�8=>:6B1>��"� KC^~@ºF��[@$F]NQBOK¬D¸HJF]H ö KCD BONI@$ø ö PR@ ôJô @)P�HSK�F+�C@^ ö Y[KhF]@&NVD¸üRD¸F]@&øy�CF+�[@�ø ö PR@ ô HÓD ^ ö ø�ý

, ô @&F]@Eú*PQ�[@ ô BZD¸F ,CBZN¸F öZ÷ F��[HSDu�[HSù4�[@)N¸ý ô @*)Z@ ô ,[N ö ^&@)DID¸HSK[ù.ùZ@)K[@&NQB�FI@)DUF+�C@�DGFQBOKCPCBONQPVD¸F]NQB�FI@&ùZü÷Üö N.F+�C@$K[@~F�F ö A¬@�BZKCB ô üRD¸@qP2������#���! ��-��"

�>��� î��! ^�%��/���@î���`� ���a î�!b�� î��, HEVc�O�O-O�IRJ� ���a î��d�.�.RE(e>O�O)IRJf �^8=*:*6g=(62=>�h�T0�`�����)���#���! ����"

�����#�-î$�$��%�&�! ('�$)�iî*�! !�� ,�- �.>�,021�$)�Vî�. ,��=A62=(�8=(î��aXî��-]8=A6�^i3j$�6'8����$)�4î�. ��!=A62=>�)=Gî��*a î��])=(6�^21/�-"

�����#���! ��-��"!�/� î�! -0/'�î��-]8=A6�^�klJm � î68��=>�8=*:6��n��� î*68�o�T0�`��������#���! ��-��"

�����#�-î$�$��%�&�! ('�$)�iî*�! !�� ,�- �.>�,021A���@î68�,=>��=*:*6)�/6 î>') 435$�6*'8�#����� î*6���=>�)=*:6��/6 î>'8 )1/"������#��<2=>�-?)&/$Nî�� î>'6Nî>'� -021/�iî!�/�B1C�* ,�- �./��021/�*$�6*'2���*6, ����*�-�@î6)�,=>��=/:*6qpF�4î��>��EAI>r!�s)=>;81/�-"

����)���#�-î$-$)�%�&�, >'�$)�4î��, ��"�����#���! ��-��"�kHJ

f �^8=*:*6t�! Xî�.>?h��0t$�:!�/��uREA=A62=>�X\v��� î68�R\ne�IRJk����)���#���! ����"P '?öËô HSøbH�FQD�BONI@j? }R@)P2�³F��[@bøâB(}RHJø�Y[ø KÉY[ø�A¬@)N öO÷ DGFQB�F]@qD ÷Üö NºF+�C@áD¸üÉøA öZô HÓ^�NI@�,[ý

N]@qD¸@)KEFQB�FIH ö K öO÷ BáNI@&ùEH ö K �¬BZKCP�F��[@�øâBG}ÉHSøYCø4KÉY[ø�A¬@)N öZ÷ BZ^)^~@ ô @&NQB�FIH ö KCD.F ö AU@FIN]HS@)P³ú] �[@&K�F+�[@qD¸@ ô HSøbH�FQD.BONI@ NI@)BZ^2�C@)Pg� o�p �[q�HSKC^&N]@)ø�@)KhFID�F+�[@º^~üR^ ô @ ô @&KCùOF+�MYCD]@)P ÷Üö NkBE^&^&@ ô ý@&NQB�F]H ö K¬D&úiPQ�[@VKÉY[ø�A¬@)NIDkD]@~F��C@&NI@VBONI@ BO)E@&NQBOùZ@�)�B ô Y[@qD ö ARFIBZHJKC@)PáB ÷ F]@&N.D]@�)Z@)NIB ô FI@)D¸FID öO÷F+�[@ºF öhöEô ú PQ�C@�BOYRF ö øâB�FIHS^VF]NQBOK¬D ô B�FIH ö KMD]@~FID�F+�[@ºHSK[H�FIHSB ô øâBON�BÉHJK[ù öZ÷ F+�C@$K[@~F BED.HJK[HJF]HÓB ôN]@)ùZH ö K öZ÷ F��[@â^ ö Y[KhF]@&N�D]üRDGFI@&ø�ú & ö(' @�)E@&Ne�dH�F�øbHSù4�hF$A¬@ 'kö N]F+� ' �[H ô @ ÷Üö NVF��[@âYCD]@&NºF öø ö PRH ÷ ü�F+�[@qD¸@x)�B ô Y[@qD��E@Zú ùCú�F ö �CBO)E@�,CBONQBOøb@~FI@&NIHW�)@)P�N]@qD¸Y ô FQD��hBZD�HSKbF+�[@ @[}[BOøE, ô @ öO÷ D]@)^~ýF]H ö KyaCú s[ú@PQ�[@�D]@~Fq��� î*68� öZ÷ F]NQBOK¬D¸HJF]H ö KCD?F ö A¬@ºFQBGBZ@)K�HSKhF ö BZ^)^ ö Y[KhF ÷Üö N�BZ^&^&@ ô @&NQB�FIH ö KCD^ ö KhFQBOHSKCD�B ôSô F]NQBOK¬D¸HJF]H ö KCD öZ÷ F��[@$K[@&F)úNc�HSKCB ôSô üV�RF+�C@�N]@qBZ^2�CBZA[H ô HJFGüáD¸@&F�HSD ^ ö øE,[Y[F]@)P�BZKCP

DGF ö NI@)P;HSKèBMNI@&ùZH ö Kw�, Xî�.>?g�¬YCD]HSK[ù ÷Üö N ' BONQP�NI@)BE^2�CBOA[H ô H�FGüEúLPQ�[HÓDº^&BZKèB ô D ö AU@b^2�¬BOK[ùE@)PAhüËF��[@YCD]@&Ne�U@Zú ùCú¬F ö Y¬D¸@�ACBZ^2B ' BONQP[D.N]@qBZ^2�CBZA[H ô HJFGü�T�úLU�@&ùZH ö Kw�, Xî�.>?Ë^)BOKÞB ÷ F]@&N ' BONQP[DA¬@'YCD]@)P ÷Üö Nk^2�C@)^2BÉHJKCùT,[N ö ,U@&N]F]HS@)D*�hBED�HSKáF��[@V@�}[BOøE, ô @ öO÷ D¸@q^5F]H ö K�aCú s[úXPQ�[@#,CN ö ,¬@)N¸FIHJ@qDøYCD¸F�A¬@�D+,U@)^~HW?C@qPMAÉüâF��[@$YCD]@&Nqú

]è@ ' H ôJô K ö(' PR@~FQBOH ô � ö(' F+�[@�^ ö NI@ öO÷ F+�[@�ø ö PR@ ô �&H�ú @Zú&F+�[@�FINIBZKCD]H�FIH ö KCD��5HÓD³FINIBZKCD ô BOF]@)P�úó FINIBZKCD]H�FIH ö KHSK oLp ��qá^ ö Y[KhF]@)N�D]üRDGFI@&øâD�HSD�P[@)DI^~NIHJAU@)P�AÉü$H�FQD�KCBOøb@�BOKCP ÷Üö YCN?¬@ ô P[D��ô P-�,:>'ËHÓD.F+�C@�D ö Y[NI^&@'D¸FIBOF]@ öO÷ F+�C@ºF]NQBOKCD]H�FIH ö KL�ô �!:bHSD�F+�[@$PR@qDGFIHJKCBOF]H ö K�D¸FIB�FI@ öO÷ F+�[@ºFINIBZKCD¸HJF]H ö Kx�ô ^-D î��,;�HSD.B�A öÉöZô @)BZK ÷Üö N]ø�Y ô B ö K�F+�[@�)�BONIHSBZA ô @qD ' �CHS^2�MøYCD¸F�@�)�B ô YCB�FI@�F ö FIN]Y[@ ÷Üö NF+�[@ºFINIBZKCD]H�FIH ö K�F ö A¬@$@)KCBOA ô @)PL�

ô î�.>�8=*:6�PR@qD]^&N]HSA¬@qD�F+�C@�@�) öZô YRF]H ö K öZ÷ F��[@x)�B ô Y[@qD öO÷ )�BONIHSBZA ô @)D ' �[@)KbF+�[@ F]NQBOKCD]HJF]H ö KHSD?CNI@)P�úOPQ�CHSD�HSD�P ö K[@kAhüºøb@)BZKCD öO÷[÷Üö N]ø�Y ô BO@ ' �[@)N]@.Bx,CN]HSøb@)PT)�BZN]HÓBOA ô @�K¬BOøb@'þ¿H�ú @Zú�-?! Vï î��Xy ÷Üö N#)tBZN]HÓBOA ô @��-?� Vï î� %kHSKCPRHÓ^&BOF]@)D�F+�[@�K[@ ' )�B ô Y[@ öO÷ F+�C@R)�BONIHSBZA ô @�þ¿B ÷ F]@&N?CNIHJK[ù�F��[@ºF]NQBOKCD]HJF]H ö K�%[� ' �[H ô @ºF��[@$K ö K[ý$,[NIHSø�@qP�K¬BOøb@âþÜ@Zú ùCú���?� Vï î��@%�PR@&K ö F]@qD.F+�C@)�B ô Y[@$A¬@ ÷Üö NI@�?CN]HSK[ù�F+�C@ºF]NQBOKCD]H�FIH ö K�úPQ�[@áD ö Y[NQ^~@âBOKCP�P[@)D¸F]HSKCB�FIH ö KàK ö P[@)D öZ÷ @*)Z@)N]ü�FINIBZKCD]H�FIH ö K BZN]@�F��[@áY[K[H��hY[@�D¸FIBOF]@4�

F+�[@)N]@ ÷Üö NI@VF��[@�P-�!:('�BZKCPz�,:E?C@ ô P[D�BZN]@ºB ôSô @*�hYCB ô F ö 'mî��-]8=(6,^dúPQ�[@�øâBOHSK�,¬BON]F öZ÷ F��[@x� = W@PoD¸FGü ô @qD-�C@&@~F�^ ö KCD]HÓDGFQD�HJK ' NIH�FIHJK[ù$ùEYCBONQP[D�BZKCPbBZ^5FIH ö KCD)ú

P�BZA ô @/�áNI@�)ÉHJ@ ' D$F��[@ ÷Üö N]ø�Y ô BZ@ öO÷ ùEYCBONQP[DBZKCP�BZ^~F]H ö KCD ÷Üö N�@)BZ^2� FGüX,U@ öZ÷ BONQ^OúPQ�C@BONQ^&D�^ ö K[KC@)^5F�BT, ô BE^~@i$�BZKCPáBF]NQBOKCD]HJF]H ö K9�dúXPQ�[@&üâøâBtü��CBO)Z@'BT)�B ô Y[@{6bHSKáF��[@S� � ���PR@)DI^~NIHW,[F]H ö K � ö F+�[@)N ' HÓD¸@'F��[@�PR@ ÷ BZY ô Fx)tB ô YC@'HSKËFIBZA ô @z�ºHÓD.YCD]@)P³ú

�/�Gyk�·ÔZ�Rw |.wIÒÓx)�h�²��})x)���hw }k�Éx&�¸v �?yI�G���){{h�)�G¹�x&� ¼~ ½ | ¼*�(� � ¼2�7�)¼ ¦&�{h�)�G¹�x&� ½ ~�¼ | � ¼2�7�)¼*� ���{hzE��ÙE�²�G�)� ± ¼/� � �

�Gw5xqv | ¼*�(� � ��GwQ��wI� ± � ¼*�>�

� ÇEÃ2� ��óÉÊ |.���[wI�GwI{O����ÔZ�RwQ���)ÒXx~�GyQ�V�hyI�)���GwQ���R�){ÉvE��{EÖ$Öq�Éx~�¸vE��x){hv�x&yI�G���q{h�

ó F]@&øE, ô B�FI@ºHSD�B4, , ô HJ@qPáF ö B ôSô BONQ^&D.HSK ö NIP[@&N.F ö ^ ö KCD¸F]NIYC^5F.F��[@$ùZYCBZNIPM@[}@,[NI@)DID]H ö K�ú�����#�-î$�$��%�&�! ('�$)�iî*�! !�+� ,�- !./�,021RQ-QS�iî���.#3*Q�QT�*$�6*'8���-î���.�19'8:-;, �021A^-DNî�,;21/"������#��<2=>�-?)&/$Nî�� î>'@6Nî>'� -021A���@î68�,=>�21�� ��- �./�,081/[�=/;, *6,�B1>�-"������#��<2=>�-?)&/$Nî�� î>'@6Nî>'� -021/�iî!�/��^B1n� ,�- !./�,021/[-�iî��/��^21/��"

����)���#�-î$-$)�%�&�, >'�$)�4î��, ��"A F�F]@qDGFQD$F+�C@�BONQ^�FGüX,¬@V� ö K ' �[HÓ^2� F+�C@áùZYCBZNIPà@�}X,CN]@qD]D]H ö KàP[@�,U@&KCP[D*� ÷Üö N�@qBZ^2��BONQ^

�CBO)ÉHJK[ùbF��[@�FINIBZKCD]H�FIH ö K;BZD BâFIBONIùZ@&F)ú A ÷ H�F'HSDVBâN]@qD¸@&FVBONQ^G�¬K ö F��[HSK[ùáHÓDVP ö K[@4�¬H ÷ HJFVHÓD BZKHJK �CHJA[HJF ö N�BZNI^4��BZKã@*�hYCB ô HJFGüàF]@qDGF�HSD�ùZ@)K[@&NQB�FI@)Pg� ö F��[@&N ' HSD]@�BÞùZNI@)B�FI@&NF+�CBZK ö N�@*�hYCB ôF]@)D¸F�HÓDQ,[N ö PRY¬^~@)P�ú` ��zE��y¸z����/ÐO{h�5Õ/{��G�V�GwI�G¹$��{Éx&�Gw?Õ/zhwQ{��GzEw.�®�¸x&���G��{EÖ$��wI������vZ�~Õ/{�Õ�x&�¸vEyI���)��w5vCØ

�����#�U=/P@�! !�/�,021>s� î���^! �,0![��� î*68��=(�B1("������#��ï î��8=Gî*�)�- C6 î>'8 -021eî���./��%�$� 81x� ,�- !./�,021RQF���%-$� ���! �-�B1>��"������#�K.>?�:�:��* ,"�����#�7<�?� *6@�! ��>�,021/[iî��./��%-$! -0#yF�� �� �#yA1/��"�����#�7<�?� *6@�! ��>�,021/[iî��./��%-$! -0#y�=�6�?2=A�8=(�!:*�Xy(1>"������#��ï î��8=Gî*�)�- n6Nî>'8 -081�:D,�). 81n� ,�- �.>�,021>s��*:D,��. �1/�-"������#��P,:���&- iî�.>?N� ,�- �.>�,021RQ�QF�*$)�iî�.* �1/"��)���#�U=/P@�, ��/�,021(s)=/;�0![,�:D,��. 81>"��������Jï î,�*D! ,&-:-P�* ,�- �./��021RQS�*6 î>'8 ,�4ï@î��*D, 43QF�/$-6'��#�U=A6��-./�8=�$,��=/:6��*$�6'8���Jï@î,�>D� 81(��"

���*�����#�U=>P!"����������TP,:���&� Xî�.>?)"������#�7�! �����"0!������������ ��-��"������#�K.4î,����&*�! >'�$)�Vî�! x6Nî>'� -021Oî��).(ï î,�*D! 81/�-"

����)���#�7<�?! 6)"�����#�F:��-?! ��-<2=-�* ,"������#��ï î��8=Gî*�)�- n6Nî>'8 -081�:D,�). 81n� ,�- �.>�,021>s��*:D,��. �1/�-"������#��P,:���&- iî�.>?N� ,�- �.>�,021RQ�QF�*$)�iî�.* �1/"��)���#�U=/P@�, ��/�,021(s)=/;�0![,�:D,��. 81>"��������Jï î,�*D! ,&-:-P�* ,�- �./��021RQS�*6 î>'8 ,�4ï@î��*D, 43QF�/$-6'��#�U=A6��-./�8=�$,��=/:6��*$�6'8���Jï@î,�>D� 81(��"

���*�����#�U=>P!"����������TP,:���&� Xî�.>?)"������#�7�! �����"-"�0!����)��#���! ���!"������#�K.4î,����&*�! >'�$)�Vî�! x6Nî>'� -021Oî��).(ï î,�*D! 81/�-"

����)���#�F:���?� ��-<2=�� �"����������V.>?�:�:!� ,"

����)���#�U=/P,"PQ�[@'F]@&øE, ô B�FI@Tî��.(ï î,�/D� HSD.Y¬D¸@qPg�[BOKCP�N]@&F]Y[NIKCDkF��[@�)tB ô YC@ºBOF¸FQBZ^2�[@qPâF ö F��[@�BONQ^�H ÷

BOKÉü4�[BZKCPáF��[@�PR@ ÷ BOY ô Fx)�B ô Y[@ ö F��[@&N ' HSD]@Zúc�HSKCB ôJô ü4��F��[@�BZ^~F]H ö K�HSD/ùZ@&KC@&NQB�F]@qP³úGP ö P ö D ö �OB'F]@&øE, ô B�FI@�HSD�BG, , ô HS@)P�F ö @)BE^2�j, ô BE^~@Zú

PQ�[HSDkB ôSôSö(' D ÷Üö N.^ ö øE,[YRF]HSK[ùF+�[@VF ö FIB ô )�B ô Y[@�F ö AU@VBEP[PR@)PâF ö�ö N?D]Y[ARFINIBE^5FI@)P ÷ N ö ø F+�C@^~Y[NIN]@)KhFQ, ô BE^~@ºøâBON�BhHSK[ù¬ú�����#�-î$�$��%�&�! ('�$)�iî*�! !�� ,�- �.>�,021RQ�QF�*$)�iî�.* 43*Q�QF�/$�6/'2���7$��Vî�./ 819'8:-;, -081.:6�6! �./�! -;81/"������#��<2=>�-?)&/$Nî�� î>'@6Nî>'� -021(P�=(���/�-$)�Vî�. �1x� ��- �./�,081/[�P�=>�)�/�-$)�iî,. �1>��"������#��<2=>�-?)&/$Nî�� î>'@6Nî>'� -021A���@î68��1n� ,�- !./�,021/[!=/;, 6,�21/��"

����)���#�-î$-$)�%�&�, >'�$)�4î��, ��"A ÷ F��[@S, ô BZ^~@ºHÓD�^ ö K[K[@)^~F]@qP�F ö B�NI@)D]@~F�BZNI^4�RH�FQD�øâBON�BhHSK[ù�A¬@q^ ö ø�@qD�b�������#�Jï î���=Gî�)�- n6Nî>'� -021> ���=-�/���/�, �� ��81� ,�- �.>�,021RQ�QF�iî���.�p�s��@î��-^, ��-0![*���@î*68��î6!;Ns��*:D,��. �0![*$)�iî!. µî*6!;QS��-%-$� ,��, ����,0#yT�! !� �#ySrG3Q-QS�/$-6'��#�-î�).HpTs*� î��-^, �,0![/���@î*68��î6!;s��:*D,��. -0,[*$)�iî�.* î*6!;�QF���%-$� ���! �����0#yF�! ,� ��#yFr81/��"

�����#�V.>?�:-:�� ,"������#��<�?� 6W�, ��/�,021>[- ��8=-�>���/�! ��* �4Y�0#y�yA1>"�����#�Jï î,�/D� ,&-:-PW� ,�� �./�,021>[*$)�iî�.* 6Nî('� �1/��"�����#���! ��-��"HyS0,O����*��������� ��-��"

����������7<�?� 6�"� F+�[@)N ' HÓD¸@V�ZF��[@$D¸YCø öO÷ )�B ô Y[@qD öO÷ K ö NIøbB ô BONQ^&D ÷ N ö ø F+�[@'F]NQBOK¬D¸HJF]H ö K�F ö F+�[@�, ô BZ^&@

HSD'^ ö ø�,CYRF]@qPg�³BZD ' @ ôJô BZD�F+�[@bD¸YCø öO÷ )�B ô Y[@)D öO÷ K ö NIøbB ô BZNI^)D ÷ N ö ø4F+�C@R, ô BZ^&@�F ö F+�C@F]NQBOKCD]H�FIH ö K�ú

������#�T:��-?� ���<2=-� ,"�����#�Jï î���=Gî�)�- n6Nî>'� -021�$)�Vî�. $)�/D8��1>"������#��î$�$)�%!&�! >'�$��Vî��� ��� ��- �./�,081RQ�QS�iî��.�pTs*� î��^, �,0�[*$)�Vî!.* ±î6!;�s��:D���. -0![*��� î68�/rq3Q�QS�*$-6'2�#�-î��.�pTs��@î��-^! ��0![>$)�iî!.* î*6!;Ns��:D,�). -0![�-� î68�*r81

'8:�;, -021�$��*D8��1/"��)���#�7<2=(�-?)&*$Nî� î>'�6Nî>'8 �021(;�=/P-P21C� ��- �./�,081>O81/��"

����������-î$�$)�*%�&�! >'!$��iî*�! !��"����)���#�Jï î�8=Gî�)�� ,"�����#�Jï î���=Gî�)�- n6Nî>'� -021�$)�Vî�. >'l=A6�D8�!1�;, �P@îD)���021>O81/"������#��î$�$)�%!&�! >'�$��Vî��� ��� ��- �./�,081RQ�QS�iî��.�pTs*� î��^, �,0�[���@î*6���î6!;�s��:D���. -0![/$)�iî�. �rq3Q�QS�*$-6'2�#�-î��.�pTs��@î��-^! ��0![/��� î*6��rî*6!;Ns��:D,�). -0![*$��iî�. -r81

'8:�;, -021V'R=(6�D8��1>"��)���#�7<2=(�-?)&*$Nî� î>'�6Nî>'8 �021(;�=/P-P21C� ��- �./�,081>O81/��"

����������-î$�$)�*%�&�! >'!$��iî*�! !��"����)���#�Jï î�8=Gî�)�� ,"

PQ�[@$PRH|nd@&NI@&K¬^~@)D�A¬@&F ' @)@&KMF+�[@qD¸@ºF 'kö D¸Y[øâD�HÓDkF+�C@$ø ö PRHW?¬^)B�F]H ö KËF ö AU@�BG,N, ô HS@)PMF öF+�[@$øâBON�BÉHJKCùCú & @)KC^~@V�RF+�[@�BE^5FIH ö KË^)BOK�A¬@�^ ö KCD¸F]NIYC^~F]@)P�ú

�����#�U=/P��, ��/�,021>[*$)�iî�.* -;�=/P�P�Y70,O)1/"������#��ï î,�*D� �&-:-PW� ,�- �.>�,021/[*$��iî�. 6 î('8 )1/��"������#�7�! �����"ZyS0!����)��#���! ���!"������#��ï î,�*D� �&-:-PW� ,�- �.>�,021/[*$��iî�. 6 î('8 )1/��"������#�V=/P��! ��>�,021/[*$��iî�. -;)=/P�P!"O81/"��)���#���! ����"Vì!�-������H���, ��-�!"

����������U=/P!"������#��ï î,�*D� �&-:-PW� ,�- �.>�,021/[*$��iî�. -;)=>P�P�1/��"

����)���#�U=/P,"� ö FI@ËF+�CBOF*��H ÷ F��[@�PRH|nd@&NI@&K¬^~@�HSDbKÉY ôSô �/K ö BZ^~F]H ö K1HÓDbùZ@)K[@&NQB�FI@)PoBZD�F+�C@ËøâBZN+BÉHSK[ù

N]@)øbBZHJK¬D.Y[KC^2�CBZK[ùZ@qP³úPQ�[@ ö F��[@&N#,CBON]FID öO÷ F��[@R� = W@P DGFGü ô @)D+�[@&@&FVBONI@�øâBOHSK ô üËF]NIHS^2BRD�F ö ,[YRFVF+�[@�BG, ,CN ö ý

,[N]HÓB�FI@á^ ö K[K[@)^~F ö NIDºAU@~F ' @&@)K D]Y[ARý ÷Üö NIøY ô BZ@ öZ÷ F��[@áùEYCBONQP[D$BOK¬PàBE^5FIH ö KCD���BZKCP BNJ'F ö@&KCPMF+�C@&øý,CN ö ,¬@)N ô üZú PQ�ÉYCD*� ' @ ' H ôJô K ö F PR@&FIBZH ô F��[@�^ ö PR@�BZKhü ÷ Y[N¸F��[@&Nqú

þu¤�É �{� ¾ °vÀfÌH«

W�@~F'YCD ^ ö KCD]HÓPR@&N F+�[@�\�@~F]NIH�K[@&FVHSKt?CùEY[N]@RaCú�PQ�C@�� � �ç� \���"#� ' BED�YCD]@)P�F ö ùZ@)K[@&NQB�FI@F+�[@R� �u����? ô @º@[}[^~@*,RF ÷Üö N.F��[@�D+,¬@q^~HÓB ô BONQ^VFGüX,¬@qD ' �[HS^2� ' @&NI@$BZP[PR@qP�øâBZKhY¬B ôSô üEú

p1 4

p2 p3m

t1 t2

2p2

4

ð�ñwò Ê��UÊ �°����¹$�h��w�­dwI���G�C{hw]��Õ/���Gz���{Ezh��Ùh�²�G�&�kx&{Év��GwI��wI�?x&�GyQ�

PQ�[@ËF]NQBOKCD ô BOF]H ö K öZ÷ F��[HSDáø ö PR@ ô HJKhF ö B oLp ��q ^ ö Y[KhF]@)NbD]üRDGFI@&ø2HÓDE,[NI@)D]@&KhF]@qP1HSK?CùZY[NI@T�Rú

�>�w� ¨E�t¢;©Z�q¡q¥L�O��¢à�&¾�½/�V�É�)½Z�q§q�t¡t¡A�C��¥&�O¥q�O�)½t¥q��©t�*�V���( >¡>¢ �(��-�)��¥�¡Þ�ÉÀ¤££��)� ¼ À,¥ ¼¦ ¥ ¼ Á�§¢~½O�)½�¥O¢��h�)�A¨h�~�>�2§½q�O�&�E¢t�~½Z�(�&�1½ÉÀ@© � £©t�*�V� © � �É�)��¨h�~�/�2§½*� © � �É�)��¨h�~�/�2§�q¾Z�)�t� © �è¼ À �A� À,§��§&½Z�(�~�ª© �è¼ À ���)¼ À~¦EÀ�¥ ¼¦��7�)¼*¦(�/¦ §« §½q�O�&�E¢t�~½Z�(�&�1½ ¦ © � £©t�*�V� © � �É�)��¨h�~�/�2§½*� © � �É�)��¨h�~�/�2§�q¾Z�)�t� © �è¼ Á �A� À�¬>¬ ¼ À �>� §��§&½Z�(�~�ª© �è¼ À ���)¼ À �(­ ¥ ¼¦��7�>� ¥ ¼ Á �7�&¼ Á�¦EÀ,§« §«

ð�ñwò Ê�®CÊ » zhw�ÌEͬÎ]Ï�¹$�OvZwQ�

PQ�[@$DGFINIBOF]@&ùEü ö ARFQBOHSK[@)P�)ÉHÓBF��[@S� = W@P-D¸FGü ô @qD-�[@)@~F�HÓDQ,[N]@qD¸@)KhF]@)PMHSK\?¬ùZY[NI@SÈ[ú

¢~½t�O�)½�¥A�>�o¢&½t�O�&½C£¢)¥q½(¡Z��¯*°)½O�)½t¥8± ¦(�>�(��² §¢)¥q½(¡Z��¯>³Z§t§)±]À �>��² §´O¥(�Z�(�~�o�~�E�&½µ© � £ ¼ À �(­ ¬>¬ ¼*¦(�>� ¬>¬ ¼ Á � ��¬(¬1¢&½O�)½t¥ � �É�)��¨h�~�/� « §� �O�&�E¢q�&½Z�(�&�Z¢ ½q�O�&�E¢�© � £)½ÉÀ,¥�½ ¦ « §´O¥(�Z�(�~����¥���§5¨ª© �Þ¼ �t¢&½ � ±G�5�E�&½2¥â½t�O�~�E¢)¥�À ² §«

ð�ñwò ÊA¶CÊ » zEw�ÖqwQ{EwI�¸x&�GwQv��®���¸x&�GwQÖ&Ô

]è@ ' BZKhFVF ö ^2�[@q^2BËF+�CBOFºB ôJô NI@)BZ^2�¬BOA ô @D¸FIB�FI@)DºDIB�F]HÓD ÷ ü�d,·�¸ þº¹u�O%»@¸ þ»¹Ld4%i¼ d!· a��BOKCPËF��CB�F{$!½�HÓD A ö Y[K¬PR@)P�AÉüËH�FQD HSK[HJF]HÓB ô øbBZN+BÉHSK[ù¾'�ú & @&K¬^~@4� ' @BZP[Pz'ÞBED Bz)�BONIHÓBOA ô @HJKËF+�C@$ø ö PR@ ô BOK¬P�ø ö PRH ÷ üáF+�C@�DGFINIBOF]@&ùEü4�RBZD�D+� ö(' KËHJK�?CùEY[NI@�¿Rú

¢~½t�O�)½�¥A�>�o¢&½t�O�&½C£¢)¥q½(¡Z��¯*°)½O�)½t¥8± ¦(�>�(��² §¢)¥q½(¡Z��¯>³Z§t§)±]À �>��² §´O¥(�Z�(�~�o�~�E�&½µ© � £ ¼ À �(­ ¬>¬ ¼*¦(�>� ¬>¬ ¼ Á � ��¬(¬1¢&½O�)½t¥ � �É�)��¨h�~�/� « §� �O�&�E¢q�&½Z�(�&�Z¢ ½q�O�&�E¢�© � £)½ÉÀ,¥�½ ¦ « §´O¥(�Z�(�~����¥���§5¨ª© �Þ¼ �t¢&½ � ±G�5�E�&½2¥â½t�O�~�E¢)¥�À ² §´O¥(�Z�(�~�o�~��£g© � £ ¼ À �&¼ À �)¼¦A�>À ¬>¬ã¢&½��)½�¥ � �h�)�A¨h�~�>� « §´O¥(�Z�(�~�w�É�A¯ ¼ Ág© � £ ¼ Á/Á � ��¬>¬ã¢&½O�)½�¥ � �É�)�A¨E�~�/� « §�&©Â±G¢~¾q�°q¥q½2±���¥���§~¨2¥G�~��£ ²(²½q¨O¥)� ¼ �Z�~��½2±KÃ~�~��£+Ä�Å,à ² §¥�¡�¢)¥ ¼ �Z�~��½2±KÃ~�~��£n Ä�Å!à ² §¥)���Z�&©�&©Â±G¢~¾q�°q¥q½2±���¥���§~¨2¥j�É�A¯ ¼ Á ²>²½q¨O¥)� ¼ �Z�~��½2±KÃ]��&¾t�t��Ä�Å!à ² §¥�¡�¢)¥ ¼ �Z�~��½2±KÃ]��&¾t�t�C *Ä�Å!à ² §¥)���Z�&©

«

ð�ñwò Ê(Æ[Ê » zhw�¹$�OvZ��×hw5v��®���¸x~�GwQÖ)Ô

ó�÷ F]@)N$N]YCK[K[HSK[ù oLp �[q�� ' @â^ ö KC^ ô YCPR@�F+�¬B�F$A ö F+�r,[N ö ,U@&N]F]HS@)DºBONI@bD]BOF]HÓD�?C@qPg��BOK¬PÞHSK,CBON]F]HÓ^~Y ô BONkF��CB�Fx,CBZNIBZøb@~F]@)N#'�HÓD�B�A ö YCKCP ÷Üö N�, ô BZ^&@{$�½¬ú

Ç �/�� i� �?ì[ð ïVò��u o�p �[q/�CBZD�A¬@)@&K;D]YC^&^&@)DID ÷ Y ô üMB4, , ô HJ@qPËF ö D]@�)E@&NQB ô K ö KRý�FIN]Hw)ÉHSB ô \�@~FIN]H³KC@~FID ' H�F��;B ô BZN]ùE@ö N'HJK@?¬K[H�FI@�D¸FIBOF]@bD-,¬BZ^~@EúLPQ�C@�NI@)D]Y ô FID ö Kt? ô @)DºBZYRF ö øbBOF]HÓ^&B ôJô üMùE@&K[@)NIBOF]@qP ÷ N ö ø � � ���

BONI@^,CN]@qD¸@)KEFI@)P�HSKj?¬ùZY[NI@�Ö[ú4PQ�[@�ø ö PR@ ô D/BZN]@�BO)�BOH ô BOA ô @�B�F�� c ó = ���EBED ' @ ôJô BED ö F��[@&N�^)BZD]@DGFIYCPRHS@)D)úGc[N ö ø F��[@ ÷ÜöZôSôJö(' HSK[ùVFIBOA ô @V� ' @�^&BZK�D]@&@kF��CB�F oLp ��qz�CBZD�D]HSø�H ô BONf,¬@)N ÷Üö N]øâBZKC^~@qDö Kt?CKCH�FI@bBZKCP�HSK@?CK[HJF]@âD¸FIBOF]@�D]üRDGFI@&øâD)úLPQ�[@�KÉY[øAU@&N öZ÷ )tBZN]HÓBOA ô @qDVBZKCP�F+�C@ ô @&K[ùZF+� öO÷ôJöÉö ,¬DXF ö A¬@�BE^&^~@ ô @)NIBOF]@qP�BONI@?ø�YC^2��ø ö N]@kNI@ ô @�)�BOKhF ÷ BZ^5F ö NQD ÷Üö N�F+�[@�^ ö øE,[YRFQB�FIH ö K�F]HSøb@ZúPQ�[@ËD ' HSø�øbHSK[ù�, öÉöZô @[}[BOøE, ô @4� ' �[HÓ^2�ãNI@*�hY[HSN]@qD$F ö BE^&^&^&@ ô @&NQB�FI@ ôJöÉö ,¬D öZ÷ ô @)K[ùOF��±aN�D-� ö(' D�F��CB�F�F��[@x�[@)Y[NIH�FIHS^)D�YCD]@)P�F ö ?CK¬PF��[@ ^&üÉ^ ô @qD '?ö N+BRD ' @ ôSô HSK�,CNIBE^5F]HÓ^~@EúGc�HJKCB ôJô ü�B ôJôF+�[@qD¸@�@�}[BOøE, ô @)D��CHJùV� ô HSù4�hF/F��CB�F.BZ^)^~@ ô @&NQB�FIH ö K ��@�)E@&KâH ÷ H�FkYCD]@)D ö K ô ü�B�D]@&øbHJý®B ô ù ö NIH�F��[øy�HSD�D ö YCKCP ÷Üö N�,[NQBZ^5FIHS^)B ô BOY[F ö øâBOF]HÓ^#)E@&NIH|?U^&B�FIH ö K�ú

g�x)��w��®�G�hvZÔ ÈÉ ÊËÉÌÍ ÎÏ

Ð ÊÉ ÑÏË ÐË ÒÑÏ

ÐË ÓÎÔ ÏÕ

ÑjÖÒ×ÉØØÎÍ Î ÊÉÐË ÒÑÏ

Ø ÙØÍ ÎÍ ÎÑÚÐÛ

ÑjÖÒ×Ø ÙØÍ ÎÏ

Ü�ÝAÞ*ß,à>áTà�â�áSãjäFå2æ_áSãjç­³�G�OvE�hyIwI�]Úqg��){h���h¹$w]� � s ±OØ �&p | | raUx&¹$�R�)���?m u |q| � |)Ø �&± |q| | |5±|.wQÐOÐtw]��m u �q� �q� |5sOØ�|5± sqp | �)sj » ­ � |~� |)Ø �)� n | |5s­dwI�GwI�G���){ám u |Qr |~� ��Ø nO| |~� | |5sj�w5xqvZwI�]Ú~�M�G���Gw]� |5s � ��Ø �&± |~� | |5±

âXáSãjäFåBæiáSãjçg�chm |Qr |5s sqsOØ�| � pqs � st�m��h�²�G���R�q��� |5n �O| |5nOØ�|5n |5s | �q�è x){OÙhx){ |5p |5p pOØ �&s �q� | |~¯cOÕ/��¹$¹$��{hÖV­d���q� � p | � |qØ�|5s |5s r r�¯â�áSãjäFå2æ_áSãjçqéBåêã ëíìFßë*åjîKåêã�ÝAäðïñXá�ò>à�óXä�ôKç

¶ x~�GÙRwI� n |~� |)Ø ±q¯ n | |5s� mâc �q� �)± |5±q�OØ �&r �)s � rtp

ð�ñwò ÊAõCÊ j�wQ���E���G�/�E����{EÖ$x){�«·{��GwQ�C­dwQ{��G���h¹�rZf[�OØ r�}kzEÑ.Õ/�²�Gzá¯)p)n�m�ÙOÔO�GwQ�

ö �èî?ë ñgá¸ð# ÉòGî�ë

\�@~F]NIHXKC@~FIDVHÓD'B ' @ ôJô ý®D+,[NI@)BEP�ø ö PR@ ô F ö PR@qD]^&N]HSAU@�^ ö KC^~YCN]NI@&KhFVD]üRDGFI@&øâD&ú & ö(' @�)E@&Ne�[F+�C@BOKCB ô üRD]HSD öO÷ F]@)K�AU@)^ ö øb@)D?HJKhFINIBE^5FIBZA ô @ ' �[@&KáF+�[@ºDGFQB�FI@VD+,CBZ^&@ HÓD ô BONIùZ@ ö N�@*)Z@&K�HJK@?¬K[H�FI@Zú

]è@S,[NI@)D]@&KhF Bbøb@~F�� ö PMF ö ^2�[@q^2BM^ ö øE, ô @�}�,[N ö ,U@&N]F]HS@)D ö K�D¸YC^2��\�@~FIN]HXK[@~FQD&úNc�HSNID¸F*�\�@~F]NIH�KC@~FID�þ ' H�F�� , ö DID¸HSA ô üàHSK �[HSA[HJF ö NC~�N]@qBZP�~�N]@qD¸@&FBONQ^&D2%$HSKµ� � �#� ÷Üö N]øâBOF�BONI@MBZYRF ö ýøbBOF]HÓ^&B ôJô üáFINIBZKCD ô B�FI@)P�HSKhF ö ^ ö Y[KhF]@)N D¸üRD¸F]@)øbD)ú�PQ�C@&K �CF+�[@�^ ö NINI@)^5FIK[@)DID öO÷ F��[@^ ö Y[KhF]@)ND¸üRD¸F]@&ø2þÜF+�ÉYCD öO÷ F+�C@�\�@~FIN]H�K[@~FC%�HÓDV^2�C@)^2BZ@qP ' H�F��;F+�C@ oLp ��qÞF öÉöZô ú oLp ��qàHSD'BâF öhöEô F öBOKCB ô üX�&@$^ ö Y[KhF]@)N D]üÉD¸F]@)øâD��CBZø ö K[ù ' �[HÓ^2��\�@~FIN]H�KC@~FID BOKCP�D ö øb@ öO÷ F+�C@&HSN @[}ÉFI@&KCD]H ö KCD)ú& @&K¬^~@4��BEP ö ,RFIHJKCù�� �u���VBZD�B�KCBOF]Hw)Z@ ÷Üö N]øâBOF ÷Üö N oLp ��qbHSD ö Y[F öO÷ D]^ ö ,U@Zú o�p �[qâB ôJôSö(' D³F ö

^2�[@)^2BS,CBZNIBZøb@~F]@)N]Hw�&@qP�NI@)BE^2�CBOA[H ô H�FGüS,[N ö ,U@&N]F]HS@)D ö K�HSK@?CK[HJF]@�D¸FIBOF]@�D+,CBZ^&@)D)ú = @�)E@&NQB ô K ö KRýF]NIHW)ÉHÓB ô \�@&F]NIHCK[@&FID ' H�F�� ô BONIùZ@ ö N?HJK ?CK[HJF]@VD¸FIBOF]@'D-,CBE^~@qD��CBO)E@�A¬@)@&K�BZKCB ô üX�&@)P ÷ÜöEôJôSö(' HSK[ùF+�[HÓD�øb@~F�� ö P³ú

PQ�[@V^ ö KhF]NIHJACYRF]H ö K öZ÷ F+�CHSD^,CB4,¬@)N?HÓD?F '?öZ÷ÜöZô P2� ö KáF��[@ ö K[@��¬BOKCPg�ÉHJF.D+� ö(' D�� ö(' F+�C@BO)tBZH ô BOACH ô H�FGü öZ÷ B ' HSP[@ ô üÞBZ^)^~@�,[F]@)PÞHJKhFI@&NQ^2�CBOK[ùE@ ÷Üö N]øâB�F�^)BOK�,CN ö ø ö F]@bBOKCPè@)BED¸@�F+�C@BZ^&^&@)DID¸HSA[H ô HJFGüâF ö K[@ ' BOKCB ô üRD]HSD?F öhöEô D*�[@*)Z@&KMF+� ö D]@$K ö F ö N]HSùZHSKCB ôSô üáPR@�)E@ ôSö ,U@)P ÷Üö N�\�@&F]NIHK[@~FQD��³BOK¬P ö K�F��[@ ö F+�[@)N#�¬BOKCPg�UHJFºPR@)ø ö KCD¸F]NQB�FI@)D�F��[@�,[NIBE^5FIHS^)B ô HSøE,CBZ^~F öZ÷ F+�[@��VûÞWF]@)^2�CK öZôSö ùEüá^2� ö HÓ^~@Eú

c[YRFIY[N]@ '?ö N+BRD HJKC^ ô Y¬PR@@�}hFI@&KCP[HJK[ù�F+�[@bBOY[F ö øâBOF]HÓ^$F]NQBOK¬D ô B�FIH ö K�F ö ø ö N]@^ ö øE, ô @[}^ ô BZDID¸@qD öO÷ K[@&FID)úLPQ�C@R)Z@)N]HW?¬^)B�F]H ö K öZ÷ \�@~F]NIH�K[@&FID#,[N ö ,U@&N]F]HS@)D ' HJF+� o�p �[qàNI@*�hY[HSN]@qD�F+�C@ø ö PRHW?¬^)B�F]H ö K öZ÷ F��[@;ùE@&K[@)NIBOF]@)P D¸F]NQB�FI@&ùZüEú�c[Y[N]F+�C@&N 'kö N�B ö K �N� ���N��HSKC^ ô YCPRHSK[ùã@�}Éý,¬@q^5F]@qPt,[N ö ,U@&N]F]HS@)D*� 'kö Y ô P�B ôSôJö(' F ö ùZ@)K[@&NQB�FI@ºF+�[@)ø BZYRF ö øâB�F]HÓ^&B ôJô üMBED ' @ ôSô úLc ö N�F+�C@ø ö øb@&KhF*��F+�CHSDFIBED-B HÓD�K ö FF öÉö FI@)PRH ö YCD�K ö N�PRHW¶á^~Y ô FâBZDF+�[@ËKCBOøb@qD öZ÷ , ô BE^~@qD�BZKCPF]NQBOKCD]H�FIH ö KCD�BZN]@$@qBZD]H ô üáFINIBE^5FIBZA ô @�HJK�F��[@^ ö Y[KhF]@)NVD]üRDGFI@&ø�ú A øE,[N ö )ÉHJK[ù oLp ��q ^&B4,CBOA[H ô ýH�FIHJ@qD$HSDB ô D ö BOK HÓD]D]Y[@�dF 'kö ,[N ö øbHÓD¸HSK[ù�BG, ,[N ö BE^2�[@)DºBZN]@�F+�C@âYCD¸@ öZ÷ AU@~F]F]@&N�D¸üÉø�A öEô HÓ^N]@*,[N]@qD¸@)KhFIB�FIH ö KCD.BOKCPMø ö NI@º@[¶á^~HS@&KhF BZ^)^~@ ô @)NIBOF]H ö KâFI@)^2�[K[H��hY[@)D)ú

÷ �u���Xí �Xë ñm� ø �?� ¶ ±)±�ù � Øh�?{E{h��y]zE��{h� f u ØR���Gx&�G��{¬fhx){hvb� Ø ¶ �)�ÉxUú ú�x&{h� Ø�c�ÔE¹VÙR�q����yk�GwQy¸zh{E�Jß��EwQ��ÒÓ�)�?�Éx~�¸x �¹$wI���G��yM�Gw5x&���q{E��{EÖ x&ÙR�q�E�áyI�q�h{��GwI�bx){hv1yQ����y¸Ðã�®ÔE�®�GwI¹$�QØ «·{ â�ä7ÝUô�ûýü�þ>ã ë�ìFß�ãðû

ÿ ÝAß��Vû ÿ Ý�����Þ*ãðáSäýóXå5à/á�à���áSäFå �lôFò�ãjå5ÝAß ÿ ó���� þ� � � ���� ÿ ë*å5ôTò��>Ý���ì��������ó����>Þ�� þ� � � f[}t�q���h¹$w$|Qnt�q�$�)Ò �8á�ôKãjÞ*äTá{æqÝAãðáSçiåêß ÿ Ý�����Þ*ãðáSä!�,ôKå�áSß�ôSá f[�hx)Ö)wQ�.rE| �#" rts)rZØcZ�Z�G��{EÖqwI�5fÉ�)±)±q±OØ

ø ¶ g � p�ù � Ø ¶ �q�ÉvZwI��x&{Évâ�VØCg��)¹$�q{CØ4|.���q�EzÉx&{O�G��{Ew wQßO�hx&�G���q{E�QfC­��GwI��Ùh�E�GÖ)wI��x~�G���GzE¹$wI�G��yx){hv ×É{E�²�Gw�x)�Z�G�q¹�x&�¸xOØh«�{V� Ø è ���Gy¸zh{EwI�5f)w5vE�²�G�)�5f âHä�ÝUô�û ÿ Ý$�%�»û�ÝAß'&-ä�áFáSç�å ß�ó(� �/áVîKä�òòAß,à_âHä�Ý)�Aä7ò��*�{åêß+�, ÿ ó�ó#â�� -/.�� fh}q�q���h¹$w�|5±q� � �&Ò �8á�ôKãjÞ*äTáGæiÝAãðáSçGåêß ÿ Ý��(��Þ*ãðáSä�,ôKå�áSß�ôFá fÉ�Éx&ÖqwQ�?sq± " rqsZØCcO�E�G��{hÖ)wI�5f¬| �q� pZØø ¶ g�}O�10�±)s�ù�µZØ ¶ ��������{hÖ&�G�q{CfbcRØg�zE�G���®�GwQ{E��wQ{¬f è Ø�}qx&{ �kwQwqf u Ø è ��{ÉvZ��wI�5f32VØ è �E¹$¹$wI�5faXØ&­dwI���G�EyQyQ� f&j Ø5­d�q�®�5fqg?Ø)cO�GwQzE{h�Zf&x){Év mMØ~��wIÙRwI�5Ø » zEw�­�wI���G�OikwI�³mbx&�GÐO�h� aUx&{ �Öq�hx)ÖqwA��g��){hyQwQ�Z�G�Qf~�GwQy]zE{h�)���)Ö)Ô x&{Év.�G���q���QØZ«·{ â�ä7ÝUô�û-þ#4�ã ëiìFß-ãðû ÿ ÝAß5�Uû/ó6���7� å5ôTòAãjåjÝAßòAß,à8&)ë-á�ÝAä9 zÝ��iâ�áSãjäFå�æ_áSãjç:êì ÿ ó�&�âZæ,� þ� $ �;5���6<�åêß�à�ë�Ý�=AáSß��*&)ë�á�æiáSã ë-áSä��ºòAß,àAç)��>Þ*ß!áGþ� � �; fO}t�q���h¹$w��&pt¯ � �&Ò �8á�ôKãjÞ*äTá�æqÝAãðáSç�å ß ÿ Ý��(��Þ*ãðáSä���ôKå�áSß,ôFá fO�Éx&ÖqwQ��rtn)s "�)±q�OØCcO�E�G��{hÖ)wI�5fh�)±q±)sZØ

ø ¶��³�)� ù ¶ Ø ¶ �wI�¸x&�¸vàx){ÉvèaXØ � �G��ÙR�q�Z�GÖEØ�j�w5x&y]zhx)Ùh�����²�·Ôèx){hx)�²ÔZ�������&Ò$ÛÓ�G��¹$w5vÉÝ ­dwI���G�?{EwI�G��h����{hÖ.�GwQx)�Rx~�G���GzE¹$wI�G��yqØÉ«�{ âHä�ÝUô�û�ü$ �ã ëýìFß-ãðû ÿ ÝAß5�Uû ÿ Ý�ß,ôKÞ*äSä�áSß,ô> ?&)ë-á�ÝAä� 3 ÿA@ æ1Bÿ �!ñ?� -$->���C<Håêß,à�ëÝ�=AáSßD�6&)ë-á#æ_áSã ë�áSä>�ºòAß�àAç)�)óXÞ$�/û�ü$-$-�- f�}t�)���h¹$w.|5p)p)r��)Ò �8á�ôKãjÞ*äTáæiÝ�ãðáSçqåêß ÿ Ý����-ÞãðáSä���ôKå�áSß,ôFá fÉ�hx)Ö)wQ��|~¯)n " | � sZجcO�E�G��{hÖ)wI�5fC| �q�)� Øø ¶�� a¬­�±)s�ù c[Ø ¶ x~�¸vE��{¬fE��Ø � ��{EÐtwQ� fZµEØEa¬w]�G�q�E�[fZx&{Év�aXØE­dwI���G�EyQyQ� Ø � �.c » � � x)�®����yQyQwQ��wI�¸x~�G���){�)Ò�c�ÔE¹VÙR�q����y » �¸x&{h���²�G���q{â�®ÔZ�®�GwQ¹$�QØ�«·{ â�ä7ÝUô�ûlü�EAã ë ìFß�ãðû ÿ ÝAß��Uû ÿ Ý��(��Þ*ãðáSä4óXå5à/á�à�-áSäSå �lôTòAãjå5ÝAßF ÿ óG��� þ+ � �;5���XÜXÝAÞ��ºà/áSä�� ÿA@ ���H�*ó1�(�>Þ�� 9þ� � �; fd}t�q���h¹$w�)¯q�)�â�&Ò�8á�ôKãjÞ*äTáiæqÝAãðáSçqåêß ÿ Ý��(��Þ*ãðáSä!��ôKå�áSß,ôFá fh�Éx)Ö)wQ��|q|Qn " |5�O|)جcZ�E�G��{EÖqwI�5fÉ�)±)±qsZØ

ø ¶ �)� � n�ù ¶ Ø ¶ �q��ÖqwQ���&�5Ø �D �� îTÝ$� å5ôJI�áSã ë�ÝUàAç��KÝAä!<LK��7�ºÝAäFåêß+�¾ìFß��Rß�åêãðá���ã�òAãðá3���ò>ôFáSç Øb­Xz�|�GzhwQ�����Qfhlk{h��}tw]�G�����O�w.vEw�a¬�%MwQÖ)wqfU| �q� nZØø ¶ � � rAù ¶ Ø ¶ �)��ÖqwQ���)�x&{Év�­dØd�Ë�q���RwI�5ØMcOÔZ¹VÙR�q����y}qwI�G�²×Éy5x~�G���){�Õ/�²�GzÞ�Rw]�G���OvZ��y���wI�G�QØM«·{â�ä7ÝUô�ûN.�ã ë_ìFß-ãðû ÿ ÝAß5�Uû ÿ Ý����-ÞãðáSäHóXå5à>áTà:�-áSäSå �ZôTòAãjå5ÝAß' ÿ ó��(� -54$�����-ã�òAß5�VÝAä�à�� ÿ ó���H�*ó1���>Þ*ß!á�ü$-�-54 fq}t�)���h¹$w��)¯q�)�?�)Ò ��áTôKãjÞ*ä�á�æiÝ�ãðáSç�åêß ÿ Ý��(��Þ*ãðáSä���ôKå�áSß,ôFá f)�Éx&ÖqwQ��q� " pt¯�ØCcZ�Z�G��{hÖqw]�5f¬| �q� rZØ

ø g���x �)� ù µEØZg���x&�GÐRØR´.cEa » �¸x){h�®ÒS�)�G¹�x~�G���){h�?Û ´�cEa » Ýde�w]�G�����){�|qØ ±OØ[lkj?a ¨�½t½ ¼ © �>� �>�(�X¤��OÁ³¤�)�>� ��� ´ ��O °�¢ �*� ¯Z¢)¡)½�¤¿¨�½U�É¡ fX| �q�)� Øø g�­�i�ù PRQZÎ5SUTUåHV+W�XZY ÝAßD� åêß!á Ø ¨t½t½ ¼ © �(� �>�>�X¤¿�O���K�R�¬¤®�&¾X¤���¨ � ��¥O¢q�A�q�+[A�/  Øø uX� m �q� ù µEØ u ���Éx~�GÑ5xZfR� Ø � ��{EÐtwQ� fhx){Év�j ØÉmbxQÔZ�5ØZ2k{��GzEw�}twI�G�²×Éy5x~�G���q{b�&Ò�ÙE�G�tx)vEy5x&�®�k�Z�G� ��G��yQ�q���QØ�«�{ â�ä7ÝUô�ûHü>4�ã ëvì�<L<\<]�� ��(��û^��Ý)�Aå5ô�å ß ÿ Ý��(��Þ*ãðáSä*��ôKå�áSß,ôFá?_�8ì ÿ �Z� -�->���&-äTáSß�ã�Ý��RìFã�ò�� ��L�>Þ�� ü$-�-�- fh�hx)ÖqwI�ksq�q� " st� � Ø[« uXuXu g��q¹$�CØhcZ��yqØh­��GwI���QfU| �)�q� Ø

ø � �.c/ù ÌhÍCÎIÏ ëÝ���á`�ò��/á Ø ¨�½q½ ¼ © �>� �>�>�X¤®¡t¢&£�¤·¥)�Z¢q¦É§q�t§~¨Z�&�X¤¿©�� � ©O�O¢&½ � Øø � a¬±t��ù � Ø � ��{hÐtwQ�Xx&{Év˵ZØdaCwI�G�q�Z�Cغ�k�5Õ �G��yQ�)¹$�R�q��w�­³�GwQ��Ùh�Z�GÖqwI� � x)yIyQwQ��wI�¸x&�G���){h�V����� ��h����y5x&�G���){h�/�G�ºÙE�G�qxqvEyQx)�®�?�E�G�)�G��yI�q���QØ�«�{ âHä�ÝUô�û8þ>þ>ß�à ÿ ÝAß5�UûCa�ÝAÞ*ß,à/û2Ý��G�,Ýb�SãjélòAäTá&!á�ôFë*ß,Ý��ºÝ)�� ýòAß�à3&)ë�áTÝ�äUû ÿ Ý����!ûc��ôKå�û^%a\�N&\d!& ÿ �Z� þ� � �þ����7e{òAß���Þ*ä��,ìFß,àAåjò��cf{á�ô�ûþ� � �þ f[}t�q���h¹$wV�)�q�)p��)Ò �8á�ôKãjÞ*äTá{æqÝAãðáSçiåêß ÿ Ý�����Þ*ãðáSä!�,ôKå�áSß�ôSá f[�hx)Ö)wQ�'|Qrt� " |~�)pOØcZ�Z�G��{EÖqwI�5fÉ�)±)±t��Ø

ø aCwI�¸±qs�ù µEØUa¬wI�G�)�E�[Ø » zEw�x�g${EwºzO�h�����)Ò/xÙh��{Éx~��ÔËx&�E�G�)¹�x&�G�q{�����yQ�q¹$�E�E�¸x)ÙE��w'��{Ë�R�)��Ô �{h�)¹$�Jx&�d�G��¹$wqØ.«�{ âHä�ÝUô�û\EAã ëvìFß-ãðû!h¾ÝAäji�ç7ë�Ý��LÝAß]�-áSäFå �ZôTòAãjåjÝAߤÝ��iìFß5�Rß�åêãðáR�-ã�òAãðá�D �çTãðá���ç�êì�æ�aBì�æXì�&(kG� þ� � �;5���7IzòAäFçKáSål�%�»á��ca�ä�òAß�ôFá��^�!á`��û,þ� � �; f u ��wIyI���G�q{E��y�ik�&�GwQ���{ » zhwQ�&�5Ø[g��)¹$�¬ØhcZyQ� Ø u ����wQ}O��wI�.cZyQ��wQ{EyQwqfÉ�)±)±qsZØ

ø ­�i è ù ­dwI���G�CikwI� è wI�G{EwQ� Ø ¨�½t½ ¼ © �>� �>�>��¤��~��©*�&���É�)½Z�V¨�¤¿¨t¾Z¦��O¥q�Z¡��5�X¤·��¥ � ½/� ¼ � ¼ �>¨ � Øø ­�i�m ù ­dwI���G�ºi?wI�;mbx~�GÐZ�E� aUx&{hÖq�hx)Ö)wqØ ¨t½t½ ¼ © �(� �>�>�X¤®�~��©*�)�U�É�)½Z�U¨X¤¿¨t¾Z¦��O¥q�O¡O�~��¤���¥ �½*� ¼ � ¼ ���É¡ � Øø � ¶ ±q±�ù ­dØR���q���RwI��x){Év ¶ Ø ¶ �)��ÖqwQ���)�5Ø*2k{â�Gzhw yQ�){h�®���G�hy]�G���){M�&Ò�x&�E�G�q¹�x~�¸x�ÒJ�G�q¹õ����{Ew5x&�x&�G�²�Gzh¹$w]�G��y�yQ�q{E�®���¸x)��{��G�QØh«�{ âHä�ÝUô�ûC.�ã ë_ìFß-ãðû ÿ ÝAß5�Uû^&,ÝUÝ$� ç�ò�ß,àGó(� �>ÝAäSå ã ë+��çC�KÝAäHã ë-áÿ ÝAß-çTãjäFÞ�ôKãjå5ÝAß�ò�ß,à¾óXß,ò$� �çTåêç�Ý��m�D �çTãðá���ç:9&ó ÿ ó��Z� þ� $ � ����#Ü�áSä>� åêß���nXáSä��ýòAßD ��IzòAäVûUBêóZ��äVû�þ� $ � f�}t�)���h¹$wk|5¯)nt���)Ò �8á�ôKãjÞ*äTáXæqÝAãðáSç#åêß ÿ Ý�����Þ*ãðáSä��,ôKå�áSß�ôFá f��Éx&ÖqwQ�| " | � Ø[cZ�E�G��{EÖqwI�5fÉ�)±)±q±ZØ