Unification via Explicit Substitutions: The Case of ... - Semantic Scholar

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Unification via Explicit Substitutions: The Case of Higher-Order Patterns Gilles Dowek , Th´er`ese Hardin , Claude Kirchner , Frank Pfenning

No 3591 D´ecembre 1998 ` THEME 2

N 0249-6399

apport de recherche


   
  !"#  $%  
!" & ')(*,+ -" * .0/12 (!*4365#783:9*43A A [5 7>9 ;  j ˜_¼Æv?‰†‡‹Ê…s6†L…%…sqv 6†L~E džL}q¡Ý¼ŸvX†L€‰¸¼–‘~…e v  0 e>n 8VÅ  ~uf~€Í†L‘~€‹Ç¼–sqvk} L>  po ¼Æv¯‰†‡‹0…s6†L…!…sqve 6†L~‘ k  < oql ~‰-…sqv%‰ƒ‘…`LÂ4…sqv!‰ˆ#Œq‰…~…ˆ#…~ƒU } †L}q¡ ¼Ÿvx¼–‘~…Av  0 r>so 8V5¬˜’~nřvIō˜ Àq‘‰…¾¿ƒ‘¡#vk‘‘vk #€Í†ƒ„hvku?vk}… ¡#vk}qƒ…vh¡?Œ+‹ 0 T&%  8VÅ4rs#~‰œ‚†L e~‰’Œ#‘~¡¨‚¬vh¡f…s#‘ƒˆ#‚Ise…sqv-‰L¾¿„‡†L€€vh/¡  7 +89Q;  6N#
>5`LŠ†`…vk‘u ¼–s#~„sݑ†L~‰vh‰!…sqvÂa‘vhv?½I†L‘~͆LŒ#€vh‰%… …sqvk~‘x #‘ƒ :vk‘!„hƒ}…vV腇˜ ¼–s#~„s_˜ ~}ҁƒˆ#‘! #‘vh‰vk}…†L…~ƒ}_˜ ~‰~}#~…~͆L€€‹Ò…sqvOƒˆ#…vk‘u?I‰…?„hƒ}…vV腇ÅÝrs#~‰ #‘vV¾¿„hcƒÐZ~}#‚ǁLÂ`† E#¾n…vk‘u $˜’¼–‘~……vk'} ('Ÿ˜œ~‰ ¡#vVÀq}qvh¡Ê†ƒ‰  ' *) 01< # 8–¼–sqvk‘*v F §IÅ ) 0S0XE+*  8<SG 8 ES* 0 ) 01 <SG I :78S8V˜ w¨Å ) 0S01 'D8<SG 8 *) 201 <SG 8 ) 0 ' <SG 8V˜ ¤¨Å ) 0,+<SG 8 :M C-/. ! TqÅ ) 0 TH<SG 8 TZ CMNO!¿Å š`‰–‰sqÄ¼–} ~}Ç·º¹E»¿˜# #‘vV¾¿„hZƒÐc~}#‚e~‰-†sqƒu?ƒu?ƒ‘ #s#~‰uÌÂa‘ƒu E#¾¿„‡†L€„kˆ#€ˆq‰…- E$¾¿„‡†L€„kˆ#€ˆq‰‡Å 0 ² Ú  Ú ° A±  Ú  Z_vk… xŒ:v-S † E#¾n…vk‘u¸Q˜ ~‰ S† E#¾n 6†L……vk‘}e~ÁŠ†L}q¡?ƒ}#€‹~ÁÂ:~…‰œ #‘vV¾¿„hZƒÐ¬vh¡fÂ遃‘u  ' ~‰-† E$¾n 6†L……vk‘}_Å 1325464/78(Ƌ0¡#vVÀq}#~…~ƒ}ҁL† E¨¾n 6†L……vk‘}_˜4†OÂa‘vhv½ƒ†L‘~͆LŒ#€v ) Z„h„kˆ#‘‰xƒ}#€‹Éˆ#}q¡#vk‘x…sqvÂ遃‘u 0 )  2 =-=-=  5 8VÅOrsqv? #‘vV¾¿„hZƒÐ¬vh¡Â遃‘u L‰ˆq„s҆¸‰ˆ#Œ#…vk‘u ~‰%Œ‹Ç¡#vVÀq}#~…~ƒ}сL–…sqv Âaƒ‘& u 0 )  C N ! 2 =-=-=65M8Ƽ–sqvk‘v%…sqv 9’†L‘vx†L€€Š¡¨~‰…~}q„k…`¡#(v Ƒˆ#~ “ö}¸~}q¡¨~„hvh‰-¼–s#~„s0†L‘v †L€€_€‡¼Ævk‘-…s6†L} ƒ‘vhŽcˆ6†L€_…a GŒ:vh„‡†Lˆq‰:v 323=-=-=;O5?†L‘vŒ:ƒˆ#}q¡X~}¸…sqv…vk‘u¸= Å < Z

îÜî,õ^ ‡þ n

«

 % &$
'-8 
  0 2

`vk‘v
‘vk #‘vh‰vk}c…‰?…sqv¸„hƒ}q‰…‘†L~}…e…s6†L…e~‰e†L€¼Æ†‡‹Z‰¯‰†L…~‰À6vh¡Q˜  …sqvψ#}q‰†L…~‰À †LŒ#€v „hƒ}¨¾ ‰…‘†L~}…‡˜O†L}q¡)'J†L‘v%†L}c‹ E$¾n…vk‘u?‰LÂ܅sqv‰÷†Lu?v…¿‹Z $v`~} †„hƒ}…vVè…  ˜q†L}q¡ T  d Œrsqv ‰vk…-L’…vk‘u,½I†L‘~͆LŒ#€vh‰JL †f„hƒ}q‰…‘†L~}c… GB‘vh‰ _ŁL †…vk‘u %IÆ~‰-¡#vk}qƒ…vh¡  0 A84GB‘vh‰ _Å    01 8RIVŜš „hƒ}q‰…‘†L~}…J~‰–‰ƒu?vk…~u?vh‰-„‡†L€€vh¡É† "."8 C+ h Å ËÇvŸ…†LЬv #‘ƒ :I‰~…~ƒ}6†L€q„hƒ}q‰…‘†L~}c… ‰~uf #€~ÁÀ6„‡†L…~ƒU} Ga‰ˆq„s?†ƒ‰ 
% % I_Âaƒ‘4‚I‘†L}…vh¡ †L}q¡?‚¬vk}qvk‘†L€€‹f†ƒ‰‰ˆ#u?v…s6†L… „hƒ}q‰…‘†L~}c…‰Æ†L‘vue†L~}c…†L~}qvh¡e~}f #‘vk}qvVÃÂ遃‘u¸Å [6ƒ‘ ‰~uf #€~„k~…¿‹¬˜ ¼ÆvfLÂB…vk}ƒuf~……sqv€v‡†ƒ¡¨~}#‚ vVè~‰…vk}…~͆L€œŽcˆ6†L}…~ÁÀ6vk‘‰!†L}q¡0…sqvf„hƒ}…vVè…  †ƒ‰‰Z„k~͆L…vh¡É¼–~…s vhŽcˆ6†L…~ƒ}q‰‡Å ÏÖ   A±  Ú 
š E 9 $  C+878
>
 ;  
