ࡱ> =:;<n {ߡwיЁPNG  IHDR0 ܤsBIT&C`PLTE!!9)ޭJ91޵!{ZRkcKVtRNS@fbKGD IDATx횉HYC!m@t#39vD2N9^򒗼%/y'/W>OuS%,3d?wHu;',3$ ~%?OBvR::eVCkvԩ0 $ T"fZPv.I/g ]w]Eu pW38 ! )8:3 eB Lѩ 4攉(;|5E(tɡؿn5ϕ\<4;لfdV9p1Ǯ 4=f-EG0xpNT Yԅ%kq#ƠDhFD0(0fUk#SȮQ 5;`Pqa;Y[_vL0],JdPGhԵg@-pllK]xSGj$PZtlb IfqQO\sjS8-9%@ۥ!U=≆n,PJC&xArmJojLd㩖dP"I0Jz2Vˉ.f`^/F3 xP@ K)x͍:,@oѫ¶#A^x\e-B(vȬvhN6갣ݠK$Wg|KZb}:QI>f褶\{VR]n-h"w®ac2 ߊRWf e'"F! 7#d$l=DIRcɨ ܰ(J~/LZ*Xr4rZ5rC$AZ`>v(Y=պ_A4%]HC >=407R5bgV Ȣ'Y3sx|b7Q#HUkȪ*!%@v9$GC.]LuVSf# &J]m=];qON\tʄH"4(C?O2^wy/gY`4Νnnջ$|Y~H5"w(|>x,'wo }z#+t#5%5hc>"|_@ƙlD>d-b gdKBޫqDJQgY葍:6jG#2<&;GH#!-W^lG3/~܎O=ȁQ ՗3о:{q1*s. 5d=)@( rT\^ )ꪞ[YNk)?RgD%EZelrbU+=gpA`̪_@azmƬ 6~(`ѨW x$cS&ŸMpWl^^_*C)rFY&"-2mRm]?J#N@GoGoO= дpY#3y5(Xn?81qXU3 kSpVR;z"4+Iw1MR(t7<"ç˸>Ї9аâ)B]ȷ:ѐ蟋G?O#-@:r!Xh. DcyoFjz#B|G*"2 |c l xJPFel#+t"Fxfa Gii)?J]ÆFʒ\2IENDB`nmʇ:)tWPNG  IHDR^ޘgAMA pHYs+ IDATxnW,HKle2"@HJILTUT*9mێw}0ao}8.H?F4wyhTUu]1upq|Z$ `8 pl6|0T*EQdYaZJ@uAXebB#d2A0b`I,+ru(r]?p]X,:SJӧOw-2MSut:`H%dYuq0fggqK3 #AJ^Qٶѣo8EQdYƃ'.!dl6o?A8S/Y%b!B<(0u≜l4‚y/"ζEѲd2Or֭͛z}vvz2v( dpEQlv]7 hەJEӴ|>`E8aKux-,3CMӦ?$%ILp]7Hض-B"eٲ,BȸBNPuuZ^.[fl0Am㍸0a\.Lj $IXŚd00JH&"# EH)$yae2t:$A^Ւ$`# jlX NGN`7tv^ JL ydr s$Ixe9Hn{{^pl6:CeUU:NIZ-n!;G<>e]4 2EQ}߽{waaj؁-,,ܽ{qܗ_~qa&t:FL_0<}#-N#EaE7nܐ$h`VG,7ML2NzZMX:*(UU5Itppp9R؃15Rdr<ϳ,KXs'AX[[Seqq'HaiO0a`q>.#rGFϟ駧6X`MNAl ^RdrbZVXE~[[[ja!777Ea=QiN/_ZiZ.;2[+>N^p?e!;w,芢 ˲dY~͂jaXE4 C(EqSSSllG 9;( d4ux{SBȿQ1~^hYͶ0 OmYy^.= }G}EQ46u^q\<', JV=;,WVV rykk+qd2j5 ÍWء $X-pR 2rR(Wau=Hld~2ׯ\Gkaaa777/]a+޽{9Gޱ 4MKdMIa40 ^c*ky>~az1ؗ |}4\.wEӀƌm۬#dYlzx fm0JW*,L&Q Ar\<W4/`˝l6.f^,qp_6(%Y*)<6 BBT*UU oY0@Qa4,nwzzZQ2#rŭ-\N?9 (?cc<fJZSdΝùaMp0\9~6rtt:qpk4A8m X|>/rR,˹\N4%{{{TjnnpBp(ʃ.]iZ^88̌뺚=~4Mo|>h4$X,>yT*J3<3 hdjtٖ׬K~OtI|Mɓׯ/--3G8t|EQ];w>t],cްG8Mf4qFtl688 d[B)¢]׻n^Qc(j3V;mH$дA H/7~#BM)mR:6=3=,_Rzܱ=gVU!kkk~~"^G,+;RF#ts$IEX]*<_V !@8,xAer_c A8[bxS<ZETe%B{4ͦm~?\r QcC9=9O (òji*YUUbth4JG 8P({b1hu:۶ !Y0upASvm!(-Ce?kGNya T*nd,aA!"py@~xx i$y~{{x\卍nyUI&nSJwvv!N 2PȲhW_qL&?C<'"sGG>IZZ-I:SA$סP?Vs?2`:KJH>!mb10P*b/ 0!5 X}߇K!!cI_Ce5M=p)ARIR˲dYfg2M3 *G|>"x<cWh BP$1MSӴ~>yr &|@ ˅B@ |n;$I{{{V?u}C/IR|]*$ ?my1b2YaY(aH&r%c?p8|>8biGHCO8n4 AxON1%XZZ8SL&!Q"0MPt:}xx;UU1I:\SI࠷(m҃@,鴮v_r!/녩6!IJFŚͦ(Tj0\~V3E z8MZ4^X,bJe Ka!%,+#hH&|juW\&pǺAlr||(hP*!肋(...;;$I_8~^<u7---:A/P?^YY'^/V<g ,`jۘ, B& {SJ{$INR,//OLhpEN.Z - ЛTW ?1 n{^hSQJu]y`pj]~}|CVRRJɤ>FpIraYԶo8;d;w!\ [۶/H$r96,3LټOBzrYh4jݻwEP(D)mZmmmB}?]Ͻh4zp|>H(p$|v<# ٙ(0666tK+9%P p'Dk-7τaݔJ%J)X,Ƃ{t:`^7h:77cJ|YЋ`@)y޶mMp!!0F|R([cQ2R:EM&xw8"/[Vy/ (n׶J`~AO`IB:e 8evqEHd2`F`A䌳H"hYkX=}ϧiҡ'IɺdVqhtnyíV &' q>Itɻ9>hh4Z :ʲ,]CD^kh4PJqz=: N]2%( mHF6#ͭ[lFG")*ĺ.*TPmY`0(XKKKE"Q!door5v}ppq,B<$I g04yuk" $t.cҀ!drffƃl21 # iH$$Iz@lF#dG(J-XXiNg.޿ssL0cSJUUE&JtyyYſ۲,UUh0`("(IMY?ƍX.R:@ 2`dw~*;;;@qീxLO4Zٳg5&jzpp@)D"O>4ݻ$c"7ݮiKO\C\<.A5i|ǿ,#OƨG-//n4Jeiii8"r+2ovQQ ^___bk!8˲V%y ptw M|>i. Lt[2L.LD;@d۷oRb(Є2늢 h4& .E(0{LR)8PH_?t:M)da Fx<0PjfFA*J!OL&~Z8 cz`&nw}}]$ BQ@p׫ժ><<EFcA`?w_>2;;JJR" IDATR(766xXz1kv'd2<`$~30ɲ|jʊ-[ 2܇UU][[*yڵk/г233c6ThǶmrgymS3#j-^ɨVuViv"J1Ϟ=uZB&'%^n5z"D`bIH$vEQd*R)Nvc^ x<#|4?tSJnwww֭[g}FD5RUU8Bb^c=CA :,B{=B_|qppJ~T;(MJX1{^(zh,.Ah_.q~cgs8SU:\^~AF\a Z-EQFQ6E@wHd8v]2Po/Ih48>Cp8AYKLwi\eA[4MTF#t (Y fv,J)q"{j1smJ8CQ9ŌB_.ar`,8xCj5à ~Nl*:$I!`/,,NZ6??jZ,K$蓀xx<(v:0FAK&+Wx>v]EQe1 c02{4iχڰT+\hYz!xtt@ #2:%b?jF[]]5 #Nc1LBD@ti$' F1+w( p2 Hgm7 ߿0ZZ- )`>j hrl6rȌ*=Dsss1),#  x:Ӎ]d2p8qt󪪪nH{}J8Mn ;[γ)e>LAO8:Q\scJT*i0)sjp8dT !d~~~{{< ˲]8xC cCY-B+sf:Όd,J%eh93|,nUih~ >::JRz{^PJ>|E5YSxOe3 `gPHF)< omm]Il~g˲ 6aDv9,T*xXWxkò6td-˺<@07 v/..r\."voIӢ(@ˇ<˲(:N.+BΟ?OIB333onlqE2~0kΞ=clkk }a8lC]"R *3aY|2|@uUZTӵT*ɲk9vvv(~׮]DX[/aX./X^^lDBʼn <,'O'&&C W/I,,bOF % y_ZZʰ o_P B>X,<_*ɤEԨT*Yehu4 Ykno4 ˴gee4MĻ'XG. F00 $Jjx%Njp2* HhA7s[4!s~X,yA-O! A."kM.@GFassz@bC.v?6hs`kYUXd2']$\.wѲo@:`or-AD2QކCE5 )HD":@Mh Xײ qƿht:2DǛ3z6_|ŅB)JXx-7[^;;!r#syzzڵk,b 0!ad"Vϻ.<O67rdrH7ݎLZB_N[XX8nrr\$l?]$=!$ I~,YT*yH$N5Mkt$Gҍdt#]<BEQqmgq5::iZYqqqxxv#N'&& B(Z\\di? H&v%FJeyyyff枺R~|OOufE]3@%0Mtq`",k|p~T*A_qJEwt:m\.kp8h/0 cttthhiA!EBJ˲A\A I(!DQoݺ*ț EE(Vx8000LR,B}RիW !6κeٻw9y!lvmm& .]R,Aj,8h P€'Y a=m4{ltI7]c"HaEQn7ۤfD.::]߾ ~-2kj^___R (o^;;!,k ~*qq==='6A r>w8@ ɤR) E'EHnCnddDt: !j^iZk2~Z/`{ 2#d2#v!!N|"ReaQeI`= rooo6mNΨ}7 _kppJ>:=Q[d "0Gzbjx<`k(Y`d ꂠL&ip8JY{ `YhE) -~((E[\BQt$ɲ'Jo 395fmwJ#!EB_ࠦi:\. 8;p %alvݲ0 À{3FT*n)IR4!eIQ6 %< t:aalmm2]UUtn6y>MNNRU*Ap{{{0'Q[.E9u E80q0> lRu7j.C'3ۍ/H0Vmd O>L&EQ5"'9rECaepHD4.4M$O뿆Ev,8J:K &izuuT*痗NAC3s}KKKANshhhkkKjDQ8f၁}T*<Àu=͂Ƃ 4q\g )q:8PqV6xj~bm&y7~ ɠ}š"l\jl.+JaKAOir`$Hl8V.qiccc<#;IQR05h.˕Jeuu"!ʲ0̉'|D63 #&:(p`5P8;;;??ov4&Du+L':BSBUUXuxnQR]8 z{{SիWk۰V /*g%Ă\fECU`0m6NNA8KKKSSS:߂AwaPa:Ff(4$D"˅UBB/}oh,w8L& 5b _1mll\UU^ 333z^waaAQ6\.Ғp/li\m7:-hAV `[rGZωiP,E%HR@6q Eit:eYF ]%vZbdhģ]_*J* #Ν;Ǐڔ4 "fu[@zZQ(fgg'&&^y啞0p庆aO?:r9G4],CMiZ@27M4MSen"u9l6eA뺮t:~kaL P(J;:B:h˪F2 CvHcѠp8l٬~5N?rϟ={ٷyu*ˈ¸~r__ /}Iu]XpW\AX,Ӄg8NP(XU]4#,i֎?.ؘ ;;;V )Ifix1hVUid_pAiaT V,Qz#ZpH.< v;˲ȳBni8Zha$I !r\G9qL__ךzp}3 ŋ4Mhaaau664C`MNNKp1=}e ܹsG4a|>` }庣S"@ <(Gazzziiikkի ì":UUY}B"Ѝ H͝SN룣\T*4 BF (E}g  p,# xh,NA6E V6*{{{- [n![ؕA( bA4O8;v 걉D_-ھ`\l6;55F !tzxxp(V8nee266Ru؀`,#GX]>P(nBUj622BQTX|w!6\50X!0+nww7 ξk/:N9{Ha{4_(r^sAkA@ 󼪪Б L, . ?sjXx"tsй&x<(|z)X~ rV| c={C:VDt]&OVU֭[`0HQ]Koe}gx0QYOBAo!DEYvT 5hi6(/<_DJʼn pMY= ɓ߸v]e^_ZIcQSm*!L(({1kX(gFծG)׫E!k4@Q޻F53 zߥ(vk!b@]f`Z766q_.G`69b8nWU>@ c芤EQUUUUlp4MEaebv;3iz HRu9^ lngAwB!nQa(SCCcq~-@ bP|xvP(DMUUNm9L&ZWVVTU(P02( M$T*ݸqC2n~ C@aHuJ%RLLLDd2 QݭVk6MW^yZb$'0Cwi!bMz^Ѡig-b.BZl25ip^{vEecj55yg_/˘Nŋ7obh0a>\|pW_}?$f`N,`voΟ?_(y>X,lpXO0eiEA@[TJR.1Wp>WeYc!$J 7|S z= VUt>KEeZ-D`pxqqv ز=V4.*;t u%B(\YÇ>N㸅QBT+!Z- u:L&%(T*eyo6B-<ArP<oZ;;;4M2z!U:nWU TUrTjddlB#X, z}:"AH$p`hR.]_BqyN˘dV+!bZ Ȳl6-;QL&^TBipd"?et:}@`HBFT*d1$)>~xlly:==Ͳ,N#5t9I&n$j 0 ,y^6669a63 !$ib%M.p ,Fx$=bGr<.KB0::J40Flnook4MommA΀_~U|Hl6#kXl6G`sssBaװ{v]aaDBzdj4x*ڏ;n[*bjj5A 4!UUx~D$I8ˢ(reB| "0Ț@ji3y|>hrV_F|XV ˍFԦF#^X,u#ON ٌR)bPOImCVk,C4t: $p8vGYeYA؁.33~?222:: TWWWFzDh4jlvXzXo& Aa{/ AD`[ D'P(0kkk00sHWS4MAVk<ojnwzkF# U*4GFF麾x񬬬| eYSSSxO8v p8|/Ç$d0КG=*}" ÔJzE (|b8<<g@wcc#͚ U1hأT ͛9zX,C%5MA;!1HzE01 s- z0DZgtBq\j4GF((A.-,kkkVj>ys!Vuttn鱱p8L Qއ%iwhEr #~kX +$@lb~t::wѵ !` {XOO裏[^^z?g"H$xzW=G9 DbddƍPy &_ 9u盞Ft: MnZ, ȑ#e ~ppw*L&GGGfh4+rբ5ffa$h4:55uʕ3gΠ_&IRwem _.\pe$a%IR4- [[[o88838K{! Y]]u\,{<I,#x<|5Q)T2뺎unALG4# d5Lo 8?~el6UUE1%I_KiZPj!%:rme}>j}WP8b BvN||'N0m1r;P(t:oݺvO4~}M?(Fr!dpFv=͎ pVSDId/8ZO5jΜ9cZd>V5c?8pԩS~(h^vazK#G$F &&&pfb\ZžV+:;t\t,/Wv0LV{{A80M3={bĒ$B|>RZ5Mzr8x h ð,v:@} .>q1〗.KO>/Z@ q\%$>rA7 `APmZ0avR쭭R!KwL&CALx<*smT8)謲JlV4m';q8Zm2 z7rĉ7nBPG駟0Y8( T3}QB&(\.c4~zβloAۢ( MT@QpyyKaDQsssb@giDbbbիJL&>L: W3̩S4q 3iZ8e2Y0w/ MkXbvqvb/B_.r7%]0s=gXDQsW jHAW5 lRhpjSO=? BxN4rhj`YD)BR:gPw`RT(RUuccnZDH):WT*{ͦ$I+++ #ҹ7) MӀl RD$D;fgg ?믿B9.^U*8\[[BBH$C M&$a-jA666`s;Lkao+++^.Y:q,N_ZӴg}VeѸGJ"ɓ'ÄffGׄw}wuuu``fպxrVi`k`# 0 J`&755P(T(Jx!-&^jh45IxU&~UUA`Yvю;a&>I[7j& J0 * l@*@J3A-r9  !vTnE(Be)f4s-VWWTR|(Dd2]6,")JB!qDz,% Gv_,u8B{ˎb0DM0>}*^/U.bTU9EXO^7Mps6-0VU^/0!#wJ0 cXD:A:zu&\\d9iaMonnZVal660XA e 6%@Á.Huu4B"eP7^7M4HRP'.Uf&6<+E,8s|yg20pZk6qav] *^,v=qlnn"`&vV 5痗)>eYTޥ!dxx!ݎu4aщUg `@{ `8GyDUU:$˲iW^ys% EQ&''JoEY^^N4>>CڮK}^zIT9`4ѭ2ZM4#@DX,ΝCH:4*@@0 dwd  wCV,lQ5?@, PPLR8 BLӄfr6}yZ M#6!뺮 UjAt=J5o@7A U_DQTNV0Ӹ :T*cD|o-#JR [}`Y*݄Q:c(a8PLtcAIp\VUj*t:16'|RQWUІE. = ,C`ZӴ7xg*8~?Sh``rl66a~ZB ð68R>nAt:zX__ǸAGu>D6E/f(fD4FDw BA躎} :NۍdkkKeYlBmiiG?IiZ x|>&m>=nc\$ >2_0xKW_/{PôX#D0|xb*$4 ߟfEQqjb1 `еLϣBLJ GFa[ZZ"Rv4qG\.Ab IDATYP(B~_םA6o(sss~'xӄDm6eѩ$87e2YqD"fSQԶLl0{zeHUUbAYoGU'4 QŋN':Z }_.Nw#P,~~vf__ؗr(J0t8p(N%}6.`&7Ru 3˲6 E ~] :\֖@jBXG\ 7 `0r VBH^ ì|>uGBHt !TjxxxqqqjjhP⇀Z 7D>'O>0Mhau>G7ˡ<#׹%n5M}%yO魷ފッQ] S.]i5Rp8#eYӴC x^!H2a6xaaa~~rp8 dT( b!(&ycpx@r%I*'˲bQ5^4à@( rT*EQ,K\.Ce کT~٧~ !z]mC2XEQ/nD"H7q\Hfet۝ht:8 _fX,à%'Jb!Db1PE@C^ !>o/|$V(U@4*fb7@QX ^/`0j3* ٬ܯQV)+`!zIQDv-IR\KfV0n4DMK h4ؤdYv:tztttjjau:JC.>[l6x<$,k`ZƷ3LBX`ҥKp;(dRZ611rF#oaDق/6>>馧WVV4͍7L&n7 !sss[dEYeQR^O&zK+Y,`VU  < ߺFAs.P(0RNWVQ;^dzrhx$20neYHDvh`J:KQ8}>eEH3<-..vaHY$IldYjQ{@"hZ:̓,(#GF"Fgcce2d2 :BhDb>Mk[FImq0@G,+ x`U#kO˲p(їti7|O9A\l6+ j===66Fj{ݫ6Qu?UKAsT:x<8EL]8ŠX.^/ry$ A$xx_ӡ;&lQch^o"xY!N%8CCChfzzz>Z*\.xH4N'fHd2 P*BPP0͟|իW;dNȲj4Tr+f !<[ou믿:Vb Oe+.M$TSe85-//Fe숓x͈'IV{IUXpHeM$ TpP{JHxک0~tb D ZЪnJ}It}}}hۇ(W`C!2>4gY^ȑׯƽ@1̲,yB0wԯb@ y7f@}dp8 : ˲j (mll34NQ(HLue;Yɐ$^~Y#p,..d8 |eO4W]CInfʊ6͢(w}h4"nBNA\.wp8 _|E>wۖ.aJzf5\JNLLAQl88Hp@<א'[[[SnR X ǁn FTf`KBMQyN D^-y@ST\1===00t:]mB_5b%";66v…P(f%IzΝ7n 9;;=öɀWe6)wβ(,jgMMM 0>>~ZVA{zzĠļX,^rŋ];U2j[FZ\pDͨ\.eAt:χkDQEQzzzrfٰQ8Na}@cM5nܡ"c߾}___Gٳcfnn@ 0?m&4ɓ@cǎ!^__8NR:5?H@/"\X,hxy~ffX,P(j=JL(`&PAH)R`@(5>>Ū*;B MI-)p0 (~4~/,FZGQÁ. +j<쳵Z )$0Ȉd%Y1 s8tq0 P"lLr(h4T38p2x^" ^tplFkXO!Z DvK`V\.#}WƆ(JE`0xyjF1JepT !P\ۀ (L6^xarrRQɡg1m@ Qu aVVVvhG7::0 j[8NedgG!{ov]e<(W<^EHW KեwffdT*c&IڜwYEQ|>$IP"偁|>/r.s\4=H믇.JNÈgffhTp0~1u𼃖`0l z=\ŋ[p<{#h \4VsPի/D`Aitt~tvDuNJT*u) (l&GVHv'#Z,NvĉH$233{sn޼Cd#<2==N  v3Ò$*a"15jj4ު@,kV;77w̙h4:44td !Unof'Ow!D ˻͊,˪ !^믏&IEQnfr9_&IBj4iMK-,,?~h-d\՜D"h8NxNDY$FA)WVV< u&DQ,LtzԂVn{x<^*A Bvh6BĹӧO?~\Q;uͦ70,b{!$\{WzpցvϞ=ȶzޗ_~ar\ՠ; ,//zw2 Bl~mػ6%\UE(ZlI-XlĈs rr9 ėd H/&/,6%"שwB?zyy%|pgtZx"@XF-] Wߓ/e_0X2.!bMh/(]t:ʋ'O޸q&AȞFv#"dh7@Du_ GP2B/|^ 9xRALD333;v%=eY$NKn0a7Ϟhaŋ2 DfODTs677;0j$ ]!Fkfa0$u!a8wazU0Zyd k4!O.^y.GvEQ,v_~w?_O?]z~oo櫯b!s̜=S2P D(J.#"D\.Y>ODعgr9 !Pgf0Qzf XH$W\~ :>b J26M@an#vvvrND"~ZtYX$fO++^'L%S'z!h4xV!"YnOB^ta0q[ҒUS|{aPS.k'a|td lJ%6$ r5L~~t]9_/"DNC |>;Pl6aLpAU;ih6aiMYfl{ 5C""(bSR37-x޽#(@P(-Uxy1cccڄ?X%0au]N&S01P@x( &&"M>|D0Elc^cB=݉RUIp:Ɲ.ff 6\|HDr\>VZu}jj*ͦi$Rw"+9DiZ'rG 2X^wݏ?zn0 4S01(@QWnE"WAK)cw8 z]2$\u1:N CǠă_\\w&C! zβH) O8;q<:VK^F*(Q<4L&# NY*¾9|;;6']10%ZX]4H gM,(DDREvTUoZ-9e-w{#,AdD+3^֠MXJ%4 3R^~Pϒd,0lll`Z@$UVy@}t]8va`p|- 3bii R6Nw:!g '|qqp#;nH)fSsooo*gZ왣!<x=?X!৸uuE %n!-` IDAT7|3dB]UUYBj5dkdVCO"u%&$m, Ppf|nIUU[h  &q!/qbO 6t]NG!X06ﵶ^'$d k׮a;HC4Mv?x@ѐYU7 ox.J('i ŒϲDV?In*FRF\h|4hloodS׎Ikkk|?rܑR2kU8 DXKc௻w;_N7ob#L!zG;aYiy+ɨjքOKDοG>?QՌ$Öy|T58Op1%dɍo'[w=aJ$tMJ/@Z-R1 rH1`A5%N/M|4ӧO 8&4ۇYW6h4GJqBE8q3hu;UU Wij?z&4UU"/|Gˑ P")0RK!UUn,9ݔkW ߦJ] 644&I>ydaa0X "BJ}ߙLHdy)&H/0nb )wLXZ,TLTGuP=t:οŋ6ѣG+DFnZͺ~ 36#ݻw >|~{{[`Zgx<0$4 hJNh@HeχHfF-ǯ_Jjxh4 ina8"#'HPS0LLftt4H4p8 χ5?~|cciA~s_rp|>/]+4 psD&x99O8155`$ZgMW2t]/Jv}hhrR)X& j5!|:kV*ɓ'>sht{{dՕJ%f@ f9r0nPĻVojPxs&0qN!֠o`tXׄr "@Bx٪*XVD<) GIj C|PT;0um{o(oqp=@$ 2FӸ% NZ-ʏ  5rZ#+~.cct\ {_bĞU KoT绁JsPk^F"Y#16 8ѹ ~ll, ~o a@YסpXuc{rrkU!שS7 8Dr *46jğ01Xܺu+Jt2>B4\KaH$GDLFoDT.[?+++Νv!"0Xt"h?rH"ѹ\p\r寿}^o"v\.={lKj"Ndٕt:R(#ryy80K 'HPbۄCFͦf{ %B$X,Ư4R#jHӗ/_s{^UUխQU \.gfggAص~X,6jvB!P[Vb-5MBhiċ.F766xi.WR6䉈`nkS0qDP(L&3>>~hBQC^|511HXժ(a0jX *u7@t8nPGP(0!@~pH)|VuwwwddQQz}ll,Nl63<<,Ujz^DVT4MB;]@JDNa2f { 9F'ԩT CdI-0yǑ:21\.511QǴiXͦiZ9v١:&-|Ģ[; yN?W2EXͤz6#-Xq:;;;###(GP(8Rx|>_&)(FFF*Аo4hf5頟 0vvvJV:99ze„ "B+* lBbT'VΓ,iH:v\6-͂pXx<^`@ixYZ2nTW2L$(GAGQ ĞLNNeBZvę)>otto}!`[b+++i9̔PTUF`puup8677{9  vM0:ˆap[nUU?>>vnb)B ,_|9BN3== -e8 rxTل!d8p%RtR~'OLBr Vunn&$xB#=O,Cm6 w:NvϞ=k4V$~q&7@嘌YhyԩH$ngggnd0ab"O\|+ SHduuUt .]ܹcF0 JUwPI&B]].W$- 2`>)ΝKT .eW( AEr !t6- l2b 2MD( 3 &fvހEQFFF |>qΜ9A߬e(ysRJ{ggocp M4R{%RCS{SϽT=RVRHCHZ0`1g={xO~SBs ,yN_5.oCvwD0A\$2΁DlnnNMMc5qWZug|||nn>mUUQpxW,٬㰸 #$p~A\6mVp47`xӱm[QVNJ(Y8f@ZE+l,,287uLOH$>Z>y&C"Rd8Ħ˦la%#&bHd u<,Xd`Fo.b,KQ9~~X__NEeS8Rsk#H4-L)1dDQmLUBę{{{xćl6Kʛb0~V*dYFǠN3, L珍]MGQH$voz }j})!˭‘=6<{Q2eYFѡ+ ir0.0pn-.(]2İ]vwlO^4kG>u ;S,hXT*933f877?7V6PPd` <*{xxx]ױGߋ"nx\[[SerrrXFd26Fqԥn 4MQT@0G-//Jr5e$ؗbq5/^1%MyZXu]bFtw_sq]7,//ZqT|) 8 2 E\1tzii) QILC@o{ٶ lXa6b1˲0B@A"cxy]8cs_e@, îqpa WPF!TVN%|&NOOQ7,(6ĕyIlY ˲V 2=RXi&mtlQ,߿’$U*p8L r4MTTJE˲ih69V!p?.C>d+j8Ɗ~5u]QR뚺rv-23*.Lf?/q5a:W2M3&<|s>ޞN=~9$P(q\>wu HyVٓ>H$+Q=}i몪EMdYN$ b1|ylll|_|E>u\.cԇ>: MUU]H+7M3 mtAKƶب?x'l`0eEQ>rJͦo5a,}S$cH+eYvZ^r v]AEeo {{{ NIbT*E@ =66677?xNѱ zIG^Z C A"LOOJfNJm|xg`8=z4MX[[Z+dYd2_B'8z=hv *&vuQĥ@AdYn6{{{\1PͯhT f`|lۖ$ ;fq333w8lNirl](-}}1J 2? `<(\%^"p6^pZѼizEQШjy'$I@޹A%8j7nضq\Pojh4 >⺁fn۶mYV6e)HRR{ANuцy˲"t:49K$g 8T* 7nfEQE ^/78n~~+-Ԕmvk?&,{Q% F"h4Q$I3`։7 A366ud?ܜijU$۶} ^?Vav;VX$y,zFliPa`0W0d2<<ֈ˃Kv퐵H m0 #.jGj_~q<(qQUd2麮eYP(<{,ͶZP(DO=F|Y)B^4E2db\t} r\.@VßDmaP(KKKwMww[b<ЏVa)"66ߝD0clW%|0 6bS2X!s7UU+ v] j믿޼yp NC_A8&BRWO@ H$z!8J gJbV yEݖem.9qTUM%vhbqv-89ٗHٳgos؊_.d(sFGGQahySVR <:9O Dbooo||rh4dY L ?1==}xx)Ve&) x'$2|LEa ZfVlyn r/^X166VTX_K\B!+aitqt<ڶFH}J533j5J_~F\Št:08F(ڶ8qWv쯓@p|}"q$IR(wu0EAEL'$2c3簈$IX/b `Ivl6ߦ0F6t:n֭[ Lrb1:88R 80Isz5uvS )$ p>j61hOngUw]˲ηQ&/n<=a88N&yQFi;!A&FFF?Z+0Moy9Ȣ(v:|>DXNNnj(Iiezns}h4HD-1W0"xEQE"N&c8_M{B5'oVK&-//߼y3ommy7;;{gO34\uEQ ӧ,r 8A\`PUU -&733YC82>NhضDx^Vm?ov8y>Lڶz<>LOOBa'b>;Ye❐ .y! 9Y\xKH pWݡ@$bX,&S "&,`:k<̼xnyMloߎbxj/s_dGu|DFX܊~J)]>Þ[@ :}KKKcPV8cs%{Gp]*(8;;뺮({{{AX,~w5_TZ*I-MUU$mNNNF"fgg|/$;wtt:pF\4eY㸨qA~w: x/Y!/Ι(^oqq1z!ucweYeo`Cx`A86% sy8aicEbϞ=mcaYVRABabJz^Vu]Gdd04 <XlJ%s^._|>?ӥ뺮kkk4!wJECȓ!+c0 auS4Y)dzf-P(7#8z 1|vwyӧOcib83M>v}֭\.h4>}:d;;;_:z}mm G(r9q)׋US$~K؍qĿD' %`c <,+nĦӑش2cK*q\Ur>܎5Q)?_9BՐZ!.j5"xOX a4Ma0$2L lɼxF?$H*_~%3sc(JыCp;c  Z"? sd6ԃ8B[08iF1J"GcLi )3߾}{m'sBCyUaa8=Ը...0 |ǀT~j4<}E|2@Bsz'DTBa\ݱ ;o1  ";}萗+C+D/h4_]|dwh(§fO F><r.@EDum-?EP\K0kF<CqKYu{{{suEN襃Gs>==J&sEQ%ECxaa6DhqpFXѣGC41i<gY0`X/..!$r9_z!14jI(%~U;FB9lf1NygFTj4H$0EX, 9}I,r]0 EQDM0"ad2Jri pB8y AKmvAX&%"rcPt5 !F#Y~qq44.xW<0 ժChMjJG"mC:V(v|*:QG+++nɞ|* ,B)XQ8_\\Rٟ!2TkACܷ4H STz2VVVqT ~c!X,pq%IRUÇ,cLUUȋB0Lbd2 0JCF,,c2H^{.6tMl6[,'C|>rr(BU$IT*r\.Ax}dcdYM 0MT*V^O[oݺeYa)Tw a2QJvcc<<2 &ߓ ÈNd]سl^g=6uQ(CG\yN$菹B  q0qC0φ{{{v֚& իW(9بj؆dAplmmD?|wwW88޽[__SW8猱h.憈۵Z~:ijؿ"| UιeYVAŸM$3@H0 9e[> lcLLCQjaTF0*F>^yJRRG%Yj)ȟX[[::n>M6|>F o;mۅBTfS`Fcii4h&-pz=k p·aXO\ӽlIp]Y 5cb^:@48_x'Oc'''/^}wwW|(4\NUUe1['1ظsDZu~AcszZ Z|HTL&tZb7Y%I4qI f~rUP@) C.GGGGalooZ0 _|!I?\.{Bgy-//cj---Vife,X #!r:޾}*Bb a? $i2x$I}?njgxj+%qηeY. C@ |}}W|t:]Vi"[^^VWWaE)JV1p],=TU-o߾$ѣGi_(&n~A0 ߽{s3H$Xa.co޼I$9rq`ຮyP$p-`Vض}=6udY8B:X,-.." J;::H2=;;CR)@S6B1M4 wGQp8, XLhddlۖe90 3xUun߻wO9&I8BLȲNSTAX{KuAA| HdESaqqQe'8I[D"JAt](+++ٶ !iZ>$"]>|X,'˗p!@~0|׃j&_AA^$%aBfV+ͦR)htF L" 4mvvJI b\zU)~L&sppPT<ϳ, Ət:` Ap'6NR۞筭a "ގhuuAXDF2_[_߼y?eir>T*=yٳL̟Ӵwy^̂  S2j +ܹS.c\~4M2X,$Jb] :NR4m~~lҡŶmM4MC'vIJRDDz⦢  ID" 3ab6ܼ~z.CgvǶfd?pm]ס.@ku=t:= FQ^z*/eYD"i,["iZ/  am0 FEvC.KJ=@  ڶOEe8N*JRɛ['  +@C/ZBqB駟~Wn"~ϴJ#AAxcNmobX* _B SSSiSA7,/~ެJJC(BiQA7Ԕ eY*6&Gh4I&8Aoi~ΣVR)hV+ϻ˟l5 KO) pʖ " p}}#"۶3d AA{qJ>k0꺎]- p,zCA~NM0Msff&~p`0uWC %  O"AAQ2AA8DAX%CAcA AAQ2AA8DAXEQHf|G-<}ADj Y`0Dtp;}GkRaFQ4 |88ضt.Y)ϸRt? C qV9vq/ƺrPt4)7Wle)P _c=:yUx{^,CYj hhCAA(3>$#^Bvwwqy^E̓3}^4M7n xۋbfVSJZf{UD/7 qmAlmm(0R* CC9 ȃ%AٳKFm}q]u]Zn6wZ- %~=CR0^6Ǡqg_,0Mjqx1[r~߲(^ fHy:Gh<A8&d5 > 888tq }u(DjC,km.Q,1A`0p]?hKKKP+RJzqpʕǏY,K]~+YDazt,ι }5@;;;h P,eLz=n*( dcLrgMGmK|̺).,+}ϏCDkkkD4MVǕRO<~֝F%AOĔ jp4AVԂn/ p At/(Ɖ( ,677RQA|i7qߡMQN|*.!ed*BSGb"T}nV IDATaop8;kg҇!*n6Wc y)n!ru]>ui"n=B˹aN "/RBNd! GɷYabJ{(NkY>:l 䓮Νr,08Ext"Q u$u]\DB%v躾jyL\\\L&!xYo "nƘ?_Z/e X__STJ)~HDͥR))ܹJ$2OMM©): Zć18MeiQ4(á8{6b0 !kنpd9a2 UsB1؎zl'Cc6qXcjIOi^Ǎ& q|#NՂ ә#"˞T*ZZZz1^$RӴ TZu]Q tZK⾘roYeYJ-Xjb_OBq67+Bh48ǕJm "Xm@:&뜾^V!S.,ğ9~Gx>6G6q55d!!RQ@fra^0d29==k^H48" ""B0k ju4&e h[o^WE ƛԣG֎ëZ(޽[Vn/"*JDגOC`MGl6Nљ3gX^ A8n&iPZ!HS+v#h#"FY)ź)\BӁ.6ŋc͠ýx%և yww&;`T`C QRZv.PqRk.si )ԝ^$xtcpyax,#$xZ9XW\6)WA8y&ipo="ɽRjjj4MX6՛ٰ/e5a](J`X]]v(< \.#^BAJ1=ޙ^7"Ru @8r YfE|lt] @uӧMӁ))B,WWWnnn›b_qLpȏ%n KFRuu5 ebJO 8{,^mpr9dOĉ&y&``J;FxqM6p<1Ν;(d>HRO>]#AVF+DH.0 5Mf<(G1آ}Il/mejMOOWa GEu=ޙ)?~ '1VB?nqQ$Ƌ}qJdߏ5&":a)%_g,;1MSS:':[۶j@bڿS.|XLӜQ0 #,^C"H \!p޽ ۨY*%a mDJ+{bblj54v333Cn0n޼)0M3oM!JEӴD"Q(ꪪALOO:55ef6E alw]4M4(J$bZ[< d2·~N:*p0'''u]wnnt:h4W^?#q'HYPoj>Gp8d2X'!H$otH$D"0D"H$dH$D"9!H$\JD"H$sA*D"HdH$D"9!H$\xg ˲ABq<;=֔2 Q |8:1PSR⧼!\WXV_niyD"$cŸ|G P3JeBz6Ų켮bl]AXO<gqD#4M4m~~>JV"Hxe!at/ף Lfrrd2Ϭ|̾lضL&4'EfXb$kEV+ C,Ն}fU\ڇY"yg VxeZxAx9d0Rbx`qD"d9ËHoy^\Nv~AcH$xgb2rzF~04Mh'''T*>{̶mUUBLMM vz* XBn+|ኢr9|߿ȱJΟ/^LOO7 EQlрqtt$Hӹ\.b(5 Dryxg,*9i|/R5 #H8N&Nl' CdZ#y i^rn' ,t:AxW,lDrQ3 KccN1fz=L rL0B<};"Ka!Dݻ H&j{Qe4EAzB?`YV&M+{"H$;d>==_.}'S)VVV]_|YVEo}c/g DbnnN4۷oonn !`W{LRa{A3J>|(ښ!DrᜥFx9xK|C@imc*p堸E&b;pE`0j8>麞Z‚j=ydyy~/@{{{s׃"BD`z1Ojp`zplmml6paz*u1Dtݍ !Dݶ,kff؝4r1 u],Z?Z `m;4MDj%>{~?WDʫyqQ|ho۶뺮zS_ ifu] X,rr*=`GE#04hrr2)!D.t:(H\"jZ5??ϊK>AEBn|5XEQ4MZXX n5Nя?899J*fYڗe.Dd6;efgg<>\Di4j'"hQR A-0d2cǩj n@ʋB~qp8ADi%"Mӈ( }qxؽ^OUU; ~L==pakݝfBAQeEQ;JRV㏅BЩT֭[Huf*m۸X,I$[̔(NNNTR:-//aCD+trxvva 'XZZB2%l60%M"Vx !&''qRMp^0` ~yODq9cE,-!ʕ+Be#"^A ~7=~[jZ}^^^~ׯ_W^ez?xǂ#|h46;Ff~xtϪƫXj\5,+UpȲ }`MbvvmWqDZBgFZD"5LɈu]"; gYѣ?AeL瘚ё({! eYݼyb N !m6"qznq!A#90vFui4[\\zۂf !.0"3MsbbSR!p8uq8`x@n:X8hdc}(7{H_#/73 C4v]vTC"<߾ˉ_d~l6 ڥT*ŝ x* Z4z\#NLL?)B"HΜ3S2!\ ØrZ^xA# -E#-ǏYfYT0I-J萈P*G211J® g"J&x՚999Y,$ ( 8(D,"|^裏 ;JRDt`, .]4:) :R*dBCDݰqΈh#FViJ;UU%s& Ç޹sCbg/+++?ȷo߆&}\m۶m̧<ٶx믿Bܿ?U*7߹sÇ;@"rRQ{BsjPRD =wDv8KK^ga޸qX, /XK=c]~^vI@ EM>s"B)mnnlfd"GvT*],퉉 O>P(N`B@#!~(f 084m #g}f&"3 g,˂"JniTMXvZ>nTN1жN›M/ k̶"r?SO'%hv~0tA#\.(J*_]]{.v؀Ox$93%hgg' T*n!va&BѣGW\!gϞaE(":99AGT@G|jCDDQ huLEQ]ӴbEnq"ڵkDl6W>il !es]!۶3NTT\*roGD;ߜ#Cg3YҊ~iZAݮV}(,x9AZqrL&yֈG8^ܜB#DJp";dի8sssO>{,|"BxǣQ쪦iQ8pqq4MMӪ* %fYz CCo(+dii cBʰ<A:ZPVWWўmfYa@(ˮnllpXZlYYYAn8^k\~ لb(D"!$fF>T(, x&H^N>GIwhÏ o;Jq+0I @iivz h s^UjD ___|ߋ,˞9/?EQ3\5/// eujonooo; #GQ|qcortpd/ о80W'Ib6ϣQiV {+>v6ikϩ(23ݾ>c{^ϲlZ>NtD:87ր(|}J) X4MZa.pbv7nۮ"u1z'۶82%^h4LDgq70hu::NcAtntAt:3aYVzJ)<AGjiXwqTb !iO"eLӴm{2/(PJu:w}-fxg[>͠M , k'IJc{mۜtv]?^DDfg8VJ`Dҧy4=s]j=>>6 $0|sse抅aX/4B`> !5DZ!+<7 Y /#u'r$JYg۶.!1b E?OR)"\].3 C)%4M+kI Bmc|?faqPvX,PyDtɘfZ0|v,4'''Rh6MS05c1& 7Fӡ/q(Jy!v!z_J)q;Ma,viZyt:jۏz@Y|Km;c`0zƎ DtvibݸrRYqYo#N& Nm,=.:Ȳ,I4( fl6-B^$S]hu*b8eYx41ҥͨww {M0 ""B0 ""B0 ""B0 ""B0 ""B0 ""B0 ""B0 ""B0 ""B0 ""B0 ""B0 ""B`[T2ZIENDB``!FMG4{CUhpx x97F\j6wZ64$6n]̵ZSTmEUF֪<3MPJDhsںٖ<~={'Lо\++)(>v,ÅjΙ-:a)++%&EoLwYw,B}^֢uPPJ<-G$S`)!*Q&+0\)(:!Ρ:]RmqjC nϻxΨHoL1X#2=zi?=|G* NRNPwq:}҉."JV#n!8gy3.:\ |yAv/!$1S\٧3 +Q]ֺsjwV⸜RB9 ۔TOqX6&Nfɗ` yIXan"M2K$<(\xD8~ #VX0b~O6ɭ0G) =!$rSъ[7FMnnhT NS莟poe l]F=hګ9#CpAOex1ΘFT^|nA 4i*&d̦K1Fa% Z\z[ާA}QDIȖ?x6\Rϟe!.*pSaߠ~DZxixKgkݹ<,f,ǻX؆Bq;gZa *ĺf{MėM<rrsO`>b![,%ƒjlHʑ+LL9-s,&KK:ޮ2%2Vv'+,2Z>QrL4t?IM|(1 ,G$\VJ%JE0o0 YZ- 0 A..ލ>*~}QȦX_^k ʌoڄI-Wo&kX/*y6URopO09+3jx tw&>Yȇd)/&/"_0+]PfvYM)Ƒp`UѺ-"z=ISY(5vև,"զ[))))))))UZ\2=ҩDv.G1GΔkJk~PP3Ie=,2ٔ,RFZ!4"gѧ2Je,j\mQi2FyMUˍm>;KkL2J8|׳Ul.\'G׊^W4 +xdܙm$Zqԓk\Ev-l֬3I8rGmҊ>GYٗ`sSKDDuru q<.UwJtw!ٍCOEp vu(JE?ve7b\-JG=,jyz )B@WH_.dh;{=#V"2/j&dv"Q{8z\yek;鎝aWTth 6xLf0~q/|wtG=?JNO?Mvᇍ7廬O _#g4_\iHy?14e:Y]LkkG#sOçO'##෌ǂ+Wo4|$|CCqc=s- ?Ƈwm~W!ss{=;Əoo7o7³779k{5^r>Za^W+TNpr~zRhR2Ge<(rݭut} Q^tf.YpE"o mZgY)^H""?-^Z]׽:iMi"Ӝ\:wiPNXxPJ qIԵ4ԓ(Q= R5AU$$w=v#,÷_DN6R8O :翓)ZN2(+kp'"5O N__pEMҹҏ 1vr(](ygQYt0k3t$^3]:%;{@>VE%wOEę(*')>1뺋kV깔)t癕1~((:(  p PClip (MS_ClipArt_Gallery.20,Microsoft Clip GalleryClip (MS_ClipArt_Gallery.20,Microsoft Clip GalleryClip (MS_ClipArt_Gallery.20,Microsoft Clip GalleryClip (MS_ClipArt_Gallery.20,Microsoft Clip GalleryClip (MS_ClipArt_Gallery.20,Microsoft Clip GalleryClip (MS_ClipArt_Gallery.20,Microsoft Clip GalleryClip (MS_ClipArt_Gallery.20,Microsoft Clip GalleryClip (MS_ClipArt_Gallery.20,Microsoft Clip Gallery8%Clip (MS_ClipArt_Gallery.20,Microsoft Clip Gallery9&Clip (MS_ClipArt_Gallery.20,Microsoft Clip Gallery:'Clip (MS_ClipArt_Gallery.20,Microsoft Clip GalleryD/ 0|DTimes New Roman(0(B 0 DArial Blackman(0(B 0 " DTahomalackman(0(B 0 "0DMonotype Sorts(0(B 0 @DArialpe Sorts(0(B 0 "@ .  @n?" dd@  @@`` xy.(     4b$ɿ(a>+, b$mʇ:)tW $$$2$MG4{CUN 2$;hȓ4)M[vFh[ 0AA@8 g4CdCd@B 0ppp@ <4BdBdlpC 0-ʚ;ʚ;<4ddddl%F 0Xr0___PPT10 2___PPT9/ 0? %+"Law Governed Peer-to-Peer AuctionsuMarcus Fontoura IBM Almaden Research Center fontoura@almaden.ibm.com Mihail Ionescu Naftaly Minsky Rutgers University6v7P,AgendaOnline auctions Limitations of centralized auction services Law governed interaction Law governed interaction and auctions Sample auction law Related work Conclusions and future workOnline auctionsBuyers and sellers scattered across the globe interact to close deals Faster and less expensive transactions with no geographical barrier Forecast Research expects that in 2003 there will be a market of 14 million consumers and $19 billion in sales  ` +Limitations of centralized auction servicesTThe auction algorithm Several types of such algorithms can be used (like open-cry, sealed, variations, etc.) Certification How to compute reputation and trust information about the auction participants Auditing What needs to be audited, and by whom The treatment of complaints How to handle inappropriate behavior of auction participantsWP '=WP '  =!Law governed interaction (1/4)$fLGI is a message-exchange mechanism that allows an open group of distributed agents to engage in a mode of interaction governed by an explicitly specified policy, called the law of the group The group of agents interacting via L-messages is called a community C For each agent x in a given community has a control-state CS(x) Agents are black box componentsg`3 :/3   "Law governed interaction (2/4)$]Although the law L of a community C is global it is enforceable locally at each member of C L only regulates local events at individual agents The ruling of L for an event e at agent x depends only on e and the local control-state CS(x) of x The ruling of L at x can mandate only local operations to be carried out at x, such as an update of CS(x)\``A 8#Law governed interaction (3/4)$ $ Law governed interaction (4/4)$`Some LGI primitives t@CS returns true if term t is present in the control state, and fails otherwise +t adds term t to the control state; -t removes term t from the control state; forward(x,m,y) sends message m from x to y; triggers at y an arrived (x,m,y) event A law is represented as  Prolog in MosesH*$( +Law governed interaction and auctions (1/4)Auction registry The auction registry is a separate agent that holds the selling offers as a tuple {ProductName, Description, SellerAddress, AuctionLaw, Timeout} Sellers and Buyers All the interaction between sellers and buyers is governed by LGI according to the auction policies (laws) specified in the registry tuples The actual exchange of product and money between the buyer that wins the auction and the seller is handled offline````s`S?sb^  t) +Law governed interaction and auctions (2/4)Sellers send messages to the auction registry to insert or delete auction tuples Buyers make requests for offers that meet some conditions When a buyer discovers about an interesting auction, it can join the community that is conducting the auction Buyers and sellers exchange messages according to the law specified in the auction tuple They interact directly, in a peer-to-peer communication model "`,JB* +Law governed interaction and auctions (3/4)<Interaction among sellers, buyers, and the auction registry =`=+Law governed interaction and auctions (4/4)+ Sample auction law (1/5)Initializations R1. Directory(auditor, auditor@enterprise.com) R2. Authority(ca,URL(http://aramis.cs.rutgers.edu:9020)) R3. InitialCS([]) Certification R4. certified(X,certificate(issuer(ca),subject(Y),attributes([seller(N)]))) :- do(deliver(X,certificate(issuer(ca),subject(Y),attributes([seller(N)])),X)), do(+certified),do(+role(seller)),repealObligation(endCertified(X)), imposeObligation(endCertified(X),100), do(deliver(X,attributes([seller(N)],auditor)8| E[ cs  ;,Sample auction law (2/5) Seller starts the auction R5. sent(X,start(P,T),X) :- certified@CS, role(seller)@CS, do(+P), do(+max(P,0)), do(+winner(P,X)), do(imposeObligation(timeout(P),T)), do(deliver(X,start(P,T),auditor) *H<:7-Sample auction law (3/5)The  open cry auction R6. sent(X,offer(P,M),Y) :- certified@CS, role(buyer)@CS, do(forward(X,offer(P,M),Y)), do(deliver(X,offer(P,M,Y),auditor) R7. arrived(X,offer(P,M),Y) :- role(seller)@CS, max(P,Q)@CS,winner(P,Z)@CS, M>Q, not role(buyer)@CS, do(-max(P,Q)), do(+max(P,M)), do(-winner(P,Z)), do(+winner(P,X)), do(forward(Y,accepted(P,M),X)), do(deliver(Y, accepted(P,T,X),auditor), do(forward(Y,outbid(P,M),Z)), do(deliver(Y,outbid(P,T,Z),auditor) *.Sample auction law (4/5)Auditing Auditor is an agent that is not involved in the auction but that receives copies of the messages that were exchanged Agents can request copies of the messages exchanged during the auction An auction can have more than one auditor An agent can choose not to participate in an auction if it does not trust its auditors The law imposes no restrictions in the way auditors handle the messages they receive. . ` 1Sample auction law (5/5)Treatment of complaints An agent can complain about another agent (A) if he or she thinks that A did not have a correct behavior. Not sending the item once the auction is over Prevention of the artificial increase of the price by the seller The complaints agent can talk to the auditor to retrieve copies of all the exchanged messages and the real IDs (as are written in the certificates) of the agents lk`.``k.  / Related WorkbCentralized auction services B2B B2C AuctionBot Configurable auction policy UDDI Auction registry `` ```` % 40!Conclusions and Future Work (1/2)Sellers can set up their own auction policies and these policies are explicitly stated, readable by everybody, and strictly enforced by the LGI mechanism Auctions are conducted in a totally distributed manner, through a peer-to-peer communication protocol There is no centralized authority that can act as a trusted mediator. Third parties, such as auditors and complaints agents, can participate on the auctioning process under a given law This architecture is not limited to auctions, but it can be applied to any online trading model `E&X !=S52!Conclusions and Future Work (2/2)Definition of laws for other types of negotiation Especially interested in studying the behavior of agents in the presence of several optional (and conflicting) laws Integration with Web services UDDI and WSDL Web-based user interface for the system ~3`t```(`3t)  ` ^WN̙f` ^WNff3` 999MMM` ^WNf` ff33` ff33` ^WN̙f>?" dd@(?zdd@ y x@" `  n?" dd@   @@``@n?" dd@  @@``PR   @ ` ` p>> 0(    s *  `  T Click to edit Master title style! !   c $0"  @  RClick to edit Master text styles Second level Third level Fourth level Fifth level!     S  s *( Tt  `* 2  s *- Tt   b*(2  s *h2 T@t  b*(2j  BA paint<@.Z  B޽h))? ? ^WNff3 2Contemporary Portrait.pot  OG@(    s *01 @@  T Click to edit Master title style! !  c $3  @   W#Click to edit Master subtitle style$ $  s *x8 T  `* 2^WN  s *< T   b*(2^WN  s *A T@  b*(2^WNj  BA paint@rZ  B޽h))? ? ^WNff3a `(  l  C L@@  l  C lM @   H  0޽h ? ^WNff3y___PPT10Y+D=' = @B +a  p ( :  l  C t `   l  C H @  H  0޽h ? ^WNff3y___PPT10Y+D=' = @B +a  (( 5 (l ( C @ `   l ( C  @  H ( 0޽h ? ^WNff3y___PPT10Y+D=' = @B +a  $(  $l $ C < `   l $ C  @  H $ 0޽h ? ^WNff3y___PPT10Y+D=' = @B +a  ,(  ,l , C 0`   l , C ` @  H , 0޽h ? ^WNff3y___PPT10Y+D=' = @B +a  0( U( 0l 0 C 0`   l 0 C  @  H 0 0޽h ? ^WNff3y___PPT10Y+D=' = @B +=  d\4(  4l 4 C X(`   H 4 C ALGI H 4 0޽h ? ^WNff3y___PPT10Y+D=' = @B +a  8( !ao 8l 8 C L`   l 8 C   @  H 8 0޽h ? ^WNff3y___PPT10Y+D=' = @B +a  @( , @l @ C  `   l @ C d @  H @ 0޽h ? ^WNff3y___PPT10Y+D=' = @B +a  D(  Dl D C  `   l D C  @  H D 0޽h ? ^WNff3y___PPT10Y+D=' = @B +   &  <(  <r < S D\ `   F oPS < <h <R c $A 8??   8h < c $A 9??x( 9h < c $A :??q ` : < <CoS FSeller$ < <l"P 9 EBuyer$  < <a  PAuction registry$fB  < 6D(h H  < <foD W Q1. Register auction"  < 0xk P U 2. Find about auctions"  < 0o   Q 3. P2P interaction"fB < 6D `lB < <DP l < C s @  H < 0޽h ? ^WNff3y___PPT10Y+D=' = @B +  %' (    i8 p*  % j !  0z F [ P2P interaction on auction L"n   s *A ?? g n  R s *A ??x I h n   s *A ??XH n   s *A ?? X  n   s *A ??(h      BX HSeller 1$    B h  GBuyer 1$   B, T#( HSeller 2$    Bȍ L  I Auditor X$    BБ8 * PAuction registry$lB  <D    BPR _!Register auction K: open-cry law""!   B; P a#Register auction L: sealed-bed law"$#lB   <D  lB  <D     6 x 8 R Find about auctions"rB   BD    6hX  [ P2P interaction on auction K"rB  B BD     6ȫ   [ P2P interaction on auction L"n   s *A ?? T ]     60   I Auditor Y$ n   s *A ??P      65 *  RComplaints agent Z$b  TGgH^It(X R   TZGfHtIfh R   TGHI8 h x  b  B TZG H-DIWP n   s *A ??0x    Bl@ GBuyer 2$rB  B BD` "  6 p\ R Find about auctions"lB # <D @l & C   `   H  0޽h ?O       ̙33y___PPT10Y+D=' = @B +a  0P(  Pl P C P `   l P C    H P 0޽h ? ^WNff3y___PPT10Y+D=' = @B +a  PX( H3!! Xl X C  `   l X C  @  H X 0޽h ? ^WNff3y___PPT10Y+D=' = @B +a  `\( @2@ \l \ C  `   l \ C P @  H \ 0޽h ? ^WNff3y___PPT10Y+D=' = @B +a  p`(  `l ` C $ `   l ` C  @  H ` 0޽h ? ^WNff3y___PPT10Y+D=' = @B +a  l( }0ē ll l C   `   l l C   @  H l 0޽h ? ^WNff3y___PPT10Y+D=' = @B +a  d( v dl d C  `   l d C  @  H d 0޽h ? ^WNff3y___PPT10Y+D=' = @B +a  h( ̅@c@ hl h C  `   l h C P @  H h 0޽h ? ^WNff3y___PPT10Y+D=' = @B +a  p( A!! pl p C ( `   l p C ( @  H p 0޽h ? ^WNff3y___PPT10Y+D=' = @B +W x{tWg{!Q <- &!!H B$@zPGm *D*QO%H_PT!(w!bQ9cvgg(ߥ*iTԤ8KDΟ+.UJ9؞P"J-駓SPb$w!Tuߚ}?h~ҋe]i[$^}JGNhwRz\h踹 <@E=@BǷuZq:jet_hj=̂?~L[BŦ~ @uR_i@fD enD+W(MJ3%ViPZ*d6DtViW:(NJg*)NtS+=J/G\ :@xer$*I2d%EOjZ!ۭzvm߆dcrs &g K܎1.\<Y7 r3m\-ITM:Dta'턫5K-+++RB_E&/TKUuܻz8/,֕tFOʹZy'JC!PG8dQьJlR&7/eK0&J$r iMZ7#L eɽHu!~5a;0]uם&DA414r4˿~^*m @\?MuE:V2ƴwW')5=w*JXϚq%қ!RVN N#F8O3.Q~C~9#`Uۉ ^̖2WL_4viѺ*w@`^S*ϲ&cD6)#xq?,otVWaLslX&2Jt=~.cP u7ӑ!*URVF$#RQMB$s<>d7lXͽ0Cs+fivCwD,4n!|ё[D4w@7ǗQ[|H!H'D"~7UF2bQ_ZZh9^*km\T62 c4eV8Y'}ds@QNI=I6bog}S2ؗ?Xıc"E$L,RQJ}CxyQz5ƍ݁n +9ZpFy3F҅7l.z"Z R4JfQLELSR@1W!q3ݠ)؀{$=h92m}j!wP9缜O*t~7y09{Iq,;l|frJ纲z7Z|C0c܋NrA:ӧB9&x)KddFmE^?.0o#KL)H!]{#[Q6`Ɨ{JLb5=nKFq324*V=QOyV jSOY#$X:$o HV+B$y"ߛT(F~iwM;ufffݾ՛)Ongw<ٝ~v nhwD+NO^֓? y)uX-[.bTnk`kakbkckdkek毟ihmWyfhƮCU=ռ$:oe^˿ʏpT)E"\EYEd~,tRӜ~4Vb2FV!ó51ns=we:Zx{_:] }ŜĀH8wWcAgsvI\oZ˴ـWEtuUVV,nr_ ͝K-U=*Ggcv-t?l!.)YXhvwN z.=xR%rxE"7rDQD>ׯIY,;ON_ U_5"iiÇCwRMWx_?𝾗0|>l |>?f@gF 4 6|>hQQAoo1^k\o%҈׍x݆;p͆ W2x / 5<m=^8ۆ|뼀~~nR;ߤGᣆ__o_y,Wyd[HYiq~.$D@>/|}<4}~#vXr9$$#T~iF|G%(QrW>/RUtܯ$8uDw_KΦktfZMy$}I!s0NH!-5}ݫknܠ|{u{Ya4{|P'H ;M?ae.X4#ՌQKb|?j.Y͝Aʝ_z/"t,5!)D$?fDwu+)NުQW}nH>Nrw='_k9[KٟOe)8WկnLG"}c(MNW*}n1ߖvvĜxgg+#Yhik׶h,1\ţmNnmQrՊ;'=L5܅[sAJ?E~\]Tz_i:^ x{tgCD𔷄7# IX$7$)_Ei8WLD,;SC/moXz1T=mC7m| ċ1OIiM^c[Q/TYm737F$l>t:mVG9<~FY94]+:Ӗ=_G_D.P]= WdkCt#ѥeJLU+-J+5 ]U)JGYB}S*ݔJKQ*W*º@%^\$(J6YIQ({Vv]۷a9م؄ܜAűYF ?}Mlb׷=EGeՠkSN-kI;jRk {{7[ ՒozFq Eu%rvVމ/PH"YTk4"[e G~ -\${rM)x)H%Snpar/ReHsFMovLtu t r i-ﱟ u';xXR IhwFZdm:"+G?cڳv;WKNSgM8}"MsC'EJ?wx#Z'(}ZW0OV مd/fnZ+ud;ڴQˎhA; W )lg1]ꔎm<7]}oBXI96X,xP~s1(ẛȐL a*h+#R)&C!9r2K|6s_^x!94!;c"wCwBrtȭш["; Kj->N@"PW+azN(z]/XLD-LA4htAVtlJ>LޘLzlӭNa&n*\*<ÔJ4/(lkPF)X |ū2_^,aydNj>2cR2Isk b rolv j8UWo>{ww کŗI|=>]wxXHz T "iK,VBg.:qY,_5uru(Y^&A.Ke,$Oޔ\yGԷ$ߥ]"/`yMLKSs܇C2EaaX;.Y -s@MסFlӳdlF]]hG< vkPFF91Ln\OcrT)k7|kՇjjs[aJVf4t25rӼ۱wbu .1vcC\X2WxkcOZ[r^9xI2{d' rT3@#V+ ײ ʹ}HWͧ[R )ʍ('WҤ_quWᷳ>)PS˟V,Xd"E&PK>p덡{<(@Me 7-K8J~<֙r#—^PYM=e])hMr'YT"R>itJ (Fj;Rnf):n.(C5PuqOH|t: sx:jet͟oĵ?~L[|Ŧ~@uR_i@fD %nD*)MJ3%ViPZ*d6DtViW:(NJg MPz*JORu>)q`*%^IP)dIJ2TIc B[ھdcss &e K܎.VŁ6o{f$AUDYZ"z԰v՚֖)zoz"o%ߪ:Y=J:s#g'\S%I_D#hF[%Yh)d2A%[%XiI]4 RRJ܊2r/ReHsFM/q;Kcӄh:tX9Tƴ{qw:_M,èSĹvF#O-~6c1_L;}~_yo+%)ֳ&t~tCԹաӈq|;x-Kq>_N+'uvbMe7~̕:Wa2|mڨeG+|ѮMuJM6 Ů]!AU$e,h<(p9]_ptdH&I*I $DJ0cÇx_7x{bw,]Ý1#;!c(_$n|9:sGth-%5G #R u(嫕0Xgl|yD& A4@ p+:a6l%&orR&=i6VL0Jp7`.ba `%zh65(d,_z>xRU}/vC)PS˟V,Xd"E&PKp獡{A<(@Me 7-K8J~<֙r#—^PYMd])hM)r'YT"R>itJ (Fj;Rn딠r;e }gp -GmVRB-v*RI^Şίb6&_uj4j4K<%8;r7\+ǹlƳVo%P:̃ܕ STT|<xq%Shw=6"?{%H/Sio*RiH(1Bŵ)k F}+FӼzM6[QGFG\(7UOTj!B/UzZSlH73`/ۂ$o#ʣ޽@o&U=Y_]NYYYoffv aw:zv系.hwB;:OaB%٭mVp UlZؚZٚgkikZUnC^PUas5/9 [龧#`("(pEW.dyF2?o٢:~?!ݣT4MQ}2Ul ~̫~lOť#QltVG(_&[~_jQF".XTG6u,XhdQɢS;k}{Jf+9@lkS%olFapraV^쐜@`^^0?9q=bJVa`Xb[X26!8#?7510}wڥ[}w<#o9&SwTmE/J_M̟*]__] xytg"@Xe}%` Bx@0 I Gm *D*ҊBՂD3T,_z|w̽sg(ߥ*i TԤ8KDΟ+.TJ9؞P"J- 瓆SPKB* 35T2FCC*n6c|Qƶ^>nf):n.(C5PuqOH|t: sx:jet͟oĵ?~L[|Ŧ~@uR_i@fD %nD*)MJ3%ViPZ*d6DtViW:(NJg MPz*JORu>)q`*%^IP)dIJ2TIc B[ھdcss &e K܎.VŁ6o{f$AUDYZ"z԰v՚֖)zoz"o%ߪ:Y=J:s#g'\S%I_D#hF[%Yh)d2A%[%XiI]4 RRJ܊2r/ReHsFM/q;Kcӄh:tX9Tƴ{qw:_M,èSĹvF#O-~6c1_L;}~_yo+%)ֳ&t~tCԹաӈq|;x-Kq>_N+'uvbMe7~̕:Wa2|mڨeG+|ѮMuJM6 Ů]!AU$e,h<(p9]_ptdH&I*I $DJ0cÇx_7x{bw,]Ý1#;!c(_$n|9:sGth-%5G #R u(嫕0Xgl|yD& A4@ p+:a6l%&orR&=i6VL0Jp7`.ba `%zh65(d,_z>xRU}/vC)PS˟V,Xd"E&PKp獡{A<(@Me 7-K8J~<֙r#—^PYMd])hM)r'YT"R>itJ (Fj;Rn딠r;e }gp -GmVRB-v*RI^Şίb6&_uj4j4K<%8;r7\+ǹlƳVo%P:̃ܕ STT|<xq%Shw=6"?{%H/Sio*RiH(1Bŵ)k F}+FӼzM6[QGFG\(7UOTj!B/UzZSlH73`/ۂ$o#ʣ޽@o&U=Y_]NYYYoffv aw:zv系.hwB;:OaB%٭mVp UlZؚZٚgkikZUnC^PUas5/9 [龧#`("(pEW.dyF2?o٢:~?!ݣT4MQ}2Ul ~̫~lOť#QltVG(_&[~_jQF".XTG6u,XhdQɢS;k}{Jf+9@lkS%olFapraV^쐜@`^^0?9q=bJVa`Xb[X26!8#?7510}wڥ[}w<#o9&SwTmE/J_M̟*]__^ x{tgCD𔷄7# IX$7$)_Ei8WLD,;SC/moXz1T=lM>&bSt<*t@Sؖb U| ?Eͥe*.w 4w|[QwQ@M?@,δeQl Tl)d6At1]HtrDi4SbJ JiMfCD+mvJ{QtVPl┮J7CRz+}ʕJ9PW)W) JD!MVR!J*|fݪgmXNva(886!7`PaqlrVnnOqyu*``z 80mlaD5ߔ(SKDvNZr"^M/VmB[Q{z\=aa]Ignwb$Kp>yChV-er_&Hd cD" +0I)ܠuS1A0^ 1Rɔ[1\`܋TGoQ%]DZqiB4D:CC*GcZ{8Ȼm~ɯަ?TC(Z];YrHQFϘ/>{7NSY:N_Hz!D Di8ވ |ƥ8oh֯?{̓պj;1Cv&ًٲVv0N6mԲ#ZwPxC>r [}Ydhצ:&|yxOb bWߛ *li2d4q_F霮/e df:2$CeJ*dDJ"P$cLJx _Ax{`w,qΘݐŝ1@2Cw#:rk4█#ji Ho:h^F3^W}K6>V<"Q S  ]e7f(4t+mI% 0 1r0eca= 4 Q ȯt=t<)s׾;! qX1Y D{a唄\9*dQG|hKV;u3Pu $#s8JcblUghޠ95M5CK ۈo/Dw/;ϛIUrkv״SglVm[YYD؝vvdzgw@ ڝvGtNo=zwIq`b[±E"FU/i:&6FVfZښv[됗nn:Tc\KNBV{G5 rQ$• Yd[Dh"OH(;G@a%+cTLo2<[6w'Gq~[7ù"ɤ:>}TH#Gc&UQƢE>,YTTNڮ@ߞٟ_kŊ}sDvN ?;&@`npr %Q\;8'7P46!g~\U8V'gM fM LtEcv3w3&c?:%rGfYT)PR%\۔I)y!҅~ZpE/^ x{tgCD𔷄7# IX$7$)_Ei8WLD,;SC/moXz1T=lM>&bSt<*t@Sؖb U| ?Eͥe*.w 4w|[QwQ@M?@,δeQl Tl)d6At1]HtrDi4SbJ JiMfCD+mvJ{QtVPl┮J7CRz+}ʕJ9PW)W) JD!MVR!J*|fݪgmXNva(886!7`PaqlrVnnOqyu*``z 80mlaD5ߔ(SKDvNZr"^M/VmB[Q{z\=aa]Ignwb$Kp>yChV-er_&Hd cD" +0I)ܠuS1A0^ 1Rɔ[1\`܋TGoQ%]DZqiB4D:CC*GcZ{8Ȼm~ɯަ?TC(Z];YrHQFϘ/>{7NSY:N_Hz!D Di8ވ |ƥ8oh֯?{̓պj;1Cv&ًٲVv0N6mԲ#ZwPxC>r [}Ydhצ:&|yxOb bWߛ *li2d4q_F霮/e df:2$CeJ*dDJ"P$cLJx _Ax{`w,qΘݐŝ1@2Cw#:rk4█#ji Ho:h^F3^W}K6>V<"Q S  ]e7f(4t+mI% 0 1r0eca= 4 Q ȯt=t<)s׾;! qX1Y D{a唄\9*dQG|hKV;u3Pu $#s8JcblUghޠ95M5CK ۈo/Dw/;ϛIUrkv״SglVm[YYD؝vvdzgw@ ڝvGtNo=zwIq`b[±E"FU/i:&6FVfZښv[됗nn:Tc\KNBV{G5 rQ$• Yd[Dh"OH(;G@a%+cTLo2<[6w'Gq~[7ù"ɤ:>}TH#Gc&UQƢE>,YTTNڮ@ߞٟ_kŊ}sDvN ?;&@`npr %Q\;8'7P46!g~\U8V'gM fM LtEcv3w3&c?:%rGfYT)PR%\۔I)y!҅~ZpE/^ x{tgCD𔷄7# IX$7$)_Ei8WLD,;SC/moXz1T=lM>&bSt<*t@Sؖb U| ?Eͥe*.w 4w|[QwQ@M?@,δeQl Tl)d6At1]HtrDi4SbJ JiMfCD+mvJ{QtVPl┮J7CRz+}ʕJ9PW)W) JD!MVR!J*|fݪgmXNva(886!7`PaqlrVnnOqyu*``z 80mlaD5ߔ(SKDvNZr"^M/VmB[Q{z\=aa]Ignwb$Kp>yChV-er_&Hd cD" +0I)ܠuS1A0^ 1Rɔ[1\`܋TGoQ%]DZqiB4D:CC*GcZ{8Ȼm~ɯަ?TC(Z];YrHQFϘ/>{7NSY:N_Hz!D Di8ވ |ƥ8oh֯?{̓պj;1Cv&ًٲVv0N6mԲ#ZwPxC>r [}Ydhצ:&|yxOb bWߛ *li2d4q_F霮/e df:2$CeJ*dDJ"P$cLJx _Ax{`w,qΘݐŝ1@2Cw#:rk4█#ji Ho:h^F3^W}K6>V<"Q S  ]e7f(4t+mI% 0 1r0eca= 4 Q ȯt=t<)s׾;! qX1Y D{a唄\9*dQG|hKV;u3Pu $#s8JcblUghޠ95M5CK ۈo/Dw/;ϛIUrkv״SglVm[YYD؝vvdzgw@ ڝvGtNo=zwIq`b[±E"FU/i:&6FVfZښv[됗nn:Tc\KNBV{G5 rQ$• Yd[Dh"OH(;G@a%+cTLo2<[6w'Gq~[7ù"ɤ:>}TH#Gc&UQƢE>,YTTNڮ@ߞٟ_kŊ}sDvN ?;&@`npr %Q\;8'7P46!g~\U8V'gM fM LtEcv3w3&c?:%rGfYT)PR%\۔I)y!҅~ZpE/=x_LG3(H[=@=C6Ј@*za65 MFSimƇKZ^M!CS"}wfowG' sd3;?W.OqT@z݋O$%P)'^<J{ ̟ 93~[MԆk< 2bysC;/-c)֙RNTOSl3I\9)@5y:Pƞ3y15|O?$yQ 6XSc?V|sK}&2- $(L3H $ ,Gg90n0^/ 2,?'151\]9oU- Pgi,^^n5UD_,=ݡyUƵKxzUX|XT=ɲ"VrZR';̥bn1YK֪WMQפsU;#*)`YjN_ey>#N20;'Gpl˲ ˫^nT/Ѽ^y<''Pfo!e8QQ͢i'psW4??~BöRXj5kX^K--Sx?_>xy {{4n{5Z׼ާwwky߁74ߠyBo D׎xi{5/iTx5ςgiO< ]2ook>45tMr|>EE+_t2xT gyU.˳HɠPNSLPG{|~,U=g.;"l^Pڹ}Eؐ OSU[.Gnǩ+V{׮wdaz飽!n_U:O$J#DE?U=\$|TUnC-V]=z˪2¬L7WN&v>c^@oŰ*}o=z"1bα|2Ύ \F3_"wzeίU<5珞+r->'H ǬTV+Rq IGgI)"KhQJd~P*#!كu# J1بU w*^!.É*wCMT/=trڗr}z5geѓԻR^KZx5yg i6?f~JmCK!uh &j[[κPkk-!Y&8X/f0]Wj FYpqѢE]MN >J%5}A}9XaDEE8.E"iHӸ,U9 7d#Ꚍkg&"%뢒*ʹ?E=kIvdCp#|p_Nqٮu="IXeQ-&>q`=Ƴ8&j׌mvb.7OVa x{tgCD𔷄7ӛ$`@ !\ I )-T@DEPR z*AZ,T-AtfILŢS==cvggwwoS4@g+jRJeƥh" VTT?TB9؞P"J-ҏ'<Q,%P> +P-AU,;&Хӭl>%P>Dƶ^>nV):n6)M5R!uq OH|t: sx852th/45Wf?t-{!翎bS\d{@TO4 ֆ7GK˔&JS4WZ(-VJk2"\iS+J'rbtU)ݕJO[UTuρ erP m UX5CV=oó2 &&fdg ݎ9>\<0 8zڸq8WM:Dta'5K-'*+-R^Bof/TKUuܳz8/,֕tFOɹZy'JC!PG9dQьIl1R&7^ dK0&I$r 2HSn&J!&HF)r+F< (C }7jzs0CRuם&D!4#q4r4ǿ^CW2cF5$@2ȵ3~j*Kt,eiϮNb+{y R^9N57FέDA m4R8.1~M~9%/aUۅ7>̕=2_vL_4vTˎj!;(O5ilw'1]ꔊM<7\}oB^WaLw81_^s?ȗHt *h+#R)& <s"+ |p_^xy5!;cwCwB Prtȭш["; sj-ާ R u(᫕10XgL|yT&"yh,tAVt"lJ.Lޘtz\ҭAaN|*ƃUj4 hlkPFIX$˲P^,eNi>2`qsp?cJo&l{j8'TWo!{ww کŗI|=(>wݎx?XLvzT"K,VB'̑,::(/HlZI19T%)S=_3uL$9{itwhxqnn>hū%VNp]x#7gJ>tqE8 cTT|<{(%Qhw=Ji׏n2HR9/]ixoH(1Rŵ޽HV(MὨF}DӽzEv[\??Ax|Vqt٦'i5Am3)h0ۀmEW$o/Fw7pޤG95BKkک3k66-ݬެN"Ngw;]|v;NhwC#]qg~w&|BQ=LȻ$uO*nتw4Mw[[ [[[#[+[3l-mMCkƭuK7CS7v1l%'#y+Z=T~ EcN(ʅ,2H-"[Vg'{t#OiߏyuߏIԓcyD?-қ|^Md|˯|Sm>*Q1E*phcQǢE!F,:+ק)'yך~b  ƶ6957/;oJ1K+țR;$+;X8.Μ95 8i~1O.(737;/cRp.7Kמqu3<);6+Jpr/_dJɟҏ*. *a x{tgCD𔷄7ӛ$`@ !\ I )-T@DEPR z*AZ,T-AtfILŢS==cvggwwoS4@g+jRJeƥh" VTT?TB9؞P"J-ҏ'<Q,%P> +P-AU,;&Хӭl>%P>Dƶ^>nV):n6)M5R!uq OH|t: sx852th/45Wf?t-{!翎bS\d{@TO4 ֆ7GK˔&JS4WZ(-VJk2"\iS+J'rbtU)ݕJO[UTuρ erP m UX5CV=oó2 &&fdg ݎ9>\<0 8zڸq8WM:Dta'5K-'*+-R^Bof/TKUuܳz8/,֕tFOɹZy'JC!PG9dQьIl1R&7^ dK0&I$r 2HSn&J!&HF)r+F< (C }7jzs0CRuם&D!4#q4r4ǿ^CW2cF5$@2ȵ3~j*Kt,eiϮNb+{y R^9N57FέDA m4R8.1~M~9%/aUۅ7>̕=2_vL_4vTˎj!;(O5ilw'1]ꔊM<7\}oB^WaLw81_^s?ȗHt *h+#R)& <s"+ |p_^xy5!;cwCwB Prtȭш["; sj-ާ R u(᫕10XgL|yT&"yh,tAVt"lJ.Lޘtz\ҭAaN|*ƃUj4 hlkPFIX$˲P^,eNi>2`qsp?cJo&l{j8'TWo!{ww کŗI|=(>wݎx?XLvzT"K,VB'̑,::(/HlZI19T%)S=_3uL$9{itwhxqnn>hū%VNp]x#7gJ>tqE8 cTT|<{(%Qhw=Ji׏n2HR9/]ixoH(1Rŵ޽HV(MὨF}DӽzEv[\??Ax|Vqt٦'i5Am3)h0ۀmEW$o/Fw7pޤG95BKkک3k66-ݬެN"Ngw;]|v;NhwC#]qg~w&|BQ=LȻ$uO*nتw4Mw[[ [[[#[+[3l-mMCkƭuK7CS7v1l%'#y+Z=T~ EcN(ʅ,2H-"[Vg'{t#OiߏyuߏIԓcyD?-қ|^Md|˯|Sm>*Q1E*phcQǢE!F,:+ק)'yך~b  ƶ6957/;oJ1K+țR;$+;X8.Μ95 8i~1O.(737;/cRp.7Kמqu3<);6+Jpr/_dJɟҏ*. *r i\&k0:$DI4LNQoSUAXZX\X_aƒ+Ϗ8f