Representing nowledge in A-Prolog Michael Gelfond Department of ...




 

 "!# $ '% &)(+*-,/.021 .0)3547698 :@BVWADCE;YX7;+>KFGZIAIVWHK;YJMS\LN[ HK]RCEFP=PTU^_O7;+AD@`;+Z`@RTUAbQ/a S+TU;+FPS+; c"OPCsdPderKH/;+SgtuJ)fiHKheFPVvejlwRS+kZymx A`n_ADo_O-m7x ;+hPvP]pO Q/q [_A`AD=-z {K{||I|}x S+Zyx A`ADO-x ;+vPOe{~+CErK;+tuJ)HKFPv utC€HKr_>ƒTUFG‚YS’AD„yTU…=PS+†eZM@`HK‡HKrK„GJi@DˆŠtu>HK‰CsrKF‹TuCESADTu=P[PFP@`Tur“ZHKrK=?t‘@D>>>KFP=eCErK;+O?Zy@+x>hŒVIrK|N;+[P;Z ;YZDd?@`;I;Y>^/tuZD>KTu;Y;YFPv”|ŽrKO?HKZ`>F”HKrKCs;+ZBZyAg;hK>Kr_dP@`>;YtU;’ADS+[P;+CsFG;+@`AHG;+vPv |N;+HKADtuH_Zg@`{Kf'rK>;YFPHKAD[PFZB|;Y@ vP;YOP;+@S+FPZ`t‘vP>;Y;+@DAD>@MZADADTUZD[P^_;Y;; • F?>Kde>KCEHKO7;ŠA"HKAD[PJ ;Œq–|N•˜— HK@`@`tuHKv-tuHKxr?šŒheapSy|>F>ya}diHK; J7OP;YZ`XP;+>vCEAD=PHtu; @`;+|N=P;Œ@`;+vPZD;+;YCEFGAKAD@`@DTU>H_ADOP;ŒZ–[PAbH™a/|=i;+ADZR[P;2HKJ S+HKfG@`FP@`H™;+|–Z`=itU;+HKvPFPrKv7; • Tuq–FP•›rs— @`@`;+HK=PtuHK@`rœ;+Z`Sy;+>FGF Ag>deADTu;}HKFPOPZIZD;+ADvH_rKAD;YHEAD[PZ`H_;Y@–t^G|I;RTU^KAD>[@`TuTuHKFPOPJ);+ZI@`=P;+FP@`HKSYrK;@DCs>KCE;YS\CE[?Tu>FPFPr TuZ`AgCs>ZDZ–fG>ZyZDx Z`H/S+T‘>AD;+v|–TUAD[ ž ŸP R¡i¢9£}¤ ¥ ¦"¡i§D£–  ¯9«Y¨ *9©Y6947.s89¬Gµ.™©+©Y,/4/ªgµªg«+«,/ª69&)(K6P8-,_«Y&‘69.™¯"©Y¬,_.­®ªg«Y0‘«Y*-.&‘69.47¬¶­®3ã +eê ¾B354/«ªbê+'Á   $ã Hiê+Å @%  H"ã H   +Kê+Å "?R Á ) ã # 3 '$' 4 7% =2ã   Æ -,*,-,  D  %  Æ ,-,-,  J ˜ê\êR&‘ª, (4769ªg«\©+,/&)6P«

ã  Æ  /ê -,*,-,  ã  J  /ê  3 909:?BGE'Pã  Æ  /ê *,-,-,  3 909:?BGE'Pã D  :ê ,  .™©Y. ±©+,/69¬7.ªŒ4K²P.™©2&)6P«Y.¬7.™©YªÅ 3 909:?BGE'Pã BL\êWªY,¸iª «Y*®,_«N,/(™«Y&)4/6 œ4e((³9©\©Y.8$,_«2µ4/µ.6P« +Å ,G6-8 ã  L\ꃵ .K,/69ªŒ«Y*-,G« -³9.6P«N0‘&‘«Y.™©+,/0 9*9470)89ªN,G« +Á_ÂN&‘6®,G0)0‘¸7ÅG354/©,/6P¸,/(™«Y&)47689.ª\(™©Y&‘¯9«Y&‘476  ) 㠏ê (*)Œã   E ê
    1 ã ,$#?ê ã ê  ) ã ê ’Ý”ã '_ê ã ,('_ê °Š*9.™©Y.sݔã '_êR&)ªŠ,/6&‘6-ªg«+,G6-(.E473Œ«Y*-.E3´4/0)0)4°Š&)69¬¯9©Y47¬G©+,/µ % '5, Mã  5ê H   ã ·/ê   @%  H"ã   K&/@`0vP Zs-AD, [P';+ HK2@B1a!HKJ !vP;+S+!t‘(3>@D>AD TU ^_;4fGFP.H™ |–' tu;YvP r_ ;x  ‰ KF h   \7 x =?œ\lh2>xK?7rKqR;+@h Z=7]yA2mKi_Em m6>]K5 FPx ]+7v n$"iPx/x_"š2HK; @`"+r_;Y>KCF4x?ŠqR>SYOPa/S+J)CstuTuS>KFP=PF-@`HKherKQ7@D>>F)Cs"Z+x >8 AD;Y H?9;h?LN: q xu h@ ]y'm$ il i7=x  hGm  \7h n \z \l\2?65 nPxœ  xPIqR=7 JA–>KFPv 'q  x? —W ;+tutu;Yr_@`TU FPT´xA'@R&F$  AD[P! ;pH/!SY(7S+OPLN@BM •˜Sg!O[P ;+ Sgf$!gBh J)@`];;+h ;]yCsmKZ+mxnPxBCF-E th7x umNHKx?rKšNTuSp>=PS+@`S\H_[GrKOP@DZI>>CEFPCsh kv ?TumNFPx®rP/x :h®d?SU>K>OFPF v"y >7‰VxMEx — & QR t‘>TU;+FP Cs'FP Tu;YFPt‘ >7rœ xs!gJ)HKhB:JqR [FKq–L•˜—  @`HK tuHKr H . P  .( !_ +* 20   >B ! .0 !$ +*,  ' '    &  !^` a2bh   o_o ] \Xh ]ym_mKo7z ];hK6m 5];il\ i7x}L@D>Kt7>FPvZ"x2XR;+tuJ)HKFPv-x7c"HKrKTuS2=P@`HKrK@D>KCECETuFPrFPv fGFPH™|–tu;YvPr_;2@`;+=P@`;+ZD;YFGAg>ADTuHKF-x%c^ '&>[H m7x}>L*e@Da7>K=et5 /hHK AD"[PU;Y!x ZDXRTuZ+;+ xTtuJ)c^HK YFP &^v- hP>FP Ev +Bh *q]ymPxPh —  o7@`fH™z *k ^_\6K;Y5 A`AD]+ T´5n'dx i7]I h  ;+]y=PmK mK@`;+ nP ZDx K;YFGh AD\Tu]FPr ]Y•qR\ SY\ADz  TuHKoFP] Zy5 z7 cWn$\7>+h/|–"¶Zy/h >+@x ADTuHKFPZ ]yo7x}L@D>t´V x @D>CsWMZ+X/Ax =?c^>K 'FP&>vPTUFPr %ñ +*_OP;+@` Tu;+Z“eADH . Tu'FP S+HK Cs =PtU;Y ADK; h v^_?HK>t´Agx >\2d??/>Kh?Z`;+=PZ2h=OdG"]yaEm27x Tu?F_• XRAD ;+\_;+@`o7tu=iJ)h@HKHKFP]yt‘>mKv-ADmlhœTui7FP>xrŠFPrKgv ;+FP@ ;+@DVx >teptuHKH_rKZ`[PTuSR;+tu=P;Y@`^HK>7rKh

. 

jRjRj ‰ ]l]Kx}L@D>t2>KFPv "xAXZ`H_FPTUFPr¶>rK;+FGADZŠTuFv7a7F?>CsTUSsvPH_Cs>TuFPZyx ‰ F ="TuFPfK;+@+h ;+vPTUADHK@+h  
! .(VBeSDx?=P=-x h ?K]ŠkP5x }kH™m7|h^>}tuZ`tUOGf/|NT´@h ;+mN@+h x® VWoKHKoKFPo7T´x h$qRF>dPZ`AD@D>SYAyh">@`rKOPCE;+FGAg>ADTuHKF7• ]  x@`;+FPfKHPh"—ƒx "x®:=P=P@`H_>KSg[}ADHvP;+J½>OPtUAW@`;y>Z`H_FPTUFPr?x BT[  \R   S N     -ml\  ]Y•  i=?>KrK;+Z&hl\•"]yoE]Kh ];\7 x VW"@DxM>FPLNZg>K>vPSYHKADTUtuH_T5hWFPV}ZIHKx JF W TUpAD;YFP@+H™hƒ|I>tuFP;+vvPrKX ;Šx>FPXHKAgd-> xW :OP;+;+tUAœ@`TuFPtuHKrPrKh?TuSm  >K\ Zœ\h7> =?>Kñ rKOP;+;+ZI@BanK$n t‘i6>5/FP$n rKhlO?\7>K@h rK]y;KmKx mG‰k/WRx WRW ]+nPxe xŒL2[P;+F-h VpxŒQG|–TuJ‘Ayh >FPv':œx >@`@`;+F-x WES+Tu;+F_AEADHK=7•´vPH™|–F'S+HKCE=PO7Ag>ADTUH_F“HKJ ñ OP;+@`Tu;YZ OP]ymKFPm vP?/;+x@–AD[P;Š|N;+tUtU•˜J)HKOPFPvP;+vZD;YC>FGADTUS+Zyx c^ '&>  A *   K     Kh  n  \ \z ];h][5  o ]Kh ]6?/xp—Wx2L2[PH_tU;Y|–TuFPZ`f/T´x‹QGAD@D>ADTUð?;+vÛ:p;YJ5>OPtUAEc"HKrKTuSKx S  [JL!  !- +h2Q/=P@`TUFPr_;Y@ c QpLQ$m \l\7hP=?>rKx ;+ZI]–n ;+?l>Kh6Z`5GHKnGFPkTuFPoPrsh ]™|ImKTU2m AD?/[’x QGAD@D>ADTUð?;+v:OPtUAK>@`FPZ`Sy;+>TutuTutUZ+;Kx}h@V"]ym_;+klS\[P\7FPx TUSy>tM@`;+=eHK@BAyEh XK;YZ`@R;+Zy>x FPIv‰ FX— %x @`HGXAbrKa ;+SZ >ZD]6=e?*;+iSY"• AD];Z–hGH_k/JW@h ^]ymK>Klm@`TU\7H_x OPZ–ZD;YC>FGADTUS+Z–J)HK@RvPTuZ nBOPFPSYADTU^_; ? v  >  o7xFPvsVpx/Q/Sg[?>KOPd-x®LNHKCE=PTutuTuFPrp@`;y>ZDHKFPTuFPrp|–TUAD[s>FPv>deH_O7A2=P@`;YJ½;Y@`;+FPS+;+Z2TuF_ADH x  vPCE;+xWH_J½>FP:de Cs*;+t´Z+SOhƒxc>dx + pBh H/]08Uhl;Y[Pi6 '5 tu;+]™@+! kx nP hW ]yFPBTmKSYmG[H/ k/vP \x TuFPr =P Rt‘S >NFP FPTu FP  r =P@`HK-dPHUtu;YCs.Z TUFN eFPBTHKF7(Y•H  nP

 ! VBTS 

  N. PN +*R ^ &^  )FPvZg>ADTuZBðe>KdPTUtuTUAba¶=Pt‘>FPFPTuFPrPx x m?c^@D Y.>&^ PF S+ HK +Tu*7 dZ +K D rKH;+>[Z+a2 x ^a2LNa P(h HK! i FPZ` +Tu*eZ`• ADil;+\l FPhPS\fh a  HKoK JƒoKo7L2 @`f ! &>ZN S+ HK CEL!=P tu ;YAD!TuHKYFh>] FP ]v$\z;Y?XX7][Tu5ZBADhK;+o7FPhS+]y;pm_HKmJ®nPxZ`Ag>dPtu;FPvqxXp>d?>tuvPHKF-x2š2OPTutuvPTuFPrs>œf/FPHy|–tu;+vPrK;}d?>ZD;ze>KF ;YX7>Cs=Ptu;x$B   ! +* x "]l'x]_ h@X  AD\RTUð? ;+ v¶ >S NO7 ADH/ ;+ =P TuZBAD;+CE\h TuSŠ ?/ADz [P];;+h2HK?P@`5 Tu]™;+mKZ+xm7x ‰ F K PEBeBTBTSOH"!#+h9=?>KrK;+Z  o_Pk 5  m7 \Ko7 x ‰"-F %x ]ŠXRx ;+ptuJ)H™HK|FPv¶>KtUZD>f/FPTeFv >KFP xv ic®œTux7J)ZDš2Sg[PH™|NTUA ;+"KF-xhGVI;+[PvP;TUADHKZBAg@`>KZy/hdPtU; CEfTH/vPK;Yt" ZD';Y C  >FG AD TUS+ZR%$J)HKK@– PtuHKr_ETU +S*e=P @`HKTrK#@D> *OCs ZCES Tu/FP 6rP` x \]K x v?" xAg0>XKtuZ`J)H_;+ZyFP(7x v LN8 >M FP  9 kv &U x: h?=?P>c"r_ TuJ);YZD'ZRSg [P]y TUo_A  k"Ko6xŒiK!ZDo7Z`&>h@Tu Sy]y> mlt9KilFPh?i7;+=?x r_>>rKAD;+TUZH_F\$h2TuF ?P5XtU\lH_iGrKk/TuSCEZI>KFPv vPTuZ nBOPFPSYADTU^_; \  x"xXR;+tuJ)HKFPv >FPvR xc®TuJ)ZDSg[PTUA "Kx ]I;+=P@`;+ZD;YFGADTuFPrRqRSYADTUH_FPZW>KFPv LN[?>FPrK;Nd_a}c"HKrKTuS2— @`H_rK@D>CEZyx c^ Y&^ d +*e fK '      KB h ]™k/z \Ko ] 5X\  \7x

Rj jRj ‰`‰ \l\7x"xXPhi>FPvI"x9VW@`OPZ "+S "Ya/FPZDfGT´xp:pTUZ nBOPFPSYADTU^_; vP;Y• J½ >OP!tUAD Zyx!‰ NF '? x- qR tutU;+!F-(h%]Š x@ mƒ! TufK ;+Zy h®%>$eFPv KWI Px" Q7> *=FPvP ;Y|=>Ltut´.h-O;+ vPTU( ADHKS@`/Z+hd 6` Z +rK*;+Z  \K 'Yo9 5 . ( \_ k/ h ]ymKmE]Kx \nPx"xXKFPrKO?>rK;+Zyx 