71 P! + h ~‰!†L}‹ˆ#}#~ÁÀ6„‡†L…~ƒ} „hƒ}q‰…‘†L~}c…‡˜4Œ#ˆ#~€… ƒ}#€‹Xƒ} E$¾n 6†L……vk‘}q‰‡Å šJ‰eˆq‰ˆ6†L€n˜-† E:¾nˆ#}#~ÁÀ6vk‘ Gé†L€‰Ñ„‡†L€€vh¡ †Ý‰ƒ€ˆ#…~ƒ} I?LÂ!†Ò„hƒ}q‰…‘†L~}c… ~‰X†‚I‘†EÂa…~}#‚ ue†LÐZ~}#‚%…sqv-…¿¼Ÿ!‰~¡#vh‰ LÂ_vk½¬vk‘‹fvhŽcˆ6†L…~ƒ}¯L vhŽcˆ6†L€6u?Z¡¨ˆ#€ E Å rsqv-‰vk… L E$¾nˆ#}#~ÁÀ6vk‘‰ L†҉‹Z‰…vk u Ô~‰X¡#vk}qƒ…vh¡  E 0 A8VÅ ¶ }8ƒˆ#‘ωvk……~}#‚q˜J…sqv0‰ƒ€ˆ#…~ƒ} L† E$¾n 6†L……vk‘} ˆ#}#~ÁÀ6„‡†L…~ƒ}Ê~‰–…sqv‘vh‰ˆ#€…-LÂ4…sqv%‰~uf #€~ÁÀ6„‡†L…~ƒ}ɁL …sqv~}#~…~͆L€Ü #‘ƒŒ#€vku̅e-† "' +R= 0 7 h Å ÏÖ   A±  Ú 8š E 9 %  C+878
U"'  .+R= 0' 7 h ~‰-†L}c‹Ï„hƒ}ƒ“öˆ#}q„k…~ƒ} L’vhŽcˆ6†L…~ƒ}q‰ F = T 2 &$
2 )-)-) T N &$
 N ‰ˆq„s¸…s6†L…: ',)'G <ST 9 d ˜ 94~‰-† 6†L……vk‘}_˜ †L}q¡ F 0,8  * : , k  'G T 9 T < 0 ,`, 8  * : , !<  G T 9#$ "   01  8< 0 ,`,`, 8% * : ), 'G T 9#& "  < 0 ,' 8      <  * :   BG  $  01  8=

