SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info VVr7,D ] Vickrey_Clarke_Groves:threads=4elapsed=96.008cpu=258.308gc=4.188factor=2.697zXZִF! C]ŗXiɟH)0%o/GYZL,?t#] ^BFeUE;"Pڳn[~m&?P!TOV`(0/_go>%Gc1mPbgr“X \EAC2m@wVRr?ݰNoߋPv,`޶tI=Z׸/0>@[%h?z}G@t"7wsbMbS4hÈx˸+Hvjjk2Dc1#z1#8~f*v슴 V胇˓ͮO璑p}%}EuxbgZ!qb :mIupZŨUEMB9\1z;m{n;b%YT'{vؾhj_jWٗ[js57UzV:mxe꾓>yH<'@<{%Rd #osj:3L% #s9[O""Y^݂y32M OOr #0y}6ts];`=ϳLҟ!0\y\OĴzʐ- 8%΢S,2-!tPV{~ć: ˡ)(hIf24Gh3wb)i&ڔ;2؂ "nJ'?Md8_ s"Ц5!3$)!hwuS~.:)ޞ~e`- S6I8Ƽ.w /(U_Qgع^> mBRmeWpC ZK'6t( !Q_'& ߕr^ (il75YWӛպW6 Z@NIO-8wutn(*4B%ƥ,exwh0fDФ@ C')1aٝU.9y0,ui5!%z#.u2lg 4ԡx}׺ R~;/'Xj ,pM92˵youk$@X \ݿvA{~Oy=j"o}`wwlu]{md4߃:[$4-rp q;gS}hyp?2`ZO9E(/|kzL#+rhX$tIY! ,u'q}fB2`tLU7q9a05=>(m(4z 92CV7.>%26ބ&^G4w. $]`T0ݶ108Ek=1߶|f],=/(0?|zhp,ϴҙP51ߴ&y']zVxAw -MbRdEI 7dC#jkqϤ)]`O%Fҳ.Pwu'A'Sv)(l#ؽ=5M]j %N!ۧev'y**1d{HցAœ0B2yP_Ϛ 2#3HU@'-ZE7ߤ'&,@ kA ש534&W*瓚)̬ MjQ˘mo\;~2{t uQq+::,h]`;{b|Glaf?䵢>eGiIst/4Q'E9Bc!&cʛeswAwK2cQ/ȳgaf hYF B]APco[Ƅto*8MI1Q1GfT.skI7 U'R@3?882}kNlefJ[5%r8s ?{hd9r|\gwKޏר=5/15<~cF9i8.Jh pP${U~im.L]+oT\\u2ntGK:riyWimiBV/D=.qC6uWξRʠ|թL?PPdU<:-"iޢ ә \]=mޢ]1|~McXuꅺ0i(i? 7 Vickrey_Clarke_Groves  'wO2h ~XĚhy9G6Y]`H S5BՕPNKX@o7*u>_$yB|j$imRMn&Z CVw2xqf&1A ~bz񑏓nҭ5dS228fT0׻AAed+$>}wu*9Z~`b* ]tɪ~9觗shm̱{["(qg,(Wm۵!OGϥfuqNoO|S,E,;j1ЕU`T2H֣aq:G]}r`6tܴ?.U CvƔowKO`EE/2/Z)- [Rz"2aL;LAǞYebMf?U`6Tu~L9S)듫q1a0MeYu|b-Pc u~0V/{X(޴s$'{P!LgTTL2(]ћmOpKwiJyGgkd=p|vCGoR*$U/}_NYKKڹ*.:'I,KzXO6s.a#kF5ӹxzotMJ8p,ц5C v`3TfJwJaE۱d3 mޣTŤ`w P*1|L qnK[}^ _ѐ.Ub-Y~K IP;)^VR6yr}h4KJ_liT oV ۏҦvzhE=^o5 VZv2b$s/r^trd Rm QJ VCG;A~ieO+ݦF@dY*UXp.X5>Fg:GDdH0i69rfw$E;s=24n6+Vð**>(iaE<@MY H~7*Er -6קC^&b`*V%e]|]s7z}tW:>of3ՆaO!J^[I#Ńʦס<7/)4x|Za39l3C>ws"/yXHr10-,-k4zdibcR_e2WY YQ'kM,j9vyϵKyS"ǁK<ʨ f_5Hǧx#9ZRa}wo. *{ LBfÿ8܄Z.KX0]kQG5 hJ;/%!oB L@6$Q[V 1h/|aqg4@b {r4WVeA)p;Ѥ?\[J7.jl b9`#KKII9(#,[bҬAl@d>4ˣI/qPg`O}RA2m3:M< ]ǥ$P)P7E=eC+L5&ڥII.)WkX!?F`[W_+4]ڼZw3Lvߪ[TQO&Nɗƕυ>_JuA^"1\JLJh$ ba(goQ 7Jn׏*s:eFZ^$St5 w\E :].5횙g|%uURn%aQ)?cn 3JCgFNt!/ R< a,كɓNw. {6UqȴTd<_c"o3'Kmmo +ɝ쎨~~R8{:c{D9 PtD1q(}:3kTBWe>McISLk~<2=*#pP#k٨)Fz|\ȋhk[#ć0 ^,W S\8E$/؝}Y{fxIK{VV<޿Wbω TžDӞ`Ïuy)XSfUIͨ] ӭxPw-QUxu֭|?s1̓E(<`_x%JjýρEGdm5p+C>.BJ:>>Z:V,\(aǂi ʔyO" Vx@D~JsZvc} p@Su>u*vz_ Oq*.qZYtbYt(gOF[=ijyL/v tT?=0cS5Anik|Lc1?tYsU)5.19N xydML/e,R"N+ʤrs64vϑѓԍс^VҫW#^e}` vvd1c)1U߸gIitm Kec7+!!*jEdJrLJ'C[xI _TsU ISeT΀P]ahz^F`E1OnDh v8!֒ Ay"޼lV X1- ;(p8C$UCy>{F Pw'Y1 `^w1n*[h-g/ؼ&+KinC[:`,rq#F@'u̓a&?;0Q.kUoCҿ|OBҙa(d; Gx̨] ATΙ/쪳/Y ζ4[}b5 ۓiU@wc.UMj E Qټ/;?ڄ9F^"US=9£V1hsyɔtxZS>xbqc|S~~[|r]-qA^?[;Z~o&7m>h+A]iZ,%dVKcRԃiMfhմ n3J_>fyS'9NZզz 0E*1j_zS ]&W:/Sewp\ɲ|)f=7qDh·w,diȏpXX7"Pb;(Mur7=w K~WiF TK~PfCXfBg$4p(bdB~o^_) t|МH.h,ͽi $$P/%Rτe&:H"0`9R?iA *cߢ Pg娑#53Jԡ_2GCHSgպ!f opxZ.w@PWxږKMfAߘPqDXG d몳RXNBT=>cnlj & X/ X*Cp\ːH |0 k]vd*,I'pho! .2@J*ƒp%> BK2xr|Uup?粐\]JWu;Hdb ivou늁ms^͕nc*{nru<}bZ[&Ixhk0Ltإ9ܞV>$ekN~0Ψa*I>?8 98hcBTX_vX t8<}+g싃w\{ME q8()UAB wDBIi9qeqzHt/Mf9t]2 \ZEϏ8QhE-BjHհ KY *q00.S*Imrg}[t6͔s(e)x̩#|%R>(oȕ8wD#=_ϫCe\#UZXx$;!TL=2 +ΙO k݊0#ϑ+޶il*'Կ4#8ei"YN [a6=oUژ HLRRd4M4='~(I#ە}m79^qma/< AjL /%]fB|wss$NB6mg8TM9_kI˼ x}ĵ2HQ,S_4Uu!İ)v{2bXTvR\u! P(`?i>7͙FuoHΥ .#^4TlPd {AFj]i^^. |*0L4>eM~[|#V?Ŵ u&QFrİ1 {cWD Oܠ^ #ԓ$"6k쫑uۆ4C<;Ex80k2jEQu&~`a6rLq(oB"1Me tBX-@ #n?ŏK@bk[#Z'ǙԠ2ҙ :6m8G7~൐N@|0y:7l/5[x0\oZgE'[~}x] lTV KhkVP8U_F񓡢XQp(g0aėDCFmwآ%Y⹩"!ʥ}# |`#HtT UX $|E8ȳ<ȅܼ EA˾8PbK鵡mYKs4Y4&3mEl"+zRr|BW`Q^pt ݪ쾐Cg-N4_DQiC )`q+,Q~Fn =LgXjH5Ct5"=j0mԗ{f^-ά1˰O>gCpZ1CW=T~!m"o}!.tJŖ~@LT/隀1cj/:AfԌ﨑SUtY74#SG ZϭMْ }J3jPIrbO]Ʒ-c?Q#o3A)!5Š3P%l9CbaKKI(>oc v?4EЏ'O1ܚק^K'­_NTk(\cXيhiG *_Հqfҩi8%nc@S>G1p#[k,"U1.G pV D.=~qRx^A&8"B@bSޒzR2B5M3:>A$4=>^nw|Z#J'nŌy>]E29T⧢!;G d_$sF|vb4=I6H\eD9P5k >ȴ-w5>砩5{~Z\p:K8$OPUQzd^C˲*!tHoXrߦݫTxcGnhbj c *7om g#Qrg'(̽=W:ǃ+m^4y4ǰ)1G:MG١h%P*kkFǚ^>ɅԮ|dx ,Va~:$ݿ!" ƊJ,̈yn@zLzvbiJV% "j,a\CU`)) >W ev9T * +|G'A^} Sf:p8ebb#/.s5>8tV  {ād؋K[v<-jxO&&/7/r囪M_pYc&`wv0|]؝dr?B t#VܝKӷ-(uW1Iutti sJ8n߇.7C#Ÿ́8F6z UbvDI^FvjUo8=Uҗ/&zz| j޺L?8WnzP(5i aԏ4jtJ06vcΑCRhV<)IЏ|t/> B{JwYБ^fA);f@tRZn)I<[, 8̳t}Ұ7kϱubj0f¹lzڍY͡wCHV2 '*e-?:ؠeBw6kk[ǚydW,%֠;\CNitCܟ@3ٿ:Ix%d}(=>fuRN._>^XOE& `3"9\֘M$`Whkb)LF/n:$>n3Z]vwIuyT+^ٻܒ}ہ^AdFvqb}:jYiQl7 i9|q,B!dt_cD)&!Y[w(\baz%7.2STaOs6 ?y(plU9!-f4z5UԢo'֙]oJ[;MX!MQ>3Y:q̜H2#ȴ!DL_±N&8lDkNeQJT,dE}tsH_ Q&{T~kHJqtWPAy5>7\ƠXl51_s0Di+mgua'ayAj4[c[SMYP[|e$*'$.ⓎguRa{FŻ3P. y]" tENy$RF-N TwAha+ ;<4bSmѼ F.=M6R}+\ Fy:Q `x I_ )kZk)ܫ($!"MSQHdZT'0]^~-Fz={E[6n]{:@v|w4Qs4_rr$6?C KC'[`$nTQ̠mhY]Vyoعz湶?a# {ˏ>ioźyZ\N@ kM]UAD[emm?<=k33^tQJG58(3\s_3H$ Q|A3ރF̔>YSE 8?xڠW`[Co0!_W'Չ[l DIŠI$ _}D@G4"l bf=Q_Nzw+0,D.ǃv *|M͌^X`Nq/ܛ:܌[PŽC(GfQH,j]n.˓-uxg̞ C쾟>=g1E%ߝIeH603E[aV<)gS6Mo@*)_Oy|RQ ¢Dg țG&'f:N:fawqnS.k F f{jAt6-bUE"Yk-=o$9tt6Łr (ѕFatbl20>Kes[0Xal=%UOcZ$i0!9‹5) a>VێL+  9=vcw_o(;!8@PWЏ$zn֦ c/R:4 Z  GC& /k ~5 pxQtb_Dg@efpZ0~᎜!8UCl;iM(~b|nKԵ|D44m ؤ߽(*2-IXa3 ]mPogz_u+{DgBaw&bScT F&Rv)n8DIEϗu7;Ҕ]0ƮmiR^VpW&%U.vƪgu2to%k`vjsDdP[?K| TZvl=G^1T)Isy4 aQy~,t1ȣ `j}P{'K@e x_=E6ژ͠w0Ѻ~(bUdyIy%rS=D"sѰ,/ khT~/V2( @ל.h=Ӥqt䃒YΖukT.zz@XtG!0{r[M V\]L}1!FRH+2o`Umӡt^0DIns\3 vgq}U]G-B~d bzַpi H亮!w%QP_A w!V@[@B井< x 4*Ӹt-l^\G.wlUh9)H/{ 1 G%:-F:e|LԞ$(Bpф7fz NxƊk;ƀrO%Q}L `"9lkT^:Vt}+O 9I^=49zq)S)EFrN qn&<ȬlqRV0ZcI}ߣUD{ S9ӚC N'ή}n`ܗ<@h2sqhqg%a_YMx}xѶ7+?hӌךM+!G䷀0"kx{, %:^I/ly , .Ppϒ*abRzIR^TmznqeP̲15iaKs&$y#D[S'-^ň~{o 5+awi0uMPQɔcΏ"i޲uk+s{ #&4)vfmf|1^SKC^jSJ?n{pBˣ 3YdlSi.CŠc^9KV9.Z uHms}HhY6M5O3-F7>Ak ANC5aZfmdv)%WDzAp}\<+ i8MOzD/[WQD.h i)QęR]@eT*F.B0IVb齬WfOY;F+ u,UA2WbKDj+ȑZһ Ʊ1]#D)S3K S+qND 9}pio[t*7֔s{ZYlUN ?Hx*E]Z©ޯ^y{[msg磠tA2z,}YdF~ 9vvShfaYe>䍃W^z1c?bq04 G EK<9r4vbJ alVI OSHj@Ԕ^lb@ڝ YCўҏGSgI )hsy~B.yImN]^1@cJRaW@4F oyJTVo@䦌ÙP&YԳm8HŁ .SŖŽ=v'mgi=<}tANPQ:#&V62STEmjmoִ2:14Ρtw`&#:l_V>^2a5̮;y"gӌI,S^lղ/ 08uV\*%5os޻sbI-J,å8us2=8v%Z2i,0O}},BƏ}gc+*E]5};㍋:雈r*n=n(NB]t׻mkզyɯ>%+ԛ/`b,ht"7UX8ڣ79 m5p/YkDm*8K;lTу? Y{kp2l4m<TYMudvdvUOޝlVq#'s0b% gU4&WXG$S3b*:a4pz_n_[He!70,=gqT̃(.Ųe .i'˘]V,|x:!h蝆e "Tt`("QXӠ^{Uah޷qmh8ޔ-b,_IE pٟPHe5#V7.Mw3dQcG" rf^a4U9gGM@}a-߆|/gf_b`#I[1oF *0^6܄W, ߱5˟yr:Aq\2B|xi!_{/).e>a/!fTWrP7TϠӄ{~@o&.ηV V[zNSiAVy4GCrzVG('`4̺䚁Zj{y,orqw@Zr[T ddkG5&r;fte97QC⼆G+퐅o`v 4Q%حf S(<ՎQ-0,̬z12UʼnA}T~&ufR:iJ58-Rܣ{60f:7H P;7GA9QW,8hy@,x&DiԊ:8nܾ}pgrf f E# <m-ZS06T"4nyeاIiH6 =Tb&&MӜ)+xljZP Daݦ@6=VQ<9= &̋9CL "o8%ײ"N2eX7\do<7lCUTS(IʱsUD[\l~[SܭWgNّ:=(4ЊjMM׀EgڮRoV-lUTJw7}ٴyV%n ]|ij!M;%|A* P ^39 DFrOٞb:jm T{^?^yȨ?\ucuHw ~~W#jh׃@>T-rڔMxЫo۵'y[M}ÿ0R xj) ԠeAxKhLuԓɁ(ȫ)l&Bl4/H{cMf}uyj@S^ahbgίy},`YQm+9`fP#Wm,Z?~M>–sG ~#d+ 1f+zq3*'ͼ cOuP&HZ bW>^3[;:fǢp[tqS13NxF}G#%\Q Ǔzq,n_ƴV>$FE h?J4֞ Iw;y\VAj5fZ ZXm81eP_ ."{k zփ A\2;BDVtU^̼,`a={GXcK9N` |!j)-Z,$٢&U$P.=Fl憟X 2fBhIޟ/L5>lV%$O|Lq_փ4Dy2uO2Γ&8{E3vN5*+TQEd=/ 9??B {"/m)ސC8=ƌHFag,|iPkrW=05;M4=[+RhVHƠ N\s{:Cwˆq'mQ FSoɃrnz$C`Gk%WRMֱW-F/~n5H IYW afM0e+/%OF#~ёpTe/NfT@˜yZ6ҡMp*<J;*ƪQ)ϠpE|3f5*'ْ==z+| l /䥓7 {!Sz^25,}|3)qoz.r&ʫ/8k"W@⅄BO{ITgBE."*WJylݦk^#VǪqgO)1|qf `@h9f 4%'1DU^DLHo^ ->V442ehB]rIM9v 5`Oʗ6h*ՀE\Sv!6]{Pi z|ni/C!Nt3Mϑf%lقi;{P M#7cqI7õsX|Yk8? YVnV ,n%pQbd/%_ }\YbA?2b u?WX rp [xpty]SEkYw 7d@|'`u0j>'d;yNxi Udž.Q'yvC ##Y\Wf^[3񶸦3?asbsfpx/ߣo**>~|!'0B@H$; KW@̮G\`jJa'>udPtrLH>P`W@g^J0v:f/h4QpՊlֵy=#ۤkoXKp՟Vgn46Wϧ4a4=m+Hbԡ`6qR"!09yUB7azI1UV}4yډ hՄY`JA8$F"|WUz E{0lW[H$=,v'1n|  Ŝ5QD26d}npz1+cV :'jO=(_V6y "1(Q%%΃Հɯk2^]RG7gս%ёbU5+Amv\ D7h=+³lvǷbӹ]@w#Nɇ*]㼭w;]VkGvMXiwhOOw<"G2@WѢ ]9B½q 1Zcn_l%p17.-2j?NQxp; ұo\: ^IJZ:7h+c "60ҨL,<([#鰀,Ҫ^I,Eٱ,܂ȋY NPGAA堋jInv5 e508w̘3=9?HB1>,П4j~n c99s,w1:8!Ev;lɭIyV\AngnBpK lbA@N"F֞R"5bdѫo^^bNV9h4yK0}25k "<H@z|#-aZp& 1v t^yҫO 7o&v;' rsoڙQñodM[wok(EgZ,J5} Y vCTjm2Vkh,+xfH{GC#QO~y7\?'okEf8`x;4 ↂsZ 0!a?f:'x gq.4ShgjO ߃ 7׏#w!ݱ"As^AUDɥLaz)Nݨ ^cѸ+BaN$s;-$"NnTՈ^jxXAzD] =+؇U`hك5b\&{I)_WPg?ѽd33L(.O@j Yq]"ՋZ-^33gsbOI=P&uI@|UO1y~і,"fI6aۮV{v2rM[&_|食e}B}Y%. e-p8Bi4" 4mƁЙ %9D_!e-gUu~nU ‚d0#qHOu(Sj)! m|/4氻7J'Z)mA]raߎ1vDє=.-ھ2*B^!_.(gJӚ}Ôun l~e h}q²9쩭e?pȎ6P 8q]p S roOHXa߾C0vd#Wn+߀$CN p+ExJ7hG!Ly1ΥJ/9N=D|3Q~MT)trL@#*4сWx^Pu]Mvrw~٦KMnzi,Ge4ɽI.6I'>u#h j5+:\Ξd+,Ʒ#m;T2as:F)s&?%@^uN8`ZՈl2 4Rhk/i%\ٙug5?`&2 @83w⃫Uu=2aAR5;V;RW\Bo"7.5,a )VY9 t&Q`vd;jϡ+Tgp4H+`U=g58kA~(26sRvH` F3&|c<-K8L9>lf=V?y':oyHw6rz"SQ^AW1,9v`lrqA M`AYJp`ϞiilˠC`@ن3:gq5_7H yڬ@GfS9 @)GT4-LHhmA".aP[s.KO&UinΧd\Vf!u ~.-].mbi(:ǹ,+!66@m>xz^ )I9r pou$[ti^I (e>?H,+owtu@f'Ō %N>}9] _Xk!id`ݑz!E= $`a&r ]p鮮jqP ؃y"c`&ތ0z-QcPQ 1w7SIf0*<͹cX Їg3BRjlq4U0v^Ì"|EsF 4}8ŵ[6K7ܚ-EstqWBYH,i:&K,`,)z}-kYAµr ~;v8" *@6){Y MvXIk Mu }7$PԼ}lPp;rfe9iހ-z 4!}D]s/C:KoωY^݊+}4f∜gTtcCAt]%ˌ*T9'sFѿjfp&8C4 ~D\sEB"%(ZVx]Ro4AgEcHY w?Ƌd\Wl;EU/IzKjpAqo9l22 ~93jz;bN6k=8/BeG --~+yS#dWBC[렆ėnO?CaaG8ˆUͩѿ{R&UVY&·m{0ꋵ]ntDj]gtb,∺%gM 'gɌaRV[J#yKkpG|NL.A'`u '@ǦK?ֻ1ⓞ97 gp0&@ۊk!h[ 7~32 F.qIcQJӟ }V;W0n",#-'ѩ̄[_'n?W*#X>:# 7ñBzE>6zaGE0vP':V&`6@eǾ`Hю;%.\my@W tԴ)PȲ_4Sg`zj|<""C#,j.KZq%Q ɖtg,NT{?eBF4AyxOc$_^g }BH^|e'lG|/g|=Eƴ¾s4ùo"kZxz ٽaS0ZEQ풦S 7v+)UCcBu, ,]{#rpKhyՑ!@8\RO2}hטX<ʝvAV@8tȂ3+%0Ct?cXDM j5M@LD[jɞ[2:Tk fF,]A3,[>Gt6`r;㗶A g 4AQqaxfވ21g!:Ֆ?(bw0Q]]r' W?SNj sQ]%$Խx2Q(6=#ݎKoX\q;ͼײE> - HUd+eDw/Yc ??dM& yH8bnJl[>h,z |h8z+g1vhW$/<}nAQ 4;o0&eTJlbacF5g $-g]4 B}7{^hecW`~U&(oO_Ol 9O'+񖵌TCjp1JmxbU Yȍ+ꤠ~>t5 -cCliag+D(f^ PΥKu m!o7dY8` $$}Cu&UHVy:>IG4 ;ꧨQC/D>JϑgJlJ I'&։, P|3R"P!rGK#zq(s9[ހ |vPzb؉ Fjzs'- `1$nz"<}0-VJ\W6wg t!ke! =W]Q3QM4)b #b7`V'Fj?Y[o6'ئ!j~b*=sc*f-a/_(aU%RɔM2\ ;9o9Vc0ΌV|gB/,{8N5` c f {V$)>F} 5Y2|8+EiZt`*ݚ @4nUH!PD0 c!fnryz͟brWXM mUɦ{,es5k:0&C=d-[b ] Jⷑ#H [a^m SiPq^ iWG]ZD!Iu8ΚeAf{^=Y+(USޔ>v5'6d'  z3>²tC47.I8:5LZ7%s ;懩CДCJD~kؼ kE,6TKG#:F3(0R6:?m6AOK7@|)@p&`hxta6E1[('ɵ S=neadxȃ_Bih)%6ff彨ĄpyS87UC;1VxaR3ܞpa[Q1zT@ǻ\-߇<pc|& @qEw(I陣#9r)Kݐ0-#Q,,daM+~@ڙͯef~غרy{qWV'UKywݺ~ԩ$> ,[ȵC׶j{9}W^!“1)X'aWo%CA籼}* N.oyr^@m?{Zn? o7q-ȸz?םFw99-Kv} OF?qf^ ![P ii@iJ*.s'RtL v^hW !(_m~`qUd<봋ْ|'vO] 5⪒#!pX8= wT֡k[9Pfizqeڢy]!6Xh_͟Wrw]c *ʡ|eTzST0We]EiIQ͋.(LkcEz-6q>aF7e+mjh/W^A^uۓV(cR ߙQL<:l; }\U$sh빡(f!9HE/+ m}WRߝPI&Jo+v_I|79|Xr':|Lcg<Ԍ?`(Dc#SYrP!iD}f/ f"@P %[P7,#P,v2Nhuaoz%570}^ \*-<,n9.y99(fuiOUzT%âC=aw #؍RG(;D<UyX E^,dZ l,Uۍ[@Mڗ ZƌM+ɋzl`ïtDU8Ӄ5ªPaWC@0[5OM$ ? ˿HkcyZ-"4lcw칩uӓ e-PiA\u¾"0,g)Jf9;LFȲ'#O@)UXۣpLaU#|"{ǐ(9v?yseԙlɚbQΑ ~,/v0c )#LGyd@jF ͉aMUcl+ F+\x^Q:k]%?H+Hp4y-p2(8=`JܴP_I1~ϼ\;N^ Y7OwumW]\:[g:تo$Wy{>C. Q[;.ւȀ}yW˒Xnc"iEڌPi,C>}?(N \+j`x= I5f 0J"Pi6Z"d°OZ&?ĢeuP㬖'#'#XیVc5Rif;A׳ͨ`Xd{Mӟd0|B?biƨ d9Ù!'uW*N6GA +Lϥس\Soa07CB{}k).fTʬN;F&oLvp^=/|Z iAESsyJ3DV HV3M!{Y?8=an[swXmpg#2 7w];Kk;rQ!@ci]X{RqqtI<ΰ^OY"[]~ `t3FE4 4`~jSe1!yICdh:84c2ʹ1L2,Ym J,pMKzgb]*2N.v:JSۼsn+Wp Y;^2se'{ױs )u0_cP*˰ |SG/( p2Ic~-cJWش$aDP"- }J'V{-+,&M.9)}LrP!blhVYsͩ[9-; "g:=M`9矐E>_1%oևyP؁ c(bt27%6b)8-Smq> jU-ϡn\w߃%ŪH * 5QEPFkʂVpcv f?WXp5aF&y< 2j';p_fk 0r\jQ 01# +mÚv5YZ,;qe 2utQr$oEVsGI|uA>]7P*(xZ[#]sϋٖ0Aȍ-8afjm̠AD"IL4d=RIPnmU{&d)BO6?6ך2QT`_K5ȉK Cp^ܺŕ4laDZWJP7l@4+퀄7lx mZBII?)<+T)?#=-|y.WTd wuYldFj!^'`9<-O$1N09) ]&CmT<+>n64PMnc㾲F\#<ϭ[m*"&*[CM?8DgPπgn=v+8h:<YH\(p O E^'i$6xKzvwi5}, #$i7Dի.^mjlg0* ,(iTLs:n#Ro.]Rٖ",l!c}s\UNu@'a× k4pgpk],óս1&1kcNv-" CER3r[[pw=I`I\;/RÎ/HIT*wh`,+WZ(B%JЄWJJe$]j*CCfݰM |Hh8x2P+d!T(7vL88,fOQAF)3 }g.NKlf $ t)_*(?E̝i* u1@0`:s&i[F>ňګPvȪtXɳ3OQWNNݶK#,׉ ,uwDܽ2)kXC mM:_6gɗ3CʗU4m?bk'Η@O Z>M yjP3v}9QPEaWaO r<8B.؇WȳI (,z ggv[E7Ľ-ZFvj,d"s@|ry@cdOs8DW7tT5"юp#pFw>yyH^+U0XՔX-LB>*86r”dhl$mhlK3JZ o.qNj)L9ַ\ʃ&* dWW^XF!iv=:} [lzL+le-K\Ec|JCu<$pϛSҁr|oÐswxS<7-b'jJD ^`nly)YIIk]'0. r{R6Ն`gN#%h:y,x)V+{:ȗ?8IZE\ 3FRߎf8;ޛK v 8ʏ#G3 L4^"]s~[t2+7۪?34vb(ETb  z0u'!*YV8LXuj~t&f>&㳜Y Si,P.ےAh,g3v~o%mʋL šT *<:D ]I*s:Μ@N0*[k@V۶w}eyHkFN-=A' a2CWgҴfKUj3&wYJM%=xA1Lkɍ@V'KnDʑw`H0(CT%ՕH,Ϊb(sPJ#:dzͲ-:TYYҩ@u93To"77Y@q*ٰ&O xǠfRI x~A6ukRf rc}ZD)i#* Kh3OYs@qد.e`yiž=sjBd3&d_ fRFߵeщ>ߍ MZs9\V<٥HqC1@D1wO@)$K%P.>nvfN4M.L-&d-h'@L?0(.*]Xhb#B_߭+nG u[ ##de"@pUFh r9[ЫR9q _0hpg}1}kp5t'W+ᓗ[ }XQF{6=K7ýq7SiO,4 tD/QJU'8ŏ4z-BT]ABWJb uƴeyu(Ư9}- 84ѢӉN@"JCjSH8m/r4z_pYXr$ah4cW, 8FX X21dZR;ѰEn8M:d+l%m&i30},\ tc."lR l$#EɎ2hln>#c>ټ<zhP]bw쾓fd0vQ7:T%s~C KӶ3$^Xx\eB5oѣD_L+v?Y K( 0VfO?dvmc[NBE\o܇sV):~}j%ƭ魼Z _e210 C QsNK}/7UJ ذ0pZ9yJ2ϛX"Dޑ!I=\^AomC X Pu'u6݁; Hji 'N^(49кհldj7-yiOF 4c ?1MW$a_XïoT]9w$ͱn³Rמq@H$q;m aSh[w ~H֘ 05©?ړP*$$>>Ct6ފ0/%~v]N9y-Z )arv<Ԯ̔K\^[:PcFߩ;iI1S{ bjkg'X,/%zӹ_-j3zy,bH=]d-Fxk(T;T]3m\ g4ruSd6fQ{GVcQs hxD_a@1tbIܮKhu}&|[']Z = *$*3&+f,VsC0FUp?~hq딽!w|Z  "ZWtM:[[ogʀ ?-{4|نo U!%kH T zl^F bv[7hoBZxL?󠩟Dۃ0'(qnp3h OQ/*ǸA 'Y $#8 ts:CmaC8HQefXm̨?(_8c2jG7I_82 S-xR_f^t1תӚ ٗS֞{!yV&_Mf{y8^/ъ9]ѝ$KڌJ+w.r3'm&_3C t`4 ]< 4$6V!8舚&EDfSxzb,䧎Sc x`=JF2[q2g1 g[OD!}Lω@C ڳ&2Tاc?J_MH-_j/? {Nk'r Վb6b=SrnG}oarי({Ed1s}_œ@8T Ԅ;ŅOoN9 MAU!| fom[ iYr](D]%9g|vSKm<ςR{ƙ;8 [{dLf>7R( l&OX:`R^YRr!EԓQ/aMnnr 9 AK2Тwfyq"44:S}v32_]q `H#[F1حm36}zf::4#Guü`!9]Nt1DomeR4 M΄jG ta!~wp1p~wNQԽ׺-ԙGhdLV*ddL*|W<32U٩DyOKU~ [);yi5К %E,ώWx?{ɝӠSU%Vد4a4hncjQ!Kɹ~d/nIMU>_,fS߼H6[!7r2|_x%$Xp !Pcr`R$; 9RRw/Cݿ+ߚFo$t 9-l <3 Y-H"|Z`d)(Xq+ ㄯGH JM4ݩf5 X!@c Bi㊘wiįN~L68-ŪNU}*J^Y<6{s|0lUJA'^G:g1Mw3.A0eOgg1_ w{&eu`E~cFFyD2FƆ%Ygb@O52^gksˀv#:X<`3MYF(zIP9 ެ@̯_JK讻|$R_ؗ-g6z*d`\j )VKӏ`1S2aV(h<*ț"P92@2mBdJ vj#`T;ƮdTD1X8/2\.\b8b Ecy*jy =7BֲՖf>ECLVrŽQBFVzgO%7Cъgn\{GmHf7ͮk4\{پ&'r룉4—_䦨fyl> C-ѧ]Q+B1GNjEQ6:=Vf΁;ez 2=# q9~w9Cs@NCפi0O ?qDr$ciQHX8?hi*@ӕKh>xZPJjmQ&4*e 3[{RثtI7Q&P1=xiҲ%FFcr3*ͦ <(;ͨoֹ359u8O:U:aIgr|je3t̢8EQ)min ?($n] ` 73^I&>К**sLz R׊\[ZA%T"-N 篖TOH>=zL5Ab7dk?kETؙ5T7Ռ2D.U_\Bg ldY"ٯMvOY-<8vӳXL~?R !r9MNA bB62eLʲ^sSHS{;8)e{;ݬ!(X͡6D ½vh7-BN>~1#%vPbY(dzC``u=` ZI׹Wdh1pAd}S_)Xvύ7 bWbP:U3fCI]'1}jGw*_n^'-?Ťduc(x8F#_C"j<{v*" t{q^ώvUdbVurmpMowP=jézQ; Mugc)ܪ].5x-M2tzawg|h+.mm! p"֟^f2SzTYX8zVpAAFSX m%O;C@e ,[8\4T]gc1U32O0o|H%qD:j!n#QxSwRnz)JuI*.dTh/s̵X:\C0.]T%F@k)Eةwul={6,};C2פz)"Tmu.f*HH _ Y |8zv;gbd&\$tܠ'4 V1[ t'?!'8EA]FfRőѲ_VkO o%`P .o(YgX1H s36YS."7MZkCxj_n.<9MѴy0j z"e>EZl 0ݍ.%Ed$'PXɀw&H$벌8J(,uG7OXHZCܩޱN2\v{| K N)3CNA;l!4JhI:[ DSP38rST r['~j2~$w$NB| ̹`vH+f`BSDFɵuajTB/WQ.fbѰHȫVU6Jd&hE()z'#~K` i&ts1aeLt`ϭh,'Nw2jZUsfr+-Lp||MLzdn( W޾Yi!GۄꇆVmZ ޜ5w|4StQA6ڄkq?vWXGg{-v| Q 3wiZ:Oҏ|[V%TɄ_0ѡx^7 ,/DvJd(˥$aAU߰H=+=۴62Ew-g5?;id}=cnĄDU_^ Õhp_~W̑JyUYdU6RkbW-d;kU%DyP" `I`GJ$U(@ѐEyp? ??>3 :3( J+S:ٌ ư )KrK/+ȼqj<1TTvP}%gYZ7zXZִF! Z]ŗXiɟH$&۬J,A*{+H(qMEӖڭm\DIKD^0ԼJqF޶kq7}P;ݯ*SAIs K2OO췂+8N2IL[CPǘ SQr m(`8ZqjR^lӠ6sʠA(s Ak Ս欥VZZa}'>8BТ:n~Y`P4V0^bnDD^RB2`(sǣ-0rXuMWX^= g:`-"EЮ7~֔wR10h :gYZ7zXZִF! ;y]ŗXi%L!l/ ̆5Ratp{xD'4=<$o&yCEf=Ʌ^Qq‹Y2xp@XsxM"U GҘ 0s iwpCfɨ/I+\* ^ߏYjʫx 7 {e{ٸ}kd9Ɉv[A)\=P?{d) RǑqzm hW$zmrt?m~-^"@H2ۖu-hD`G:6[H"8cSBux-ă/C3PY Pmk[|MEX8%4 8~kY-AfVT z?pBJ2: U>iWH~Gt;?FYq)y4BЗI1tol2? ǀG|ZL(R=] &XoԙxŴbwm vf S.>\'$M3;R-;(hN]`vDK}prG_2QPXI6z mo,7~lTG }JHJa4aG^6@" ve3Ѳ}vU*.yc |JzH5j`? ec_[h\cM7W7~Hy$vI߲:pZpgw;q\2.I"1R*ۺl~97g~߫`zɏR }%MTRBӣwɋ}l 35*C:5\4/NV!q3#}sؚ|@nbg  [2v Kga0YͳNJGS N>t^+Z@{=-e1?,N3H%&by>3úvN<T"^``olRmVs1ab0)?{`peD ϟ s0[&yԳEF{>Hu`nrӘ?Unθ͗!Y&KqvYSb8g%wl[v8#$kq7e\z`]i {_FW - [ y :3u8s@f8L8%ܶAʫ@YַQ4 KJg>MAj ˤ]46Ɨe{m AwXE]Wvå, >CCX]?lK&O{`,5_2r6)E蜺7[Xa*|Hfu%>,`#.R5K  h]ym.Vǰ3z!cQk|=ŨS쁐dțJwxczcf\RU@Er<LxNWIXJ_vtEZi̒{*8Yqc`OPSiݻ֪X$PPvZzuמB49Zj #UAmGׅʳN 7)ΤS+)z "M5 Y%5H犸WaIԕ9jNW ^it){n9T W4}J%IS;30/wX:.K3[ݜDM$ʠϪ=f/7=9bpHfȒVC7>eLC#\9QʣQ0s.878VYRcB΢%(f;Cu(X?8FVFh1%p k7 TJUC8"vf0&;"6@tgQp&w-/ba>VWaRU.0ޒCދd`o#D ]H^;-zIc|I4'Ӱj'==V ,'p\ED5wmU0M ; jDsfг-E`ڲFUVqGA7 `j)Ҿ7I?*%f`U%j4E7.L}$o+1Y84Esj0 M ~ӷWnv`m+Q-oI|r򑇸?&Cęno ax xRRguAI@rv=Jh![%+FH]ZEnݨTG:RQ?ڑp!0,z#1Nཌl.duwqO;g;SK`yI\ˋKᘩfc,§OID&wUka l-1DP"Gx&.Ž"8K NJ3m#C7q Ef ɜV%G2_h؟Y'i8Wހ\܁.gmJGDc5&[A/B *;W=ξ+4g"\@yq\GɅR S,_O{? eGvutLau%֧MA|Qwi)SY ׹ GHAтK ZFf]M<L#ט@\-2`0}V J\etei=mFtI180Kv{Z?=T 5Zm> 2$~<'vPwyaNYetyOuǼ"ЦRLe D5vZ;#yo>!2,l2CIr ]"N܅ SuRYWZC{GJ_'hae&%Ǧ;ϛ<րu.KDJOw]+Anc]`/=&Y\;CKQ")$pio:#]^1P" P4m⚤^?[FhYJ]iׅɈYȹa2G Z;)&INGG36& ij|) dwa`z[?Ƈj:y+",T41gw| =e* @H5(c>陇v2c89APnfկ&shuX\Cp+F&1e}4iЗ'q{sl([$N w`ٱjNh@G;ܒXvi;>z2k?lVu[E L_Jm?9˒qZ= RЖXr`8gdq~U6t1 f v>oUe|tdq\\qf#{^bR"/KM*Uxܜ?`wCHNoo>f68S0t (̠^cR06Nb{e P)y(`'-o Siw*x\b3!`o7e5Ұ?< _s7ڲk&p_.x"oihBCƋ œ%yQeoy!!b4sM? %èň|} -CGw : KIa[MHO-lXq`b m7Ԑ=-O(sML/TwQȒsbƑ`%[qj/!SUgEU 7f]_eb+NdR^"M9C,be>#q-8JsxsU6appZsېnrll,1u=5+T"HpXJ.mu^wE[x/ܧ{#e8D{^pI+5LbͱSi]tEm)T*E}(ZArjѭ#brҧlxiBf@K@Yc :\9 *OA?y 5cpl<^+ r A;Iԃ~cUYbKދNB(ju=xd_05! \!G5 Zr.تz箛܆쎏23i<:)+(c j/Wg7БK%9B5#_~x[~ll|g e*{4vTu2)rKYաcMXw ǖ%L>)\:+:4ʒ`#(*<@fu}H1B /ˑh 6i. 8~=铻ܳ?4WTS6Yw%Mݾѝ'VK3@*/WODy;N' 1Mc/K=!r=wbG @ֳ!4tl AgZ4TGۓ%pݞMWZWuqj`@qՕTsBA"Eϫ%g/RFhmH4?7zpeZ @|e٭j 7A` PWB2 E#&[wk=Īp8 {CjD8sY¨ͬo< ”/5_T8h,nv~%9[:\a[DGK~p ɀbxϋK'iOЂ̥ʚ$4{ՏWIIWzU$V M'zꆋ*izwݕP IEnY0M+]6Z@m^'vd]d;Y8=bGm5د";G$j_qƒpSq[p*'O06$(h Pb ָذ2}