generic software abstractions for automata implementation - ASTL



  
 

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

 ,.- /10323/(4562879;:=< 4 >@?BA@CED CEF C.GH=AEI H=JLKNMO=? P(Q3R(S+TU?BD V;QWJXA@D C1'YQ K(Q+MH=JX?ZQ+[\H"]ZH=^ ^__YQ Q3S`Ua H=bIZA+A@F JcMH=JX?ZQ3Sed\JLH=?Zf@Q g;h3i1j(kWl(m(n_l=oBp3qsrXiBg_qetEu=v w.xysz|{w}~z z  - €'B9;Z23‚1‚ƒ23€ƒ23/(4ƒ€9€ƒ2X4:;„.€ƒ:;„ 4†…9;‚ƒ29;‡1€L4ƒ‚@9;0X4ƒ- :=/1€ˆ:=‚'03:=/10323 4ƒ€‰B‚ƒ€L4ƒŠ ‹"Œ123€ƒ- =/123Œ4ƒ: €@9_4ƒ- €L„ ‹+4  2|/B9_4ƒCB@>ED:>@FG>CHI> 9 Ä Éš°»AJ Ú@·e¼e¸ °¹Zºٗ²e± ³_°µW°(³;µ¿U°(ٗ²e° ¿»˜µ+ºÅ¹˜¸ ¸ ¹BÖãÞ < ±Eµ+³_¯e°»Z¸ ¼e¯—»BÚ Éš°(³ Í ? »µW°(³+¹Zºµ3³;»B³_° µsÍ BLK? ³_¯e°N± ²e± ³_±E»Z¸šµ3³;»B³_°˜Í DNMO? »µW°(³8¹Zº~ٗ²—»Z¸ À »˜½s½(°s¼U³_± ²e¶ Ä µ3³;»B³_° µsÍ FPMO?OQA  ÄL` V t8v´_°(³_´_± °sà˜° µ³_¯e°áµW°(³"¹ZºN»Z¸ ¸'¹˜·U³_¶˜¹˜± ²e¶Ø³_´;»Z²—µW± ³_± ¹˜²—µ¹Zº»µW¹˜·e´;½(°µ3³;»B³_°»Z¸ ¸ ¹BÖ± ²e¶³_¯6·—µ#± ³;µ ³_´;»1à˜°s´;µ_»Z¸Þ t8v Þ ? Z À=< Q?Ä _
UK ? Ínt8v À)_ZÄL` a6À  >)h~ÄLK  >)h~Ä KFWl    01#k(@ k)%X21#k o 0 o  % ®|¹¾»ZӘ°µW·e´_°µW¹Zº†³3Ö»Z´_°½(¹˜¾"¼š¹˜²e°s²\³;µ± ²\³_°s´;»˜½=³ˆ¼e´_¹˜¼š°s´_¸ Ê»Z²—¿á½(¹˜²—µW±Eµ3³_°s²\³_¸ ʱ ³N±Eµ²e° ½=Ú ° µ_µ_»Z´_Ê"ºÅ¹˜´³_¯e°s¾ ³_¹µ_»B³_±Eµ3ºÅÊ´_° ß\·e± ´_°s¾"°s²\³;µ+³_¯—»B³ˆ¹˜²e°½s»Z²á´_°s¸ ʹ˜² Ý  °½s»Z¸ ¸» (@01#k(@ k »"µW°(³ˆ¹Zº.´_° ß\·e± ´_°s¾"°s²\³;µ'¹˜²á»#³3Ê6¼š°½(¹Bà˜°s´_± ²e¶³_¯e´_°s°»˜µW¼š° ½=³;µsÞ Î˜Ý ®¯e°&± ²\³_°s´WºL»˜½(° À ³_¯e°¾"°(³_¯e¹U¿eµˆµW± ¶˜²—»B³_·e´_° µ Ä=Ý UÝ ®¯e°&¾"°(³_¯e¹U¿eµˆµW°s¾»Z²\³_±E½sµ À ³_¯e°ɚ°s¯—»1à6± ¹˜´ Ä=Ý  Ý ®¯e°&¾"°(³_¯e¹U¿eµˆ½(¹˜¾"¼e¸ °(×U± ³_± ° µ À ³_¯e°½(¹˜¾"¼e·U³_± ²e¶#³_± ¾"° Ä=Ý  °½s»Z¸ ¸ 30 o  ¹Zº—»N½(¹˜²—½(°s¼U³c»³3Ê6¼š°+¹Zºe¹˜ÉUÒ3° ½=³c½(¹˜²UºÅ¹˜´_¾"± ²e¶³_¹ˆ³_¯e±Eµ.½(¹˜²—½(°s¼U³ Ý Æ+¹˜²—½(°s¼U³;µ»Z´_° ·—µW·—»Z¸ ¸ Ê»Zɗµ3³_´;»˜½=³ˆ½(¸E»˜µ_µW° µ»Z²—¿¾"¹U¿U°s¸Eµˆ»Z´_°½(¹˜²—½(´_°(³_°N³3Ê6¼š° µ± ¾"¼e¸ °s¾"°s²\³_± ²e¶"³_¯e°½(¹˜²—½(°s¼U³ Ý  °Ö± ¸ ¸ˆ´_°(ºÅ°s´#³_¹Õ³_¯e° 2  701!" ")( #k@@od% ¹˜´ (@01#n%!'E21"#$)% »˜µ#³_¯e°á´_° ß\·e± ´_°s¾"°s²\³;µ#³_¯—»B³» ¼—»Z´W³_±E½(·e¸E»Z´'¼e´_¹U½(° µ_µW± ²e¶± ¾"¼š¹\µW° µ+³_¹³_¯e°&¾»Z²e± ¼e·e¸E»B³_° ¿¹˜ÉUÒ3° ½=³;µ Ý ®¯6·—µsÍU»Z²»Z¸ ¶˜¹˜´_± ³_¯e¾¾»1Ê »Z¼e¼e¸ ʳ_¹»Z²6ʹ˜ÉUÒ3° ½=³³_¯—»B³N±Eµˆ»#¾"¹U¿U°s¸¹Zº³_¯e°´_° ß\·e± ´_° ¿½(¹˜²—½(°s¼U³ Ý e¹˜´ˆ°(×e»Z¾"¼e¸ °»"Ée± ²—»Z´_Ê µW° »Z´;½;¯ºÅ·e²—½=³_± ¹˜²Õ´_° ß\·e± ´_° µ³_¯—»B³³_¯e°¹˜ÉUÒ3° ½=³¿U° µW± ¶˜²—»B³_± ²e¶³_¯e°°s¸ °s¾"°s²\³;µ¹Zº'³_¯e°µW° ß\·e°s²—½(° ɚ°»ZÉe¸ °#³_¹»˜½s½(° µ_µN³_¯e°"¾"±E¿e¿U¸ °°s¸ °s¾"°s²\³± ²Õ½(¹˜²—µ3³;»Z²\³³_± ¾"° Ýæ ¹˜´_°#¶˜°s²e°s´;»Z¸ ¸ ʘÍ»Z²¹˜ÉUÒ3° ½=³ ´_°s¼e´_° µW°s²\³_± ²e¶»¼š¹\µW± ³_± ¹˜²Ø± ²ã»µW° ß\·e°s²—½(°³_¯—»B³½s»Z²Ø´_° »˜¿Ø»Z²6Êá°s¸ °s¾"°s²\³àB»Z¸ ·e°#± ²—µ3³;»Z²\³_¸ Êá±Eµ ½s»Z¸ ¸ ° ¿#» E21#ko01 2(@(@!%@%"E2101 Ý
ÆѼš¹˜± ²\³_°s´c¼e´_¹Bà6±E¿U± ²e¶&»Z²#¹˜¼š°s´;»B³_¹˜´ &³_¯—»B³8´_°(³_·e´_²—µ »´_°(ºÅ°s´_°s²—½(°'¹˜²³_¯e°± °s¸ °s¾"°s²\³8± ²"½(¹˜²—µ3³;»Z²\³.³_± ¾"°±Eµ8»N¾"¹U¿U°s¸e¹Zºš´;»Z²—¿U¹˜¾%»˜½s½(° µ_µ± ³_°s´;»B³_¹˜´ »Z²—¿½s»Z²³_¯e°s²áɚ°·—µW° ¿É6ʳ_¯e°»Z¸ ¶˜¹˜´_± ³_¯e¾³_¹¼e´_¹U½(° µ_µ»Z²á»Z´_´;»1Ê"¹Zº.¹˜ÉUÒ3° ½=³;µ Ý  q  8@(" ! E#0 $!'")!% Î˜Ý ˆ
²¹˜ÉUÒ3° ½=³¯—»˜µ» %!"#7S-$ 21&%12 -$ Ö¯e°s²± ³¹˜²e¸ ʶ˜·—»Z´;»Z²\³_°s° µ+»˜µ_µW± ¶˜²e¾"°s²\³¹˜¼š°s´;»B³_± ¹˜² »Z²—¿á´_° µW·e¸ ³;µˆ¹Zº8¾"¹\µ3³°(×U¼e´_° µ_µW± ¹˜²—µˆ»Z´_°·e²—¿U°(ٗ²e° ¿ Ý e¹˜´N°(×e»Z¾"¼e¸ °˜Í~»Z²Ø·e²e± ²e± ³_±E»Z¸ ± ° ¿ ¼š¹˜± ²\³_°s´¯—»˜µ»"µW± ²e¶˜·e¸E»Z´àB»Z¸ ·e° Ý UÝ °Øµ_»1ÊÕ³_¯—»B³»Z²¹˜ÉUÒ3° ½= ³ ' ±Eµ 2d%@%!" 7S#k(2   ± êä± ³¿U°(ٗ²e° µ»Z² ¹˜¼š°s´;»B³_¹˜´ ) »Z¸ ¸ ¹BÖ± ²e¶ »˜µ_µW± ¶˜²e¾"°s²\³ºÅ´_¹˜¾ »Z² ¹˜ÉUÒ3° ½= ³ * ¹Zº&³_¯e°ãµ_»Z¾"°³3Ê6¼š° Ý ®¯e°Ø¼š¹\µ3³;½(¹˜²—¿U± ³_± ¹˜² ¹Zº³_¯e° »˜µ_µW± ¶˜²e¾"°s²\³ +,'-).*$/#±Eµ +,'±Eµ»½(¹˜¼6ʹZ0º *$/ Ý 

Ý
ˆ²ã¹˜ÉUÒ3° ½=³&±Eµ o 21-$  (@01#n%!'!-$('"  ± ê ²e¹àB»Z¸ ·e° µ»Z´_°²e°s° ¿U° ¿Ø³_¹á± ²e± ³_±E»Z¸ ± °"± ³ Ý èX² ÆÇÇÍ6± ³N¿U°(ٗ²e° µˆ»"¿U°(ºL»Z·e¸ ³N½(¹˜²—µ3³_´_·—½=³_¹˜´ Ý Ü—Ý
ˆ²ã¹˜ÉUÒ3° ½=³&±Eµ 
-$2  " C(@01 $21E(2   ± êб ³¼e´_¹Bà6±E¿U° µ»Ö»1Êá³_¹½(¹˜¾"¼—»Z´_°± ³;µW°s¸ ºÖ± ³_¯ ¹Z³_¯e°s´N¹˜ÉUÒ3° ½=³;µˆ¹Zºc³_¯e°#µ_»Z¾"°³3Ê6¼š° Ý èX²ÕÆÇÇÍ~µW·—½;¯Ø»Z²Ø¹˜ÉUÒ3° ½=³¿U°(ٗ²e° µ»Z²Ø¹˜¼š°s´;»B³_¹˜´ ) )"´_°(³_·e´_²e± ²e¶»#ɚ¹6¹˜¸ ° »Z²àB»Z¸ ·e° Ý ÛUÝ
ˆ²¹˜ÉUÒ3° ½=³8±Eµ  !%@%  n21# C(@01 $21E(2   ± ê³_¯e°s´_°ˆ°(×U±Eµ3³+»¼—»Z´W³_±E»Z¸e¹˜´;¿U°s´c´_°s¸E»B³_± ¹˜²"¹˜²"³_¯e° ¹˜ÉUÒ3° ½=³;µ'¹Zº± ³;µ³3Ê6¼š° Ý èX²ØÆÇÇÍUµW·—½;¯á»Z²¹˜ÉUÒ3° ½=³¼e´_¹Bà6±E¿U° µ»Z²¹˜¼š°s´;»B³_¹˜ ´ #´_°(³_·e´_²e± ²e¶ »#ɚ¹6¹˜¸ ° »Z²àB»Z¸ ·e° Ý 

 I,.o2# k@%
ˆ² »˜¿e»Z¼U³_°s´±Eµ#»Z²Ñ¹˜ÉUÒ3° ½=³°s²—½s»Z¼—µW·e¸E»B³_± ²e¶»Z²e¹Z³_¯e°s´¹˜ÉUÒ3° ½=³#¶˜± à6± ²e¶± ³"»Ø¿U± ê~°s´_°s²\³#± ²UÚ ³_°s´WºL»˜½(°»Z²—¿ 1¹˜´ɚ°s¯—»1à6± ¹˜´ Ý è@³ˆ±Eµ´_° µW¼š¹˜²—µW± Ée¸ °ºÅ¹˜´ˆ± ¾"¼e¸ °s¾"°s²\³_± ²e¶»Z²6Ê°(×6³_´;»ºÅ·e²—½=³_± ¹˜²—»Z¸ ± ³3Ê ´_° ß\·e± ´_° ¿ Ý e¹˜´°(×e»Z¾"¼e¸ °˜Í~»µ3³;»˜½;Óá¾»1Êɚ°"»¸ ± ²eӘ° ¿¸ ±Eµ3³»˜¿e»Z¼U³_°s´»Z²—¿¼e´_¹Bà6±E¿U° µ³_¯e°#¼š¹˜¼ »Z²—¿¼e·—µW¯ºÅ·e²—½=³_± ¹˜²—»Z¸ ± ³_± ° µ Ý  S !E2101@% Ë  è Ë ³;»Z²—¿e»Z´;¿®|°s¾"¼e¸E»B³_°Ì± Ée´;»Z´_Ê´_°(ºÅ°s´_°s²—½(°¿U¹U½(·e¾"°s²\³;»B³_± ¹˜² Á ÏBÃ Þ  ·e¹Z³_± ²e¶ºÅ´_¹˜¾  è@³_°s´;»B³_¹˜´;µc»Z´_°»¶˜°s²e°s´;»Z¸ ± »B³_± ¹˜²#¹Zº~¼š¹˜± ²\³_°s´;µsÞ³_¯e°sÊ#»Z´_°¹˜ÉUÒ3° ½=³;µ.³_¯—»B³8¼š¹˜± ²\³ ³_¹ˆ¹Z³_¯e°s´¹˜ÉUÒ3° ½=³;µ Ý
Nµ³_¯e°+²—»Z¾"°+µW·e¶˜¶˜° µ3³;µsÍ ± ³_°s´;»B³_¹˜´;µ»Z´_°c¹Zº†³_°s²·—µW° ¿³_¹ˆ± ³_°s´;»B³_° ¹Bà˜°s´»"´;»Z²e¶˜°&¹Zº.¹˜ÉUÒ3° ½=³;µsÞ8± º8»Z²á± ³_°s´;»B³_¹˜´¼š¹˜± ²\³;µ³_¹¹˜²e°°s¸ °s¾"°s²\³ˆ± ²Ø»"´;»Z²e¶˜°˜Í ³_¯e°s²á± ³ˆ±Eµ¼š¹\µ_µW± Ée¸ °³_¹± ²—½(´_°s¾"°s²\³± ³NµW¹#³_¯—»B³ˆ± ³ˆ¼š¹˜± ²\³;µ'³_¹"³_¯e°²e°(×6³°s¸ °s¾"°s²\³ Ý è@³_°s´;»B³_¹˜´;µ»Z´_°˜Þ Î˜Ý ¿U°(ºL»Z·e¸ ³N½(¹˜²—µ3³_´_·—½=³_± Ée¸ °»Z²—¿¯—»1à˜°&É6Ê¿U°(ºL»Z·e¸ ³N»"µW± ²e¶˜·e¸E»Z´àB»Z¸ ·e° Ý UÝ »˜µ_µW± ¶˜²—»ZÉe¸ ° À ± ²UÙe×¹˜¼š°s´;»B³_¹˜´ ) Ä=Ý  Ý µW± ²e¶˜·e¸E»Z´c± º²e¹˜²e°ˆ¹Zºš³_¯e°ˆºÅ¹˜¸ ¸ ¹BÖ± ²e¶&¼e´_¹˜¼š°s´W³_± ° µc±Eµc³_´_·e° Ý
ˆ²± ³_°s´;»B³_¹˜´8Ö± ³_¯»µW± ²e¶˜·e¸E»Z´ àB»Z¸ ·e°&¹˜²e¸ ʶ˜·—»Z´;»Z²\³_°s° µ»˜µ_µW± ¶˜²e¾"°s²\³¹˜¼š°s´;»B³_± ¹˜² Ý Ü—Ý ± ²—½(´_°s¾"°s²\³;»ZÉe¸ °&± ºc»Z¼e¼e¸ Ê6± ²e¶ "¹˜¼š°s´;»B³_¹˜´¸ ° »˜¿eµ'³_¹»#Ö'°s¸ ¸ ÚX¿U°(ٗ²e° ¿¼š¹\µW± ³_± ¹˜² Ý ÛUÝ ¿U°s´_°(ºÅ°s´_°s²—½(° »ZÉe¸ °± º.¼š¹˜± ²\³_° ¿¹˜ÉUÒ3° ½=³ˆ½s»Z²ɚ°µ_»BºÅ°s¸ Ê´_°(³_´_± °sà˜° ¿ À ¼e´_°(Ùe×¹˜¼š°s´;»B³_¹˜´  Ä=Ý ÂeÝ ° ß\·—»Z¸ ± ³3Ê\ÚX½(¹˜¾"¼—»Z´;»ZÉe¸ ° À ± ²UÙe×¹˜¼š°s´;»B³_¹˜´ ) ) Ä=Ý è@³_°s´;»B³_¹˜´;µ½(¹˜²—µ3³_± ³_·U³_°&³_¯e°¸ ± ²eÓɚ°(³3Ö'°s°s²³_¯e°»Z¸ ¶˜¹˜´_± ³_¯e¾å»Z²—¿³_¯e°·e²—¿U°s´_¸ Ê6± ²e¶¿e»B³;»µ3³_´_·—½=Ú ³_·e´_°˜Þ|³_¯e°sÊ#¼e´_¹Bà6±E¿U°³_¯e°NµW·UÔ½(± °s²\³+¸ °sà˜°s¸e¹Zº°s²—½s»Z¼—µW·e¸E»B³_± ¹˜²#³_¹¾»ZӘ°¼e´_¹U½(° µ_µW± ²e¶·e²—¿U°s¼š°s²UÚ ¿e»Z²\³ºÅ´_¹˜¾ ³_¯e°¿e»B³;» Ý  d .21#7
àB»Z¸ ±E¿ E21#7 ' * Ö¯e°s´_° 'Õ»Z²—¿ *Õ»Z´_°± ³_°s´;»B³_¹˜´;µ&´_°s¼e´_° µW°s²\³;µ»ØµW°(³¹Zºˆ¼š¹\µW± ³_± ¹˜²—µ ºÅ´_¹˜¾ '³_¹ *Ö± ³_¯³_¯e°&ºÅ¹˜¸ ¸ ¹BÖ± ²e¶"¼e´_¹˜¼š°s´W³_± ° µ&Þ Ü

ΘÝ

' * ´_°(ºÅ°s´;µ³_¹ã»Z¸ ¸'¼š¹\µW± ³_± ¹˜²—µɚ°(³3Ö'°s°s² 'Ñ»Z²—¿ *ÕÉe·U³"²e¹Z³"± ²—½(¸ ·—¿U± ²e¶ *ÕÖ¯e±E½;¯Ð±Eµ ½s»Z¸ ¸ ° ¿³_¯e° #koC0 E21#7 ± ³_°s´;»B³_¹˜´ À »Z¸EµW¹"¿U°s²e¹Z³_° ¿á»˜µ» $2d%!n C#ko ± ³_°s´;»B³_¹˜´ Ä=Ý U Ý
ˆ¸ ¸± ³_°s´;»B³_¹˜´;µ'± ²³_¯e°´;»Z²e¶˜°&°(×e½(°s¼U³ *»Z´_°± ²—½(´_°s¾"°s²\³;»ZÉe¸ °»Z²—¿á¿U°s´_°(ºÅ°s´_°s²—½(° »ZÉe¸ ° Ý ¶ *»Z´_°° ß\·—»Z¸ ± ³3ʽ(¹˜¾"¼—»Z´;»ZÉe¸ ° Ý  Ý
ˆ¸ ¸± ³_°s´;»B³_¹˜´;µ'± ²—½(¸ ·—¿U± ²e —Ü Ý
ٗ²e± ³_°µW° ß\·e°s²—½(°&¹Zº± ²—½(´_°s¾"°s²\³;»B³_± ¹˜²—µ¹Zº '¸ ° »˜¿eµ'³_¹"¼š¹\µW± ³_± ¹˜² * Ý

 !E2101X(@21=701!")!% ®¯e°s´_°»Z´_°¿U± ê~°s´_°s²\³#½(¹˜²—½(°s¼U³;µ¹Zº± ³_°s´;»B³_¹˜´;µ¿U°s¼š°s²—¿U± ²e¶Ø¹˜²Õ³_¯e°s± ´± ²e¯e°s´_°s²\³»ZÉe± ¸ ± ³_± ° µsÞ ± ²e¼e·U³.± ³_°s´;»B³_¹˜´;µ¹˜²e¸ ʼe´_¹Bà6±E¿U°cºÅ¹˜´¹˜¼š°s´;»B³_± ¹˜²—µ²e°s° ¿U° ¿± ²#»ˆ¹˜²e°(Ú@¼—»˜µ_µsÍ ´_° »˜¿6Ú@¹˜²e¸ Ê»Z¸ ¶˜¹˜´_± ³_¯e¾ ¹˜²ãµW° ß\·e°s²—½(° µÖ¯e°s´_° »˜µN¹˜·U³_¼e·U³± ³_°s´;»B³_¹˜´;µ»Z´_°·—µW° ¿Ø± ²ã¹˜²e°(Ú@¼—»˜µ_µsÍ~Ö´_± ³_°(Ú@¹˜²e¸ Ê»Z¸ ¶˜¹˜´_± ³_¯e¾ Ý e¹˜´_Ö»Z´;¿&± ³_°s´;»B³_¹˜´;µ¼e´_¹Bà6±E¿U°+ɚ¹Z³_¯ÍB¼e¸ ·—µ³_¯e°»ZÉe± ¸ ± ³3ʳ_¹± ³_°s´;»B³_°+¹˜²³_¯e°'µW° ß\·e°s²—½(°+¾"¹˜´_°8³_¯—»Z² ¹˜²—½(°˜Í—Ée·U³¹˜²e¸ ʱ ²Ø»¹˜²e°(Ú@Ö»1ʾ»Z²e²e°s´ Ýâ ±E¿U± ´_° ½=³_± ¹˜²—»Z¸± ³_°s´;»B³_¹˜´;µˆ»Z¸ ¸ ¹BÖä± ²—½(´_°s¾"°s²\³;»B³_± ¹˜²—µ »Z²—¿¿U° ½(´_°s¾"°s²\³;»B³_± ¹˜²—µ8»Z²—¿"´;»Z²—¿U¹˜¾»˜½s½(° µ_µc± ³_°s´;»B³_¹˜´;µc»Z¸ ¸ ¹BÖ½(¹˜²—µ3³;»Z²\³8³_± ¾"°»˜½s½(° µ_µ.³_¹»Z²6Ê °s¸ °s¾"°s²\³ Ý ®¯e°ˆ½s»B³_°s¶˜¹˜´_± ° µ»Z´_°± ²—½(¸ ·—µW± à˜°»Z²—¿± ²—¿U·—½(° ¿#É6ʳ_¯e°ˆ¿e»B³;»&µ3³_´_·—½=³_·e´_°'³_¯e°± ³_°s´;»B³_¹˜´ ¹˜¼š°s´;»B³_° µ.¹˜² Ý
ˆ²e¹Z³_¯e°s´8½;¯—»Z´;»˜½=³_°s´_±Eµ3³_±E½+¹Zºš³_¯e°ºÅ¹˜´_Ö»Z´;¿ÍZÉe±E¿U± ´_° ½=³_± ¹˜²—»Z¸e»Z²—¿´;»Z²—¿U¹˜¾ç»˜½s½(° µ_µ ± ³_°s´;»B³_¹˜´;µc±Eµ8³_¯—»B³+³_¯e°sʽs»Z²ɚ°N¾·U³;»ZÉe¸ °N¹˜´+½(¹˜²—µ3³;»Z²\³'¿U°s¼š°s²—¿U± ²e¶¹˜²Ö¯e°(³_¯e°s´8³_¯e°¹˜ÉUÒ3° ½=³;µ »˜½s½(° µ_µW° ¿³_¯e´_¹˜·e¶˜¯³_¯e°s¾ ½s»Z²áɚ°¾"¹U¿U± ٗ° ¿¹˜´¹˜²e¸ Ê´_° »˜¿ Ý èX²³_¯e°ºÅ¹˜¸ ¸ ¹BÖ± ²e¶°(×e»Z¾"¼e¸ °˜ÍB³_¯e°µ3³;»Z²—¿e»Z´;¿ $*»Z¸ ¶˜¹˜´_± ³_¯e¾ ¹˜²e¸ ʱ ¾"¼š¹\µW° µ³_¯—»B³.³_¯e°´;»Z²e¶˜° µ ± ³8»Z¼e¼e¸ ± ° µ|¹˜²ɚ°¿U°(ٗ²e° ¿É6Ê&³_¯e°'Ö'° »ZӘ° µ3³± ³_°s´;»B³_¹˜´.½(¹˜²—½(°s¼U³;µ+Þ|± ²e¼e·U³8»Z²—¿¹˜·U³_¼e·U³.± ³_°s´;»B³_¹˜´ Ý
š©—¨B­Å§

) U¨1§© § * ¬˜©






 



!#"  #"%$&" '( )"  (



$*









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



!#"  #"%$&" '( )"  (.( ' 0&1" 4 -  (

*65



)

13) 0!"

-/&(0!"

5

-/&(0!"87

( ' 0&1"

)

( '"3#(3,9( ' 0&1"



5



( ' 0&1"





-/&(0!"

$,  #"%$&" '( )"  (213) 0!"



 

5

:

¥  á*ç ©š¦~§ e­L¦ ¨1
Ë ®Ìã¼e´_¹Bà6±E¿U° µµW°sà˜°s´;»Z¸¿e»B³;»#µ3³_´_·—½=³_·e´_° µ± ¾"¼e¸ °s¾"°s²\³_± ²e¶¿U°(³_°s´_¾"± ²e±Eµ3³_±E½»Z²—¿²e¹˜²á¿U°(Ú ³_°s´_¾"± ²e±Eµ3³_±E½ٗ²e± ³_°»Z·U³_¹˜¾»B³;» Ý »˜½;¯½(¸E»˜µ_µ&µW¼š¹˜´W³;µˆ³_¯e°µ_»Z¾"°"µ3³;»Z²—¿e»Z´;¿U± ° ¿Ø± ²\³_°s´WºL»˜½(°"»Z¸ Ú ¸ ¹BÖ± ²e¶#»Z¸ ¶˜¹˜´_± ³_¯e¾µ8³_¹#Ö'¹˜´_Ó"Ö± ³_¯»Z²6ʹZº³_¯e°s¾ ± ²\³_°s´;½;¯—»Z²e¶˜° »ZÉe¸ Ê Ý ®¯6·—µsÍ\³_¯e°¿U° ½(±EµW± ¹˜²³_¹ ·—µW°"»¼—»Z´W³_±E½(·e¸E»Z´&´_°s¼e´_° µW°s²\³;»B³_± ¹˜²±Eµ³;»ZӘ°s²»B³·—µW°³_± ¾"°»Z²—¿Ø²e¹Z³»B³¿U° µW± ¶˜²Ø³_± ¾"°"Ö¯e±E½;¯ ¶˜·—»Z´;»Z²\³_°s° µ'»"ɚ°(³W³_°s´N»˜¿e»Z¼U³;»ZÉe± ¸ ± ³3Ê Ý
ˆ¸ ¸»Z·U³_¹˜¾»B³_¹˜²Ð½(¸E»˜µ_µW° µ»Z´_°   21!% Ö¯e±E½;¯Ñ¾"° »Z²—µ³_¯e°sÊÕ»Z´_°¼—»Z´;»Z¾"°(³_°s´_± ° ¿ãÉ6Ê㹘²e° ¹˜´ˆ¾"¹˜´_°&³3Ê6¼š° µ³_¯—»B³N³_¯e°·—µW°s´N¾·—µ3³µW¼š° ½(± ºÅʱ ²á³_¯e°¹˜ÉUÒ3° ½=³;µˆ¿U° ½(¸E»Z´;»B³_± ¹˜²—µ À ³_¯e±EµN±Eµˆ½s»Z¸ ¸ ° ¿ "#n%!21#k(")21'")01# Ä »˜½s½(¹˜´;¿U± ²e¶"³_¹¯e±Eµˆ²e°s° ¿eµ Ý
Ë ®Ì ½(¸E»˜µ_µ³_°s¾"¼e¸E»B³_° µˆ³;»ZӘ°³3Ö'¹³3Ê6¼š° µN»˜µˆ± ²UÚ µ3³;»Z²—½(±E»B³_± ¹˜²Ø¼—»Z´;»Z¾"°(³_°s´;µsÞ³_¯e° ³3Ê6¼š°"»Z²—¿³_¯e° ³3Ê6¼š° ÝË Ê6¾"¾"°(³_´_±E½s»Z¸ ¸ ʘÍ~³_¯e° »Z·U³_¹˜¾»B³_¹˜²#½(¸E»˜µ_µW° µ|°(×U¼š¹˜´W³³3Ö'¹N³3Ê6¼š° µsÍ »Z²—¿ Í1Ö¯e±E½;¯¾"° »Z²—µ|³_¯—»B³.³_¯e°sʾ»ZӘ° ³_¯e°s¾ »1àB»Z± ¸E»ZÉe¸ °N³_¹"³_¯e°°(×6³_°s´_²—»Z¸·—µW°s´ˆÉ6Ê¿U°(ٗ²e± ²e¶³_¯e°s¾å± ²á³_¯e°s± ´ˆ¼e·eÉe¸ ±E½&± ²\³_°s´WºL»˜½(° Ý ®¯e° ;

=

@? 1 BA )C'"

@D )E

3F " )" '

Û

>G#H E ' 0

³3Ê6¼š° ±Eµ» n21#ko   ³_¹»á± ²\³_°s´_²—»Z¸+´_°s¼e´_° µW°s²\³;»B³_± ¹˜²ã¹Zºˆ»Z²Õ°s¸ °s¾"°s²\³¹Zº ? ;"¹\µ3³¹Zº ³_¯e°&³_± ¾"°»"µW± ¾"¼e¸ °·e²—µW± ¶˜²e° ¿± ²\³_°s¶˜´;»Z¸š³3Ê6¼š°»Z²—¿ ±Eµˆ» kE0  ¶˜´;»Z²\³_± ²e¶"»˜½s½(° µ_µ'³_¹» ¼e´_± àB»B³_°"¹˜ÉUÒ3° ½=³µ3³_¹˜´_± ²e¶³_¯e°¹˜·U³_¶˜¹˜± ²e¶³_´;»Z²—µW± ³_± ¹˜²—µ&¹Zº»µ3³;»B³_° _ Í|³_¯—»B³±Eµ t8v À)_ZÄ Í.»áµW°(³¹Zº ½(¹˜·e¼e¸ ° µ+± ²  > tdu À)_>  ÄWÄ ±Eµ²e¹Z³ˆ»µW± ²eÓ³_´;»Z²—µW± ³_± ¹˜² ®¯e°8ºÅ¹˜¸ ¸ ¹BÖ± ²e¶ˆ¼e± ° ½(°+¹Zº—½(¹U¿U°8¼e´_± ²\³;µ|¹˜·U³.»Z¸ ¸\¹˜·U³_¶˜¹˜± ²e¶³_´;»Z²—µW± ³_± ¹˜²—µ¹Zº—»NµW¹˜·e´;½(°8µ3³;»B³_°+¼š¹˜± ²\³WÚ ° ¿É6Ê»ºÅ¹˜´_Ö»Z´;¿½(·e´;µW¹˜´ Þ







*

*

13'"B" '(

)/



5

)/

5

*

-/,)#1

5

"B(3'

*

"B(3'

-  ( )( H

*

5

-/&(0!" "B( ),%0#/&"%/  ,

* 5

"B(3'

" "B( ),%0#/&"%/  ,

,'

*

5

-#)#1#0'

-/, H

* )

5

)

"B(3'



 &FB

 #" * 

/!-

#(

 



 '


-/&(0!""B( ),%0#/&"/

  ,


0!( *





H#  #"


A

/13'

  * 


,' '

 

)C'#1



 6

" "B( ),%0#/&"/  ,

 *



', H 1

5

4


13'"B" '( *

 

*

 D 

 

)(BE '"

 


)/


*





', H 1

5

5

:

qWs nUpq2(@r 5-/@%801

®¯e°#µ3³;»˜½;Óá½(·e´;µW¹˜´ ͚»˜µ³_¯e°#²—»Z¾"°± ¾"¼e¸ ± ° µsÍ~±EµµW± ¾"¼e¸ Ê»µ3³;»˜½;Ó¹ZºcºÅ¹˜´_Ö»Z´;¿á½(·e´;µW¹˜´;µ Ý è@³ ±Eµ¾"¹\µ3³_¸ Êá´_°s·—µW° ¿ØÉ6ʳ_¯e°#³_´;»1à˜°s´;µ_»Z¸|½(·e´;µW¹˜´;µNµ3³_¹˜´_± ²e¶³_¯e°s± ´&¼—»B³_¯± ²Ø³_¯e°"»Z·U³_¹˜¾»B³_¹˜² Ý è@³;µ Ï

± ²\³_°s´WºL»˜½(°¯—»˜µ'¹˜²e¸ ʹ˜²e°¾"°(³_¯e¹U¿¾"¹˜´_°N³_¯—»Z²³_¯e°ºÅ¹˜´_Ö»Z´;¿½(·e´;µW¹˜´'± ¾"¼e¸ °s¾"°s²\³_± ²e¶³_¯e° »˜½=³_± ¹˜² Ý ®¯e°¹Z³_¯e°s´#¹˜²e° µ#»Z¼e¼e¸ Êã³_¹Ø³_¯e°áµ3³;»˜½;Óã³_¹˜¼ ½(·e´;µW¹˜´ Ý
µ3³;»˜½;ÓÕ½(·e´;µW¹˜´±Eµ"¿U°(ºL»Z·e¸ ³ ½(¹˜²—µ3³_´_·—½=³_± Ée¸ °˜Í~± ³³_¯e°s²´_°s¼e´_° µW°s²\³;µˆ³_¯e°#°s¾"¼U³3ʵ3³;»˜½;Ó~Í~± ³&±Eµ° ß\·—»Z¸ ± ³3Ê\ÚX½(¹˜¾"¼—»Z´;»ZÉe¸ °˜Íš¿U°s´_°(º†Ú °s´_°s²—½(° »ZÉe¸ °»Z²—¿ã± ²—½(´_°s¾"°s²\³;»ZÉe¸ °± ê ± ³#¿U¹6° µ²e¹Z³¼š¹˜± ²\³³_¹Ø»µW± ²eÓس_´;»Z²—µW± ³_± ¹˜² Ý è@³± ³;µ²e¹Z³ »˜µ_µW± ¶˜²—»ZÉe¸ °ºÅ¹˜´&°(Ô½(± °s²—½(Ê´_° »˜µW¹˜²—µ Ý °s¾»Z´_Óá³_¯—»B³³_¯e°½(¹˜¾"¼—»Z´_±EµW¹˜²¹˜¼š°s´;»B³_¹˜´½(¹˜¾"¼—»Z´_° µ Ö¯e¹˜¸ °áµ3³;»˜½;ÓUµ"»Z²—¿Ð²e¹Z³¹˜²e¸ Ê µ3³;»˜½;Óã³_¹˜¼—µ"ɚ° ½s»Z·—µW°³_¯e°á·e²—¿U°s´_¸ Ê6± ²e¶Õ½(¹˜²—½(°s¼U³¹Zº&»ãµ3³;»˜½;Ó ½(·e´;µW¹˜´±Eµ³_¯e°¼—»B³_¯ Ý ®¯e°ºÅ¹˜¸ ¸ ¹BÖ± ²e¶#³;»ZÉe¸ °µW·e¾"¾»Z´_± ° µ+³_¯e°µW¼š° ½(± ٚ½&ɚ°s¯—»1à6± ¹˜´¹Zºc»"µ3³;»˜½;Ó ½(·e´;µW¹˜´ Þ 
¨   ­L©š¦  e¦~§ ­L¬ ºÅ¹˜´_Ö»Z´;¿ '
 ¾"¹Bà˜°»Z¸ ¹˜²e¶"½(·e´_´_°s²\³ˆµ3³;»˜½;Ó"³_¹˜¼³_´;»Z²—µW± ³_± ¹˜²
»Z²—¿¼e·—µW¯´_° »˜½;¯e° ¿³_´;»Z²—µW± ³_± ¹˜² À h >  >)h  Ä ºÅ¹˜´_Ö»Z´;¿Ö± ³_¯á¸ °(³W³_°s´ '

 ¾"¹Bà˜°»Z¸ ¹˜²e¶³_´;»Z²—µW± ³_± ¹˜²¸E»Zɚ°s¸ ° ¿Ö± ³_¯ ¼e·—µW¯ À)_>  > tdu À)_>  ÄWÄ »Z²—¿´_°(³_·e´_² ± º tdu À)_>  Ä `  V ɗ»˜½;Ó6Ö»Z´;¿ '
 ¼š¹˜¼ Ý ´_°(³_·e´_² ± º.´_° µW·e¸ ³_± ²e¶µ3³;»˜½;Ó±Eµ 
°s¾"¼U³3Ê ½(¹˜¾"¼—»Z´_±EµW¹˜² ,'-) ).*  ´_°(³_·e´_² ± 0º 'µ3³;»˜½;Ó±Eµˆ»"½(¹˜¼6ʹZº * µ3³;»˜½;Ó q qWs n+ k '*"@%! 5-/@%801 ®¯e°"¿U°s¼U³_¯Uڃٗ´;µ3³½(·e´;µW¹˜´±Eµ»µW·eÉUÚX½(¹˜²—½(°s¼U³&¹Zº+³_¯e°#³_´;»1à˜°s´;µ_»Z¸½(·e´;µW¹˜´ Ý è@³¾·—µ3³± ¾"¼e¸ °(Ú ¾"°s²\³.»Z¸ ¸˜ºÅ·e²—½=³_± ¹˜²—»Z¸ ± ³_± ° µ|´_°s¸E»B³_° ¿³_¹ˆ³_¯e°+¾»Z²—»Z¶˜± ²e¶ˆ¹ZºU³_´;»Z²—µW± ³_± ¹˜²—µ³_´;»1à˜°s´;µ_»Z¸B± ²¿U°s¼U³_¯Uڃٗ´;µ3³ ¹˜´;¿U°s´ Ý è@³±Eµ± ²ÐµW¹˜¾"°µW°s²—µW°»Z²Ñ± ³_°s´;»B³_¹˜´µW± ²—½(°³_¯e°·—µW°s´¯—»˜µ²e¹ØÖ»1ÊUµ&³_¹Ø± ²U闷e°s²—½(°± ³;µ ´_¹˜·U³_°"Ö¯e±E½;¯Õ½(¹˜¾"° µ&¿U¹BÖ²³_¹á± ³_°s´;»B³_°"¹Bà˜°s´»µW° ß\·e°s²—½(°"É6ʵW·—½s½(° µ_µW± à˜°#± ²—½(´_°s¾"°s²\³;»B³_± ¹˜²—µ ¹Zº³_¯e°»˜½s½(° µ_µW¹˜´ Ý
ç¿U°s¼U³_¯Uڃٗ´;µ3³½(·e´;µW¹˜´ˆ±EµN¿U°(ºL»Z·e¸ ³&½(¹˜²—µ3³_´_·—½=³_± Ée¸ °˜Íš± ³N³_¯e°s²´_°s¼e´_° µW°s²\³;µ³_¯e°°s¾"¼U³3ʵ3³;»˜½;Ó~͗± ³ ±Eµ° ß\·—»Z¸ ± ³3Ê\ÚX½(¹˜¾"¼—»Z´;»ZÉe¸ °˜Í.¿U°s´_°(ºÅ°s´_°s²—½(° »ZÉe¸ °»Z²—¿Ñ± ²—½(´_°s¾"°s²\³;»ZÉe¸ °± ê ± ³"±Eµ²e¹Z³³_¯e°°s¾"¼U³3Ê µ3³;»˜½;Ó Ý
¿U°s¼U³_¯Uڃٗ´;µ3³ˆ½(·e´;µW¹˜´²e°sà˜°s´¼š¹˜± ²\³;µ³_¹µW± ²eÓ³_´;»Z²—µW± ³_± ¹˜²—µ Ý ˆ°s´_°&±Eµ³_¯e°½(¹˜¾"¼e¸ °(³_°&± ²\³_°s´WºL»˜½(°&¹Zºc»"¿U°s¼U³_¯Uڃٗ´;µ3³N½(·e´;µW¹˜´ Þ 
¨   ­L©š¦  e¦~§ ­L¬ µW¹˜·e´;½(° '
 ´_°(³_·e´_² _ »Z± ¾ '

 ´_°(³_·e´_² h ¸ °(³W³_°s´ '
 ´_°(³_·e´_²  ٗ²—»Z¸µW¹˜·e´;½(° '
 ´_°(³_·e´_² ± º _XK D ٗ²—»Z¸»Z± ¾ '

 ´_°(³_·e´_² ± º h KD ºÅ¹˜´_Ö»Z´;¿ '
 ¾"¹Bà˜°&¹˜²³_¹"³_¯e°&²e°(×6³³_´;»Z²—µW± ³_± ¹˜²± ²¿U°s¼U³_¯Uڃٗ´;µ3³
¹˜´;¿U°s´ Ý ´_°(³_·e´_² ± 0º '»˜½=³_·—»Z¸ ¸ ʾ"¹Bà˜° ¿ºÅ¹˜´_Ö»Z´;¿ ¹˜´ ± 0º '¼š¹˜¼š° ¿ Ý ½(¹˜¾"¼—»Z´_±EµW¹˜² ,' ) ).*  ½(¹˜¾"¼—»Z´_°&Ö¯e¹˜¸ °µ3³;»˜½;ÓUµ Ý Ë ± ²—½(°³_¯e°¿U°s¼U³_¯Uڃٗ´;µ3³½(·e´;µW¹˜´½s»Z²ɚ°µW°s°s²á»˜µ»Z²± ³_°s´;»B³_¹˜´'± ³ˆ½s»Z²ɚ°&·—µW° ¿³_¹#¾»B³_°s´_±E»Z¸ ± ° +W¼š¹\µW± ³_± ¹˜²—#µ /&± ²»Z²»Z¸ ¶˜¹˜´_± ³_¯e¾ç¼e´_¹U½(° µ_µW± ²e¶É6Ê"¿U°(ٗ²e± ²e¶´;»Z²e¶˜° µsÞ»Z²»Z¸ ¶˜¹˜´_± ³_¯e¾µ3³;»Z´W³;µ8Ö± ³_¯ ± ²e± ³_±E»Z¸½(¹˜²—¿U± ³_± ¹˜²—µ»Z²—¿µ3³_¹˜¼—µÖ¯e°s²á»"½(°s´W³;»Z± ²½(¹˜²—¿U± ³_± ¹˜²ɚ° ½(¹˜¾"° µ'³_´_·e° Ý e¹˜´¿U°s¼U³_¯Uڃٗ´;µ3³ ± ³_°s´;»B³_± ¹˜²Í|³_¯e°µ3³;»Z´W³½(¹˜²—¿U± ³_± ¹˜²Ñ±Eµ·—µW·—»Z¸ ¸ ÊÕ»µ3³;»˜½;Ó¯e¹˜¸E¿U± ²e¶³_¯e°ٗ´;µ3³³_´;»Z²—µW± ³_± ¹˜²Ñ¹Zº³_¯e° ± ²e± ³_±E»Z¸µ3³;»B³_°»Z²—¿Õ³_¯e°áµ3³_¹˜¼ ½(¹˜²—¿U± ³_± ¹˜²Ð±Eµ´_° »˜½;¯e° ¿ÕÖ¯e°s²Ñ³_¯e°áµ3³;»˜½;ÓÕ±Eµ°s¾"¼U³3Ê Ý ®¯—»B³#±Eµ 







-  ( )( H

*

-  ( )( H

* )



5

5

)

"B(3'

C) 

)( H

*

5

-#)#1#0'

*



"B(3'





0!( 

*

5

)/

*

5

13'"B" '(

*



5

0 (  !

-/,)#1

*

5

"B(3'

)/

-/,)#1

*

5

"B(3'

-  ( )( H

*

5

"B(3'

-#)#1#0'

*

ÎV

Ö¯6ʽ(¹˜²—µ3³_´_·—½=³_± ²e¶É6Ê¿U°(ºL»Z·e¸ ³&»¿U°s¼U³_¯Uڃٗ´;µ3³&½(·e´;µW¹˜´*á± ²e± ³_±E»Z¸ ± °± ³³_¹³_¯e°#°s¾"¼U³3ʵ3³;»˜½;Ó Ý ²á³_¯e°#¹Z³_¯e°s´N¯—»Z²—¿Í~½(¹˜²—µ3³_´_·—½=³_± ²e¶ 'Ö± ³_¯»"ºÅ¹˜´_Ö»Z´;¿á½(·e´;µW¹˜´ ± ²e± ³_±E»Z¸ ± °± ³N³_¹³_¯e°ٗ´;µ3³ ¹˜·U³_¶˜¹˜± ²e¶á³_´;»Z²—µW± ³_± ¹˜²Ñ¹Zº³_¯e°µ3³;»B³_°¼š¹˜± ²\³_° ¿Õ³_¹ØÉ6Ê Ý ®¯e±Eµ¼—»Z± ´¹ZºN¿U°s¼U³_¯Uڃٗ´;µ3³#½(·e´;µW¹˜´;µ ¿U°(ٗ²e° µˆ»#´;»Z²e¶˜° '* ¹Bà˜°s´'³_¯e°»Z·U³_¹˜¾»B³_¹˜²³_¯—»B³ˆ±Eµ¼—»˜µ_µW° ¿³_¹#³_¯e°»Z¸ ¶˜¹˜´_± ³_¯e¾µsÞ 

.



?9?

5



*  #"

13),#E3)E '




* -  ( )( H* ?

H -/&(0!"





H -/&(0!" 

*

 5

À ³_¯e°µ3³;»Z²—¿e»Z´;¿¹˜·U³_¼e·U³ Ä=Ý ® ¯e±EµºÅ·e²—½=³_± ¹˜²ÑÖ´_± ³_°"³_¯e°¸E»Z²e¶˜·—»Z¶˜°"¹Zº س_¹³_¯e°µ3³_´_° »Z¾ +»Z²—¿
+»Z´_° n $ -/#k('")01#n% Ée·e± ¸E¿U± ²e¶N´_° µW¼š° ½=³_± à˜°s¸ Ê»ˆ¿U°s¼U³_¯Uڃٗ´;µ3³½(·e´;µW¹˜´ ºÅ´_¹˜¾ç»ˆºÅ¹˜´_Ö»Z´;¿½(·e´;µW¹˜´c»Z²—¿»NºÅ¹˜´_Ö»Z´;¿½(·e´;µW¹˜´|ºÅ´_¹˜¾ç»+46/
Ý ®¯e°sÊ»Z´_°'¾"° »Z²\³.³_¹µW± ¾"¼e¸ ± ºÅÊ ³_¯e°&³;»˜µWÓ¹Zºc¿U° ½(¸E»Z´_± ²e¶³_¯e°¹˜ÉUÒ3° ½=³;µ³3Ê6¼š° µµW± ²—½(°&³_¯e° µW°&ºÅ·e²—½=³_± ¹˜²³_°s¾"¼e¸E»B³_° µˆ¿U° ¿U·—½(°&³_¯e°s¾ ºÅ´_¹˜¾³_¯e°s± ´»Z´_¶˜·e¾"°s²\³;µc³3Ê6¼š° µ Ý °s¾»Z´_Ó#³_¯—»B³'³_¯e°N³_¯e± ´;¿»Z´_¶˜·e¾"°s²\³'¹Zº »Z¼e¼š° »Z´;µ ºÅ¹˜´8½(¸E»Z´_± ³3ʼe·e´_¼š¹\µW°'Ée·U³8±Eµ.± ²ºL»˜½=³c²e¹Z³c´_° ß\·e± ´_° ¿»˜µ³_¯e°·—µW·—»Z¸U·—µW°¹Zº~¿U°s¼U³_¯Uڃٗ´;µ3³c± ³_°s´;»B³_± ¹˜² ±Eµc³_¹± ³_°s´;»B³_°ˆ¹Bà˜°s´c³_¯e°N°s²\³_± ´_°ˆ»Z·U³_¹˜¾»B³_¹˜² Ý ®¯e°s´_°(ºÅ¹˜´_°˜ÍZ³_¯e° »Z¸ ¶˜¹˜´_± ³_¯e¾È¿U° ¿U·—½(° µ ºÅ´_¹˜¾ » ¾"±Eµ_µW± ²e¶ °s²—¿6Ú@¹Zº†Ú@´;»Z²e¶˜°ã½(·e´;µW¹˜´³_¯—»B³± ³µW¯e¹˜·e¸E¿ ·—µW°ã³_¯e°ã°s¾"¼U³3Ê µ3³;»˜½;Ó »˜µµ3³_¹˜¼ ½(¹˜²—¿U± ³_± ¹˜² Ý ®¯6·—µsÍ6³_¯e°½(¹U¿U°&´_° ¿U·—½(° µ'³_¹—Þ ?

H -/&(0!" 

 #"

-  ( )( H

13),#E3)E '

13),#E3)E '



*  #"

13),#E3)E '

H -/&(0!"




* -  ( )( H* ?5 

®|¹¶˜± à˜°»Z²"± ²—µW± ¶˜¯\³8¹Zº~Ö¯—»B³+»Z²»Z¸ ¶˜¹˜´_± ³_¯e¾%·—µW± ²e¶³_´;»1à˜°s´;µ_»Z¸U½(·e´;µW¹˜´;µ¸ ¹6¹˜ÓUµ.¸ ± Ә°Ö'°¼e´_° µW°s²\³ ± ²³_¯e°&ºÅ¹˜¸ ¸ ¹BÖ± ²e¶#¼e± ° ½(°¹Zº.½(¹U¿U°&³_¯e°± ¾"¼e¸ °s¾"°s²\³;»B³_± ¹˜²á¹Zº|³_¯e°¸E»Z²e¶˜·—»Z¶˜°&»Z¸ ¶˜¹˜´_± ³_¯e¾áÞ

   / H

*  0!"B( 'B)

13),#E3)E '

'  " A








&A )( '  "  ( #

 A







 ( H






%0 A

A




/13'  ( H

* 7


)/










13) 0!"

4

* -/(0&"

-/,)#1

-/&(0!"







'  " A

#(0  (

#(0  (.-/&(0!"

/&(0!"

)

13) 0!"

'  " A

 ( H+5

!C) 

* -/&(0!"

/!-

)

* -/&(0!"87

/13'

 #"

/&(0!"

!C) 




-




*


1'"3" '( 

 ( )( H

*

#"

*

 



5




 ( H+5

/&(0!"




#(0  (

*



4

 B,#"%/12', H  -9( ),#E '   %0 A  #(B( ',#"613'"B" '(  /!-9" )(BE '" /30 -/,)#1   #"  #"2" A '
 ( H 
A /13' %  /,#E C)  
)( H   " A ' 13) 0!"
 ( H 13'"B" '(




 

*   5

: :

 L©š¦ e¦ª ¬˜©  š©—¨B­Å§ i ®¯e°»Z¸ ¶˜¹˜´_± ³_¯e¾µ $* À ½(·e´;µW¹˜´N½(¹˜¼6Ê Ä »Z²—¿ »Z´_°&ºÅ·e²—¿e»Z¾"°s²\³;»Z¸|»Z¸ ¶˜¹˜´_± ³_¯e¾µˆ»Z¸ Ú ¸ ¹BÖ± ²e¶³_¹½(¹˜²—µ3³_´_·—½=³|»I46/
»˜µ³_¯e°+´_° µW·e¸ ³|¹Zº6³_¯e°'»Z¼e¼e¸ ±E½s»B³_± ¹˜²¹Zºe»Z¸ ¶˜¹˜´_± ³_¯e¾ Ý $*ˆ¾»ZӘ° µ »½(¹˜¼6ʹZº+»Z²»Z·U³_¹˜¾»B³_¹˜²Ø¿U°(ٗ²e° ¿ØÉ6Ê»´;»Z²e¶˜°¹Zº'¿U°s¼U³_¯Uڃٗ´;µ3³&½(·e´;µW¹˜´;µ± ²³_¯e°"»˜µ_½(°s²—¿U± ²e¶ µ3³;»Z¶˜°¹Zº~³_¯e°¿U°s¼U³_¯Uڃٗ´;µ3³+± ³_°s´;»B³_± ¹˜²"³_¹³_´_± ¾È·e²e²e°s° ¿U° ¿¼—»B³_¯—µ8¸ ° »˜¿U± ²e¶³_¹²e¹˜²Uڃٗ²—»Z¸—µ3³;»B³_° µ Ý ¿U¹6° µ.³_¯e°µ_»Z¾"°³_¯e± ²e¶Ée·U³+± ²"³_¯e°¿U° µ_½(°s²—¿U± ²e¶µ3³;»Z¶˜°¾»ZÓ6± ²e¶»Z²°(×e»˜½=³+½(¹˜¼6ʹZº~³_¯e° »Z·U³_¹˜¾»B³_¹˜²Þ ¥











B

 1  ,'

B

 1  ,'

ΘÎ



?9?

5

( ' 0&1"

$*

B +* ( ' 0&1"



H -/&(0!" 




* -  ( )( H

 

* ?

5

 —¯ »B³¾»ZӘ° µc³_¯e° µW°»Z¸ ¶˜¹˜´_± ³_¯e¾µ8¼—»Z´W³_±E½(·e¸E»Z´_¸ Ê#± ²\³_°s´_° µ3³_± ²e¶±Eµ8³_¯e°N¼š¹\µ_µW± Ée± ¸ ± ³3Ê#³_¹"½s»Z¸ ¸—³_¯e°s¾ Ö± ³_¯ ½(·e´;µW¹˜´»˜¿e»Z¼U³_°s´;µ»˜µ»Z´_¶˜·e¾"°s²\³»˜µ°(×U¼š¹\µW° ¿ ± ²³_¯e°áºÅ¹˜¸ ¸ ¹BÖ± ²e¶ÑµW° ½=³_± ¹˜² Ý
ˆ²e¹Z³_¯e°s´ ± ²\³_°s´_° µ3³_± ²e¶#»Z¼e¼e¸ ±E½s»B³_± ¹˜²±Eµ8³_¹#¼—»˜µ_µ'»˜µ+ٗ´;µ3³»Z´_¶˜·e¾"°s²\³'»#µ3³_´_° »Z¾°s²—½s»Z¼—µW·e¸E»B³_° ¿± ²»X46/
± ²\³_°s´WºL»˜½(°³_¹µ_»1à˜°N³_¯e°»Z·U³_¹˜¾»B³_¹˜²³_¹»ٗ¸ °&ºÅ¹˜´°(×e»Z¾"¼e¸ °˜Þ  

?9?

5






? #0!"B( 'B) 6 #"

$*

H

B +*  #"

*




* 



-/&(0!"



 #"  #" -/1' 




* -  ( )( H

5

 

* ?

5

¥  «|¨1 ©—¨ª § ¨1 ®¯e°´_° »Z¸c¼š¹BÖ'°s´¹Zº³_¯e°½(·e´;µW¹˜´½(¹˜²—½(°s¼U³¸ ± ° µ± ²Õ³_¯e°¼š¹\µ_µW± Ée± ¸ ± ³3Êس_¹¾"¹U¿U± ºÅÊã»Z²—¿Õ°(×6Ú ³_°s²—¿³_¯e°&¿U°(ºL»Z·e¸ ³ɚ°s¯—»1à6± ¹˜´+³_¯e´_¹˜·e¶˜¯³_¯e°¿U° µW± ¶˜²¹Zº.»˜¿e»Z¼U³_°s´;µ Ý ®¯e°·—µW°¹Zº|Ée± ²—»Z´_ʽ(·e´;µW¹˜´ »˜¿e»Z¼U³_°s´;µN³_¹± ¾"¼e¸ °s¾"°s²\³³_¯e°·—µW·—»Z¸+µW°(³¹˜¼š°s´;»B³_± ¹˜²—µ¹˜²Õ»Z·U³_¹˜¾»B³;»¼e´_¹Bà6±E¿U° µ&»á¶˜¹6¹U¿°(×6Ú »Z¾"¼e¸ °¹Zº³_¯e°s± ´° »˜µW°N¹Zº|·—µW° Ý Ì°(³·—µµW°s°¯e¹BÖ ³_¹Ée·e± ¸E¿³_¯e°± ²\³_°s´;µW° ½=³_± ¹˜²½(·e´;µW¹˜´8ºÅ´_¹˜¾³3Ö'¹ ¹Z³_¯e°s´ˆ½(·e´;µW¹˜´;µ Ý Ì°(³; À=@?A>CB@>ED:>@F"Ä »Z²—¿O;  À=@?  >CB  >ED  >@F  Ä Éš°³3Ö'¹Ð¿U°(³_°s´_¾"± ²e±Eµ3³_±E½Ø»Z·U³_¹˜¾»B³;» Ý  ° ¿U°(ٗ²e°&³_¯e°± ²\³_°s´;µW° ½=³_± ¹˜²á»Z·U³_¹˜¾»B³_¹˜²
¹Zº ; »Z²—¿;  »˜µsÞ
`%À=@?NQ?  > À\B@>CB  Ä!>ED Q D  >@F   Ä Ö± ³_¯ F   ¿U°(ٗ²e° ¿É6ʳ_¯e°&ºÅ¹˜¸ ¸ ¹BÖ± ²e¶³_´;»Z²—µW± ³_± ¹˜²ºÅ·e²—½=³_± ¹˜²ÕÞ t u  ÀWÀ)_>E_  Ä!>EcÄL` À tdu À)_>EcÄ!> t u À)_  >EcÄWÄ Ì°(³'·—µ+½s»Z¸ ¸ ³_¯e°N± ²\³_°s´;µW° ½=³_± ¹˜²½(·e´;µW¹˜´8¹Zº~³3Ö'¹½(·e´;µW¹˜´;µ '"»Z²—¿ * Ý µW¯e¹˜·e¸E¿"± ¾"¼e¸ °s¾"°s²\³'³_¯e° ºÅ¹˜¸ ¸ ¹BÖ± ²e¶"ɚ°s¯—»1à6± ¹˜´ Þ 
´_°(³_·e´_²—µ»#¼—»Z± ´¹Zºcµ3³;»B³_° µsÞ