ƒ…v…s6†L…6vVè~Œ#€vV¾]6 vVÃZ~Œ#€v¯vhŽˆ6†L…~ƒ}q‰-Ga‰vhvÏ·º¹E»#I`¡#X}qƒ…xZ„h„kˆ#‘~} E$¾n 6†L……vk‘}݉ƒ€½¬vh¡  







Â遃‘u?‰‡Åɚ̉ƒ€½¬vh¡ÝÂaƒ‘u …sqvk‘vVÂ遃‘v¯…‘~½Z~͆L€€‹Ý¡#vk…vk‘uf~}qvh‰e† ˆ#}#~Žcˆqve‚I‘†EÂa…~}#‚0¼–s#~„s ~‰~…‰ ˆ#}#~ÁÀ6vk‘‡Å ¶ }¸ƒ‘¡#vk‘-…?‰…†L…v%…sqv…‘†L}q‰Â遃‘ue†L…~ƒ}ʑˆ#€vh‰‡˜q¼Ÿv%}qvhvh¡¸…sqvÂaƒ€€Ä¼–~}#‚O¡#vVÀq}#~…~ƒ}q‰ †L}q¡ #‘ƒ :vk‘…~vh‰‡Å Ë sqvk}?†`¡#v Ƒˆ#~ “ö}~}q¡#vVÃ!s6†ƒ‰œ†L}fZ„h„kˆ#‘‘vk}q„hv~}f†J…vk‘u¸˜ƒ¼Æv–„‡†L}„hƒ}q‰~¡#vk‘ …⼟?„‡†ƒ‰vh‰‡Å [ ~‘‰…‡˜#¼–sqvk}υsqvk‘v~‰–}q½I†L‘~͆LŒ#€v%ƒ}υsqv 6†L…s¸ÂB‘ƒu …sqv‘Zƒ…-LÂ܅sqv%…vk‘u̅ …sqv%~}q¡#vVÃ:˜#…s#~‰-~}q¡#vVø„‡†L}#}qƒ…Œ$v%‘vku?‡½¬vh¡¸Œc‹¸†L}‹Ï‰ˆ#Œq‰…~…ˆ#…~ƒ}_Å ¶ }υs#~‰J„‡†ƒ‰vI˜#~…–~‰J‰†L~¡ …s6†‡½¬v!†‘~‚I~¡¸Z„h„kˆ#‘‘vk}q„hvIÅƕJ…sqvk‘¼–~‰v…sqv%Z„h„kˆ#‘‘vk}q„hv~‰‰†L~¡X…fŒ:v 6vVè~Œ#€vIÅ îÜî,õ^ ‡þ n

§‡¹

IVÅ Ë sqvk}¸~…-~@ ‰ 6vVè~Œ#€vI˜q¼Ÿvx„‡†L} vk€~uf~}6†L…vx~…-Œ‹Ï‰ˆ#Œq‰…~…ˆ#…~}#‚¯…sqv½ƒ†L‘~͆LŒ#€vxƒ} ~…‰- 6†L…s G 0 ²     !%IVÅÆrs#~‰J†L€€‡¼‰Jˆq‰…eŒ‹Z 6†ƒ‰‰…sqv u
  Ø ³  ‘ˆ#€vx†L}q¡É†L€‰f…¯‰ƒ€½¬v †L€€ 6vVè~Œ#€vV]¾ 6vVÃZ~Œ#€vvhŽcˆ6†L…~ƒ}q‰‡Å’ËÇv†L‘v`‘vh¡¨ˆq„hvh¡X…s#~‰¼Æ†‡‹e…„hƒ}q‰~¡#vk‘ƒ}#€‹OvhŽˆ6†L…~ƒ}q‰–L …sqv`Â遃‘u T %&$