.0 .  4F/  !20 f  ! JBT[  H \  S /    \h HKt´x  hB]yml\•  ]yoPh]™mKmli¶[GA`AD=-z {K{™|I||Šx ;+=-x tuTuO-x Z`;™{I; nD{;\Ag>KT‘{ ]ymKlm i_{KoKo_k \lh7x"xJXFPvÙV}xQ/HKF-x ]–;y>ZDHKFPTuFPrÔ|–TUAD[#=P@`TuHK@`TUADT "+;+vÙvP;+J½>OPtUADZ+x ‰ F ?x: 78U ' !  BT[  \  RS N    !Yh \_k/x  x RO?>KFPrPh x2Š>O7A "R>KFPvšKF-x®L2HKFGAD@`HK! t pFPH™|–tu;YvPr_;–TuF— t‘>FPFPTuFPrPz/š2;+FP;YðPADZ2>FPv W V D @  > P v + ; *f9ZyxRb Z8 ' f   dFPv LRxIQ7>f>C>7x QR;+r_>ADTuHKFØ>k Z me>TutuOP@`;TuFAD[P=; R;y>v-gx c^ '&>  +*J  . '    Kh \2?  ] \z \Km•b*k i7@ h ]ymKlm i7x \Km7x}Lf>C> >KFPv œx ‰ FPHKOP;ԗ @`TuHK@`TUADT "+;+vc®HKr_TUS— @`H_rK@D>CECsTuFPr >FPvTADZqR=P=PtUTuSy>ADTuHKF·ADH n_o7xFPJfZ`;+>K +FPZ+*2hZD;%]Š ]I2x  };y >H™ZD|HK=>FPtuTuBTZ`FPf/[rPT´ hlh \RmNBT xG[ V"  %\H_SFPNT5 h9  VI S [P N T; ]–  HK  tu;I!HKJ9(7qR] de vP\ OPf  ]+SY•AD TuHK\.Fsz ];'i Tu Fs?™•  c®2HK r_ TU/h  SRW  — tUZD@`;YhiHK^/rK=?Tu@D;+>>@+rKCsh ;+Z CEoK oKTu\2FPoP?™rPx • h \  n?he: x " x Xp>dPd?>ya_h9LRx ?!x RHKrKrK;+@FP=v ?x q!x ]–HKdPTuFPZ`HKF;+vPZyxuh @–X7J)HK@`v¶]RFPTU^_;+@`Z`TUAba— @`;YZDZ  ]ymK$m i \x nE]Kx"S Nx! }  >  CsTuFPZ`\f/h?T´lm xIh ql  \FPz 5nHADh_;Pk 5GHKnGFkKm7AD[Ph ;]™mKZBm_Agk/>dPx tu;ŠCsHGvP;+t"ZD;+Cs>FGADTuS+Z–HKJMtuHKrKTuSŠ=P@`HKrK@D>KCEZyxBT[  \   n  x ]Š 7Nx h?p=?H™>|rK;+>ZetuZD?*fGhKT´x mY5^— ?K@`k;+nPvPh@TuSy]y>m_ADk;}nPtux HKrKTuS}>ZR> =P@`H_rK@D>CECsTuFPr t‘>FPrKO?>KrK;KKx S P* ''  = P! !   n$nKnP\7xx}]ŠLtuZ`>f/FPT´v Rx Q x®c®fR;+* HK 'FP; KQGAg >1dP tu;s CELH/ vP  ;Yt  KS\[Px ;YQRS\fGHK@BTuFPAD[7r• RCsHK>KtuvPt‘>;œFP;yv->@h Z`]ya_m_x k‰mPFx =P@`HGSKx"HKJ ‰ GLNq ‰ mKm7h n ?/x œn]ymK5xn m_\m7pz x OPi_FP6m ;+5XF-\KG xlo iPh QR]y;+$m r_i_>k/ADx TuHKFlTuFÔtUH_rKTuS'=P@`HKrK@D>CsCETuFPrPx c> '&>  7 +*    . '    Kh n$h7xœ x pOPhiFPk ;+ F-\ \x®z Q/\TurK][FP5 ;+ vEn ?/v?h >]yAglm>piKvPm7;+x =e;+FPvP;+FPS+Tu;YZNTuFEtuHKrKTuS=P@`H_rK@D>CEZyxdc> '&>   +*K  _K '  VH nGn$i7k/xx x xP/c"c"TUTuJ½J)Z`ZDS\Sg[P[PTTUAA "K"KxBAx m?]IHK;+OPZ`FPAD@`v?TuS\>ADAD;+TUH_)v FP"Z2HKHKJ-FPtuHHKADr_H_TUFPSRTUS+=PTU@`AbHKaKrKx @DS> Cs!CE PTuFPrPAx +*e‰ F)BeXRBT;+B@`[?H >K@`v$h?=?šN>@`rK;Y;+|IZIf5n >P\ h/ ;Y5GvP$n TU\GADHKk/@+h hN]ymK$m \NH n_m7x x]y mK _mGc® k/Tu!Ux J)ZD +Sg* [PTU A "Kx '@R9 FE .(AD[P ;Itu HKrK !TuS HK! JiSy/> OP' Zgf> t??;\hPX7=?=P>Kt‘>rKF?;+Z >ADhKTu6mHK5F-] x  BTi7[x? LI \RQ/ c  ‰ ^— S /OP dPtU Tu Sy > ADTuHKFP\Zyh_@h lm ]yh7mKz nlm ?Xh7] x 5G$n h2?/h ?o7x xPc"TuJ)ZDSg[PTUA "}>FPJ v xPVWOP@`FP;+@+x2Q/=PtuTUA`ADTuFPrE>œtUH_rKTuSp=P@`HKrK@D>KC x ‰ F—ƒ>ZDSy>t Œ>KJF R;+F_AD;+FP@Ba7Sgfih + ; P v U T D A K H + @ ^h . P% +*T   N VS N P` ErK;+Z  \65X\li7h ]ymKmKnPx ?X]Kx xMc"TUJ½Z`S\[PTA "KhV|NH’S+HKCE=iHKFP;+F_ADZEHKJFÛ>SYADTuHKF't‘>FPrKO?>rK;Kx B   !J +*7D '  (BeSDh  ]   •´n \z \Ko ?P5X\  oPh ]ym_m_k/x ?  x xƒc®TuJ)ZDSg[PTUA "$>KFPv“c xƒVƒ>FPr’>FPv xƒVWOP@`FP;+@+I h QR;YZ`AD;+v“;YX/=P@`;+ZDZ`TuHKFPZœTuF“tUH_rKTuS=P@`HKrK@D>CsZ+x B   !C +*eD '  (ZBeSDhŒHKt´x  ?/hP=?>r_;YZ \lhKm• \liKm7h@]ym_mKm ?*\7x x_c"TuJ)Z`S\[PTUA "xiqRS\ADTuHKFEt‘>FPrKO?>KrK;+Z+h_qRFPZB|;Y@NQ/;YADZ+hG>FPvs— t‘>FPFPTuFPrPx ‰ F F $  _K '  VH    ' 2(   $   'H   ' [! .0  YEh \2?KPk 5\2?*\7h?Q/=P@`TuFPr• ;+@`t‘>rPBh ]ym_mKm7x ?nPxe x6"¶>@`;+f}>FPvS x QixQ/OPdP@D>[PCs>KFPTu>KF-x_V[P;Œ@`;+t‘>ADTuHKFPZD[PTu=}di;\Ab|N;+;+FŠtuHKrKTuS =P@`H_rK@D>C ZD;YC>F7• AD TuS+ Z}L >FP Yv· FPS HK/>F 65G` RCEZDUHKFPTuFP rPx  ‰  F  Xx-c"h?;\=?^7>T r_>;YFPZ Iv hKoK"6o 5X%x hE"¶]™k/>@Bh AD]y;+$m tutuiKT5m7h9x ;+vPTUADHK@`ZyEh K PR +* ??/xe x"¶>@`;+feh->FPv3"xiV"@`OPZ "+S "\a FP ZDfGT´xpqRO7ADHG;+=PTuZBAD;+CsTUS c®H_rKTuSxZc^ '&>   +*C  BCrK;+eZ ?lili65Xh]™m7@h ]ymKm ]Kx

jRjRj ‰B‰B‰ ?*h7e x rK@D>_x Cs"CE>Tu@`FP;+rpfihI=?>>@DFP>v vPTurK"Cxx VW‰ @`F OPZF"Y S $"Ya FP Z` f/T´_x QG Ag> dPtu ;’ CEH/ vP ;Y tuZ ' >2FP(v  >F”$ >tU AD;+'@`H F? > ADYTU$^_;¶ [tuHK!r_TUS’. =P @` H\• h ?Kk/ x Q=?\_k>x ?6rK"5X;+ZI\KS™lm Ln5i7hK>heo6TuQ/F 5G=Pn$>@`h FPTu?/FPVv h@r]y• ;mKxm_+VWk/@`OPt‘x >@`rPFPx@;+@+]™xemKmKLNm7>x OPZg>tGAD[P;+HK@`Tu;YZMHKJe>SYADTuHKF >FPv S\[?>FPrK;Kx ‰ F7 P *BTBTBeSDh ?*i7 x Q^xR"hP=?Sy>KLrK>;+TuZ F$ >] FP v 5  xG\7VWh OP]™mK@`FPlm ;+i7@+x xƒQ7>ADTuZ`ðe>dPTutUTUAbaœ=Pt‘>FPFPTuFPrŠ|–TAD[Sy>OPZg>t?AD[P;+HK@`Tu;+Z+x ‰ )F . P +* ?m7xPx%"S™LN>K@BAD[_a_xŠ— @`H_rK@D>CEZ–|–TUAD[¶S+HKCECsHKF¶Z`;+FPZD;x ‰ F . P +*C  =F.(2( ' ;[HKZ`J®AgAD> d[PdP;< +tu*;Š|NLNCsHKM @`HG7f/vPZ`1.;+[P t"HK ZD= ;+CsHK%F$ > FGS+ADHK+TuCs@hSYZO7Uz Zh6>sAD5 TuSYHKH_h7F?FP@h >ZBt-]yADm>@Dn_>ZDm7=eTuFGx;+ARSYAD=PZ@`HHK•J FPx HKFPQRCsTu;+HKCEFP;+Ht‘AD>'HKFP>TuFPSpv”@`;y—ƒ>ZDxIHKQ/FPTuTuCsFPrPHKhPFP=PZ+=x k Q/ CE57kH/m7vPhP;+VWtuZ @`;+5F_AD>KHPFØh ‰ TuAgCE>tU=Pa_tu@h ;+]yCEmK;+$m FGi7Agx >ADTuHKF±HKJ}AD[P;·ZBAg>dPtu;¶CsHGvP;+t h2?/x ‰ $ >O FP0v*  |N ;+tU!tU•˜J))HKOP FP vP;+v  Z`;+ C!>F_ ADTu S+ZI J)H_ @IFPH_@`Cs!>( t®tuHK rK/TuS}H=P @`HKr_ Y@D > CEfZy)x  ‰ FI![  P &>hM =? >rKN;+ Zœ n   YYo 5G n  m7 h ]ymKmGk/x hlh7x ‰ x QRTu;+CE;+t‘>¶>FPv'—ƒxMQ/TuCsHKFPZ+x WMXGAD;+FPvPTuFPr¶AD[P; Q/CEH/vP;+tuZ Z`a/Z`AD;+C |ITUAD[“Sy>@`vPTuF?>tuTUA›a>FPv |N oK;+o_TurKo7[Gx ASYH_FPZBAD@D>TuFGADZ+x ‰ ;F  "TuFPfK;+@+h ;+vPTUADHK@+$h  f !.(IBTSgh =P=-x2n_m ][5/?  h }tuO_|N;+@+h h_k/x@`S+;2>FPvXxP>rKFP;+@+x ]I;y>ZDHKFPTuFPrI|–TUAD[}FP;+r_>ADT^G;ŒTUFPJ½HK@`Cs>ADTuHKFAD=PTuHK@`F-HKEhrK@Dm?>K@`CE;+Tu;}CE]RTuFPFPrPTxÔ^G;Y@`VWZD;YTUAgS\>[PA–FPTuš2S+;+>K@`tFGADTUS+ZyN ko7x&>x/rK — ;+ @ZSK"Yhe]™a/olmC i OP\7][5ZDh n Tu]™FP\oKzZ`n_mlf/Eoh7T´x®][h5GQG]™n Agml>Kil?7dPi7htUx ;R]ymKZ`;+m C]Kx >F_ADTuS+ZŒJ)HK@2vPTuZ n`OPFPS\ADTU^_;R=P@`HKrK@D>CsZ+dx 8  9     '  O VH kX]KxSyWI>xytu—ƒS+OP;+tUvPOPF?Zy>Kx OPS tU)AyxqR:< PcŒ zP +WM*X7=Ptu
HK@`! TuFPh?rN=?AD>[PrK; ;+CEZ \ TuvP vP'n tu5X;ƒ\lrK\ @` H_@h OP]yFP$m v}i_k/dex ;YA›|;Y;+FQ/V_] ‰ —2Qp>FPvpAD[P;MZDTADO?>ADTUH_F k  x ]Š!2x (]–,;+TAD';+ @+x @vœrK;+|NZSH_]l@`tU]™vsm65 v?]+>n_AgoP>}xPd?— >tuZ`;+;+F/ZyOPx C ‰ 7F — @`^x;+Z`XpZy>h/tuQRt‘>;YTu|@`;I >KFPHK@`v fiPh@x ]y"mGk*Tui7FPx fK;+@+h_;+vPTUADHK@`Zy^h   *k \7 x ]Š]ylm Ax i_]–o7x ;+TUAD;+@+x'qÙtuHKrKTuSJ)HK@EvP;+J½>OPtUAs@`;y>ZDHKFPTuFPrP;x BT[  \R   S N      Yh ]0\  ]Kh  \z i][5 ]0\  h knPx"O x Q/[? > F?! >K[? >! F- x '9L + *    [[   Vx *O" ‰ V” =PN@`.;+ 2ZD1Z+ @h ]y m_$em_k/B x '  ' f   !O   ' f  +*   k ?/ x P  xiQ/S\ V [P ;ŠL/;YMX/!. =P@` ;+ZD! Z`TU^_;}(7=eLH™|N ;+@`Z–HK\h!J"?XAD[P]KhP;}=?tuHK>r_r_TU;YSpZ =Ph@`nYHK5Xr_il@DhP>hCE]™CsmKm2TU?/FPxrEZ`;+Cs>KF_ADTuS+Z+_x c^ '&>  d +* *k h7x}Q/TuCEHKFPZyh9—WU x WMX/AD;+FPvPTUFPrAD[P; Z`Ag>dPtu;CsHGvP;+tWZD;+Cs>FGADTuS+Z–|–TUAD[CsHK@`;;YX7=P@`;YZDZDT^G;@`OPtu;+Z+x ‰ F ' -S N   Y    RHKFPF7v ð?rK‰ xOPQR@D>TuAD;YTuCsHKF-;+tux>PS x7 : @D*T>( ADTU.^_;N '@` OP'tu ;N t‘>FP r_ O?'>& rK ;N J)HK!D@Mh>cE=PQp=PLtuTuQ2Sy>]6AD?TuHK?FP]KZ h k*i7x>x?AgrKQ/>;+;+d?ZTu>K=e\_Z`;+o2;+t®?™Zy•>x\FPS ]yv4 m7h@!]yx7mK PVm_m7[PxH_ +FP*e;,_xƒ:ZDHKFPTuFPr TuF$vPTuZ nBOPFPSYADTU^_;  K +*V  iKo7x xQ/OPdP@D>[PCs>KFPTu>KFŠ>FPvLFPTuHKtuHPx]–;Yt‘>ADTuFPrIZBAg>KdPtU; CsHGvP;+tuZ">FPvŠq ‰ =Ptu>KFPFPTUFPr–vPHKC>TuFPZ+x ‰ F cŒxeQGAD;+@`tuTuFPrPhP;+vPTUADHK@+hK P%S6r_;YZ  \l\65  nGk/Nx " ‰ V — @`;YZDZyh ]™mK2m ?/x i]Kx"x_VI[PTu;+tUZDSg[P;+@+x%]R>CsTUð?S+>ADTUH_Fs>FPvSy>OPZD>KtUTUAba_xEBT[  \   /S N     \h5i_m  ]Y•  \z \]™kP5X\$hnPh ]ymKmGk/x i  xxeVWOP@`FP;+@+x–Q/TurKFP;+vtuHKr_TUSŠ=P@`HKrK@D>KCEZyx ‰ 3 F K P +* b  )S N   Y    dLNM  ^ !  &  ) fK '      Kh?=?>rK;+Zh] 57k?/h@]ymKmKnPx il\7xx-V"OP@`FP;+@+C x ]–;+=P@`;+Z`;+FGADTuFPr >SYADTuHKFPZpTuF’tUH_rKTuS =P@`a HKrK]y@DmK>m_Csk/Zpx >KFPv¶vP;+J½>KOPtApAD[P;+HK@`Tu;+Z+-x c^ Y&^ +*%  U     h \E]  ]Y• \ \z  n ?P5  lm i7/h ">yM inPxxGVWOP@`FP;+@+xWQ/=PtuTA`ADTuFPr>Š:OPtUA2VI[P;+HK@Ba_hdS -. P +*$BeBTBeS.H  h/=?>rK;+Z hKn ?P5Xh2?]Kh ]ymKm$h7x i2?/ x t‘">FPx+rK^O?>VF>r_W ;CETx c^vP Y;+&^FŠ>KFPv d +]Š*Px p H™|BC>K\6FG57ADkTunS+Z® hHKJ7]ymG=P*k@`;+h7vPx TuSy>AD;ŒtuHKrKTuSŒ>ZW>I=P@`HKrK@D>CsCETuFPr ilh7xF XR;+tuvP;+@+hœxE]–HKZDZyh®>KFPv ?xWQ/S\[PtUTu=PJ›xV[P;E|N;+tutU•´J½HKOPFPvP;+vZD;+Cs>FGADTuS+Z}J)HK@ŠrK;+FP;+@D>t tuHKrKTuSp=P@`H_rK@D>CEZy$x c^ '&>  d +*eBCrKFP;+@+x7c®HKr_TUSN=P@`HKrK@D>CsCETuFPrI|–TUAD[Z`AD@`HKFPrRFP;+r_>ADTuHKF >KFPv TUFP;YXP>SYAƒ=P@`;+vPTuSy>AD;+Z+% x c^ '&>[H   d +*e    ( '  ?h&]  h \z il\ ?P5Xilh]_h]ym_m]Kx