Improving the Automatic Procurement of Web Services Using Constraint Programming
Full text
! "$#&%' ( ) * + , - . / 0 1 2 / 3 0 4 5 / 3 687 5 9 2 / 3 6 5 :8;$5 5 < 1 2 3 0 4 = 1-. / : 5 2 >3 0 4 5 /? @ A 0 1 >A B C D 5 2 6 EF? B 4 1 / 0 4 G BH 9 I 6 4 A J 4 / K;$5 >< 3 / @ L M NOPQRL SUTWVFXY[Z]\V^P]M ZVFL _`NOP_F\ROYM YSVaP]bdceYf g!YOQRL _FYFgh\g$L SUTi_]P]Sg!VFOZL SRVaNFO]PTROZMdM L STj k-l$monol .nUp$q . r s ; nop mot ? u n;m k v .nUwkop m!x l s y x k r u k-wk ynop yq!p$z-lk-l yw^{ m!n-p$n |-} ~ } } } } o } o } }- } ! 8 }o 8! $} F} } } - } 8 ~ p1 B 1 4 = 1 E^¡ yo3 @ w5 / 0 J¢ 1 3 2 £ p1 = 4 A 1 EF¡ yo3 @ w5 / 0 J¢ 1 3 2 £ ? 5 : 0 ¤$3 2 1-A 5 6 9 0 4 5 / A!0 53 9 0 5 >3 0 1-0 J 1o< 2 5 B 9 2 1 >1 / 0!5 : ¤81 IA 1 2 = 4 B 1 A!3 2 1-K 3 4 / 4 / K4 >< 5 2 0 3 / B 1 3 A80 J 1o0 1 B J / 5 6 5 K @1 = 5 6 = 1 A u 0 J 1o/ 9 >I 1 285 : < 2 5 = 4 E 1 2 A$4 / B 2 1 3 A 1 Ao3 / E0 J 1o/ 1 1 E A$5 : 0 J 1 B 6 4 1 / 0 A I 1 B 5 >1>5 2 1 B 5 >< 6 1 ¥ { m J 1 2 13 2 1A 1 = 1 2 3 6$< 2 5 < 5 A 3 6 A4 /F0 J 4 A-G 1 6 E u I 9 0-0 J 1 @^3 6 68J 3 = 14 >¦ < 5 2 0 3 / 0!E 2 3 ¤$I 3 B § A u / 3 >1 6 @ ¨ >3 / @5 : 0 J 1 >©3 2 1-/ 5 0!3 I 6 1o0 5 B J 1 B § 5 ª 1 2 Ao3 / EE 1 >3 / E A$: 5 2 4 / 0 1 2 / 3 6 B 5 / A 4 A 0 1 / B @ « A 1 6 1 B 0 4 / K0 J 1oI 1 A 0!5 ª 1 2!9 A 9 3 6 6 @2 1 6 4 1 A!5 /1 = 3 6 9 3 0 4 / K6 4 / 1 3 2$5 I ¬ 1 B 0 4 = 1 : 9 / B 0 4 5 / A ¤$J 4 B J]4 A-® 9 4 0 13/ 3 4 = 1A 5 6 9 0 4 5 / « 0 J 16 3 / K 9 3 K 10 51 ¥ < 2 1 A A5 ª 1 2 A4 A-9 A 9 3 6 6 @ 6 1 A A$1 ¥ < 2 1 A A 4 = 1-0 J 3 /0 J 1-6 3 / K 9 3 K 1-0 51 ¥ < 2 1 A AoE 1 >3 / E A « 3 / E u 6 3 A 0$I 9 0!/ 5 0!6 1 3 A 0 u < 2 5 = 4 E 1 2 A B 3 / / 5 0$4 >< 5 A 1 B 5 / A 0 2 3 4 / 0 A!5 /0 J 1 4 2 B 6 4 1 / 0 A {. /0 J 4 Ao3 2 0 4 B 6 1 u ¤$1o< 2 1 A 1 / 0o3-A 5 6 9 0 4 5 /0 55 = 1 2 ¦ B 5 >1-0 J 1 A 1< 2 5 I 6 1 >Ao0 J 3 0o2 1 6 4 1 Ao5 / B 5 / A 0 2 3 4 / 0-< 2 5 K 2 3 >>4 / K « : 9 2 0 J 1 2 >5 2 1 u ¤81< 2 1 A 1 / 03 2 9 / s 0 4 >1$: 2 3 >1 ¤85 2 § u A 5 >1$1 ¥ < 1 2 4 >1 / 0 3 6 2 1 A 9 6 0 A u 3 / E3 B 5 >< 3 2 4 A 5 /¤$4 0 J5 0 J 1 28< 2 5 < 5 A 3 6 A { ¯} °8 ¨;82 5 A A s n2 K 3 / 4 ± 3 0 4 5 / 3 6]? @ A 0 1 >A « D1 I? 1 2 = 4 B 1 A « H 2 5 B 9 2 1 >1 / 0 «²!9 3 6 4 0 @ s 5 : s ? 1 2 = 4 B 1 « w3 0 B J >3 § 1 2 A « ;85 / A 0 2 3 4 / 0 H 2 5 K 2 3 >>4 / K { ³8´ L µ8¶ · ¸!¹!ºo» ¶ ¼ ¸8µ ½ ¾]U¾ ¿U) À ÁU¾ Á  ) ' à Á Ä]¾ Á Å) ÁUƽ ) Ç ½UÀ ¾ '  ) Ç ¾^È ' à  ) É ¾ ' À 8Ç Ã Ä^Ä^( Á ) Ç Å ) à ÁÊ ) Á Ë À $ Á8É Å ' É ¾ ' À-Ä] ]¿8¾FÀ ¾ Å( Èà 'À ¾ ÅÉ Ã ÆÁ( Á È ' ¾ É ) Ç Å ¿ Ê Ì ( ' Å ½ ¾ ' Ä]à ' ¾ Å ½ ¾¾ Í À Ã Ç ) ¾ Å ^) À-¿8¾ Î Ç Ã Ä^) Á Ï^Å ) Ï ½ Å Ê ]É ¾ È8¾ Á8É ¾ Á Åà Áƾ ¿À ¾ '  ) Ç ¾ À Рƽ ) Ç ½R ' Ï ( ¾ À-Ñ Ã 'À Ã Ê ( Å ) à Á8À-Å Ã] ( Å Ã Ä Å ¾ Å ½ ¾ ) 'FÈ ' Ã Ç ( ' ¾ Ä^¾ Á Å Ì$½ (8À $ ÁU¾ Ò8¾ Ç Å )  ¾ $ ( Å Ã Ä] Å ¾ ÉÀ ¾ ' Ç ½U Á8ÉUÀ ¾ Ê ¾ Ç Å ) à ÁUà Ñ-Å ½ ¾]¿8¾ À Å À ¾ '  ) Ç ¾ À) À¾ À À ¾ Á Å ) Ê$Ñ Ã ' É Ä^) Á ) À Å ' Å Ã ' À Á8ÉÄ] Å Ç ½ Ä] Ë ¾ ' À Ì Á U ( Å ½ à ' À ' Ï ( ¾^Å ½8 ÅÅ ½ ¾]Ñ Ã ( Á8É Å ) à Á8ÀÑ Ã '^RÀ ¾ Åà ÑÇ ' ) Å ¾ ' ) Å ÃÀ ¾ Ê ¾ Ç ÅF Ä]à Á Ï É ) Ò8¾ ' ¾ Á ÅÀ Ã Ñ Å Æ ' ¾È8 Ç Ë Ï ¾ À]Ä^(8À ÅRÊ ) ¾Uà Á(8À ¾ 'R' ¾ Ó ( ) ' ¾ Ä]¾ Á Å À Ô Õ Ö Á8ɩн8 ÅRƾ ¿×À ¾ ' Î Â ) Ç ¾ À^ ' ¾^Ø (8À Å]RÈ8 ' Å ) Ç ( Ê ']Ç À ¾]à ÑÀ Ã Ñ Å Æ ' ¾]È8 Ç Ë Ï ¾ À Ù Õ Ú Ìo½ ¾ À ¾(8À ¾ '^' ¾ Ó ( ) ' ¾ Ä^¾ Á Å À Å ÃÆ½ ) Ç ½Uƾ]' ¾ Ñ ¾ 'FÅ Ã ÀÛ Ü Ý]Þ ß8Û à o ' ¾](8À (8 Ê Ê UÀ È8¾ Ç ) á ¾ É(8À ) Á Ï¿8Ã Ã Ê ¾ ÁU¾ â È ' ¾ À À ) à Á8À ) Ì ¾ Ìã ä ß$Û å æ å ä ß à oà ÁçÈ8 ' Ä]¾ Å ¾ ' ÀFÉ ¾ À Ç ' ) ¿ ) Á ÏRÅ ½ ¾RÉ ¾ À ) ' ¾ ÉÑ ¾ Å ( ' ¾ ÀFà ÑÀ ¾ '  ) Ç ¾ $Ñ Ã '^¾ â Î Ä]È Ê ¾RèéFê ëì`íïî ð Ì-ÁçÅ ½ ¾Rà Š½ ¾ '^½8 Á8É$!È ' à  ) É ¾ ' À(8À (8 Ê Ê çÉ ¾ À Ç ' ) ¿8¾Å ½ ¾Ñ ¾ Å ( ' ¾ À ñ m J 4 Ao¤$5 2 § J 3 A-I 1 1 /^: 9 / E 1 EFI @0 J 1? < 3 / 4 A J^;81 / 0 2 3 6$ò!5 = 1 2 / >1 / 0-9 / E 1 2oK 2 3 / 0 m. ;Uó ô ô õ s ô ó ö õ ö s ;!ô ó s ô ÷¡ kò!. ø DRù8ú £{ ÷
ûü ýþ ÿ þ þ þ ! " # $ % & ')(&* +, - . / 021 3 4 5 6 798* :<; 3 4 = > / ?9= ; . 7 (* ?9, 3 @ > 72:<*A 1 3 1 B CD E F<G F H " I F G&D E F ý KJ B H " L F " M F M D E F " ON PQ R S ! G " T UWV X Y R Y Z[Q \ Q R ] Y ^ _2Q `J 8ü " G C B F a b ü cOJ d FOe fg<h ijk l m n M B D " I FD E ü DD E FF a J F G G " H F T F G G9B CD E " Go ü ý B C L F G I " p " T U B q2F G r T B o T ü G X Y R Y Z[Q \ Q R s ] Y ^ _ QON PQ R S " G H F ý Od " cO" D F L[p F I ü ! G FB T d ý D E F Q t _ Y ^ u \ v B J F ü D B " G ü d d B oF L" M F MV X Y R Y Z[Q \ Q R ] Y ^ _2Q `<J 8ü " G ü FWG " cOJ d ýçü G E B DOC B c B CD E F I B T2L " D " B T X Y R Y Z[Q \ Q R[wx] Y ^ _ Q C B F a ü c[J d F<fg<h ijyzl m M & B I ! F c F T D " GOD E F J B I F G G<B C{ T2L " T U D E F p F G D[B q2F C B ü |U " H F T}L F c ü T2L hü T2L " D I B T G " G D G<B CD E FWC B d d B o " T U~c ]ü B GDF J G V ` ^ü |J B H " L F ]ü L H F D " G F G " D GOB q2F G " T ü F J B G " D B ý F M U2M 2 B Y ^ &Q 2\ R Y ^ V þ ` ü [I ! GDB c F ü G r G " D G c ü D I E c ü r F C B ü T B q2F D B c F F D " D G L F c ]ü T2L G V ` D E F c ü D I E c ü r F G F ü I E F G<C B [c ]ü D I E " T U B q2F G ü T2L F D ! T G ü O F G ! d DoE " I E c ]ü ý Kp F ü G F DB C c ü D I E " T U B q2F G D E F<B J D " c ü dc ü D I E " T U B q2F ü I I B L " T U D B ü [U " H F T|I ! G D B c F <I " D F " B T B ü C ü " d ! F c F G G ü U F " C T B c ]ü D I E " T U B q2F G ü FC B ! T2LM J J 8ü F T D d ý D E " G " G ü G " cOJ d F J B I F G G p! DD E FO{ G DF a J F " F T2I F G " T D E " G{ F d L E ü H F ! T H F " d F LWc ü T ý B J F T~" G G ! F GD E ü D ü F T B DoF d d G !JJ B D F LWp ý ~I ! F T D J B J B G ü d G M2T b C B D ! T 8ü D F d ý F a D F T2L " T U|I ! F T D J B J B G ü d GD B|B H F I B c F<D E F G F L ü o p 8ü I r G " G T B DF ü G ý o " D E B ! D I E ü T U " T U D E F " C B c ]ü d C B ! T2L ü D " B T G M F d B o oF p " F ý O F J B D&B T G B c F c ]ü B J B p d F c G ü T2L D E F " " c[J d " I ü D " B T G T 8ü c F d ý V `K& " B D B ü L H F D " G " T U Fü T B q2F -ü T2LO" G G ! " T U ü L F c ]ü T2L D E F ý <p B D E[G E B ! d L<p F I E F I r F L C B O N S u S \ Q 2 v " M F M D B I E F I r D E ü DD E F ý KL B T B DE ü H F ü T ý [" T D F T 8ü dI B T D ü L " I D " B T G M D " G ! G ! 8ü d d ý]ü G G ! c F L D E ü D&D E " G I E F I r " T U<" G H F ý G " c[J d FB F H F T[! T T F I F G G ü ý p ! D oF L B T B D ü U F Fo " D EWD E " G " L F ü M B " T G D ü T2I F T B DF H F ý KI ! F T D J B J B G ü d " G ü p d F D B L F D F I D ü TW" T2I B T G " GDF T2I ý [" T ü OH F ý G " cOJ d F L F c ü T2LWI B T D ü " T " T U[I B T2L " D " B T GG !2I E ü G<z} ü T2L <z M V þ `| E F I r " T U oE F D E F Fü T B q2F C ! d { d d G ü [U " H F T~L F c ü T2L2" M F MI E F I r " T U D E F c C B K N N R Z[Y 2 Q " G ! G ! 8ü d d ý OJ F C B c F L G " cOJ d ý Op ý G ! p G D " D ! D " T U<J 8ü ü c F D F G T 8ü c F G " T D E F F a J F G G " B T G " T D E F L F c ü T2L C B D E F J 8ü ü c F D F [H ü d ! F GOD E F J B H " L F OU ! 8ü ü T D F F G " T~" D GB q2F M2 C ü C D F D E F[G ! p G D " D ! D " B T $ü d d D E F F G ! d D " T UWI B T2L " D " B T G ü FOF H ü d ! 8ü D F L ü GD ! F D E F L F c ü T2L Rü T2L D E F<B q2F ü F I B T G " L F F L D B p F N N R Z[Y 2\ M2 E " GC B c B C I E F I r " T UI B T C B c ]ü T2I F " G d " cO" D F L}p ý D E F|C ü I D[B CE ü H " T UL " q2F F T D d ü T U ! 8ü U F G C B L F c ]ü T2L G ü T2L B q2F G ü T ý WI B T2L " D " B TK" G ü d d B oF L[" T|L F c ]ü T2L G p ! DB T d ý F ! 8ü d " D ý I B T2L " D " B T G ü F ü d d B oF LK" T B q2F G M2 E ! G 8ü Oc ü D I E c ü r F " GG ü " L D B p F Q X2R Q S S u ] Q ^ v S v ZOZ[Q \ R u B G " cOJ d ý KS v ZOZ[Q \ R u " C " D ü I I F J D G9B q2F G ü T2L[L F c ü T2L G9o " DDF T[" T D E F G ü c F d ü T U ! 8ü U F ü T2L D E ü D d ü T U ! 8ü U F " T2I d !2L F GB D E F <d B U " I ü d B J F ü D B G ü J 8ü DC B c D E FF ! 8ü d " D ý B J F ü D B B D E F o " G F ü c ]ü D I E c ]ü r F " GG ü " L D B p F Y S v ZOZ[Q \ R u M T C B b D ! T 8ü D F d ý c B G D I ! F T D c ]ü D I E c ]ü r F G ü F ü G ý cOc F D " I G BD E F ý^ü F T B D ü p d FD B L F ü d o " D E[B q2F GF a J F G G F L<" T ]ü c B FF a J F G G " H F d ü T U ! 8ü U FB D E F D E ü TOJ 8ü ü c F D F H ü d ! F J 8ü " G C B F a ü cOJ d F B q2F G ü G G F D " T U G B c F D E " T UOd " r FO<z~ M ¡O¢ £ ¤¥ ¦ § ¨© ª ¥ « ¬O®&®&¯~° ¥ ¡ ¢ ± ¥ «²³ ; >K4 - ²³ 4 1´ ; - µ , 3 ³ ¬[®&®&¶}° ¥ ¡ ¢ ± ¥ «²³ ; >K4 - ²³ 4 13 ³ · ; - 3 ¬ O¸9¹º »¼° ¥ ¡ ¢ ± ¥ «½ ¢ ¨¨£ ¡ ¾ ½ § ± ¾ ¢ ¡<ª ¾ ¡ ¿ « ¬ ¥ À Á À ¬ ¨¢ ° ¥ ¨¬  Ã9Ä&¬ ¢ ¤&Å9Ã9 Æ2¬ Ç&ÈÉÊ®&¶Ëz° ¥ ¡ ¢ ± ¥ «&± Ì ¥ ½ ¢ £ ¡ ± ¤ ÍÎÌ ¥ ¤ ¥§« ¥ ¤ Ï ¾ ½ ¥¾ «¤ ¥ Ð £ ¥ « ± ¥ °OÑ ¤ ¢ ¨¬ § ¡ °OÒ¶º Ç9¸~° ¥ ¡ ¢ ± ¥ «&¾ ± «9© ¤ ¾ ½ ¥ À ÓÌ ¥ Í<§ ¤ ¥§ ª ª ¥ ¦ § ¨© ª ¥ « ¢ Ñ © § ¤ § ¨¥ ± ¥ ¤ «° ¥ « ½ ¤ ¾ Ô ¾ ¡ Á± Ì ¥&Ñ ¥ § ± £ ¤ ¥ «¢ Ñ Î2¥ Ô« ¥ ¤ Ï ¾ ½ ¥ « À
Õ|Ö ×KØ Ù Ú Ø Û Û ÜÝ Þ ß Ø Øàá âãä å æá çèéãçå êæëå ìíîï ð ñ ò óå ô ã&å á õ ö9÷ ø ù ú û ü ýþ ÿ þ ù ö þ û ø ù ø ö ü þù ø ú û û ü ý 2ù ü þ ø û ü þ ø ù ý ø ööû ü ý Þ Wç ï "! #%$& ' ñ ( KÖ ) *% ï + ð + , Ö " + , *% ï + # , ï ( [Ö # ¼Ö - ñ . #/$ ( [Ö #%$ Ú % ï Ö , ï 10 2%3 4 5+6 78 9 7 9 : 3 4 0 ; Ú %( KÖ ×Wï Ö # - , ï ( ð % ñ # - Ö #' <%= ñ . , ð #% ñ # ) . ñ # - Ö ) ñ # Ö ï ñ ( Oñ ò Ö ñ # ï < ) (> å # |Ö # × Ö Ú ð ï ï # ( KÖ ? ( KÖ @ ï A 2Ö . +# <% #B$ . ñ $/ "$ Ö )C ñ &# # D ) ñ # Ö ï <%= ñ . +, ð #% ñ #% ï × ( (+ ï ñ +(+ $ ) > 9ç ð % Ú ð ï ï # ( [Ö ( [Ö @ ï <Ö ï 1# OÖ < ) 1 '! #%$" 1 *% ï 2Ö ( KÖ E ñ ( [ñ ò Ö # < = ñ . - ñ . #1< ×WÖ , ð #% ñ #) ñ @ GF"HAHI F"HHAIJF"HAHK > L Wî &( KÖ ( KÖ @ ï M 2Ö &Ö #%$ ñ ñ #%M# # ) × A # ï . ñ $ ï < ð &Ö ) #+ ) ñ # Ú ñ > > #%$ ñ ñ #% 2Ö ( <ð % <% Ö ñ ! $+< × ) ñ # ñ # ï $ ï <% ï . $ Ú ñ Ö ñ $+ <% OÖ '3 N0 O N6 P15+6 3 : Q 5+6 R 9 S T% ï C ñ Ú ñ ñ Ö ñ $1 +<% [Ö '0 ;%9 O N6 P15+6 3 : Q 5+6 R 9 S > á ñ ð2Ö ñ #% ñ #/C ñ " C D C Ö × ( KÖ ( KÖ @ ï Ö ï +# Ö ï ×~Ö ï +. ï × ', ï U ð # ñ # ï Ö ñ > 2ë ïñ #% Ö #% Ú ñ , &Ö +C </ ï . ñ 2Ö *% ï <Ý Ø V D < ñ ï × - ï Ö ñ A, ð #% ? ñ #% ñ $ |ñ #" Kéá î<Ú M #&$ ( [Ö #%$ ( [ñ # - , ï (W ï ð # ï ñ A( <ð % # <% [Ö $$ ð 1 ð ï ï # éá î X) Ö C > Õ ð ï ï # ï % Ö ) $ +# Ö @ ñ ð2Ö ñ #% ñ # KÖ ð # > å #& ñ [Ö ï ñ ) Ú C ï # [Ö / ï % Ö ) ñ (+ ï . 1 ~Ö ð ( [Ö ñ + ï ð ï (+ # ,C <" ï . ñ C ñ / . ï ( KÖ <% . ) ñ ( Oñ Ö ñ #% > î $ ñ # -BY 0 ; 8 3 S 6 4 ; 3ZS 0 [ \ S 6 5 5 4 ; \ Ö <Ö 1, ï ( KÖ )< 2Ö ñ A 2Ö A<% #/ 1@ × '% ñ # A ~Ö ñ . ñ ñ ( ï . (+ # Ú <% Ö ð % ß Ý #% ï Ö ñ # Ö ) ) C] ð % (+ ï Ö #%$+ ï . ñ $ ï 1 Ö A ñ ï A$ ( KÖ #%$ Ö #%$ *% ï $ ) Ö ï Ö ñ . ) × Ú #%$ C ñ # - × (+( ï ñ ( $ ) C ñ [Ö . ï × % C ï , ð ) E ï ñ . ? # T Ö #%$ Ø <% 1 ð % ( ï &Ö #%$ ï . ñ $ ï $ # 2Ö . C ï ñ % ñ !% ï $ ð ï , ï #% ñ #% ×KÖ #%$1 # , ï ( KÖ #% A @ ñ # - Ú Ö #%$+ ñ ( Oñ ò $1 Ö ï KÖ #%$1 ) ñ #MT ñ # ? Ö $ Ú M 1 % ï Ö ñ #% <Ö ï [ñ ( ) (+ # $/< × & @ ñ # - ï % ï ñ #&$ ( [Ö #%$ OÖ #%$ *% ï < × 1( Ö #% , 9Ö + #% ï Ö ñ # ) . ïñ # ï $ ï - Ö ) ð ñ # WÖ ð ( KÖ ñ Ö ) ) × > å # WÖ $ $ ñ ñ # Ú C ï # Ö ï , D , D #% &ñ (+ ) ( # Ö ñ #1C ñ WÖ ) ) C . ñ ? $ #% A 2Ö ð ï ï % Ö ) 2ñ , Ö ñ < ) Ö C ) ) Ö ! #%$+ ð C 2Ö E # A( KÖ ? ( KÖ @ ï M 2Ö Ö # <%< ð ñ ) &Ö ï $ ñ # - A ð ï ( $ ) 2Ö . Ö ) Ö ï ï Ö ñ Ö ) ñ # ï , ï ( Ö (+ ð Ö ñ # 2Ö ) (+ ) E ñ × ' Ö #%$ % ñ # > 2à / KÖ ) + ï # <Ö 1 (+ 2Ö ï ñ #'C ñ ' ï ï % Ö ) Ú ï ( KÖ ï @ ñ # - ñ ï ) ð ñ #% ) ñ ( Oñ Ö ñ #%% ñ # $ ð Ö <% - ñ # # ñ # - , ñ ñ #M> ç Oï A , [Ö ï ñ ) [ñ ï ð % ð ï $ ~Ö A, ) ) C > ëñ ï Úá ñ # ØKñ # ï $ ð % ï ñ Ö ) < 2Ö ñ , ïñ # ï ï ñ # - *% ï Ö #%$A$ ( KÖ #%$ < × ( Ö #%% , #% ï Ö ñ # > á ñ # Þ ï # ð ï ï % Ö )% +( $ ) ( [Ö ( [Ö @ ñ # - ï < × +(+ Ö #% , #% ï Ö ñ # Ö ñ , Ö ñ #/ ï < ) (+ > æ E ÚÖ 1 ï , D , D #% A , ð ï A(+ $ ) &ñ C# ~ñ # á ñ # L Ú Ö #%$1 E % ï ñ (+ # Ö ) ï ð ) Ö ï A$ ð ( # $ Kñ # |á ñ # |Ü > ç # Ú2á ñ #'^ ï . ñ $ Ö[ï . ñ C] , ñ ( Oñ ) Ö ï ï % Ö ) > 2ëñ # 2Ö ) ) × Ú2á ñ # Ù + #% ) ð %$ OÖ ï ñ ) OÖ #%$ ï # , ð ð ï C ï @> _`1a b%cMd e f g h c%e+iAf b%j f g k"k&h cj'h cBg/l'me d nMo p p å # - # ï Ö ) Ú @ ñ # - Ö , #% ï Ö ñ # , ï A #% ñ #% × Ú # , ï ( [Ö #% ï ! #%$ ñ # - Ö # ñ ( [Ö )M ) ð ñ # WÖ ï AC ) ) D @ # C# ( < ñ # 2Ö ï ñ Ö )% ï < ) (+ 2Ö Ö ï A$ ñ q+ ð ) 1 ) . Ú # # ) × , ï ( Ö A ( ð Ö ñ # 2Ö ) ( ) E ñ × Ö #%$ % ñ # r& ×OÖ ï æâ D 2Ö ï $ ï < ) (1
s't u1v w x v y y z|{ } ~ v v A M ¡%¢ £ ¤ ¥ ¦ §¨M ©ª £ ¤ « ¬ « ª § £ ® ¬ §%©¯ ¢ £ ¢ ° ± ² ° ² t ³ ´Bµ ¶t ³ · ¸¹ ¸ ºt» ¸ ± t º º+ ° ±A· ¶ t °%¼ »%¸ ° ¶ x · °%½ ²¶ ¾ ² uA ² ¿ ²² À »%² ¶ · ² ° t » » ³ ² ¼Aº+t ¶ ¾ ² º+t ¶ ½ · x t ³ ± ¸ ¶ ¾ º+· x t °%¼A· ¸ ¹ ¶ Át ²² ° ± ° ² ² ° ± Â Ã Ä Å Æ ¾ ² · ²» ¸ µ ³ ² º+·%¾%t Ç ² %· %t ³ ³ uµ%² ² ° ¶ t ½ È ³ ² ¼A%· ° ±Aµ ¶ ² É ¹ ¸ ½ ²t °%¼+Ê/Ë Ì Í Î Ï+Ë Ì Ð Ñ Ë Ò ÓÔ Õ Ö Ô Ë Ï Ï Ð × Ö1Ø sÙ Ä Ä Æ /² » ¸ »%¸ · ²%· ° ±"ÚÕ × Û Ì Ô Ë Ð × ÌÓÔ Õ Ö Ô Ë Ï Ï Ð × Ö/Ø Ùt ·t °'t ³ ¶ ² °%t ¶ Ç ² Æ ÜÝ Þ%Ý&ß+à áà â ã%ä å æ å à ç " ·¶ ¾ ²· ¶ %¼ u¸ ¹M½ ¸ º+» ¶ t ¶ ¸ °%t ³ º+¸ ¼ ² ³ ·t °%¼+· u · ¶ ² º1·µ%t · ² ¼¸ °1½ ¸ °%· ¶ t ° ¶ · Æ "¾%t · ² ½ ² ° ¶ ³ u't ¶ ¶ t ½ ¶ ² ¼1¶ ¾ ²+t ¶ ¶ ² ° ¶ ¸ °'¸ ¹º+t ° u² À »%² ¶ ·¹ ¸ ºW¼ · ¶ t ° ¶At ² t ·µ%² ½ t %· ² ¸ ¹ ¶ · »%¸ ¶ ² ° ¶ t ³¶ ¸+· ¸ ³ Ç ²¾%t ¼x ² t ³ É ³ ¹ ²A» ¸ µ ³ ² º1· Æ% ² ° ¶ ³ u x ¶ ·µ%² ½ ¸ º ° ± ¶ ¾ ²Aº+² ¶ ¾ ¸ ¼1¸ ¹ ½ ¾ ¸ ½ ²¹ ¸ º+¸ ¼ ² ³ ° ±1º+t ° u¸ » ¶ º+ t ¶ ¸ °'» ¸ µ ³ ² º1· Æ%¸ ¶¸ ° ³ u ¶ ·µ%t · ² ¼1¸ °/t+· ¶ ¸ ° ± ¶ ¾ ² ¸ ² ¶ ½ t ³¹ ¸ °%¼ t ¶ ¸ °Mx µ ¶ ¶ ·t ³ · ¸+t ¶ ¶ t ½ ¶ ° ±+Á ¼ ² · » ² t ¼1½ ¸ º º+² ½ t ³% ° ¶ ² ² · ¶ Â Æ ½ ¸ °%· ¶ t ° ¶ ·t+ ² ³ t ¶ ¸ °/t º ¸ ° ±· ² Ç ² t ³Ç t t µ ³ ² · x ² t ½ ¾¸ ¹Á¾ ½ ¾' t ° ± ² ·¸ Ç ² At ± Ç ² °"¼ ¸ º1t °Mƾ %· xt'½ ¸ °%· ¶ t ° ¶A ² · ¶ ½ ¶ ·A¶ ¾ ²1Ç t ³ ² ·A¸ ¹ ¶ ·Ç t t µ ³ ² · ÆM¾ ² º+¸ · ¶ º+»%¸ ¶ t ° ¶¹ ² t ¶ ²+ ·A¶ ¾ ² ¼ ² ½ ³ t t ¶ Ç ² °%t ¶ ² x Æ ² Æ x¶ ¾ ² u"· »%² ½ ¹ u/Á¾%t ¶A ² ³ t ¶ ¸ °%· ¾ »%· º%· ¶¾ ¸ ³ ¼ Á ¶ ¾ ¸ ¶· »%² ½ ¹ u ° ±+t½ ¸ º+» ¶ t ¶ ¸ °%t ³%» ¸ ½ ² ¼ ²¶ ¸ ² ° ¹ ¸ ½ ²¶ ¾ ² ºÆ ¾ ² ¼ ² t ¸ ¹ è ·+¶ ¸B· ¸ ³ Ç ²'» ¸ µ ³ ² º1·+µ uB· ¶ t ¶ ° ±B½ ¸ °%· ¶ t ° ¶ ·1t µ%¸ ¶1¶ ¾ ²'» ¸ µ ³ ² ºt ² t"t °%¼x ½ ¸ °%· ² ¿ ² ° ¶ ³ u xé °%¼ ° ±&t"· ¸ ³ ¶ ¸ °B¶ ¾%t ¶1· t ¶ · é ² ·+t ³ ³¸ ¹A¶ ¾ ²'½ ¸ °%· ¶ t ° ¶ · ƾ · ¶ t · È" · ½ t ² ¼+¸ ¶µ u· ¸ É ½ t ³ ³ ² ¼Û Õ Ò ê Î Ô Û Æ ¾ ²/² t ³ ² · ¶1 ¼ ² t ·1¶ ¾%t ¶³ ² ¼B¶ ¸]ë¼ t ¶ ²/µ%t ½ ÈB¶ ¸X{ ì í y · xt °%¼¶ ¾ ² u]t ¸ · ²'¹ ¸ º ¶ ¾ ²1é ² ³ ¼/¸ ¹ ¶ é%½ t ³ ° ¶ ² ³ ³ ± ² °%½ ² ƾ ²+º1t °&· ¶ ² »&¶ ¸ Át ¼ · XÁt ·t ½ ¾ ² Ç ² ¼/Á¾ ² ° ît ³ ³ t ² Ä ït °%¼ t ðt At °%¼Mt · · ² Ä ñA° ¸ ¶ ² ¼¶ ¾%t ¶AòMÕ Ö Ð ÑAÓÔ Õ Ö Ô Ë Ï Ï Ð × Ö"Ø ÙÁt ·ó %· ¶At »%t ¶ ½ ³ t È °%¼+¸ ¹Æ °"¶ ¾ ²%· ² · ¶ t ¶ ² ·Á¾%t ¶° ² ² ¼ ·¶ ¸µ%²A· ¸ ³ Ç ² ¼ °%· ¶ ² t ¼ ¸ ¹¾ ¸ Á ¶ ¸· ¸ ³ Ç ² ¶ x Á¾ ½ ¾+ ·Ç ² u ½ ³ ¸ · ²¶ ¸¶ ¾ ² ¼ ² t¸ ¹½ ¸ °%· ¶ t ° ¶ · Æ ¾ ² ² ¹ ¸ ² x ¶ ¾ ²½ ¸ º µ °%t ¶ ¸ ° ¸ ¹A½ ¸ °%· ¶ t ° ¶ · t °%¼Bô ·+¿ ¶ ²°%t ¶ t ³ xt °%¼& ¶+ ·+ ² ¹ ² ² ¼"¶ ¸&t ·/ÚÕ × Û Ì Ô Ë Ð × ÌAòMÕ Ö Ð Ñ ÓÔ Õ Ö Ô Ë Ï Ï Ð × Ö1Ø Ù Æ ¶ ¾ ² º ¸ ² x ¶ ¾ ² ²t ²³ µ t ² ·M¶ ¸AÁ¸ ÈÁ ¶ ¾1/ ° ³ t ° ± %t ± ² · · %½ ¾t ·õõAÄ ö Ã Ä ÷ x t Ç t Ä ø Ã Ä ÷¸ ù+Ä ÷ Æ ]» ¸ µ ³ ² ºè² À » ² · · ² ¼1t ·t+· ² ¶¸ ¹½ ¸ °%· ¶ t ° ¶ · ·¹ ¸ º+t ³ ² ¼1t ·t'ÚÕ × Û Ì Ô Ë Ð ×%ÌúMË Ì Ð Û û üË Ñ Ì Ð Õ × ÓÔ Õ ý Ò Î ÏèØ Ù Æ B / ·M¼ ² é ° ² ¼t ·Mt· ² ¶M¸ ¹ Ç t t µ ³ ² ·t °%¼t· ² ¶M¸ ¹%½ ¸ °%· ¶ t ° ¶ · · »%² ½ ¹ u ° ±Á¾ ½ ¾½ ¸ ºµ °%t ¶ ¸ °%·¸ ¹ Ç t t µ ³ ² ·t °%¼AÇ t ³ ² ·Mt ²t ½ ½ ² » ¶ t µ ³ ² Æ ³ ¶ ¾ ¸ ± ¾Aº+¸ · ¶ ¶ ² ½ ¾ ° ¿ ² ·M¶ ¸ · ¸ ³ Ç ² ·¼ ² t ³ Á ¶ ¾1½ ¸ °%· ¶ t ° ¶ ·M °+Á¾ ½ ¾ ¶ ¾ ²Ç t t µ ³ ² ·M t ° ± ²¸ Ç ² ¶ ¾ ² · ² ¶¸ ¹ ² t ³M° º µ%² · x%¶ ¾ ² ²² À · ¶Á² ³ ³ É È ° ¸ Á°¶ t °%· ¹ ¸ º1t ¶ ¸ °'· ½ ¾ ² º+t ¶ t+¶ ¸¼ ² t ³Á ¶ ¾ ° ¶ ² ± ² x µ%¸ ¸ ³ ² t °Mx ² ° º+² t ¶ ² ¼+¸ ² Ç ² °»%¸ Á² · ² ¶¼ ¸ º+t °%· Æ ÜÝ ÜÝ'þà ÿAáå æ å %áç ¾ ²A½ ¸ ²¸ ¹¸ » ¸ »%¸ · t ³ ·t· ² ¶¸ ¹M¼ ² é ° ¶ ¸ °%·µ u º ² t °%·¸ ¹Á¾ ½ ¾+Á²A½ t °+ ± ¸ ¸ %· ³ u ¼ ² é ° ²¶ ¾ ²½ ¸ °%· · ¶ ² °%½ u1t °%¼½ ¸ ° ¹ ¸ º+t °%½ ²A½ ¾ ² ½ È ·t ·Á² ³ ³Mt ·¸ » ¶ º+t ³· ² ³ ² ½ ¶ ¸ °MÆ ÜÝ Þ%Ý è ·t"¶ ¾ ² ² É ¶ » ³ ²/¸ ¹¶ ¾ ²"¹ ¸ º 1Á¾ ² ² "! ·té ° ¶ ²· ² ¶¸ ¹Ç t t µ ³ ² · x # $! ·té ° ¶ ²· ² ¶¸ ¹¼ ¸ º+t °%·+Ø ¸ ° ²1¹ ¸ ² t ½ ¾ Ç t t µ ³ ² Ùt °%¼ ·t · ² ¶¸ ¹½ ¸ °%· ¶ t ° ¶ ·¼ ² é ° ² ¼1¸ ° 1Æ
%& '( ) * ( + + ,.- / 0 ( (2143 57678 9 :;3 <7=7>6?<?9 @;:BA9 CDFE7G H I J K79 L 69 3 M NPO Q R S T U V;W X YPZP[ W R N7\ W T ]P^Q R ] [ Q Y N7Y U WR _;`7Y ab Y Q S T ] Y c;d c T U VfeR U c W Q \ T U W^Q R V Q \ N?N?T U Vg A h G?I ij k & il m * k n mo h p p h q7I i rfk H s p mt m i h k m j7&fj I us p m6?3 5vk n& k?I j?Hj m tk hI p p Hj k G & k m j m w m G & pl h il m s k j?k n G h H r n h H k?k n mfs& sm G 0 x y zP{ |} { y ~ { ~ } { y zf|{ z|4 } 6h ij k G & I i k j7I i65& G mfr m i m G & p p 'm s G m j j m tI i&G I l np & i r H& r mk n& k;I il p Ht m j * o h G I ij k & il m * p I i m & G?& itfi h i p I i m & G?l h ij k G & I i k j * k n m;& I p I k 'fk hfI it m & G G & ' jq7I k nw & G I & p m j * h G?p h r I l & pl h uf I i& k I h ijh ol h ij k G & I i k j 9 is G & l k I l m * I k jm s G m j j I w m i m j jPI jh i p 'p I uI k m t 'k n mfl & s& I p I k I m j?h oPk n mH it m G p ' I i rj h p w m G E"j h p H k I h ivk h&6?3 5l h ij I j k jfh o& i& j j I r i um i kI iq7n I l nvm & l nw & G I & p mr m k j& w & p H mo G h u"I k jl h G G m j sh it I i rt h u& I i*& j7p h i r& j7I kj & k I j m j7m & l nl h ij k G & I i k 9 ik n m s G m w I h HjPm & us p m * k n m& j j I r i um i k? y z { | } I j?&fj h p H k I h ij I il m;I k7j & k I j m j ;vv & it PP $ ¡ ¢£ ¤ ¥ ¦P§ ¨ ©ªCm k«Bm&6?3 5Bh o;k n mo h G u x ¬{ { ® *PI k j j h p H k I h ij s& l m * t m i h k m t& j;¯ ° ± x « * I j;l h ush j m th oP& p pI k j7sh j j I p mfj h p H k I h ij ¯ ° ± x « y ² ¬B´³ x ®} µ ( - ¶ q7n m G mf x ®f n h p t j?I ·m & l n& j j I r i um i k7I ij & k I j m j?m w m G 'l h ij k G & I i k?I i ® 9 ik n ms G m w I h Hj;m & us p mk n mj h p H k I h ij s& l mI j y y z¸ { |´ } {y z´ { |f" } { y z7¹ { | } } PP v º¡ ¢§ ¥ P§ » £ ¼P©ªCm k«m&f6?3 5h ok n m;o h G u x ¬{ { ® * «I jj & I t k hmj & k I j & p m * t m i h k m t& j;¯ ½ ¾ x « * I ·I k j7j h p H k I h ij s& l mI j?i h k7m us k ' ¯ ½ ¾ x « ¿ ¯ ° ± x « À 4Á µ ( ( ¶ 9 ik n mfs G m w I h Hj7m & us p m * I oPk n mj m l h itl h ij k G & I i k7I j7G m s p & l m tq7I k n z|¹f * k n m ik n m G mf& G m;i hj h p H k I h ij * & itk n m6?3 5I j?k n m G m o h G mi h k;j & k I j & p m ÂI w m i&f6?3 5P* k n m G m;& G m?k n G m m7sh j j I p m?r h & p jk hm;& l n I m w m t0 à ÄI ¶Å Hj kPh i m7j h p H k I h i* q7I k ni hs G m o m G m il mG m r & G t I i rq7n I l nh i mh H k7h oPk n mj h p H k I h ij s& l mI j7j m p m l k m tÆ I I ¶7& p p h ok n mj h p H k I h ij *I o?& i 'Æ I I I ¶& ih s k I u& pj h p H k I h i& l l h G t I i rk h& ih Å m l k I w mfo H il k I h i t m i m tI ik m G uj7h oPk n mj m k;h ow & G I & p m j?h o?6?3 5 9 ik n mfp & j kl & j m *j Hl ns G h p m uj7& G m G m o m G G m tk h& jÇÈ É Ê Ë Ì Í Î É ËÏÍ Ë Î Ê Ð Í Ñ Ë Î È ÉvÒPÓË Î ÔÎ Õ Í Ë Î È ÉÖ?Ì È × Ø Ù ÔfÊ Ã Ú PP ¹ Û¡ ÜB P ݤPÝÞ¥ ¦P§ ¨ ©ßCm k;«m&6?3 54h ok n mo h G u x ¬?{ { ®f *I k j uI i I ufH u´j s& l mq7I k nG m r & G tk h& ih Å m l k I w mo H il k I h ià*t m i h k m t& jáâ ãä x « { à * I j l h ush j m th oP& p ph ok n mfj h p H k I h ij?h o«k n& k7uI i I uI J mà áâ ãä x « { à yå ²¯ ° ± x « ¹³æå ç ²¯ ° ± x « è à x å 7é à x å ç ;} µ ( / ¶ A h G;I ij k & il m * l h ij I t m G;k n m6?3 5I ik n mfs G m w I h Hj?m & us p mf& it& ih Å m l k I w mfo H il ê k I h i¹t m i m t4& jà x z{ | zë | ?9 ik n I jl & j m *áâ ãä x « { à y y z$ì { |B. } { y z { | } }
íî ïð ñ ò ð ó ó ô.õ ö ÷ ð ð2ø4ù ú7û7ü ý þ;ù ÿ û?ÿ?ý ;þ ý 7ý ûý ù ! "$#% &(' ) * +$) ' " , +$ - * "&(. /10 23%4 5 4 63879 :9<; =4 3$4 >@?$>BAC D ?$0 EFG HJILKG îû?ù ú LM NH O GPN M QSR T,U V<U W(X ò H Y QP Z QP Q\[ î ] G(^ H O_ G ` î abH M î Z1M Kc G d H [ GJN Zd H M Z@e ò a G Z M H G a î YJfPg h%iR IjU eJX ò Y H O GJ[ î ] GJH O G(M K c G d H [ GJN Zd H M Z_H î k G Y,M ZlfPg hm%R IjU eJX n fPg h%iR IJU e(X,oqpsrut(v(wlfPg hm%R IjU eJX_xebR v X,oyp z ð n { | ý Z_H O GJ} G [ M Y,G ~ î Qb} ] G ò H O GJQb Z Q( Q[ î ] GJ Y ;ó n ð n ð n õ nP % û?ù ú ,Y ?î GY î ] ] ï P G } G Y G Z H G aPK ï PQbG î ZYM N î (` î } O ò K H,^,GJa MPZ M HH O Z kbH O Y, Y ?î a G î H GjG Z M ` O1H MP ] ] Y H î H GJH O G û?ù ú ,Y 7î Y Y M d î H G ab^ H O1H O G(d M Z N M Q î Zd GJd O G d k Z ` î Za M } H Q î ]Y M ] H M Z1} M K ] G Q1Y n ø @GJ} G N G ,H MbY GJ$G Z Z_j î ` î QbY Z1^O d O_H O GJ Z [ G Y î ] Y G Hbz |J G } G Y G Z H YjH O GbQP ] H a QbG ZY M Z î ],Y } î d Gb^O M Y G1a QbG ZY M ZY fî GP` [ G Z@K ï @H O G a M Q î ZYM N$H O GP[ î î K ] G Y òî Za1G î d O<$G Z Z@j î ` î Q\ G } G Y G Z H YH O GbY M ] H M Z@Y } î d G(M N î b} î H d ] î û?ù ú n%% `n Põ bY O M ^jY î b` î } O d î ]% G } G Y G Z H î H M Z<M NH O G û?ù ú LY G a< Z@H O G G ~ î Qb} ] GJ Z ù G d H M Z ð n ð n S (1,0) (2,0) (2,1) % ¡ ¡ ¢ (¢ £,¤%¥ ¦1 $,§ (¨% ©J M (H O G_Y î k GbM NjY QP} ] d H ïvî Za@ Za G Y H î Za î K ] H ï ò %H O G1G ] G QbG Z H Y(M NH O G_Y M ] H M Z Y } î d G î GjM Qb H H G ab^O G Z1H O G ïî GjZ M H, G ] G [ î Z H n ù Qb ] î ] ï ò î Pd M ZY H î Z H^ H O1M Z ] ï bM Z G Y M ] H M Z_ Ya G } d H G a î Y 7î P}M Z H n 79 ª%9q«J¬$® ¯ ° ±² $¯,³° ¬ ´ ° ± µ@µ@² %´q¶ · ° ® ¸%®_µl±¯ ¹· µl±¯ ² º ±»$³$° ¬ ´ ° ±µ@µ@² %´ ÿ ,O G@Y d d G Y Y N ]jY G<M N ûú \ Z î G î YbY d O 4î Yb} ] î ZZZ` ò ,Y d O G a ] Z `lM 1M } H QP î H M Z Y G YH O G G Y H M Z1M N%^O G H O G H O GJH î a H M Z î ]¼ G ] a1M Nj½$ ¾J @z jj| Y 7î d M Qb}G H H M M ;î P} î H Z G M N ûú n M ZY H î Zd G ò H Y,^,M H O1QbG Z H M Z Z `bH O î HH O G G( Y ;î Y ` Z ¼d î Z HM [ G ] î }jKG H ^,G G Z ûúî Za(J< G ` î a Z ` ;þ7ú ¿ À ;î aJd M Q(K Z î H M î ] } M K ] G Q1Y ò ^O G G_JO î YJKG G ZqY G alY d d G Y Y N ] ] ï n ø ÁO G G î YPJO î Y î _] M Z `< G Y G î d O@H î a H M Z N M _Y M ] [ Z `l} M K ] G QbYbY Z `q] Z G î 1} M ` î QPQb Z ` ò7ûú \G Qb} O î Y Yb YbM ZÁO ` O G ¿ ] G [ G ] QPM a G ] Z ` fî ZaPY M ] [ Z `JQPG H O M a Y%H O î H ?î G,G î Y G $H MJ Za G Y H î Zan í _M Y H% G d G Z H î a [ î Zd G Y  } M Qb Y GH O î H,KM H O1} î î a ` QbY,d î ZbKG Z G ¼ H,N M QÃG î d O1M H O G n ý Z1} î H d ] î ò ûú yd î Z1KG Y G a î Y ;î b} ] î H N M QN M j Z H G ` î H Z `_Y G [ G î ]$d M ZY H î Z H ¿ Y M ] [ Z ` î ] ` M H O Q1Y ò Zd ] a Z `
Ä<Å Æ1Ç È É Ç Ê Ê ËÍÌ Î Ï Ç ÇÑÐÁÒ ÓÔÕ Ö ×jÒ ØÙÚJÔ,Ø,Ö Ûj×Ü%Ö ÝÞßà á â ã äÖ å ÔÖ Ò æ ç$è é ê ë ì í îjï ð ñ$ò$ó ï ê çô ï ì õ$öé ê õ ó é ñ çñ í ï%ê ÷jøñ ùú ñ é ë ì õ ñ ûjü û ì í î(ýê í û ï é ô ì í ïöé ê î é ô ç,ç,ì í îþ ÿ Å @ÿ á á â yÛJÙ $Ø à Å à â ÿ à à ÿ Å Å à Å ÅbÔ,Ò ÓÁâ ,ÿ Ï Ø à à ÿ Å ÿ â 1Å Å1Ô,Ò Óyâ ÿ á à ÿ Pÿ à â â Å à \ÿ Å ÿ à à ÿ Å ÿ â yÅ Å LÛjÙ à É â _ÿ Å à â Å jÿ Ô,Ò Ó à à â à ÿ Æ ÿ Å â ÿ â ÿ â É Å Pÿ ÿ à Å â ÿ Å ! " à â ÿ á ÿ ÿ à Å Å ÿ â ÿ â ÿ â Å àâ # áÅ â ÿ â É Å â @ÛjÙ Ø â Å ,ÿ à á Å ÿ â â à É ÿ á ÿ â Å â à ÿ á à ÿ Å É,Å qÿ â á à â ÿ â ,ÿ á â (ÿ á ÿ â ÿ à Å ÿ Æ à ÿ à Å â ÿ à Å à ß ÿ á Ô,Ò ÓÁÅ à â ÿ $ Å à ÿ â Å Æ à Æ â É % ÿ â ,ÿ Æ Å & Å á ÿ â Å ÿ à ÿ Å % à % " â ÿ à à à Å â bÅ à â ÿ $ ')(%*+ ,)- .+ / 0/ 12%. 3 4 1 56,1)3 2 + 7 4 12%*+ ,5 + 7 0084 1 5 Ö ÿ â ! ÿ â %É 9 ÔÓ Å Å á ÿ Å ÿ Jÿ :; < = > ; ? @%? A BCB D E F E É â ÿ â à â ÿ Æ1Å à Å É Å bÿ ÿ â ÿ â Å G à ')( H(IJ KL MCNOLMCN8P Q$J R O Ø Æ ÿ Å á ÿ Å ÿ â ÿ à á à % ÿjÿ Å â ÿ Å Å Å G à ! ÿ Ô,Ò Ó %Ö à à ÿ É Å Å à Å ÿ à á ÿ Å ÿ Å Å à â Å S â ÿ â ÿ à à â Å â T É Å $ Å â ÿ â á ÿ ! Å $ ÿ Å ÿ à Å â ÿ Ü à,â ÿ Å É â à ÿ Å UVW ?@%? D AB X @%?B <!Y D X Z > ; ?@> E BC[ ?Z ? E EB W D A\ ] ] @X A > B ? E ^ Å bÿ G à U)VW ?@%? D AB X @%?B <!Y D X Z > ; ?X E!_ ; ? D B ? ;B W D A\ ` ]%@X A> B ? E ^ ß á â ÿ Å ÿ abbc à Å C à ÿ Å ÿ á à Å á à É ÿ à à â bÔ,Ò Ó Å à d e abbcf g e h i g jkl f g e abbcm8n i i f o Å d e abbcf g e h i g jkl f g e abbcp8n q i f o à ÿ â Æ Ø â Å â Jÿ $ " ÿ à ÿ r Å Æ Å ÿ Å à â $ ÿ 8 Å Å G à Å Æ Å % ÿ Å à Ælâ à Å ÿ â ) Û ÿ $ Å É ÿ %s ÿ Å Å t â ÁÅ ÿ r Å Æ Å ÿ Å â ÿ " ÿ É Å â à s _ÿ 8 jÿ Å à ÿ Pÿ ! â u à à ÿ Å %s v É ! â Å à ÿ Pÿ â ÿ â ÿ Å ÿJÿ % â ÿ ÿ ÉÅ s w É ! â Å à ÿ ÿ % â ÿ â ÿ Å ÿjÿ à â à Å % ÿ x bÒ â â Å à ÆÉÅ Æ G à y Å _Å â à bÿ % % y vS ! Å ÿ â ÿ áÅ à Å ÿ T ,Å y w%S ! Å ÿ â à # á â à $ à â ÿ â ÿ T Ö % à Å É â ÿ $z â PÅ Å àÅ G à É â ÿ C à à â PÔ,Ò Ó Å ÿ Å ,ÿ Å â à Ô,Ò Ó {!w | Å ${Cv | Ö ÿ Å ) r Å Æ Å ÿ Å à É ! â Å â à Å Å à ÿ â á Å à Å $ jÿ r Å Æ Å ÿ Å à É ÿ à à â Ô,Ò ÓLâ ! Æ {w | à Å Å { v | à G à É â Å ÿ Å â Æ_à # á â à % ÿ Å % G à ! ÿ Å â Æ $ áÅ à Å ÿ } ~ ! é ñ ó ì é ñ çñ í ï û C C) ! ñ ó ì é ñ çñ í ï û ! ) ) î ó ô é ô í ï ñ ñ û ! ¡ ! ¢ ó ô é ô í ï ñ ñ û £) C ! ¤
¥¦ §$¨ © ª ¨ « « ¬® ¯ ° ¨ ¨²±9³ ´!µ!¶ · ¸³ ¹!º!»µ¹· ¼¸¾½)· ¿ÀÂÁ!Ã Ä Å Æ Ç!· È µC· ³ ÉËÊCÌ ÍÎ Ï Ð Ñ ÒÓ Ô Õ Ö × Ø Ù)Ì ÚÛ Ô Õ Ü Ý Ñ Þ Ü Û Ð Ø ÊÌ Þ Î Ô ß Ý ØÚÌà Ó Ô Ó ½ á Ã!Å âã ä ¦ âå æ ªå á âã Å ç æ Ã!ä è æç æ é$¦ âç%ê)ëì íî%í ï ðñ ò î%íñ óô ï ò õ ö ÷ íø ì ï õ õ ù íõ í ø øñ ì ï ð úûû îò ð ö ñ í ø üý þ ÿ Cê ï ð %î ì ó ø ñò øò ð ï ò ð ü%ý þ !¦ âç$ä è æá æ Ãêëì íî%í ï ðñ ò î%íñ ó ô ï ò õ ö ÷ íò ø ÷ í ï ñ í ÷ñ ì ï ð ú ûîò ð ö ñ í ø ü%ý ê ô ó ÷ ï ð !÷ ò ñ ò ø ì õ ò í ð ñ ø%ó ðõ ü%ý Cÿ Áã ã Ä éÅ â ä è æ à æ Å á Äã%ç æ â Å ä Å á âuá "! ¦ âç8ä è¦ ä%ä è æ $#"%&' (*)+ ¦ à Š¦ , - æ à ¦ â æ ãá æ Ã)ä è æ . á / æ Ã ã æ äá 0$132 4"56&56&768!9(: ª Å æ ;< 0.= ª ä è æ Å Ã å á à à æ ã á âç Å â µ³ ´ã!¦ à æç æ â æ ç¦ ã . á - - á / ã ° þ ÿ 1><.2" !>: ? 2@ A ? B CD: ? 2 "!3EGF A A:= þ 1><.2#"%&' (*)H: ? 2 ;< 0.=: ? 2#"%&' (*)I1G24"5:: = 1><.2" !>: ? 2@ A ? B CD: ? 2 "!3JGF K A:= ÿ 1><.2#"%&' (*)H: ? 2 ;< 0.=: ? 2#"%&' (*)MLN2&7? &5:: = ¸!á ä æä è¦ äÅ â ä æ à à æ ä Å â ç æ é$¦ âç 㦠âçá æ à 㦠㵳 ´ã!Š㦠- ã á ¦ - Å ç á à , á ä èã § é O éæ ä Ã Å å¦ âç$¦ ã § é%éæ ä à Šå!é$¦ ä å è é$¦ P æ à ãã Å âå æä è æ "- ¦ ä ä æ Ãå ¦ â Q, æ " Å æ / æ ç$¦ 㦠¦ à ä Å å Ä - ¦ Ã å ¦ ã æá )ä è æ á à é%æ Ã!Å â / !è Å å èä è æá æ à ã!¦ Ã ææ R à æ ã ã æ ç%æ R å - Äã Å æ - §$¦ ã 9 ï ÷ ï î%í ñ í ÷ S T ï õ öí ó U !í ÷ ø VW X8W$YZ[ \ ] ^ _`Qa b c\ b _d ^ d e [ _*\ f µCè æ å P Å â ¦ âá æ Ãá æ%ç æ é%¦ âç á Ãå á âã Å ã ä æ âå §¦ - - á / ã!ä á$Ä â æ Å -/ !è æ ä è æ Ãä è æ §$è¦ æ Å â ä æ à ⦠- )å á â ä à ¦ ç Å å ä Å á âãCá Ã!â á ä · âä æ à é$ãá CµC´Cª ä è Å ã!¦ é%á Ä â ä ãCä á æ à Š§ Å â ä è¦ ä!ä è æ Å Ã æ g Ä Å ¦ - æ â äµ³ ´ã!¦ à æã ¦ ä Å ã ¦ , - æ hQi j*kl m l nk VW oWp q nkr l r m i ks tu Á ç æ é$¦ âç%á Ã!¦ â$á æ à v Å ã!ã ¦ Å çä á , æå á âã Å ã ä æ â ä Å Å ä ã!å á à à æ ã á âç Å â æ g Ä Å ¦ - æ â äµ³ ´ã¦ à æã ¦ ä Å ã ¦ , - æ w x y z { z | } y | < v=*~ z | < ÿ =8 z | < = ý ¯ ¬ Áã¦ âæ R ¦ é - æ ª¦$ç æ é%¦ âçä è¦ äà æ g Ä Å Ã æ ã 9, á ä è "!E3 A $¦ âç "!JF K A Å ãÅ âå á âã Å ã ä æ â äã Å âå æÅ äÅ ãâ á äã ¦ ä Å ã ¦ , - æ ¼!âä è æ$å á â ä à ¦ à § ª¦ç æ é$¦ âçä è¦ äà æ g Ä Å Ã æ ã " !GJN A ¦ âç "!3EGF K A Å ã!å á âã Å ã ä æ â ä!ã Å âå æÅ ä!Å ã!ã ¦ ä Å ã ¦ , - æ%ý ä è æÃ ¦ â æá )Å ä ã ã á - Ä ä Å á âã ¦ å æÅ ã 2 F ? ? F F : VW VW$YZ[ \ ] ^ _`Qa b c\ b _ a b c _*\ [ µCè æ å P Å â 8Å ¦ â9á æ Ãå á â á à é$ã%ä á9¦8ç æ é$¦ âç9¦ - - á / ã$ä á $P â á /H/ !è æ ä è æ Ãä è æ ¦ - Ä æ ã Ħ à ¦ â ä æ æ ç , §¦ ¦ Ã ä §é%æ æ ää è æ ¦ - Ä æ ãà æ g Ä Å Ã æ ç Q, §ä è æá ä è æ à ¦ Ã ä §¦ âç Å å æ æ à 㠦 · âä æ à é%ãá µC´ ª ä è Š㦠éá Ä â ä ãä á æ à Š§ Å â ä è¦ ä!ä è æã á - Ä ä Å á âã ¦ å æå á à à æ ã á âç Å â ä á ä è æ " Ħ à ¦ â ä æ æ ãCÅ ã!¦ã Ä , ã æ äá )ä è æã á - Ä ä Å á âã ¦ å æå á à à æ ã á âç Å â ä áä è æÃ æ g Ä Å Ã æ éæ â ä ã hQi j*kl m l nk VW X8Wp q nk n $ ks i u Á!â9á æ à Q ¦ âç9¦8ç æ é$¦ âçuþ¦ à æã ¦ Å çuä á $, æ å á â á à é$¦ â ä!Å ä è æã á - Ä ä Å á âã ¦ å æá * Å ã¦%ã Ä , ã æ ä!á ä è æ%ã á - Ä ä Å á âã ¦ å æá ÿ ¦ âç ä è æã á - Ä ä Å á âã ¦ å æá Å ã!¦ã Ä , ã æ ä!á )ä è æã á - Ä ä Å á âã ¦ å æá ÿ w x y x { y < ? þ =.~ z x < =9L z x < ÿ = ý ¯ z x < =.LN < ÿ =
Q ¡ ¢ £ ¥¤G¦ §9¨9© ª «¦ ¬99®"¨.¬.ª ¯«°ª ±8²´³9µ ¶ · ¸ ¹9ª º ¨*ª ¦ » ¼½ ¾ ¿ À Á  ÃÄ Å ÆÇÈ Ä ¿ ¼9É Ä Á ÊË8¾ ¿ Ê È ¾ Æ ¼9Æ Â Ä¿ ÌÍ9Æ Î*Ï Æ ¾ À Á Ê Æ ÐÑ Ð Á  à ҿ Â Ð Ä ¾ É Á  Ä8Ë8¾ ¿ à ¾ É ¼.¼.Á  Ã+Ó ° Ô µ · ÕÖ × ÕØ Ù ÕÔ ÚÙ µ × Û ×"Ü ¶ µ Õ × Ù Ù Ö ÝÞ"Þ ßIà3á â ã ã ä ä â å ã æ· Ö Ø Ô Õ ç Ô µ èQ Õ ×"× Ô é Ù è Õé× Û × µ Ù ê ¶ · µ Ù Ö ÝÞ Þ"ßMëMâ ã ãÖ · ÕØ ÙQ ì ì.Ô ç.× Û ÙQí ì ¶ Ù Ö"îÙ × ï.Ù Ù ÕGâ ã ã ÕéNâ å ã µ Ù Ü µ Ù × Ù µÔ µÙ ê ¶ ì× Û ÕNâ ã ã î ¶ ×"· × é Ô Ù ÖÕ Ô ×"Ø Ô Õ ç Ô µ èM× ÔQé Ù èQ Õé× Û ×"µ Ù ê ¶ · µ Ù Ö ÝÞ Þ"ßëIâ â ãQÖ · ÕØ Ù× Û Ùí ì ¶ Ù ÖîÙ × ï.Ù Ù ÕNâ ã ã Õéâ ã ð µ Ùì Ù Ö Ö× Û ÕNâ â ã ñ«9Ô × Ù× Û × × Û · Ö9Ø Ô Õ ç Ô µ è ÕØ Ù"Ö Ù èQ Õ × · Ø Ö*è· Ü Û ×9îÙ"î µ Õé Ù é Ö.ò ó ô ô õ öõ ô ÷ õ øø ù ú û ù ü öý úø ó îÙ Ø ¶Ö Ù ì × Û Ô ¶ Ü Ûô ù öó í ì ¶ Ù Ö9· Õ× Û Ù Ü ¶ µ Õ × Ù Ù Ö9Ø Ô ¶ ì éÖ × · Ö ç × Û Ùµ Ù ê ¶ · µ Ù èÙ Õ × Ö Ô Õ ì Qï9Û Ù Õ ý þ þ ÿÔ Ö Ö · î ì Ù.í ì ¶ Ù Ö· Õ× Û Ù.Ü ¶ µ Õ × Ù Ù ÖÖ × · Ö ç × Û Ù.µ Ù ê ¶ · µ Ù èÙ Õ × Ö Õ Ô ÚÙ µ* Õé "é Ù èQ Õé µ Ù Ø Ô ÕÖ · é Ù µ Ù éQ Ö9Ø Ô Õ ç Ô µ èQ Õ × ñ °· Üñ é Ù ÿ · Ø × Ö9Ø Ô Õ ç Ô µ èQ Õ ×. ÕéÕ Ô Õ Ø Ô Õ ç Ô µ è Õ ×.Ö · × ¶ × · Ô ÕÖ ñ ª Õ°· Üñ ñ î × Û ÙÕ Ô Õ Ø Ô Õ ç Ô µ è ÕØ Ù· ÖQé ¶ Ù× Ô$× Û ÙØ ¶Ö × Ô èÙ µÕ Ô ×îÙ · Õ ÜN î ì Ù× ÔÜ ¶ µ Õ × Ù Ù× Û ÙØ Ô Õé · × · Ô ÕÖ µ Ù ê ¶ · µ Ù é"î × Û Ù9ÿ µ Ô í · é Ù µ ç Ô µ*Ù èÿ ì Ù.· Õ"Ö · × ¶ × · Ô Õì · Ù9× Û Ù9Ô Õ Ù9é Ù Ö Ø µ · îÙ é · Õ¦ Ù Ø × · Ô Õ ¢ ñ ï9Û Ù µ Ù"× Û ÙØ ì · Ù Õ ×9Ô ç* Û Ô Ö ×9ï9 Ö.Õ Ù · × Û Ù µç µ Ô èI× Û Ù®¦ ³3Õ Ô µ .µ · × · Ö Û î ¶ צ ÿ Õ · Ö Ûñ ª Õ°· Üñ ñ Ø × Û ÙÕ Ô Õ Ø Ô Õ ç Ô µ èQ ÕØ Ù9· Ö.é ¶ Ù× Ô × Û Ùÿ µ Ô í · é Ù µÕ Ô ×.îÙ · Õ Ü î ì Ù9× Ô Ü ¶ µ Õ × Ù Ù × Û ÙØ Ô Õé · × · Ô ÕÖ µ Ù ê ¶ · µ Ù éî × Û ÙØ ¶Ö × Ô èÙ µ ñ*«9Ù Ù é ì Ù Ö Ö× ÔÖ × Û · Ö· Ö× Û ÙèÔ Ö ×¶Ö ¶ ì Õ Ô Õ Ø Ô Õ ç Ô µ è ÕØ Ù"Ö · × ¶ × · Ô ÕQ· Õÿ µ Ø × · Ø Ù ñ ωγ δρωρ δγ ωρ δγ ωγ δρ ωγ δρωρ δγ ! " # $% & ' ( ) * + , -. / 0 1 2 34 576 8 9 : ; < = > ? @ A B C D E F G H I J K L MN O P Q R S T U V W X Y Z Y [\ ] ^ \ _ `a ] b cdW ]e f\ g fha i j k i `l`lc e _ W bd`a e b m `a n c _ k Y ohp qhpsrt uwvt uhxzy {}|~ dy t z ¬.Û Ù Õ ì8Ü Ô ì8Ô çèQ × Ø Û èQ · Õ Ü· Ö Ü · í Ù Õé Ù è Õé8 Õé · Õ ÜQØ Ô Õ ç Ô µ èQ Õ ×.Ô ÚÙ µ9× Û × · ÖÔ ÿ × · èQ ì ç µ Ô è× Û ÙØ ¶Ö × Ô èÙ µ ÖÿÔ · Õ ×Ô çí · Ù ï ñ ª Õ× Û ÙÖ èÙ9ï9 × Û Ù9× ï.Ô"ÿ µ Ù í · Ô ¶Öÿ µ Ô Ø ¶ µ Ù èÙ Õ ×× Ö Ö GØ Û Ù Ø · Õ Üç Ô µ Ø Ô ÕÖ · Ö × Ù ÕØ ÕéØ Ô Õ ç Ô µ èQ ÕØ Ù 3 Õé · Õ Ü× Û ÙÔ ÿ × · èQ ì Ô ÚÙ µ*Ø Õ ì Ö Ô"îÙ9· Õ × Ù µ ÿ µ Ù × Ù é Ö* ¨.¦ § èÔ µ Ù9Ö ÿÙ Ø · Ø ì ì Ö *ù ú ô ÷ ü ý õ ú ÷ h 8ý ÷ õ ô û ý ø ÷ õ ù ú ò÷ õ öõ ý ÷ õ ù ú z .ü ù þ ó ö ô ¨.¦¯9§ 8ï9Û · Ø Ûµ Ù ê ¶ · µ Ù Ö"Qÿ µ Ù ç Ù µ Ù ÕØ ÙÔ µ é Ù µ é Ù Õ Ù éÔ Õ× Û Ù Ô ÚÙ µ"Ö Ù × ñ ª ÕÔ µ é Ù µ× ÔÙ Ö × î ì · Ö Ûÿ µ Ù ç Ù µ Ù ÕØ Ù Ô µ é Ù µ .ó õ ÷ ó ø ù öò ù ô õ ÷ õ ù úù û ÷ õ þ õ ÷ û ú8ø ÷ õ ù ú ô Ø ÕQîÙ ¶Ö Ù é8 ï9Û Ô Ö ÙÜ Ù Õ Ù µ ì8ç Ô µ èI· Ö9 Ö.ç Ô ì ì Ô ïÖ £ ¡ ¢ £ ä ä ä £ ¢¤ ¥¦ ¤ § ¨ © hª ¨ «w¨ ¢ ¨ ¥ ª ¨ àá ã £ â æ ¤ § ¨ © hª ¨ ¦ >â ¢ ñ ï9Û Ù µ ÙÙ Ø Û ¢ ¨ é Ù Õ Ô × Ù Ö"Qÿ µ èÙ × Ù µ Ù Ø Û ª ¨ · × Ö Ö Ö Ô Ø · × Ù éï.Ù · Ü Û × 8 ÕéÙ Ø Û «d¨ · × Ö Ö Ö Ô Ø · × Ù é$¶ × · ì · × Nç ¶ ÕØ × · Ô ÕGµ Õ Ü · Õ ÜÔ í Ù µá ã £ â æ" ÕéGé Ù Ö Ø µ · î · Õ Ü$Û Ô ïM· èÿÔ µ × Õ ×× Û Ù ÿ µ èÙ × Ù µ9í ì ¶ Ù Ö9 µ Ù"ç Ô µ9× Û ÙØ ì · Ù Õ × ñ
ST U'V W X V Y Y Z\[ ] ^ V V`_=a bcd e fa ghicge jflke mnpoq r s t ue v ce a w xzy{ |} ~ B{ + B y{ B} +{ q : r s Q T " T&ca b/s T r + ' r s T " T q ca b9 U" T ' ¡ ¢ £ ¤ ¡¤ ¥¦§ ¤ £ ¡ ¤ &¨ © ¨ U:ST q q s T ¨ a r ª U « ¬ ^ '® ¯°± ² ± ³°z´µ ¶µ· ¸+³°B¹ ² º » ± °²¼± ½¾B¿ ± À » ² ± ³°ÁÂm QÃBÄ Tlca b : = q Å ÆÇ È:Ç É ÄÊ T ¨& ÃË T&ca b " q Å ÆÇ È:Ç É Ë Ê Ì g ' r s Q T 2 ÃBÄ s T r + ' r s T " ÃË s Í ca b ¨ © ¨ T Å ÆÇ È:Ç É Ä=Î É Ë Ê s T s © T X qs Ís Ï r s Ð T ca b Å ÆÇ È:Ç É Ä"Ñ:Ò É Ë Ê s T s © T Ì g r XBT U s Ó q T s s s T s X s UT ¨ q "T ª s Ó T s ¨ q ¨ T ca b Ì e ks ÓÌ W Ì X jbml ¨ q ª s Ó q " Í q q &ÔÕ ¢ Ö £ ¡ Õ 2 q Ð s ¨ qT ¨ "¨ 'T ¨ s ks ÓÌ× T q Ø q "T Xs Ì f s " r " : ¡ q T q q Ù q s Ó' " Ó T s +¨ "T ¨ XT s ¨ s T ¨ U q T s s s T s ¨ © s s Ì ×Ì V Ì ] ÌÚ¤ Û ¤ Ü'¡ Ý Õ2 ¦¡ ¤ ¥"£ §B ÞÕ ¢ o q ¨ s Ó2 n ÏÌ ] Ì ß X s "T Í qs Í q s 'T Ù s 2r 2s s Ø +r ;Ð T r T q 'T Í q Ì g 2s s 2r ;Ð T r + T : Í q rà T r s s U r s á n ÏÌ V Ì × â s B T s ¨ s jbm:a r ¨ s q Ï r s Ó Ð q q © q r s X s s ' r s & s & 2 r s s UÐ T r Ì g jbmQ ¨ q © ¨ s Ó& "s s +r 5Ð T r ' ' Í q q äã Õ § £ å æ çÕ å& r à 2 & r s s U r s s ks ÓÌ ×Ì :s s ks ÓÌ W Ì Ì j 2 2s s 2r ;Ð T r T r ¨" qT Í q X s "T Í qs q q ¨ s Ó+ 2 'T Ù s 2r Ð T r s : 2 Ì f s T s r q q Ð q s 2 jbmX s s s T q r s T q ¨ © ¨2 T T Ï r s Å èBÇ é Ê r T T Ï r T T s Å ê Ç è Ê Ì o s T ¨ q T s Ó r s s U r s ë9 s ª r s s U r s " qìí+íîïs ks ÓÌ ] ë T q T ¨ X T q T T s s T : Ï r s Ð T s q T s Ó2 r s s q Ï r s q ¨Ì ´µ ðµ:ñ'ò ó ôõ ö ÷ ó ö øò ÷ o q U " ' U 2 q s X ù T U:"T "T ª q T Q¨ Ð ¨ r s Ó T ù q s ¨ T q s r q X s s 2¨ s ¨ s ks ÓÌß Ì g 'T à q2 Ø T q q s ú U ¨ q s ¨ +Ì ûQüýþ ÿ £ ¡ Ý ¥"£ Õ¢Ì e + q ¨ q q Ð s ¨ Tr s © ¨ s q T "T "T ª qB s T T "s s 2s t + 22r s T s T ¨:¨ ¨ s T Ó " q U X 2 T Ð '¨ s ¨ ¨ T U £ £ Û Õ'¨ s Ó & T q Ì « 'g a g ù ST "T ª q T U s q Ì ûlý ¢ £ § £ ¡ ¢ Ì _ T r " T Q¨ "T ¨ T ¨& Í q T q ' s © ¨ s hmX T q T T s : q hm&s jbm&s ¨ ¨Ì o T Sm ù T ¨ T q T U T Ù q hms T Ð T s T X s q T T s s T q q s ¨' r U:r s Ó a m g U « T ª s Ó s T r 'T s Ó s r ¨ q s ¨ s : q Ð s r s Ì
! "#$%&"& '! )(* +-,/.0 1 2 3 4 5 6 7 8:9 ; < = > ? @!A B C:D:E A < 8F A > G:H-; < G E ; C 8C ? A*< I!JC K6L C ; = > G C M!N M > ? @PO < ? M A ; F > ? AQH-; < @ ; F 8&8&> ? @SR T ST-Matchmaker Translator Solver Pre-processor ISTMatchmaker ITranslator ISolver IPreprocessor U V W X Y X Z%[ \ ] ^ _![ ` a b:[ b ] ^ V \ a ] \ c b a X dfe&g h i jQg k l h m m k g n "&o pq r s*r t6u o 2 v%w r xyQr z p z u%2 v!u r2 xy 0 r { pPu o pv r s { 2 z qy 0 r w p v v| 1Qv 2 z qv xP|Qr s 2 w%y 0 r w p v v 2 z qu p w o z 2 } 1 p v{ p 0 v 2 x2 s 0!u ru o pu p w o z 2 } 1 p v1Qv p ~| u o p 1 u o r 0 v62 zy 0 p { 2 r 1Qv6&r 0 v n "&o p v p%u p w o z 2 } 1 p v6u 0 zQv t r 0 xu o p'&+xr ~ p s-2 z u r z p } 1 2 { s p z uxr ~ p s-o 2 w ow z|Qpv r s { p ~xr 0 p%p w 2 p z u s n df-k h g n "&o 2 v-2 v-u o p&w p z u 0 s w r xyQr z p z u-r t u o p& 0 w o 2 u p w u 1 0 p n zPu o p&w 1 0 0 p z u-y 0 r u r u yQp u o 2 vPw r xyQr z p z u%2 vP z jQ h g r t&u o p'!&+f u 1Q~ 2 r.6 n "&o 1Qv Qu o 2 vPw r xyQr z p z u v o 2 p s ~ vu o pPx u w o x p 0t 0 r xv r s { p 0!v yQp w 2 QwP~ p u 2 s v Q s s r 2 z qu o pP1Qv pPr t6~ 2 Qp 0 p z u v r s { p 0 v62 zu o p%t 1 u 1 0 p n "&o p w u 2 { 2 u 2 p vz p p ~ p ~u rv 1 y yQr 0 u!u o px u w o x 2 z qy 0 r w p v v! 0 p~ p y 2 w u p ~2 zu o p v p s t p y s 2 z 2 z q w u 2 { 2 u ~ 2 q 0 x2 z(*2 q nn -!-& Q ¡6¢ £ ¤:¡ £ zu o 2 v!v p w u 2 r z* u o pp yQp 0 2 xp z u v!w 0 0 2 p ~r 1 uu rp xy 2 0 2 w s s zQ s 3 p%u o p|Qp oQ { 2 r 0r t r 1 0v xxp u 0 2 w u &r Px u w o x p 0&yQp 0 t r 0 x2 z qPy 0 r w 1 0 p xp z u&u v v& 0 p!y 0 p v p z u p ~ n "&o pp xy 2 0 2 w s:0 p v 1 s u voQ { pPx ~ pp { 2 ~ p z u!u oQ u%1Qv 2 z qw r zQv u 0 2 z u%v r s { p 0!2 v%{ 2 | s p u p w o z 2 } 1 p%t 0 r x¥Py 0 w u 2 w s-yQr 2 z u&r t*{ 2 p P y 0 r { 2 ~ p ~v p { p 0 s-w r zQ~ 2 u 2 r zQv&r zv 2 q z 2 Qw z u w r zQv u 0 2 z ut w u r 0 v 0 p%t 1 s s s p ~ n - ¦Q§!¨-© ª «*¬ ® ¯°© ¯:± ² ®Q¯:³© ¯:¬ "&o pp yQp 0 2 xp z u v&p 0 p2 xy s p xp z u p ~´1Qv 2 z qu o pµ ¶·y 0 r q 0 xx2 z qs z q 1Q q p *o 2 w o 2 v zfp w 2 p z u5 { ~ 2 s p w ut r 0u o p2 w 0 r v r t u n ¸*¹ º y s u t r 0 x n "&o pu p v u v&p 0 pyQp 0 » t r 0 xp ~Pr z%w r xy 1 u p 062 u ou o p!2 w 0 r v r t u*2 zQ~ r !v6 60 r t p v v 2 r zQ s r yQp 0 u 2 z q%v v » u p x n ¼P½ o 3%.!¾°.&u o s r zx2 w 0 r y 0 r w p v v r 0 zQ~ %xp q | u p v6r t*#!.!xp xr 0 n "&o p|Q w q 0 r 1 zQ~u v v!r tu o pr yQp 0 u 2 z qv v u p x¿´ z r z v m h g À l h m 2 z´2 w 0 r v r t u Á v u p 0 x2 z r s r q ¿´p w p y u%u o p n ¸*¹ º q 0 |Q q pw r s s p w u r 0%&p 0 p0 p ~ 1Qw p ~u ru o px2 z 2 x1 x·2 z
ÂÃ ÄÅ Æ Ç Å È È ÉÊ Ë Ì Å ÅÍÎ ÏÐÑ Ò Ó!Î ÔÕÖ%Ð&Ô&Ò ×!Ó)Ø*Ò Ù-Ú/ÛÜ Ý Þ ß àÒ á Ð6Ò Î â ãåä&æ ç-è é ê ë ìQí î ï ð ñ ò:ó-æ ôPõ î ï ö ÷ ë ø:ö õ ê ò ä&æ ø:è î ù ÷ òQôPæ*ú í î í ST-Matchmaker Solver Translator û Pre-processor Receiving demand and offers * [for each offer in offers] [else] Checking conformance of offer with demand [demand is consistent][else] Pre-processing demand Translating demand Checking consistency of demand Pre-processing offer Translating offer Checking consistency of offer Processing offers [offer is consistent] [offer is conformant] [else] Declaring offer as conformant Computing utility of offer Selecting the optimum ü offer ý þ ÿ þ ÿ þ þ þ
!#"#$ % & '#(#)*"+'+% ,&.-/% 02143#5 6 7 8 9#% : ";% < =?> @ A B C D EF G H?I?J F A =#K F C L?M2@ A L J @ H =#H D F/A NO#H P;Q H @ B C L H RS R C D ET A D R F @ K C D FUM2@ A E @ K =+=+C D EWV X Y 5 Z [ 5?\ Y ] Y 7 Z ^/_6U` a[ b Y c [ d Y 6U^27 d \ [ 5 e [ 5 [ dU` [ ^? ^2f Y ^ ^ 7 g h [ i % d Y 5 Z [ 5/\ Y 5 [ Z 6U` [#^ 7 c d 7 e j 7 ` dU` [ Y e?f Y ^ ^ 7 g h [ Y 6 \ h 7 [ 5 ^#f 5 Y Z 6U` [ Zg Y ` ` ^ 7 Y dU h27 d \ [ 5 e [ 5 [ dU` [ ^+k#7 \ a\ a [ Y fU[ 5 \ 7 d c ^ ^ \ [ _ Y 5;\ a [#d [ \ k Y 5 l2 ] [ 5 c [ Z*\ 7 _m[ ^?7 don p*5 6 dU^?k+[ 5 [#5 [ c 7 ^ \ [ 5 [ Zm dUZm\ a [#_ b 7 _m6 _ dUZ\ a [_m7 d 7 _m6 _q\ 7 _m7 d c ^+e Y 5#[ ` ar[ b fU[ 5 7 _m[ d \+k+[ 5 [Z 7 ^ ` 5 Z [ Z2i s2t u2trv?w x y?w z{ | y?}+~ |2{ } Y \ ae 5 Y _m\ a [ Y 5 [ \ 7 ` h? dUZf 5 ` \ 7 ` h/f Y 7 d \ Y e?] 7 [ k \ a [o dU h ^ 7 ^#\ Y Z [ \ [ 5 _m7 d [\ a [ \ [ dUZ [ dU` Y e\ a [fU[ 5 e Y 5 _ dU` [ Y e` Y dU^ \ 5 7 d \r^ Y h ] [ 57 ^rZ 7 ` 6 h \\ ^ l2i+ Y ^ \[ b j fU[ 5 7 _m[ d \ h+^ \ 6UZ 7 [ ^m 5 [ogU ^ [ Z Y d7 Z [ d \ 7 e 7 d c ^ 7 c d 7 U` d \e ` \ Y 5 ^*\ aU \mZ [ \ [ 5 _o7 d [o\ a [ ] 7 g 7 h 7 \ Y e/"+ !#$ "+U,!5 [ ^ Y h 6 \ 7 Y do7 do\ a [k Y 5 ^ \;` ^ [ i '+a [#] h 7 Z 7 \ Y eU\ a [5 [ ^ 6 h \ ^?_o gU[oZ 7 U[ 5 [ d \gU[ \ k+[ [ dZ 7 U[ 5 [ d \*^ Y h ] [ 5 ^#gU[ ` 6U^ [md Y \* h h Y e?\ a [ _7 _of h [ _m[ d \\ a [o^ _o[ ^ Y h ] 7 d c a [ 6 5 7 ^ \ 7 ` ^ i 3^? d[ b _of h [ ] 5 7 g h [ ^/` dgU[+f 5 [ f 5 Y ` [ ^ ^ [ Z* dUZ*5 [ Y 5 Z [ 5 [ Z7 d Y 5 j Z [ 5;\ Y Z 6U^ \;\ a ["+ !\ Y *` Y dU` 5 [ \ [^ Y h ] [ 5; dUZ c [ \;*gU[ \ \ [ 5+fU[ 5 e Y 5 _o dU` [ i '+a [ 5 [ e Y 5 [ Y 6 5#[ b fU[ 5 7 _o[ d \ h25 [ ^ 6 h \ ^# 5 [7 d 6 [ dU` [ Zg a [ 6 5 7 ^ \ 7 ` ^ Y e/\ a [o,#!+0 \ 6UZ 7 Y ^ Y h ] [ 5 i % d Y 6 5m[ b fU[ 5 7 _o[ d \ ^ /k+[raU ] [r` Y dU^ 7 Z [ 5 [ Z\ aU \m\ a [rk Y 5 ^ \o` ^ [7 ^m"+ !#$ "+U,! k#a Y ^ [*` Y dU^ \ 5 7 d \ ^+ 5 [*Z [ d [ Z^ Y \ aU \+\ a [ o5 [ Z 6U` [\ a [o U U * ^+h [ ^ ^# ^ f Y ^ ^ 7 g h [ i '+a [^ 7 c d 7 U` d \` Y dU^ \ 5 7 d \+e ` \ Y 5 ^+\ l [ d7 d \ Y ` ` Y 6 d \# 5 [*\ a [*e Y h h Y k#7 d c r'+a [md 6 _mgU[ 5 Y e;] 5 7 g h [ ^ Y e;\ a ["+ !k#a 7 ` a/U\ Y c [ \ a [ 5*k#7 \ a\ a [ 7 5Z Y _ 7 dU^ Z [ \ [ 5 _m7 d [\ a [ U ; c 7 ] [ dg \ a ["+ 5 \ [ ^ 7 df 5 Y Z 6U` \ Y e#\ a [rZ Y j _ 7 dU^ i [Z 7 ^ \ 7 d c 6 7 ^ aogU[ \ k+[ [ dr o 2 o 6 dU^ 7 c d [ Zm7 d \ [ c [ 5 ^?f 5 Y ] 7 Z 7 d cm ^ Y h 6 \ 7 Y dU^ofU[ 5] 5 7 g h [ o ¡ W o 6 dU^ 7 c d [ Z ^ a Y 5 \7 d \ [ c [ 5 ^of 5 Y ] 7 Z 7 d c n ^ Y h 6 \ 7 Y dU^#fU[ 5*] 5 7 g h [ U dUZ ¢ o ^ 7 c d [ Zh Y d c 7 d \ [ c [ 5 ^#f 5 Y ] 7 Z j 7 d cm£U¤ ¥¦ p §*^ Y h 6 \ 7 Y dU^+fU[ 5] 5 7 g h [ i r'+a [d 6 _mgU[ 5 Y e/` Y dU^ \ 5 7 d \ ^ ¨ Y e/\ a ["+ !? k#a 7 ` a` d U[ ` \#^ Y h ] 7 d c \ 7 _o[ [ ^ fU[ j ` 7 h h 7 d` ^ [ Y e/7 d [ © 6U h 7 \ 7 [ ^ i r'+a [ 5 7 \ Y e/m` Y dU^ \ 5 7 d \ ª k#a 7 ` a7 ^ c 7 ] [ dg o\ a [*d 6 _mgU[ 5 Y e2g Y 6 dUZ] 5 7 g h [ ^ 7 dr` Y dU^ \ 5 7 d \ i2% d c [ d [ 5 h /^ Y h ] [ 5 ^* 5 [ g h [\ Y 5 [ Z 6U` [o\ a [7 d 7 \ 7 h#^ [ 5 ` a^ fU ` [ 6U^ 7 d c 6 dU 5 m` Y dU^ \ 5 7 d \ ^ i - Y 5+[ b _of h [ \ a [6 dU 5 o` Y dU^ \ 5 7 d \?«U¬ ¦ p` 6 \ ^ Y \ a [ 7 d 7 \ 7 h/^ [ 5 ` ar^ fU ` [ k#a [ 5 [ ^+\ a [*g 7 dU 5 ` Y dU^ \ 5 7 d \#« ¬#®«2¯* ¦ p pmZ Y [ ^+d Y \ i s2t °/t± y? w } ² y;{ ³´{ µ2² { ¶ w y/x² · ¸/² w ¹² y?} % dm\ a [+ 5 ^ \?[ b fU[ 5 7 _m[ d \ \ a [+fU[ 5 e Y 5 _ dU` [ Y eU` Y dU^ 7 ^ \ [ dU` ` a [ ` l 7 d c º´Y e g Y \ ao` Y dU^ 7 ^ \ [ d \ dUZd Y d » ` Y dU^ 7 ^ \ [ d \;"+ !+^ º k# ^/_m[ ^ 6 5 [ Z2i % d Y 5 Z [ 5/\ Y 5 [ Z 6U` [+\ a [+7 d 7 \ 7 h ^ [ 5 ` am^ fU ` [ ^#h [ ^ ^ ^+f Y ^ ^ 7 g h [ \ a [\ [ ^ \ [ Z"+ !+^` Y d \ 7 d [ Z\ a [_m7 d 7 _m6 _¼d 6 _gU[ 5 Y e;` Y dU^ \ 5 7 d \ ^ d [ [ Z [ Zr\ Y g 7 dUZ h h/] 5 7 g h [ ^ k#a 7 ` a7 ^ c 7 ] [ drg r\ a [m[ b f 5 [ ^ ^ 7 Y d ¨+½#¾ ¿ÀÁª ® ¦ i - Y 5;[ b _of h [ -/7 c i i Z [ f 7 ` \ ^;\ a [*"+ !6U^ [ Ze Y 5 À n ª À ¦ dUZo-/7 c i i `#Z [ f 7 ` \ ^ \ a ["+ ! 6U^ [ Zre Y 5 ÃÀ ªÁÀ n i % d\ a [m` ^ [ Y e;d Y d » ` Y dU^ 7 ^ \ [ d \"+ !+^ 2` Y dU^ \ 5 7 d \ \ Y 7 dUZ 6U` [*\ a [7 dU` Y dU^ 7 ^ \ [ dU` k# ^+[ b f h 7 ` 7 \ h r Z Z [ Z ^ [ [-/7 c i/ i g dUZ i Z i
ÄÅ ÆÇ È É Ç Ê Ê ËÌ Í Î Ç ÇÏ Ð Ñ#Ò#Ó Ô ÕÐ Ö#×#Ø*Ò+Ö+Ô ÙÕ.Ú/Ô Û2Ü4Ý#Þ ß à á â#Ô ã Ò;Ô Ð ä åçæ+è é2ê ë ì í îUï ð ñ ò ó ô?õ2è ö÷ ð ñ ø ù í ú?ø ÷ ì ô æ+è ú?ê ð û ù ôUöè/ü ï ð ï var int x0 in 0..255; ... var int x2 in 0..255; solve { x0 > 10; x1 > 10; x2 > 10; }; (a) Unary constraints (consistency) (b) Unary constraints (non-consistency) (c) 3-ary constraints (consistency) (d) 3-ary constraints (non-consistency) var int x0 in 0..255; ... var int x2 in 0..255; solve { x0 > 10; x0 < 10; x1 > 10; x2 > 10; }; ... solve { x0 + x1 + x2 > 10; x1 + x2 + x3 > 10; x2 + x3 + x4 > 10; }; ... solve { x0 + x1 + x2 > 10; x0 + x1 + x2 < 10; x1 + x2 + x3 > 10; x2 + x3 + x4 > 10; }; ý þ ÿ å þ þ ÿ þ Ö ! Þ " #" Þ à "%$ &' ( )' Þ à *+ , # " ;Å à * -# $" # ß '- Æ +. $ ,'" à " # ,'. Æ +. . / à , 0 *à ,1" * Å 2 2 UÅ ,'- 2 Å Þ 0 +- $ * oÅ à ,'" 3 UÔ ,4# rÒ+Ð Ñ "5# " # -6 #à # 7" * oÅ 2 2- $ * Å à ,'" É 8 Þ Å , 0 -9& Þ $ *;:# $7: < = = Å ,'-+> ´Þ Å , 0 -?& Þ $ *@:# $1: = 3 Ö #Þ " ß 2 # "%$ &# " ( )' Þ à *+ , # " ;Å Þ " $ 6, oà , Ú/à 0'3 Ì Ì 3 Å 3 Ý ". Å ,1A' 5" , /É # 5)' Þ & $ Þ * oÅ ,'. ) Þ " , # " +Å ?2 à , Å Þ A' UÅ B à $ Þ " $?# UÅ # ( . ß # à $ ,1# à * " " 2 à 0 # 2 Æà ,'. Þ Å " 6 #à # oÞ " )' . ## $> Å ,'-873 Ö à "%6 #Å "%# ( )' . # -?A' UÅ B à $ Þ " à ,'. # . $ ,'" à " # ,'. Æ +. . / à , 0 mà " #Å . # ßUÅ 2 2 ÆÅ " Å # à " ! UÅ A à 2 à # Æ ) Þ $ A 2 * rÉ " $# 5" $ 2 B Þ $ , 2 Æ +, - "# $ ! ,'- rÅ " $ 2 ß # à $ ,1& $ Þ - # Þ * oà , à , 0+6 # ÞÅoÒ+Ð Ñ´à "" Å # à " ! UÅ A 2 5$ Þ , $ # 3 Ô , rÒ+Ð Ñ "# " # -6 #à # +2 Å Þ 0 - $ * Å à ,'" É 8 ¼Þ Å , 0 -?& Þ $ *@:# $C = Å ,'-+> ´Þ Å , 0 -?& Þ $ *D: # $1: = 3 × " ß 2 # " +Å Þ 5" $ 6, oà , Ú/à 0'3 UÌ Ì 3 AE3 Õ $ # # UÅ #& $ Þ+Å Þ à # à "A' 2 $ 6GF UÉ ( . ß # à $ ,+# à * " Å Þ B Þ Æ 1" à * oà 2 Å Þ+à ," * Å 2 2 /Å ,'-+2 Å Þ 0 5- $ * Å à ,'" É A ß #& $ ÞÅ Þ à # à " +Å A'$ B F UÉ ( . ß # à $ ,1# à *+ 0 # ". $ ,'" à - Þ Å A 2 Æ ?6$ Þ " #à ,+2 Å Þ 0 - $ * Å à ,'" 3 Ú $ Þ ( Å *+) 2 É 6 Þ Å " ?à ,1" * oÅ 2 2'- $ * Å à ,'" ;à # (a) Consistency (small domain) H 0 50 I 100 150 200 250 J 300 350 K 1 2 3 4 5 6 7 8 9 10 Arity Execution Time (in milliseconds) N = 50 N = 100 N = 500 N = 1000 N = 1500 (b) Consistency (large domain) 0 50 100 150 200 250 J 300 K 350 1 2 3 4 5 6 7 8 9 10 Arity Execution Time (in milliseconds) N = 10 N = 15 N = 20 N = 25 N = 30 ý þ ÿ L G þ þ ÿ þ
MN O1P Q R P S S TVU W X P PZY\[ ]^_ ` a[ bcd5^b` eagfE` hikjl m n o p` q ^` [ r s%t u v w x y z{ | }%~% { v s { x %u v u } s} y {Ev } } u w x } x y z? v y { u x y {'u v z u ssx y z n ' n 5 ' n ' O 'N ' l N n U T S S N l n N n N1N n m N l n O 5n P S S4n n ' Rn \ N l ¡ 1N n '+n 1n + O' n G ' n ' O5N ' l N n W S N l n N 'n ?N1N n m N l n O ¢n 5 N %' l n E n + £ j N +'? +n 9fEn ¡'£U U £ ER l 5N l 5 +5N l n O N m n 1 n 1 m n n 4 m' OG l N £%b%N n ¡7n N m + 'N + 9 m ' l+ ? ' l N n ?n \^[ ]@ l N +N + 4N l n On ' l N R% l m +n fEn ¡U U £ \N l 9 m l l n n ¡'£a n 'N 9 4 m ' l9 ? N l n N +n 1 ¤ m'N 5 7N l n O R m ' l ' l N n n O+ £ b 1 '4 l n ' l n + ?N n m' O n ¡ ¥ ' n ' O4 n ¡ n 1 +N 'N ' N l ¡ +N n ' £ ` 1 5^[ ] n 9 1N ' 1N n ' R ¦@l N ¡ l § 9¨ ©1N '9ªgl N ¡ 1 l § §© £'c m N l n 4fEn ¡'£%U P £'j N 9'+ ER ' l l 1N ' ? l N ' n N E' 'N n l5 + 'N 5 m n n + N n O n ' l N n 9l ' +ª«N '1¦7£ b n ' 'N n ln m 5 5 N 'N ? n ¡ l l n +N 9 'N m' n 5 N l 1 9 + m n ' N 9'5 m '£ Non-consistency (small domain) 0 50 100 150 200 250 ¬ 300 350 1 2 3 4 5 6 7 8 9 10 Arity Execution Time (in milliseconds) N = 10 N = 15 N = 20 ® ¯ ° ° ±² ³ ´ µ ¶ ³E· ¸ ¹ º» ¹ » ¼ ½ ¹ » ³ ® ³ ¶ ² » ½ ¾½ ¿ ² ½ À ® » ¯² Á  ² ¸ ® º² » ¶ ³ ° YGn 4l ' 5 9 N l ¡ + +N n ' R' 9e]hG l5 l 5N \Ã Ä Å Æ Ã Ç Æ È+É È+Ã Ê Ë Ì n 7 7 l n 5 4 9N9 ¥ ' n +^[ ]gn GN9 n 'N l O7 ' l N n £Eb n ' 'N n ln m ? + 5 N 'N 5n n n N % N l 9 'N 5n §© Í n n ¡ ¡ l 'N 9n 1N E 1N n N £ [ m +n ¡5m ER ' l l 1N ' ' ' n ' O n ¡n %N N l 1N ' N '9 Î' l m' n ¡9 +N % 1N n 'N '9'N n ¡1N 4N l n O9' ÏQ £'[ n ' m' m'N %N l n O n 1 1N ' N ' Î' l %n %m' m'N O l% 'N +N '? N l ¡ +N n 'N l g R 9 N ' m' + 'N ' n ' O7 n ¡m' n ¡ m lN l N 7 N 7'1' l l + Ð+ n O1n 9 N £ ÑÒ ÓEÒ7Ô?Õ Ö × Õ Ø Ù7Ú'ÖÛ Ü7Û ÝÜ Û Þ ß ÖEàÜ á âEÜ Ø ß Ù7Ü Ö%ã ä ` '5 ' l n + R ' l l 1N ' ' l 1N ' n ¡ åGN ¡ N n ER ' ' n N '7 ¥ ' n +^[ ] åGN ? N m l £%[ n ' 9 l 1N ' 9 n ¡ n +N 7N7 N n æ'N n n O7 l å\N '7n G l l N n 7 ' l n l ' n n ån
çè é1ê ë ì ê í í îVï ð ñ ê êZò\ó ôõö ÷ øó ùúû5õù÷ üøgýE÷ þÿ ÷ õ÷ ó ! " #! # $ " &% ... solve { x0 + x1 + x2 > 10; not (x0 + x1 + x2 > 10); }; ... solve { x0 + x1 + x2 > 10; not(x0 + x1 + x2 < 10); }; var int x0 in 0..255; ... var int x2 in 0..255; solve { x0 > 4; x1 > 2; x2 > 10; not(x0 > 4 & x1 > 2 & x2 > 10); }; var int x0 in 0..255; ... var int x2 in 0..255; solve { x0 > 4; x1 > 2; x2 > 10; not(x0 > 4 & x1 > 2 & x2 < 10); }; (a) Binary constraints(conformance) (b) Binary constraints (non-conformance) (c) 3-ary constraints (conformance) (d) 3-ary constraints (non-conformance) ' ( ) * + , * - . /02123 45/. 6 0 7 89 . :; . < 9 . : />= < ; 02; ? 0 ; @ ( < )0 A B 0 : ( /0 < C 8 * D E FHG I JG KLG M DHN GLO P Q F G RSP M D E GL KLJ 'è Q D P O D E GLM G T è D P MUQ V è F GL M 7çè P D D è MR ó D Q W G é X FG Y 'è D P MUZ F G G ó G Q D P M\[] ê ] ê ^ ] 'ý & T] Eï ð _F E P N F>F P KLGHG I è K5J V G FP O õó ô FF G R M D E FHG I JG KLG M D ì N D E F T M `Q è M D O è Q D P F D è W M TaF K5 V è b è V G F D E è MU M D E GL` F D G I JG K5G M D ] ÿ 2I JG K5G M D è V G F V D F P O D E F5G I JG KLG M D è GSF E P N Mc M \ý & T] ï [] %÷ M D E GSQ è F G\P O F è D F ` 'è d V G 5õó ô F ì ] G ] M P M e Q P M O P K +è M D R G K +è MR F è MR5P fG F ì D E G>JG O P K 1è MQ GHF E P N F è V M G è dG E è b P N D E G F JG Q DD P D E G M K5dG P Ob è è d V G F M\dP D E F K +è V V Eè MR_KLG R K R P K +è MF ] %÷ M D E GSQ è F G\P OHM P M e F è D F ` 'è d V GSQ P MF D è M D F ì ] G ]Q P M O P K 1è M D R G K +è MR Gè MR P fG F ì D E GJG O P K +è MQ G2J G F G M D F Eè M G I JP M G M D è V dG E è b P N D E G F JG Q D&D P D E GM K dG P O&b è è d V G F2O P K5G R KgR P K +è MF è MR 1è 5V M G è dG E è b P O P >F K +è V V&R P K 1è MF ] ø P D Q G D E è D M P M e Q P M O P K +è M D Q è F G FJG O P KgdG D D G D E è MaQ P M O P K +è M D P M G F ì K 1è W h M T_G b R G M D>D E G5F D P M TL K5J 'è Q D P MSJG O P K +è MQ GHP O D E G M G T è D P MSQ V è F G M 4çè P D D X F G Y 'è D P M&] ÷ M D E G N P F D Q è F G ì D E G J P d V G Ki Fb è d V G NE G M D E G M K5dG >P Ob è è d V G F F MR G [] 0 25 50 75 100 2 4 j 6 8 10 12 14 16 18 20 k Parameters (A = 1) Execution Time (in milliseconds) conformance (small domain) non-conformance (small domain) conformance (medium domain) non-conformance(medium domain) 0 50 100 150 200 250 k 2 k 3 l 4 j 5 m 6 7 8 9 10 Parameters (A = N) Execution Time (in milliseconds) n conformance (small domain) o non-conformance (small domain) conformance (medium domain) non-conformance (medium domain) ' ( ) * + p * q0 8 r 7 C 8&9 : . /s; . < 9 . : />= < ; 02; ? 0 ; @ ( < )0 A B 0 : ( /0 < C 8 *
tSu v_w x y w z z {}| ~ w w > H >& 2 >¡ ¢ £¤¥ ¡ ¦ ¡ §¨ § ¥ £ £ ¡& ©>ª£ «2¬ £ § £ >® ¯ ¡ ¦ ¡¨ ¦ ±° ² ³5³L ´ µU ¶&y2· ¸ ¹S¶¹ º » ³Lu ´¼ ¹\» ºH¼ » ´ º » ³Lu ´¼ ¹\¼ ¸ ¹ ¼ ½ ´ µU ¾_u ¼ ¼ ¹ ¶ · u ¿ À ¹\º » \Á ¹  ³_u ´Á ¾\u ´Á» ù ¾_¾ ´ µc ´u v» \¿ ´u v¼ » ´¾ · u ´ · ¾ Ä » S¼ » ´¾ · u ´ · ¾_Å · ¸Æu · v µ ¹ u · ¹ · ¸u ´Lw y ¶¹ º » ³_u ´¼ ¹µ ¹ · ¾Å» ¾ ¹2¹ Ç ¶» ´ ¹ ´ · u À À v Ä À · ¸ » µ ¸_¼ » ´ º » ³_u ´¼ ¹¼ ¸ ¹ ¼ ½  ´ µ5È µ ¹ ¾u ¹HÅ» ¾ ¹· ¸u ´S¼ » ´¾ ¾ · ¹ ´¼ vL¼ ¸ ¹ ¼ ½ ´ µ5È µ ¹ ¾ y · ¸ ¹ v_¼ u ´_¾ · À À¿¹H¼ » ´¾ Á ¹ ¹ Á u ¾¿¹ ´ µ_u ¼ ¼ ¹ ¶ · u ¿ À ¹ Ä ÉÊ ÉÊUËÌÍ Î ÏUÐÑÒ Ó Ñ Ó Ô Í Î ÕÖÆÓ × Ì&Ó Ø Î ÏUÓ ÖÍ Ò ´U· ¸ ¹_· ¸ Áa¹ Ç ¶¹ ³5¹ ´ · y· ¸ ¹L¶¹ º » ³_u ´¼ ¹L» º» ¶ · ³Lu À¾ ¹ À ¹ ¼ · » ´aÅu ¾H³5¹ u ¾ ¹ ÁÄa¹ Ź ¹ ´¾ ¶ ¹ Á ¿ v » ´ ¹» º· ¸ ¹¹ Ç ¶¹ ³5¹ ´ · ¾&» ´\Ù2Ú Û2Ü Ý Þc¼ u ¹ Á » ·¿ vLß¹ ´ µÄ à à2 ´_ß¹ ´ µá ¾ ¹ Ç ¶¹ ³L¹ ´ · y · ¸ ¹¹ Ç ¹ ¼ · » ´L· ³5¹>´ ¹ ¹ Á ¹ Á5· » È ´Á5· ¸ ¹» ¶ · ³Lu À» ù º » ³âu ¾ ¹ ·2» º¼ u ´Á  Á u · ¹» ù ¾& ¾¼ » ³5¶ · ¹ ÁÄ ¸ ¹´ ³5¿¹ 2» ºÁ ¹ ³Lu ´Á ¾ u ´ µ ¹ ÁHº » ³iã ä>· » å ä ´L¾ · ¹ ¶¾» º&ã ä Á ¹ ³Lu ´Á ¾u ´Á5· ¸ ¹>´ ³ ¿¹ 2» º» ù ¾ u ´ µ ¹ Á º » ³gã ä>· » æ äH ´_¾ · ¹ ¶¾» º2ã ä>» ù ¾ Ä >¾2» ³_u · ¼ ¸ ³_u ½ ¹ ¾¾ v ³5³L¹ · ¼ y Ź>¶¹ º » ³5¹ Á5· ¸ ¾2¹ Ç ¶¹ ³L¹ ´ ·º » ¿» · ¸_¶u u ³5¹ · ¹ ç è u À ¹ u ´Á_´ » ´ ç ¶u u ³5¹ · ¹ ç è u À ¹» ù ¾ Ä & µÄ| {a¾ ¸ » Å>¾5· ¸ ¹aé³5» Á ¹ À· ¹ ³5¶ À u · ¹\º » _¼ » ³5¶ · ´ µa· ¸ ¹\» ¶ · ³_u À>¾ ¹ À ¹ ¼ · » ´&y Ÿ ¹ ¹>Ź µ ¸ · ¾ ´_» ¿ ê ¹ ¼ · è ¹>º ´¼ · » ´¾>ë ì í î2u ´Á5À · ¹ u À è u À ¹ ¾ ´L ´ ¹ ï u À · vL¼ » ´¾ · u ´ · ¾ ë ð í îu ¹H u ´Á » ³LÀ v_u ¾ ¾ µ ´ ¹ ÁÄ var int x0 in 0..65535; var int x1 in 0..255; var int x2 in 0..255; minimize k0 * (100 - piecewise{0.1->1000;0} x0) + k1 * piecewise{1->100;0} x1 + k2 * piecewise{1->100;0} x2 subject to { x0 - x1 < v0; x1 + x2 > v1; }; ñ ò ó ô õ ö ô ÷ø ù5úû ü ý þ ÿ ý ú þ ÿ ý û &û ÿ ò ú þ ý þ ý ÿ ò û Hý ý ò úý ÿ ô 2³5¶ ¼ u ÀL ¹ ¾ À · ¾a» º\· ¸ ¾U¹ Ç ¶¹ ³5¹ ´ ·su ¹¾ ¸ » Å´â ´ & µÄL| ÄH ´â· ¸ ¹é¼ u ¾ ¹s» º ¶u u ³5¹ · ¹ ç è u À ¹L» ù ¾ y&¶¹ º » ³Lu ´¼ ¹\¾ ¸ » Å>¾5uSÀ ´ ¹ u 5¿¹ ¸u è » 5Å · ¸c ¹ ¾ ¶¹ ¼ ·5· »a· ¸ ¹ ´ ³5¿¹ L» ºè u u ¿ À ¹ ¾ Ä& ´s· ¸ ¹\¼ u ¾ ¹_» º´ » ´ ç ¶u u ³5¹ · ¹ ç è u À ¹L» ù ¾ y&· ¸ ¹\ ¹ ¾ À · Åu ¾5u ¾ ¹ ¼ » ´Á ç µ u Á ¹¶» À v ´ » ³L u À º ´¼ · » ´ s· ¸ ¹>¾ u ³5¹>u ¾ ´\ß ¹ ´ µá ¾¹ Ç ¶¹ ³5¹ ´ · c¾ »H· ¸u ·¶¹  º » ³_u ´¼ ¹H ´¼ ¹ u ¾ ¹ ¾Å · ¸\· ¸ ¹ ´ ³ ¿¹ » ºÁ ¹ ³Lu ´Á ¾u ´Á_» ù ¾ Ä >¾ ¹ Ç ¶¹ ¼ · ¹ Áyâ´ » ´ ç ¶u u ³5¹ · ¹ ç è u À ¹±» ù ¾¼ u ¾ ¹ ¾ ¶¹ º » ³L¹ Á ¿¹ · · ¹ ±· ¸u ´ ¶u u ³5¹ · ¹ ç è u À ¹ » ´ ¹ ¾ y³Lu ½ ´ µ_¹ è Á ¹ ´ ·H· ¸ ¹_¾ · » ´ µ_ ³5¶u ¼ ·H» ´a¶¹ º » ³Lu ´¼ ¹5» º¼ » ³5 ¶ · ´ µL· ¸ ¹H³L ´ ³ ³iè u À ¹H» ºu5º ´¼ · » ´&Ä
! " # $%&' ($(" )#+*," -/.102 3 4 5 6" 7 " 8 9;:(< =/> ? @ A BDC E F G H IKJ/< LNM E F O P A QKO M @ I :(< QK> E R P IDLN<,S C E C 0 2000 4000 6000 8000 10000 12000 14000 10 20 30 40 50 60 70 80 Demands Execution Time (in milliseconds) 10 20 30 40 Offers 0 100000 200000 300000 400000 500000 600000 700000 10 20 30 40 50 60 70 80 Demands Execution Time (in milliseconds) (a) Optimal selection (parameter-value offers) (b) Optimal selection (symmetric offers) 10 20 30 40 Offers T U V W X Y W Z/[ \ ] ^ _ \,` a b cdb e _ U cf ^ \ [ ^ [ g _ U b h'[ i e [ a U c[ h _ \ W j,kmln o p q n rds+t u v " wyx z 4 {N{ | } x 4 ~ w,,{ ~ m|m 2 ~ D~ { {x zD xNx ~ x ~ 2ND 2 x 4 D| 2 ~ 2 x z |m 2 ~ } 3 2 | | w x x { { | { } 2 4 D| 4 wx z 4 {' 2 x 4 } | 2 |2 | 4 | (| /D$(z | zD |ND| | w 2 ~ 3 D| } } ~ 2 4 w mx ~ x z | 4 2'3 wD | 2 4 w ~ 2 m 4 { D 2 ~ 4 4 w { 3 2 4 5 | 4 | ~ x z |m} 3 2 2 | w xN{ x x | ~ x z | 2 x 0d | x 4 | '| wD x 4 ~ w'~ | } zN 2 ~ D~ { 4 {K 4 | ~ 2,x z |(4 w x | 2 | { x | '2 | | 2 4 w 2 | 4 ~ 3D{((~ 2 mx z | 3 x z ~ 2 {(~ ,x z 4 { 2 x 4 } | j,k DkN ,D +D/ , ¡¢ £¤D ¥ £y $(z |¦ 2 { xm 2 ~ 3 4 {} ~ wD{ x 4 x 3 x | d dx z ~ { | 2 ~ D~ { {Nz ~ { |{ | m w x 4 } {4 {m | ¦ w | d 3D{ 4 w w§ ¨ © ª « ¬N ~ 2 4 { D$(z |N2 | 4 | (| 2 ~ D~ { { 2 |Nx z | ~ ~ 4 w D, ®'¯/° ± ² ³ ¬ ° ´ µ¶ « · ° ¸ wD¹/ºº'»¼K½ ¾ ° ¿ À ³ « ¿/ ÁN &Â'Â" | ® D~ x zm(~ 2 4 w N~ w&ÂÂ" ¸2 | D~ { 4 x ~ 2 4 | { à ® x z |" Ä(ÆÅm° ·m¯,° ± ² ³ ¬ ° ÀÇ,° ² ° ¶ÈÉ ± ° ° Êm° ¿ ¾ Ëm w 3D | Ì -,0® Kz 4 } zd3D{ | {x 2 | | D { | ~ 2 4 x z Íx ~} z | } } ~ w ~ 2 wD} | Ã/ ®(x z |NÎ| | x x } 2 dÏÐ § ¶³ ¾ Ñ ´ « Ò ´ À ° ± ² ³ ¬ ° Óy« ¨ ° ¶³ ¿ ÉÇ,§ ¿ ÉÐD§ ɰ Ô Õ¤ Ö'-,® ,z ~ { |{ | w x 4 } {N2 | ¤~ wdx z |{ w x } x 4 }m ~ 2 ×~ x z | } ~ wD{ x 2 4 w x { à wD Ø ®Kx z |" Ä(ÙŰ ·¯,° ± ² ³ ¬ ° ÀÓy§ ¾ ¬ ª Êm§ Ú ³ ¿ ɼ(¿ ɳ ¿D° Ô Û' .(® z 4 } z 3D{ | {7 D { | m w 3D |'x ~{ D| } 4 | wD { wD~ ÜD| 2 { #~ w |y~ Nx z |¤ D~ | 2 ~ D~ { { 2 | ~ } 3D{ | 4 wÌ4 m 2 ~ 4 w dx z |y| 2 | { { 4 | w | { {m~ | wD { wD~ ÜD| 2 { 3 x4 w { D| } x {(2 | x | x ~m x } z | 2 | | ~ | w x(4 w~ 2 | 2x ~ | x'm{ 3D} } | { { 3 ,4 w x | 2 x 4 ~ w4 wy} 3 2 2 | w x{ | 2 4 } | ~ 2 4 | w x | m x ~ 2 m{ D$(z 3D{ 2 | 2 | { { ~ /{ D| } 4 ¦D} { D| } x { 2 ~ D~ { {K} wmD| 2 ~ 2 Ý} ~ wD{ 4 { x | wD} m wDm} ~ w ~ 2 wD} |} z | } 4 w 4 w 'x z | 4 2(~ w§ ¨ © ª « ¬ ~ 2 4 x z m{ z 4 } zm 2 |N3D} zm~ 2 | 4 m4 x | x zD w Þ wDNw ~ x {(| ß} 4 | w x { Þ} 3 2 2 | w x ( { ~ | 2 { 4 | x z | 2 |'{ ~ | z ~ +± ° ³ ¿D² ° ¿ ¾ ³ ¿ ɾ ª °Nà,ª ° ° ¶ j,k á/kN ,D £¤ Kâ ¥ ¡yãN ¢ D £¤ ¥ £y 2 ~ D~ { {'4 w¤x z 4 {N 2 ~ 3 ¤ 2 |D { | ~ wd{ | m w x 4 }(| ¤ ~ 3 wD x 4 ~ wD{ Ô ä Ô Ô /y|mzD |m2 | å 4 | (| mx (~N 2 ~ D~ { {K 2 ~ ÍÎ| | x x } 2 wD~ w |' 2 ~ D~ { 2 ~ Ýx z |ÓÐ ¶¾ ³ ¬ ª § ¿D´ ¿D° ¶/È ¨ § æD¾ ³ ² °'» ¿ Ò « ± Êm§ ¾ ³ « ¿¯/Ñ À ¾ ° ÊNÀ(æD± « ç ° ¬ ¾N 0" ® $(z |¦ 2 { x 2 ~ D~ { Ô èN 2 ~ Î| | x x } 2 / z 4 } z4 {D { | ~ w¤%Â'*KÔ é D3D{ | { w
êë ìí î ï í ð ð ñò ó ô í íõö ÷øù ú ûö üýþ'ø(ü(ú ÿû ,ú ú øú ö ! "# $&% '( ' *) ' + ,, .- / 0 1 2 3 4 5 ë 6 7 8 9 : ;=<: > > ë ?!9 : >? > @ 8 A+B C D ï <: @ :E ?F Dë ? > B*8 AE9 : >G ê HI Nÿú !C J&8 A 9 8 6 K 8 7 ì L6 ë A 7 Dë 7 > ï +? > ? 1 M N 5 O P Q+R P 4 SUT 4 V P 5 N C W X C YZ GL![ > ë ? 8 A > ? \ ü ,: > (ê H ú ö *] 8 ]+8 ? ë 6 ^ _&+? > ? 8 A 9 8 6 8 7 ì ` F Dë ? > B@ 6 ë ? ? a+@ ë 9 8 AL9 > @ : A b > ? ï <: @ : ë >,? ] ]+8 9 > BLF ì 9 : >, ýKü , (êú ö *9 8 8 6 > A c 8 A ;E> A 9 ^ d \ A më B c ë A 9 ë 7 >&8 e++? A 7 0 1 2 3 4 5 ë 6 7 8 9 : ;f?!e 8 &@ ë ì A 78 99 : >,] 8 @ > ;f> A 9!9 ë ? g ? ?*9 : Dë 9E9 : > ì h@ ë AiF+>j9 ë 6 8 > Bke 8 f? ]+> @ a+@ ` ] 8 F 6 > ;l8 ] 9 ;f ë 9 8 A+? \ Kÿ Ai9 : >j@ 8 A 9 ë ì ï 9 : > > ë > ë jA ;EF+> E8 e; ë m 8 EB ? ë B c ë A 9 ë 7 > ?L6 g >jB > c > 6 8 ] ;f> A 9*9 ;E> ï !6 8 <,> Eb Dë 6 9 ì ï B > F 7 7 A 7f9 ;f> ï ; më A 9 > A Dë A+@ > ï ë A+Bj? 8f8 A!\ ÷ & 8 ]+8 ? ë 6 ?EF Dë ? > Bh8 AnGL=? 8 6 c > ?E+? Dë 6 6 ì h > 6 ì h8 Ao> p 9 > A Dë 6L@ 8 A+? 9 ë A 9f? 8 6 c > ?E9 8 B > ë 6&< 9 :iA ;f> @f@ 8 A+? 9 ë A 9 ? \ ^ q û 8 9 @ >f9 : Dë 9EGLo? 8 6 c > ? Në >UB > c ? > BH9 8H > ë ? 8 Ak8 A > 6 ë 9 8 A+? : ]+? ë ;f8 A 7E8 F m > @ 9 ?,A 8 9 ë ;E8 A 7EA ;f> @c ë ë F 6 > ? \ ö ;E;f A 7f ] ,ï AH8 B > ,9 8f] 8 c B > Në Aj> p ] > ? ? c > A > ? ?,? ;f 6 ë 9 8f8 ; më 9 @ : ; më g > ï @ > A 9] 8 ]+8 ? ë 6 ?,A > > Bf9 8f+? > ø÷ë ?,9 : > e 8 ; ë 6F Dë ? ? \ Dÿ 9 : > < ? > ï ë E6 8 98 e Kë 6 > ë B ì g A 8 <A ë 6 7 8 9 : ;U?&: Dë c >L9 8fF+>L > A c > A 9 > B\ r!s t!sUuEv w x!w y z+{ yk| z+y } ~nw = w y v z iz !} iz z {x&v w v z kk ! ] Dë 9&e 8 ;9 : >8 A >LB > ? @ F+> BE Af9 : ? (ë 9 @ 6 > ï 8 A 6 ìú ê V &T 4 d d@ ë AfF+>L@ 8 A+? B > > B ë ? (ë L] 8 ]+8 ? ë 6 F Dë ? > Bf8 A ø÷ h8 (ê÷ &\ ü ,: ?&] 8 ]+8 ? ë 6B > ë 6 ?A > 9 : > ,< 9 :j@ 8 A+? ? 9 > A+@ ì EA 8 < 9 :j@ 8 A e 8 ; ë A+@ > ï F 9, 9,] 8 c B > ? ë E? 8 6 9 8 Afe 8 &8 ] 9 ; më 6? > 6 > @ 9 8 Af<: @ :j@ 8 6 BE> c > A B > ë 6!< 9 :HA 8 A ` ] Dë ë ;f> 9 > ` c ë 6 >L8 +> ? \+8 <,> c > ï ë ?@ 8 ;f;E> A 9 > Bj A yö > @ 9 8 A yí \ ó ïDê÷ ?&A 8 9 (ë ?&> p ] > ? ? c > ë ? (ø÷ï ? 8* A 9 > ] > 9 A 7E@ 8 A+? ? 9 > A+@ ìmë A+Bf@ 8 A e 8 ; më A+@ >@ : > @ g A 7 ë ? ëmê÷ o] 8 F 6 > ;; më ì f6 > ë BU9 8 ë *c > ìë 9 a+@ ë 6+e 8 ;E 6 ë 9 8 A!\ sUE+! ! +!E o!! ! H ¡ ú AU9 : ? (ë 9 @ 6 > ï <,>: Dë c >? : 8 <Af: 8 <n@ 8 A+? 9 ë A 9&] 8 7 ë ;f;E A 7*@ ë AfF+>L+? > BE9 8E ;f] 8 c > 9 : > yë 9 8 ; më 9 8 Ah8 e9 : >j] 8 @ > ;f> A 9E8 e<,> Fo? > c @ > ? më A+Bi9 : > > e 8 >j8 e9 : >H@ > A 9 ; ë 9 @ : ; ë g >?\ õ k>E: Dë c > ë 6 ? 8U? : 8 <Aj9 : >f? 8 A+B A > ? ?8 e8 ] 8 ]+8 ? ë 6!e 8 ;¢F+8 9 :k9 : > 8 K > 9 @ ë 6 (ë A+BH> p ]+> ;E> A 9 ë 6]+8 A 9 ?L8 e&c > <*\ ,ü ,: >f; më m 8 Në B c ë A+@ >f8 e&8 *] 8 ]+8 ? ë 6 ?L9 8 ] 8 c B > ë H? > ; më A 9 @ ?Le 8 *9 : >U] 8 @ > ;E> A 9L9 ë ? g ?*? +@ :k9 : Dë 9EB > ; ë A+B ? Në A+Bk8 +> ?*@ ë A F+>f;E8 B > 6 > BH+? A 7 ë Uc > ì j> p ] > ? ? c >*6 ë A 7 Dë 7 > ï !£ ý ï +<: @ : yë 6 6 8 <? A > b Dë 6 9 > ? 'ë A+B A 8 A ` 6 A > ë > p ] > ? ? 8 A+? \ 8 ;¢9 : >*> p ]+> ;f> A 9 ë 6? 9 +B ì U<,>E@ ë AH@ 8 A+@ 6 +B >*9 : Dë 9 ï AH9 : > B 8 ; ë Aj8 e<,> FH? > c @ >L] 8 @ > ;E> A 9 ïDø÷ &` F Dë ? > BU; më 9 @ : ; më g > ? ë >L] ë @ 9 @ ë 6 6 ì Uc ë F 6 > B > ? ] 9 >L8 e! 9 ? ¤o9 : > 8 > 9 @ ë 6 ¤o@ 8 ;*F A Dë 9 8 ë 6+A Dë 9 > \ ?*e 9 >U<,8 g /ï <,> ë >j@ 8 A+? B > A 7H9 8H ;E] 8 c >f9 : >j> p ] > ? ? c > A > ? ?L8 e*£ ý oF ì ë 6 6 8 < A 7E9 : > Në ? ? 8 @ ë 9 8 AU8 e!9 > ;f]+8 ë 6]+> 8 B ?,9 8f@ 8 A+? 9 ë A 9 ? \ ü ,: +? ï 9<,8 6 BfF+>*]+8 ? K ? F 6 >E9 8k? 9 ë 9 >U? 8 ;f> 9 : A 7j6 g >*¥¦ 3 Mj§i¨*¨L©N 3 4 ª T 1k« M*V O M 0 R M OfR 3 0 So¬ ®j¯EP S ª R M Nf4 S ,M M ° M S+1 N*0 S+1LV O M 0 R M OR 3 0 SH± ®E¯EP S+ª R M N² O 4 ¯³k4 S+1 0 ´ER 4LO P 1 0 ´ µ \ A 8 9 : > &e 9 > ;fK ] 8 c > ;f> A 9<,8 6 B*F+> 'ë 6 6 8 < A 7L9 : Dë 9&F+8 9 :f8 +> ? Kë A+BfB > ; ë A+B ?&@ 8 6 BEF+>? ]+> @ a > BE+? A 7 B +> > A 9f] Dë ë ;f> 9 > f@ ë 9 ë 6 8 7 ? ï ! \ > \&B +> > A 9f8 A 9 8 6 8 7 > ?*8 e<,> Fo? > c @ >Ue > ë 9 > ? \ 8 ¶ ·!¸ ¹&º » ¼ ¹ ½ ¹ ¾ ¼ ¹ ¿*½ ¹ À ¿ ¹ ½Á À »L¾ ¹ ¹&¼ ¸ ¹,À ½ ¼ º Á  ¹,º »Ã!¸ º Á ¸ + Ä+Å Æ º ¾!¿ ¹ ¾ Á ½ º Ç ¹ ¿ È È,¼ ÉÁ É ÊË À ½ ¹&¼ ¸ ¹&Ì É ½ Ê,Í Î Â À ¼ º É »É Ì ¼ ¸ ¹&É Ë ¼ º ÊÀ  ¾ ¹  ¹ Á ¼ º É »LÍ ¾ º » Ï,Ð » ¼ ¹ Ï ¹ ½&Ñ ½ É Ï ½ À Êʺ » Ï,ú ¼ ¸É Í ½!Ì É ½ Ê,Í Â À ¼ º É »Í ¾ º » ÏÒ!Ñ Ó