'EÅ rs#‘vhvJ„‡†ƒ‰vh‰Æue†‡‹?…sqvk}OZ„h„kˆ#‘‡Å4Ë sqvke} Ts6†ƒ‰Æ}qc„h„kˆ#‘‘vk}q„hv`~(} 'L_˜ T~‰Ÿ‘vk #€Í†ƒ„hvh¡¯Œc‹ ' vk½¬vk‘‹Z¼–sqvk‘v GB‘ˆ#€v ¯Ö  B³#´ %Ö IVÅ ¶  T Z„h„kˆ#‘‰~} '-Œ#ˆ#…}qƒ…†L…Æ…ƒ X€vk½¬vk€n˜¨…sqvk}υsqvvhŽcˆ6†L…~ƒ} s6†ƒ‰Æ}q‰ƒ€ˆ#…~ƒ} GB‘ˆ#€ v ´¬´ Š² Ø ´  Ö ´  IVŒrsqv`…s#~‘¡O„‡†ƒ‰v-~‰Ÿ…s6†L…–LÂÜvhŽˆ6†L…~ƒ}q‰LŠ…sqvJÂ遃‘u T %&$
TZ ! GB‘ˆ#€v :³  ÖIØ  ³#² A³#®  $Ö IVÅ ƒ…~„hv…s6†L…~}υs#~‰„‡†ƒ‰vI˜#‰~}q„hv…sqv…vk‘u?@‰ TԆL}q¡ T$ -!_s6†‡½¬v%…sqv%‰÷†Lu?v…¿‹Z $vI˜#…sqv‰ˆ#Œq‰…~…ˆ#…~ƒ} %s6†ƒ‰…sqv`Â遃‘u  2 = = =  N =CMN:Å














ìBí îŠìaï


    
   !" # $  
%"'&(*)$+-,."'+/ 1032465)$+8789;:+87@?AB  C+87
"

§NM

 ~}q„hvx…sqvk‘v!~‰-}q¯…‘†L}q‰Â遃‘ue†L…~ƒ}0~}…‘Z¡¨ˆq„k~}#‚X¡¨~‰é“öˆ#}q„k…~ƒ}q‰‡˜$…sqv!ˆ#}#~…†L‘‹ „s6†L‘†ƒ„k…vk‘ L ÂLE$¾n 6†L……vk‘}݈#}#~ÁÀ6„‡†L…~ƒ}݌:vh„hƒu?vh‰%…‘~½Z~͆L€ ƒ}q„hvf…sqve„hƒuf #€vk…vk}qvh‰‰†L}q¡Ý„hƒ‘‘vh„k…}qvh‰‰xL …sqv‘ˆ#€vh‰-~‰‰sqÄ¼–}¸…ƒ‚¬vk…sqvk‘-¼–~…sʆ…vk‘uf~}6†L…~}#‚O‰…‘†L…vk‚I‹ÏL …sqv‘ˆ#€vh‰`†L # #€~„‡†L…~ƒ}_Å ,







 

­  ° Ü´¬´ ÖcÖ Û   ÝÖ  ³    Ö ZŠvk…’ˆq‰œ‰sq‡¼)sqÄ¼ …sqvh‰v–‘ˆ#€vh‰Ÿ†ƒ„k…œƒ}e†‰~uf #€v–vVÃ#†Luf #€vIÅ ”Ɓƒ}q‰~¡#vk‘’…sqv– 6†L……vk‘}evhŽcˆ6†L…~ƒ}3F 
!


E  EFEH0 ) 8  $ E ]E FE H0  0  8S8

¶ }¸¡#v(Ƒˆ#~ “ö} }qƒ…†L…~ƒ}¸…s#~‰-vhŽcˆ6†L…~ƒ}¸~‰F

EEE 0 ) : M 8  $ EE E 0 : 0

rŠ‘†L}q‰€Í†L…~}#‚e…s#~‰-vhŽˆ6†L…~ƒ}¸Œc‹X #‘vh„hcƒÐZ~}#‚?‹Z~vk€¡#‰F EE E 0 )  C  X ! : M 8

&

$

`‰~}#‚ Ï Ö ´ Ø …s#~‰vhŽcˆ6†L…~ƒ} ‰~uf #€~ÁÀ6vh‰-… F J




M8S8

 

EEE 0 : 0  C  !

M8S8

 

0 )  C  !X: M 8 &$
0 :e0  C  !  M8S8 J`‰~}#‚u   ØÒÂ遃ˆ#‘…~u?vh‰–¼Æv~}q‰…†L}c…~͆L…v ) Œc‹ EETԆL}q¡ Œ‹ E EVOÅ  f¼Ÿv‚¬vk…F T$ _= :=QC  ! &$
0 : 01V _=_=MC  ! 8S8

‡¼ „hƒ}q‰~¡#vk‘-…sqv‰ˆ#Œq‰…~…ˆ#…~ƒ} _= :=_C  Ŗrsqvxƒ}#€‹¸¡#vƑˆ#~ “}¸}ˆ#u! Œ$vk‘}qƒ…`c„h„kˆ#‘‘~}#‚O~} ~…–~‰ ¨Å’rs#~‰}ˆ#uxŒ:vk‘‰-Z„h„kˆ#‘‰~}υsqv‘~‚Is…¾ns6†L}q¡Ê‰~¡#v~}+Ve _= _=QC ¿! Ŝrsˆq‰¼–~…sυsqv‘ˆ#€v 0 ²     !¯¼Ævx†ƒ¡#¡Ï…sqv%vhŽcˆ6†L…~ƒ}HV &$
  C*¿! Å’Ë ~…sυsqv‘ˆ#€v OÖ  B³#´ Ö¯¼Ÿv‚¬vk…F TZ_= :=QC  ! &$
0 : 0  _=*C  ! 8S8

‡¼  s6†ƒ‰–}qfu?ƒ‘v%Z„h„kˆ#‘‘vk}q„hvh‰~}¸…sqv‘~‚Isc…¾ns6†L}q¡Ê‰~¡#vI˜¨…sˆq‰…sqv%‘ˆ#€v  Ö ²E± ‹Z~vk€¡#‰F

rs#~‰‚I~½¬vh‰F îÜî,õ^ ‡þ n

T &$
0 : 0   _=*C  ! 8S8D_= :=  R =C  ! T &$
0 +0  [:=*C  ! 8S8 ) &$
E E 0 +0  [:=*C  ! 8S8

§‡«

wªr  x7x7w0m  w o m o mfs … w   l8x7ž ˆw6mis&r3†$s … w vl8x o l3y-u>w S !
#"
i|%$ „ ‚`/Š ‹0Œ 6   „ H I ‚`ƒ6 Š ‹0Œ &oqp l8m+ls‰r5ˆ o 1¦ ls‘s7w0x7 m  ‹ oqp l ¦ ls‰s‰w0x7m &p y p s o s s o r5mbl8mn ` n#rw p mr8s r   x o m  l3u>u s … wjn#(w '&x -o ) m o mn *o  w p r  x7x o m-ž o m  r   x o m ‹ + -™š
5,"-#|›W.-ŽW
„ ‚`ƒ6+"78X! +R= 
=]+
=P+R= !  #)$+ ­  ± Ø 78> +" 5#.+8
#
K 5V7R+  
= !RB  9Q  N 
V5 

¶ }X„hƒuf 6†L‘~‰ƒ}ϼ–~…sX…sqv‰…†L}q¡q†L‘¡O #‘vh‰vk}…†L…~ƒ} LÂÜ 6†L……vk‘}ψ#}#~ÁÀ6„‡†L…~ƒ}_˜#ƒˆ#‘Æ #‘vh‰vk}¨¾ …†L…~ƒ}É¡#cvh‰-}qƒ…-}qvhvh¡Êuf~Áèvh¡  #‘vVÀ#èvh‰-…e‰~uf #€~ÁÂa‹ †LŒq‰…‘†ƒ„k…~ƒ}q‰‡Å–`vk‘v%¼Æv–“ˆq‰…‘v‡†L Ê…sqv Œ:vk}qvVÀq…JL’…sqv!vk}q„hc¡¨~}#‚OL’‰„hƒ $vh‰J„hƒ}q‰…‘†L~}…‰J~} …sqv!„‡†L€„kˆ#€ˆq‰-~…‰vk€Á·º¹E»¿Å  ~uf~€Í†L‘€‹¬˜ …sqv ‘†L~‰~}#‚e‰…vk ¸~‰-u?vk‘vk€‹Xƒˆ#‘ ­  ± Ø5u   Ø ‘ˆ#€vIÅÆÈɁI‰… 6vVÃZ~Œ#€vV¾n‘~‚I~¡0†L}q¡ 6vVè~Œ#€vV¾]6vVÃZ~Œ#€v „‡†ƒ‰vh‰„‡†L}¸Œ:vˆ#}#~ÁÂaƒ‘uf€‹X‘vh¡¨ˆq„hvh¡¸…~}c½¬vk‘‰~ƒ}ʁLœ† 6†L……vk‘} ‰ˆ#Œq‰…~…ˆ#…~ƒ}_˜q¼–~…s¸…sqvx„‡†ƒ‰v LÂ4…¿¼Æf~¡#vk}…~„‡†L€ sqv‡†ƒ¡Ï½I†L‘~͆LŒ#€vh‰–Œ:vk~}#‚?…sqv%ƒ}#€‹XvVè„hvk #…~ƒ} GB‘ˆ#€v :³  ÖIØ  ³#² B³#®  VÖ IVÅ '  "  3$9 " 
$* # Ü *
J ( o

–¼ sqvk‘v'Æ~‰œ2 ~}X†L…ƒuf~„¼Ÿv‡†LÐfsq2 v‡†ƒ¡Z¾n}qƒ‘ue†L€$Â遃‘u¸Å ËÇv-¡#vVÀq}qv^' (6!. 2 ‰%…s6†L… og> ' (6!. 2 @ †L}q¡ 0 ' (6! . 8D (6! '-~Á '6 (6! . vVè~‰…‰†L}q¡ '`„hƒ}…†L~}q‰-}qÂB‘vhv%½ƒ†L‘~͆LŒ#€vh‰‡Å ¶  '`¡#Zvh‰„hƒ}…†L~} Âa‘vhv½I†L‘~͆LŒ#€vh‰‡˜¬…sqvk}¯…sqv~}½¬vk‘‰~ƒ}¯ue†h‹f‚¬vk}qvk‘2†L…v‰ƒu?vJ†ƒ¡#¡¨~…~ƒ}6†L€ „hƒ}q‰…‘†L~}c…‰ G醃‰ ~}f…sqv  #‘ˆ#}#~}#‚e‘ˆ#€vh‰ IVÅ ¶ }υs6†L…-„‡†ƒ‰v¼Æv%s6†h½¬ev 0 '6 (6! . 8D (6! 'Jƒ}#€‹Xu?Z¡¨ˆ#€f…sqv‰ƒ€ˆ#…~ƒ}ʅ…sqv ‚¬vk}qvk‘†L2 …vh¡ „hƒ}q‰…‘†L~}c…‰‡ÅËÇv¯}qvhvh¡Ñ…Ê¡#vVÀq}qvO…sqvXƒ $vk‘†L…~ƒ} u!ˆ#…ˆ6†L€€‹Ý‘vh„kˆ#‘‰~½¬vk€‹Ò¼–~…s *^ ((. ˜q¼–sqvk‘*v F G> * R  > ( @ o G 2 0 * ^ (( . 8 ^ ( f * ~ÁÂ* ^ ((. 2

L† }q¡¸…sqvk} og> *^ (6. 2 @ R †L}q¡ vVè~‰…‰‡Å rsqv†L # #€~„‡†L…~ƒ}ҁLÂƆL}0~}½¬vk‘‰vf‰ˆ#Œq‰…~…ˆ#…~ƒ}É~‰¡#vh‰„k‘~Œ$vh¡É~} [ ~‚Iˆ#‘v«¨Å ¶ }Ʌ2 sqv!Àq}6†L€ „‡†ƒ‰vI˜ * R\ *( (%~‰Æ…sqv),av89':+W34w5734_*b 5@)r~h$&=#s%(4_'€es357_z)s3`_  ¦ l8ž3w p D J DIHD JW § X ¦ x o m-ž3w6x‚¥w0x7uCl3ž KLML G § tu> w #l3mn#x7w 'gr n#w0sŸl3mn vl8u m-w  r3mis‰w ) w6l8m §    m o T  ls o r3m r8† …-o ž … w6x :r3x!n#w0x ¦ l8s‘s‰w6x‰m p0§ S m ƒw0x‰ s Xˆr5u P l  wn o s7r3x  q,d(5@':a!yz)
4_z'*)s+>4w57$>),+&-k~h$&)K/z_':_z)s3`_c$>)„89'*5@)s3z5 s- _zb!+&),a!89')
b*46':+&5@)
4h89':$'*5–b  D …O ¤ S z© C A(E  HAE J  s o r5m p w ¦ u o 0o s7w p6’ …LWLN § ƒ o u>uCw p Pr«gw P  Šd… 6x Œp ? w —tl3x7n o m Ql8mn  uCl n#?w ˜ o x !… m-w6x § — o ž … w6x :r3x!n#w0x m o T  l8s o r3m\v o lŸw  ¦ u *o Fo s &p y p s o s s o r5m p  w is7w0mn-w6n l8y p s7x7l  s >§ S m Pw s7w0.x ˜PWr ™6w0 m 6w6n o s‰r5x  89':$…3`_`_uCw p Pr«gw P  Šd… 6x Œp ? w —tl8x!n o m   uCl n#w ˜ o x !… m-w0x l3m’ n x7l3m P †*w0m-m o m-ž § Žtm žo T  ls o r5mDv o l § S m  o !… l3w0u  l … w0x ¥w6n o s‰r5x 

w ¦ u *o Fo s &p y p s o s s o r3m p C Šd… w  l p w+r8† …-o ž … w0x  r5x7n#w6x ¦ l8s‘s7w0x7m p0u …  89'5@)F;&b$0/ ">y&~.eN|8l nŸ  'gr5m-m ¤ ƒw6x‰ˆŸl8m  © 
X#w ¦ s7w0ˆªy w0x LWLMJ (§ Šd… w  S0Š ¦ x‰w p‰p6§ § Su Pr3ˆ o m o   ž3žil8m § ¨r5ž *o  l8u  uCr &p x7w p6 m x7l3m P ¥†*w6m-m o m-ž $w6n o s‰r5x  89'5@)F;&b!$0/4BdN_!o&4@d yz)
4_z'*)s+>4w57$>),+&-~h$>)…/z_z'w p  p s‰w6ˆ„†*r3xl ¦ x7r3ž5x7l3ˆˆ o m-žDuql8m-ž l8ž5w p … yl wnbr5ms w . u>r5ž *o  l3u †*x7l3ˆw6«gr5x P 9§ "$&%('*),+&-.$0/2|.$:;W573+>)sa£~h$>=2,%(4+>4w57$>)   C¤G…H(D   …LWLWJ § 5w6l3m w o w6x‰x7# w 3r l8mml nl3mn  uCl n#2w ˜ o x !… m-w0x § X#r3uCv o m-žjw  ls o r5m p¥o m l8y p s‰x!l  s l8uCž3w0yx7l p C l

x uCw :yl p w6n &p x7v3&w r3s Po m w6n o s‰r5x p  ~¥$&=#s%(‰ 4+>4w57$>)s+>-,|g$:;W573K¦.ikb`bz+&tIb 5@)•dN$&),$>'§$Q/2“€- +&)v¡2$Mˆz5@)
b$>)  !… l ¦ s7w0x   ¦ l3ž3w p O GME…HD ON F§ Šd… w  S0Š ¦ x7w p7p   l8ˆªyx o n#ž3w ¤  (^ŽX( ©  KLMLN §

 

O>

D

A

G

J&

E

&

L&

[K{&

îÜî,õ^ ‡þ n

¤Iw

4@d y

4z's+>4w57$s+ "($>5
4£~h$K/
'
 „“2|.8l nK‰ “£l n
e>%(4Bd"!s4#%$ &')( v5r3u ˆw …OWLW r3†+*  46%(',.-/&4#
k510."!s%(4#'253
,  ¦ l3ž3w p J
 HNEWG § X ¦ x o m-ž3w6x ‚¥w0x7uCl3ž  KLML E § g… x oqp s7r ¦-… w6! x m !…¨§ ¥l8x!l8ˆr#n uqls o r5m/« o s … r s n -¦ u *o  ls o r5m § S m t w is7w0cx ˜PWr ™6w0 m  w6n o s‰r5x  49',    >5F;50/ * y0629l 7Fo sX# l 8£ o w6ž3r N 8-w …LWL G § § ;sdšy)!+=>
^4#&4653?0/9“ * 1@r“A4š' Q/

[ D

[ A

HI>>'M!
d53N;O,!>;sd &'O/P¥5@4Bd/BRQ
!+ž53z5@4S2,%T*4w5@46%(4w53VU .W
YX,WZ [\][^`_<WVabdceZ f,[¥Ž)8\dg9Zf [\hXji k9lSmnZ o W8k9bdk9p9ia98qsrutXZ vVk:f p Ž"8\=g:Zf [ \=Xji9^w`a8yxa9fi%z|{9{:} U

~ z|}€y‚\=f,k?ƒ1\do WaGiybdkg%a8quf a8„%….l†Z88\d8p U5‡ 8ˆZ ce‚\=f,\do abR[ Xxq‰i%k9lLX,WZfx8`X,\=cZvVZ WaGgy\=k:fFk9l W\dp9WZfŠMk:f,q‰Z f"bdk9p9\]o‹‚f,k9p:f,a9c>[ UCŒ 8I U ƒ%\db=bdZf|^VZ|q‰\=Xk9f|^ 4Ž|,  y>j‘5’“•”eŽ–G“ !—ˆ’†“ ˜ 4Ž=‹4Ž,9Žee` * `9™` ^‚Vap9Z|[6š:}:›|œ‰š:›‰z9^|….W\dbda:q‰Zbd‚W\]a^…SZ 88[i`bdga8\]a^:w9xbdi>z {:{:š U  8\=g:Zf [ \=Xjik9ln…SZ88V[ iybdgGa98\]a U.‡ gGa9\=b]avb=Z‹a9[CmnZ o W8\do abžCZ ‚Vk:f X)ƒI€yŠj_ Œ €`Š{:šŠ#Ÿ:  U ~ z  €y‚\=f,k¡ƒ%\]o WaGiybdkgIa8q£¢f a8„•…Rl†Z88\=8p U¡¤ \=p:WZfŠ#k9f q‰Zf¥bdk9p:\do‚fk:p9f acc\=8p1a:[/ok98[ Xf a\d8`X bdk9p:\doE‚f,k9p:f,a9cce\d8p UŒ 8 4C ’M3¦4",!
Ž S‘
Ž)’†“C§LŽ ’‹”eŽ–G“ !•4Ž+ !+d¥ ¨4EŽ9J ’M3 ? ‘%0. ’MŽ’"4Ž,Ž5e` ^S‚ap:Z [/š:š‰z
œ‰š9š9{^ª©)Z«C‚+k9fX ^SžCWk‰q‰Z Œ [bda98q^ ‡ ‚f,\db)z {:{9¬ U ­ f,k«C8  8\=g:Zf [ \=Xji U ~ zG›GeuabdZLƒ%\db=bdZf U‡ bdk9p:\doS‚fk:p9f acc\=8pb]a8p:xap:Z6«C\=XW/bda9c/vqaŠav[ Xf a9o
X\dk98ª^
l†x8oX,\=k:8‹gaf,\da9vb=Z|[^ a98qs[ \dc‚b=Z¨x8\h®Vo aX,\=k:8 U"¯‰™‰Ž+nj‘ * ,3 %0.)!+™‰’’M3 ^ªz:°3±`²
³ ±`{`› œ}¬: ^z|{9{z U ~ z Ÿruk:‚ab]a8—©)a:qaX,W`xf U—‡ 8kX aX,\=k:8£l†k:feb]ac5v+qaIX,Zf,c>[ Œ Œ ³LžCZ®8Z ceZ 8`X,[a98q´a9‚‚bd\do aX,\=k:8[ U mnZ o W8\do abVž"Z‚+k9fX_E€`Š,z|{9{9±Šµz9^FZ‚VafXcZ8`XLk9l¶_a88 U n m «Zb=lFx[Zf [5p9x\dq‰Z:^"z U šIZ q‰\=X\dk98 U  žCZ ‚Vk:f Xu_ƒ Š _E€`Š,z|{9{:ŸŠ zG›¬^`_af,8Z p9\dZuƒ%Z b=bdk98   8 \=g:Zf [ \=Xji9^€yZ ‚‰XZ c/v+Zf¥z|{9{:Ÿ U

4Q

KR

m¶Z|o W8\]oab

~ š:›G +WZ8yiyx F\]a8 U ê\d8Z|afux8\=®VoaX\dk98Ik9lLW\dp9WZ f Š#k9f q‰Z f)‚aX XZ f8V[ U¨Œ 8¡ƒ U Š _ U r¨axq‰Z bRa8q¡w U ŠM… U w:k9xa988a9xq^Z q‰\=Xk:f,[ ^ 4Ž  , ` ‘5’†“%0R =
™‰™‰ ¾;Ž e¡Á ` TŽ% N4Ž,9ŽeJ e` ^‚a9p9Z [C¬:{z
œ`±:µ`}‰^‰Ff,[,aGi9^y¢f a8oZ9^ ‡ ‚f\db.z|{9{9¬ U €y‚f,\=8p:ZfŠMÆRZ fb]apeö©¨_E€¦ : 9Ÿ U

CU B]

8G

V

ISI 8T

XWYICZ [

I

CG IG I '\ 1G

MI HG

~ šŸ ‡ =b Z a8q‰f,kNž dk:[ U0.’MŽ3T™‰’º3 ’º™ :> 9
 ˜ J 
™ e  > 9
¥™T’M’º™‰’M3¥,Q
!  ’U  mEW |[ Z¥qZ¨Fk‰oX,k9f aX ^ 8\dg9Zf [\hX ¨qZ‹…Sa9f\][Æ ŒŒ ^¶z {:{9¬ U

`_abcde

Ê