SQLite format 3@  . BBh77otableisabelle_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 $! |4 ]]]HOL-Proofs:threads=6elapsed=709.628cpu=1717.784gc=219.208factor=2.427zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbcL>GG ;^ˍBnIl+z^|M4߬`g9@Leɶ3Ϝ^d^YqPvь0u2яDϔ<4,SJf8jꍆ ʻv5aO7bCl +=0# .cFZEr/K:d< //r" XDJDzAK7/:b,4mDw~Y~ 9O LE!MnjvK۽H~;;'x:Jn0J ܬQ؅V +`S{&?;?L mDh3Ji5S;\vVhwiL?9R2c*!4ht$Q%g ͶiH3)gVS.& 2r ۶%ScAͼ*GQb#sOk[.mxiW-:g;Xf`ԝ|Q Lgg5v_9h9/lbLQ4(`]!r%xjTDYn7LQZ+Nq!9:UDmzPPu_7\0-ٌQ.P;#Gp"~t-z&04!"lgV a>K T|Wfb$iN-Bm:cN`x[ܪXJ%C[<3/I-tUG'mM HAB Z2R#Q]H9TY)He%;NsAMȬsi栻3C+%G%"{2`,R4@Dr׳cKLpѢ? vq7]Hx 87`,LνSخTK(|y8eL[(!QoPok+].*s"P+nt|Xt0ԅR;p3dJ^\T1}u 1-[xZY%"˲}c̽lun*EVEt}SUf(вf>1~p֥ȝ}j#,,VMS3W\+3dә~1ԲSMUo&A`@wBj+f!qn,6^:z'Wt>_?el l%gL{I 7fw9֋MbGԹ {4F4WD}ϬOf8Dbhw]9|n-i^$EOH qcF&f}Er E3%)ؗOr[!T43wg``@K}S915WsRK[.cHkw)&  ! HOL-ProofsEIM-㷡GrXgKv-ZzW5]N_9#^۶>v|? j ҬI4O1S]ɻ]IelSN7Ave ׹e ||7ZQ Ƕ[Aj4J-?@b*y2UBHU|t%n <3En=7Lyv ʪ-oH =*e s\R<7-:-:ᝳ/3vn踴R߭E] kAWݐ(h"ɵoﳊK!, FڭI6ҧ}9)K ChNcu):sIw}PBr{j SJőqՓE< 5jjR[f] VN8gc,sB_3&5K9bWkqmgIuHϻ$ Iiq@>4G}zXQ% fCe* 4DeYSj9& U\mBΉw<'<._'q^VoW~P$ܠe̐gHFR\@97Z%i҄fn{WmCB)m1Rm5ZhtYq #FʂsYl'RF(1sRX)Dž5N^ȫDYW@l#_g >f MUb\\!Y$$ d $6·7}d> sۡՄ(7U]<çubVsк OΠB9 9d4n&_P1QlYx'rG0|TMq Ce|,fs״mPfr3/Ubz 2RƆ%2FՉO,# 'ؖ$ JY~H+&ɗҙz[~٠?[Ll߶؀_U>{cP(1 7*OSȬXklE~`{CF1aPϯߵ۟!p 4ɤbb$Hm{$F)J>w+BĄ]?>]I [Z7[ u{@o䘥:}ExlEþ 3f/F;|MFyCZv]RN߽"+]Y{lwOjHzyר؜6FXF.rUG-.ϧ==шWaMD?sSB4ip;嚍-m@lgmkw"x+~屴3c5Jh1&(`An.I nHs @D-%rߦdoOJH̄r&u K0OX2kҊui+̓ g )|Sxݽ @jZKk,QąҜ}%&ܲ%ԓW]1>Hd[e}Pyz3#ZM+pi#lɟXzur=ܽnɷjĊ;INR,E&f .cStbYf0'Z-|5m41+DTgaξjʻNRh#JVK?+O֝MZ7uӲZDH \ȨOD (e:Q,B1CTg<4tC8L(X}ȥn-vW4V-zcIqbwPsPDo_NV.q`@OҦ$\}:AHV za0Dta-}4C7YߓSϱ+%-#k\S4:HU(sgPqЇ7mۗ)LJF%Q -cfTmg/U6-헰 x#@ ,pe@P}MX,e&e?Uؘ;]ʬd|pmrÁ#F,$oW&XkC^8-Sm:3`7Rk݂LqO5El4圩>^A^WʥP9腟U/Г LW<@_:6Zrx=y>baTfɘMaI $P0s& xx'F{pPyKVO1&mZq]糑G R;UD #DAv3g4L`}-EbɂUk[>>n!WϓySrCWkICD,7(b2Dj;I`3F*i͘ǹmv=6['"xbQjY( P薀Dn~(J6X5ǔ+ 1^ӊ Sx27/RJdb֙Lc$[z:Gչis3%s%9/J}H\]prm'{A<+")rzXk{VƜJچBMWp]@'Ni5)ͦb7O&ёƩ!N_ "sKC,6;Hs R 4uD[D%}V$E[ 5nLD^d}`D$Q[`tM|I7ϓP[8M>-f72|}wwyɨ#*,oԂy6ۻʗQ!Or_$8܄/Q^vB8huGB" [ܞܳR+{:Q["Ǧޡ]7t$BB'6$h|CoLg[?aCgYYr#av(t85foN͓Ĩݛgܶt-MOP"V&Hve[0Z=:H#m~յlD3cE}P6k2/ԁ/iq]ϲqgIyYzP`,HU2ddl5Pc37$ rơ/Rhᵙ1. )0"_O4Ae(M瘯Bi1 Kuݠ9.Z st, D{"t-Yԙ`$6=͛ @¤^N*V/=Ι!&eр1@ >CXV[u FEn~՗?X|F+Z{Z8-<]n 9_Rh 1_]3˽e,2kqDw35|~TnF_oxw*>M)qWUpjƾ7c-ejkvOR؜B%}JjUW<<ʕ$d}GŘ$½(]ΤO0NʪY춲SܢYy7߇.E(ܫҠp\Z=#`wI!D  a.>r,tO\d js__dM? ,_XLM|i{QmjY]1;aSNu749cM Ļj}MXq~WrcN{7c^W'ߩPZҔ{Ԡw*{n+IM31$nzoaeQJcg,qY<=zetH+0L9ݱk_,T5kPQuvͼ,Dψ˙e+B9d{-,gLs yynQ@5hRt}L ^A6<9I^hQpj1eQUٽ-g[{qQ TTb5U@"r&VNp*u):~+./(Ɠ'Qyo]iL,WWg9t*<To:370|ilj9 ШM{VP)eo*@噠LV!*#dUWT?)oW]^+8|nYAؔ2gq3uSzCL?pC$kM}$W{.0~żr'N7)*eɟRfQ+ёM]`z"qrD7] _`ut!wH&>x:A"iRڱW@CBG 2nπ>)6:B-g -HDoۧ=I1SeG K( ]ѿ#[Sqb X*=; fA7s€*\5NPWB(?gy/ :9ncd<&aArȇM`dDRs;([߽O2l6`@;JJ@R~"[!x" 1(Aޜ؈ZI H~3{_.AipK$ZqqEM!!*W s염Fwk9cu+~N1Q!5YHvkc-%ѡlK: .|YZ D[GThZp%Nlg53W~- =iKG Y7 R+L7,/(f|o]"! -z?7<ߊ;<$x&4輺 :؅A'}QI4L%;^Iqn[_QCbbTECEy3q3'Uv*hLM3Tr:x{o><͌_)ɕ_LNX<2Yn\CZtNcVݯ;Frq=UiԴ]ڻe"B&%y:Q>% tR?e<ftōSad^Ӿ+A|myO $2$KkC D9BŪ 2n@+ry: IO1yZ'2il.x84"wo!r HTfa@9 &.I4DnBH )V':$Bl87PjfUMz58A.FU8@^A r끖,p9 P\wO@m*UP/&ۉ]l+rM&gUML̠Ds [^6<uW=_rci;2 SMQao:]G| w=:jO$α:4wWkTjs0s7O RWlbJE8.-%wݨRtmE Ї>&mb{" Ě I5G˧r͜9֝LT_0T51 vP_cvj(`65r˻8G7ҡ6ƻ-G.%ݿsmV&\_c,LTyWٰk~RF\ ^j;.9)PZtؚi өE.S[<}|{VU! ^cCYa5u7e.Pa.g sB 2}a!'f@'CAF쮶!LL15s+'YP(lMPH-~ʅ:`:1O[2憫TgYZ7zXZִF! 0]ŗXi%9,xfTgwTNʀ= C] _kDӮXے6q\P W $Y[-iM=_DSa^ _}6@T?:`V X:hL4j4v'M:݉&cD >IB>.B ;/IP&ϵ`^4h\'Mk^ƒ} |zk T9bnHd*Tї3_Yc9Qy~w 3꧝F;;#! fg4VY YcS)8%<=ҢT'fd3@9<&j2ÉZ򝟳|5WRd5?C"ލ+ʾ˸Kʾ /Y^T2T_c@vͤ3`B F22MZUJ H~<NF`-k ug# *Sm5~B$պe@u8O??pQ>mȦM9Y61H@ZOmbNfL <}ۓA0X7 2HaN=ݷε??xH&t!vbnmoFֆD+Hs wx6{?s•K=𽷘<}9zhK5ϝv)ei3v_g wISo齽/?sHD@T΀Ro7QrOAooqWIK 0)* tP %LX>=\g3;.'!jCӄ柦CiH~dyv&TP6lj R1Y!fޝ@3:e.[ _&%#:rAPtSAN>ˀxإ( "-_aV*13,7&Q`n 9n 8Ȧ'(g&*~<-Mt/\`X,yYKsw򰱑2oLKx\W6|dFQγ܆M 2X,1-{9_Ui</NlwRLz.p*R=z@NAV*Q="@;m#/LgKo57Y Ĥ*#ϻ %]i7QA)i+2|SLJ&Z4[ڜ~O{%O`k*>]viG0rZ%RiSʘm<ɛGJD3B*1tL3̊ ޯ_J |Q NZAXa- j, 1Vr# ! )9Fp=¤ bͺ)i?jxN& Lrgс_p3&iT{! &>>]~HZ>, >Ϗnj A"vpUN"b|^ޏZ z}8w wvH5ի1:<5P'H%fwTuA]g x&xnvwZ/{⹆!XշIM`~3)hWL4Áy۷k6E94i`!#Y۝z}d,^9|YN)syg?FУӚwި- E5Sblp렭jL:D{liZ*Bh7aeJn_b-iŖ}v B5Dg3rmn{pq ~c@2>q(W[bBR]%ZvZ/2Tb"U>jt~հ1=&-x5cn* z.[;)ֱoܠkW\tQ?.=GnGQ7wkE;J*8‷k%f0A{ MV*}'RiN\.Q;Z85Xid >Ny-pd/X\nE.)TgfynfIĮ5Oܸ>Ia_5.V+|ϬO zp9/vTw`5(5n"[>2DK^AVū,P+eU {E$,%cWs~eĜ8Z@4}GIm Q紈83{by=Ot1o%΋!Bp1v[H~ʠȍoްR_xpC eti܎?h!NWhX0ⷞh:ɷ+_6P7hM}dK.~#'Mufܧ2$lt>c^nXOO u+Uh&4 =<5g_iQW^D$$"Ď'+wbw.,7of]X \twZ3tqnt@Y-J򲩅YYvl/{q=Dj*|Y-ﴞ)sF#+3_C+#fdwῴZ,Oa 9\M(ZLz%l҉##>55T'jPOrEIh|+"ىt156iGźW[}zXcY #Lo)we*hm'XD|[XY󀍙laxxg^x@[ŷ?dnT%\R߆YbHmNB=⢻{ps.T?;¨Qb,1o]9VW˃lPX\~ g{2S@4A24l$ ϳP3gw,+ݲ+$rHͦ<2la4œ l+fD9whr?{?SOf.U~8#/Ar!" A=4.Xlxҧ6B6z.;7` 3,1h ^Ś?;P C)ppn-@;,c_ݹQG'%-Xw"wqPNMJC"=(JMvrGI "BXE=^J荠" _XI:dw6]“3>jufї5$KZ6j13K>g+kG%e 11ekP𘇫hhs[E|z>qZ\ $qƆ9zs=c(CO8Hub;ю E+ܥ>p5]CI:igGZ'ר !f%2qV`x+H/$X lCN-iv⨴t+o]_Z:r\%BP$*|Vݡ"TwLmVv6"ȟק+h`n"4# AzZ +',NZ~x=wP,: ab u TJj >LiN</L.{2(&N8AF*7)s!Уz/zfx= WiBG՛ɥC58^ gEK!8ݳQ`7PXˮk9Q+N6u'i~ _>}Rd\OԐM}=߬T '0c٥mW`W/*- ~4zr=G]Tcw2~\By3_S+Q *c]Tci B[j;|]h^`)7Y1\ 87[= ͉ @Άl:̐Cԣe SǸX[ĩ@pKx?-2ꔖ Eb'08{-(8њY|0XWQ"<{"BbV|0 TpC~nx<asגD(*(aԍ$* k,0iID4VM*G?zE4P &7IN&S\ve)A's'r%\Gy~Z^Psʔ0T# ܘ2 vgv7Z+F?"ЯĶMTzdc}Vٻ?̿P%-16/ͼN]s@¬,Tx5:&,u\G,zOt&hfsz XJL R"SD A^љO-RS 2._DlUpGĴ +C  <մ7XnrmgHCnxM_{R"s&h%sAӒŽO&ĦG|EȈ0e:\O€ut4?:'F_# Y.siT)"f#a6CztPU\z`9ctG]"/.W{8@N(ps@ܥm<#ygۖ5B)X=U5~nt3/]WnH\KvFy^fY$8]Rj U;yYn3P\"A$ +B0Fu`dg@w2.̤F&oV$-Ruxu-r.:՟1:{BwVgweRz:5xNQFJrP>Ihʡr\ qK &Smx+~zz=馇hy0JAFә 2>~y9K~YpєAmi_[B5ev E16@7@|:~o{X^:sy-T0XV 15,SOaZ[zĪėy GWռI'F"'nQT ;jf6Mx{ OO=J/aA-<W`6Y3;1 g 3x>F N- uw1.Spə uX648x%}Oxw*{p5hS~j,h褦6)nԂqr_z@Nt_SM83.P.0(sn)zM,{oWMݦ/xIJ$=@ƌ$ 4`֛ PB&ɭ(A]bRU+Ҩ=ų砪=O;t3zo}lo0Dҭr s> QU:`Y %Lk36j:{K3[%/D"4XXTf!)tN˶C(5l|4/^.vQ-֑õ9E4}.G [+TnD^e˙g+Fb0eB^;݋\_.\&SbH͢}&FUs7_H7WԴG1[c}g"d7ugd<]n#OC#ź"Al W Rk-Qf70sîF0ѭ`FxWKP8?t(!:%1,&[<%*ff6Mm-Z4rC3ߜT w|y\H7(j&>?{ܵz6r\xwMaN*C[Jri*́R sFmx_[ThFa|(If7|[ݫ1?LXԾez [Ҥo[%!dg ~ 3tf;r_16sfn(_jTҘU.R6!g\[HTW 3n6XO-N fAܑ?c\3{Yv3DZΈ-<KWCCxKRy؂r>C7Ue`apLXal^?Ja-s&> ґڿyf OZ2syDr1|e`DR/=2ZRË1@a1VpsAٮ)'El܌KP y}M L<{ꎖMVY&ȂAnV ^r gD/$7^B_J~kv[%^?l67ikA # ]r7fp?{H QUWV]'bS9a؅}[_t-\`U|[(g5=v kX$m{s)I_.U`Ljnj΀ @eIG> 4@䇢bI%߰8Dg-UX.v? 6፜PPUW5Vm E[o΁a4Om%j$owY - GN.R`02QVõ^Z[_B6zHХ鱩a^NwX%Э;Uv?BtD} ۋ[x-w0:nWБ3{JE@،[ʷE]騬֨=RY 'kZIRG#CDz7@yT'0e3VǤogR %Ꞑ'N+rKs~&5[h0jx Ԑs~G!pg{E{S-%pƎ jJ=S`0_b[֕HC ķ&EO=1L#Pt:7nK=tZ͆$2͈:A x+'g 6c%a[q f!4qO?pQ;p4cO5^[jӃ*syuř71gTbC"ABQ:rJ,byLmӴr ><`!SmԵ4un͙sX@BasXUypkSrs΅2snAzFB (#( #}R2Ҹ|]="h DF4ЭԈo*<җ@;T)%px⃝ho flANu╽ĉ۹Jpg\{={Eo[]F" ed$;9U5'|L/ [+y;PtEBہca7RsYuDōe{JYע-9j㍇MBgΖw=JRcd_-$!1Agw༭^Wɗƚ)"Z G\ǰSxr8pڗXP Q{?w`˚BռOir%O~m[Q6;Q">F,4DAȷ xk 8Wz%AٴIa"Ld_~՛:+0DdLlV{KޟVip|B-qpॉzPsҦŻ "j 6wV6؂ 5!GؠjقNs8t}ݎkJL0ޤ)YΡͨ1ŒND"z v@I [R|19&:p ]Hy(Lo& ipWKj֍F !Q,v W6堏 [Y>JX b%c"`e귓 'Lpg\toYԻW8cՆʎ}柜BY~Uk0 xw@Jp5#V8~aFI^eĬMScLP75w -a8iӐ) 0hI1 1nHx0YHõ9<ڢE[jdG4ncEd(Yx:\Bʝ%L' Dk&^Q}ARs84eVF|d"AьJF8u,Dw }b ~ׯ#$XcaH|àZH 'T 1+GJ%TZIb%q:@1zO*B*fR8ǒ46o+J$u~x{R墔ޯa~ӦAmS̜r'SB= Ԯ">Ho&AKM;ƭ7bL{dD |wkt7d};ĐTҔ%$*#]pyLDZ!0,Z Gw(ԋ;BY'SNS bsjZ0]YVS֒0vqK#z_HC>;!1Tv!"2m=*6aYD2c3},%&9@Ch$G&N{ˌ40HeWA.bn%5ZR*B~Agra7p:zM'clHBP۪G q{kf%̀h|~.5=oGcpQlxc8i@'Es~[f6WƏ1@E' }sjBUC06^2 |AP̖7# $,UΟaP ʏ4}n4-+9 Q~`J2j͑ 4^'+Xح=%KF!ǹr6-_ Y&_2z}x|rdTԋ-/lKqR4ǟtJF=)_ʌu{m՟rJ K 8l;m,RArc҂ CA (Qڄ_nknW^XZr=NA;:]L7m'P2AtKU3\4!Ոؗ/5uk.%x>Յʀ$;' 5Y .j^\9iL[8R%fިx.8n>??ka#~v-U@B(nB'UʗCy.bM.mh#}lTOI&xݡ<hI:?6sCKK<+dI+UW,}$ە%fmS1"?dXWݳ]`vD .,BIH>]3M7 J.?vO{zMd9Y>2B Z@Kw`ߓN_cq³H(gۆop(SUp0$RvV_KG@J+/4 6/@וPU+0ءO{*bF4P9xkLbr\aז<2%Wڤ,tⓓl1{rtqƓ) @_Ȁ79Bdur&uX Bt;dRΡ\`s%K).$FyaFS" &DKƂiniO0I T#˺F&Y \.o؋[B+FX RB3Xg%4JR5J'Q0E7Xʐ|r}+ ,>,0&=p_;b\d+ OL?B!hC VA[;1hY3H⨑iC@KYl@߰5J-SpWY-@ F1W0aG$E-e J;Aa>k~`4TjR[S `ϟտa;{JEJ]vFLԆ7$&0&#I[UoJ ƌ^C/dٹ-6ٗ*)DoCeurЀS0z$,(!|Ң)k~\ Fa +y dbG٤e–PXYzNc$U j= 72%{$@{)Q.EaY&R&q}|7op@LY߮&C$dp9DgeJZ#0M/Z QL?jfWu&d yit+ĖX襆[]qPdbZb`_kT1ڦ2+r";὾'V+wDDv*؝opO:9I+YU5 G)=Wꀞ{Z {kD ga͒S/6]dI=Ȳ*MI#dZ7}DYGmiNk=# &@H6wQg˷ii}+pG,n*y𥓃XhJ OI)_xl0:d%_xRb *>sjNc8JKnTT)g Uko6Ι;02&w[hsZTQ6m_~)`_y \:cC?gӸ8Q+9s^X^1@ k! IHv!|#x=$7uRC}ot%y}|Y%w (p=r캳 i En3DD&Vwb7'I Y%AqT\arbBU<{Pl=/C:\;ul6Ɍ{ԞBA@j1{hx-NLSJ%^a-}a a5oP0{QYt/A! <?lͲQMpG&}d5I8_ׂ6э> [fm${XRlU}V"Pϱ\9}PBfM okʡY3[ȦqD` Ps7yɌ!;l=yf#W˅9_JFkxWN-b8-H(k *׸ 7oA|}ijgӞ觭X DGmI-*sZUǽ~w9Be{A'!d/[+P7tq)M: oKgI?3Adͥ1{Jх]l[t1bl1.a 0L>!DM!(yY6^3@cx5&e3 0>ys:n}8zMu`pO_G8?PJ *JQ䯒$ ʖ]o:}@Uɡ V?S05MX¼Ip7@^SX4IE6^ɈkTX/#hzxUlt|>U|lW"5ٛqGpvkŧ$. H,x*\7g!UJ(Fc@@Eɧ~2ؠcFPn=CF~v 8fcsȾ:oYTIeU~e|ȆgτN|`oRQSJ|8 E;w0,~\f_jL B]a9k_{݄GEXP&e5Bu R餪z"_gsB{.D&].(#Q3,Rx/SNn%V >TN g  x9"o/  =4s'"<_`?حc,&=mw?M* {IʛB~uz l9maMZؓ]Q#&o&IEwlR儲>In?i3Gs6y>Lm1ӊHq3ӑfM"ዸeϴkY<8ЋO06 a4#MWX4D[vr ecخKg@'&\KX2V֟K¿g\pD;u(xu=5~w Uz]2Y܅qz յ\ˬ$|W^gDI%g:Ϝ?]m:oFGT6h xP5f$&uDUR~BWǑf"}%RpJ}[,@%2ZLKAPG W8cźl=JFwgisTtоcA;h>VAx=OGa.IggҴSNw".N-0=S]1h~֤Prgx]Ob(GabGyW;8We!3+ܧ3Y XF \N%#ArriZvSѼ%U/ @] STlPM^f&A5S4km[z7v̱{[^ۃ]L%wNQ18"v,{,3wLdZ'˕\gx V50LŒ1"_N7Br=aAÕC_kR"YtyG9iŁڒL KU/[. :!wQuI2Ժkd؆Y1_< k' ?`<|;9qL&fI[Nї]"mOoDv,W?s.}kP+PFI|%n B6g-ٰf2O! 3hLGwcAtZ}m= ?ĕ?8Asx-G!`jղnhM{غa~kd~ţ+&iBdfdE?cȫMK^6r{=G_0^ duT7xUj` (E!Pzc1?>*-ƘDI:gtAQsKՉ3Y48հ8魓jе &^7/W(V#2kR,>7ULw혍 O +{S݋7|]p$O9ŧkֱBY^OBW'0Z8k9e) |*Dž3CuOE'ۯ1n~gN?+O*yD }+823wpPee28@o <Lyd'ٛs)Ry4¾30v ?R .OZsrIus7zJ]P<1`}Ԫyf)Kýc>"2GN4u+~@d^7S S4ehb{?0&S B_ł?tr8|44?ٰC4rJՑ}Z z2m۬om'j'z_ٚ~~cKRs>]i6jƏ7]TH΍|D$g<Dgm 5\uUvk".浧'Kk*vc1mU:UŁzv|)#;CATĭbe}!W=cV$&NpV*\כ_u% 8[p3>B%uɮ07/0~s,rhԥMl]KPʃ*/O㜁*Mℙ-$=3צ.hLRf%iG E}H>1dq>wkc*:StNiDToؤu$ybH iP'#'`M3~8d$07P+53֡x}z[Ivrq$Y!lr}mǛ9 kn %O*螮` _gTF?Z.Wx]U5PPםN'OďV*MbzkRrxya$S 5?w6PIDߺAE5 G_/qIqfU}@en#}5ܹv<]CaS^M _\/D`Ӷ{cswg'o: Kнn^I)c\ki4"dW@>sY Z`{_I,q5(D"S0r<[*VM[[$,Q_F1cT:ag'mQ\rd`>W8sh.Q|w9/5R,ܚxo@ߋ=B;+J~[SԹߑ3**v K̏;X'VRM; <7Uf/UێߒX1PNY*Vo tAן2ҏʝ&GA1_i_OH31񮰚mɖj>ӞxM~m{$(9oH&_)Z+8괬~ OGBjG85ө@\*E9mW4 -6㺂*= aX-/o/mϩT}ňjs|siK,)lay}ʘO@ e 5 Ƙ97qċ7΍A?gx( YBOlE4FK,7 ø #[%wIڶ @-KZ&(A͊'r̚'I—6vb[C-*@pgLP ߷"EeN3|db3QȌBP ϛO29qbp Ns|"TK"6,ThrH])yeAϔpGR]GkP!P-^(W1"‡vLwaĨOW.h8fG0ũr%Wt)珶}B nD70=$%M 5YOm|0g7|rDx@1 Y:xkM:̈́@e|f#؛u#9dtނ:nxx2%f%q@QLrY}-Z hWw |P>3ѥ9/ylI+\wO&+xB=މЮZ^V}yV㠧EYlߜ)'w?WN 0 8J-[6-:WegC1t )kF?̲e Y)Mwa-Cl#k6VGSV܉ړ&geM*ت]IEډ*Tbׇ$Vl',0@d‘K۪;Ӧ'l`aV'[ 0.:5hώYWp4\g)7z&`| Opkmd56t4D>1CUUh1/'$ed\yec})ɘVDn/{RP{fa\8 "ʡy9{q8cs.<o5RLE^sPl2D;t@u!vcfUZkCZ&硱c(o"V',gGhɢF*UhP )1]Oj|GNFbi]hyP:R> 㑷pvQY)o:I"qϨÞn(C*u6Ĕ G,jïYbUl߀ ^[Ýz %!,nVEnN/(8q 9TxQ%'֎ZnrG)-a]fKxc eg5MAl YbvFPs%Pm[o;jOo"߮ <I^Na}bK—- AOWMSy6E5Oظ\ɪ,QqH \$'Mifi%#/u[{;=5ỹ L)v(A9 j)A)8Mg]h/G^BDۀyy*H1c` ;VĎUGτBVaTCO,Р^A&q71 b `0 s-yK5~^l39+ G˗Ry7_%M.䖔GXU8.N3 $Y?SFH =/h]!l.ۺacѭE9Zٗ K+ Ǝo!{nC\r-(/>| S]+EեOs&SErjuב^4-@%E%s5|ףּ;I[]Vx5I{񑩩{N}0J$}.MAϽi=OV`.ܳe̸)'dPZohc2r1B/x?J S02u &oy`}a3 63AKɌgr4NbǏTMЄ;j8f˹@3]@totcmhxڮvcp p2XB/C{}Џ3 )ތJ^J32{荊2mjQ ΘQIDk`E䄎|1 Pq Pae<~616w `U|_7959|1yMi*^+d$+ P$KΕ1 ./Eɀ>^RRT5^#*?XypELs$m\,FKٮD]%aol;{`w܌ZSn6TW͘r N&G>o5|!HA7S<"p tm]G/OϦv T6^T4M+- ,";}l!Zܜ}4{MrXhډbqMtï3 2mJP0='ZD]Hצ'*So~lfxQξYۛʢھ"hie 1'@C \B5>cbrW:Wsͦ!ak%Oj,eQ3R݉ZS:I$!oXY |? gWRץYT6jcCɇK|q|"1۴( ¦t^9Wvi0JF=#~UE R_BF{5݈u1uzϔR?`\5]]FʿB ` vQ;\}}1a6P[M2ady_ܞy!cdTHL[YR{,mQD xAxܢ4qeȸ}'Q(aǶTlO.u֋b)Ί<;kCSP"$G]P$S.~'Ra%~65vSwFU&sM]K+R;*S%Wf OW [? Ujǫz͎CҠ`<5/eF6@ퟙ[Ϫ@J=m&KGh%W,m.g7DȰb(^~Dl6KzC5"C+ÛDbX5 EE|Tj~?bj/Q %{hK]5<58ݛeo&mx%*[KX{VS)/!+,,JYS[.IoCV_Ih'AOR x1(ޫI<ǠRgl!}[}3٢]&&.H p ȜG[6APHd'؞>FOh:U:j ;#s?0rsoV(Kйn4>J7B{DA}zRhhsAGӦ|ڹ 6TBq ;=H. PMAk՚N>%ڽ!pPR3 @Y ry d;(!DooO|`; tq:[*/D$ Ʈo@&Fl^T5+U!cVSR`vA8X+-ɥC݆Aa4(%yѾƕ}ԥ9(Iv oCFh':9˄)|X7 co<͛HX {k c}s_ rWY'4C?$*etc.O$;,b 69?d)֥ߪe-htRz䠻 N7xX_ը)l)ݗ̹$ gm; U9VI]MisMLҍFTCmǪ{"j^ē_;bҋTSL\cIjKaܺs~g>!T)0\Ց+#Z1 <);娗YpQQ|D@;f!/btQ[חM;6xph]ldŘymƾzoxYv7 JpG$GA |yMr0jAI]~3Jυ//^7oH_TuRIĉ$3hvʌO6T.:qU 3Jٚ!>4$:p7_NA0+&ÉGv`4lzqD %=q@ ;vKh5Jt:vrNOu1D_nvզNwhEvXUjBk^c*d}]9[:{܊`҇ADޝٰGwڭ2.vH) ̞,=v$S%BZnt}M+Od0z0YL}^ovzزF'_ LKp Ȥf#bV9e%l{aix֒|sr7Ki٠^IK r+p4@)a ˟!w>EU`12+PˈmD#l$s6")lC9ao%l:YM,8\V%^fy0R-'u ɏnSIR:ZE f*lE[EINk7fVa8NG"(L*SDiNJGyp<0ɋitCT*%ٝ {Te4wYWO.0 s:jv(!|eZ]~ҶÙxqr;d5G!^~3"|P`!U8>@xs)Q+b~fpU b[':.:W2bMYcx 6]Ŧʤ#;azZydN5#ng~5ɆL7CWVv% BedEmLa~ϰ `1J6bf@ 4H"j%PDYfnD-ѫqZƠO)EHɓ,;|,A |d*|ՂTzO^1L_:i=VQ]9F.a$'.U:BҒi Vr"L,SsJa#㔔=k:@[Ze\"+v6cΒn$rq0%`ה}ZV $$*mلqO1 s+~?F}f++,>8/ q0Ŭk#Z ż1BQ)/+lrlTRR#`@B L{2k-sY>o"0%ƃzF5ڝqpP/̚gry1F%1x΁AJYeD1>׏=?/фC 2W:}o Е-%$ɟ%N YhT8aBY]G 'yV4_{QOt `]j CN9jKW(Y ,)r-Z6:"b]_}]Rz4r5B|}a`QO"*7~ӫWPYiX9R#Ye%mɼbqQTh:oG% xn28L Ӗ^ Y@}a#} NpXKwТ:=pR[)U5g :eu.]1 /"Kyg*+R1'^r~SNTz+N_(@2v7yX5 o4V WB(-|םDf:Y8\FPro $pO:!ɆōCcy^R; 01) +71 -^i7]UJKǘ̌N~4y8fT[ge^26ѳ,UW8ܦrsl%HˮNaD!S%S_U ԘdӹsͥI Al1hL8?3|~WLMO`0ZBa*P1/8s/:iнiJQ'qKmGnW.!@o>¥H$Dvľ[ a>U:}nDنcj~#;wWx>zsXU,'wT b77ܴ 9}ޓyaq,Z} _e=^dJăpЙag~]g}W痢!.єN|sfyOcqvǗi3vdr 3IPû '+1z ϙm t>mEQf;Rg!B5M@;C)Ϗӓe~\pv$-J/p X@Qb]ZFcsl[?s knI<! m"V|3.dN z:nĐE}P {?$F&wy& Q!j**WB_;#=qF 0[γ` ǛIcO0\g^r8CCknzhl]ƞٷ?7bIs#X/ӮnE*I /WVK kͪ+^WM}$br}=HyL/q;MyMFI4Iu'TE}U) Z~,uFHeo4:wC8?%WQp9JZI%] rW[K?yUX|XV뿲|ww*(TMAX9'UzHaM4| 0Vbmqk;./䰶rvф/j2ri<-jeV @x˚F(Y={o+oώWw u H舘~NO/z>I-$J«s}g.hLYC1P[b:.O] pdgcWTT?RFNI`m;tBųr\+%k<2Pp-Y%kF{^QrYlY)J?Z+.+l](0bM6nDQK2s{[R&@W{Y.3"+G\J[7onah1]\^w?$VE;^;W|ez):JtFJO}hPϵ~ˊ[fC}=gIsN^ ->!Eh4А]yv]3&_MBh'qD=r'RBp,g&DxWsH*v[4MI5YAmڛԝιcy}y(Ήro!Cq$Xsq1Μ9xggb-eɅ qK?PNx`"f:o !xI[;YR״)#["v}ҡ=XY?|WPӇPCp0@eſJ04jʐ ٨6eւگCU u*G-5.,B[eRΣUW䫻k# m9pb1}ȖVS3$sJ$* L^mXM;D΁E) [k gw UW:'C+RgE2Ly'o 5K$̱QO{ Y웇--pxHBVJD<8L~h|]_‡V^5K 9 9 VRrVQ;.+ʅ?3Q7ԍ\ Ȍ5h$ }e`g u-e~uG|߆0(cͷfksms:}f(9"K胊%6wPga f!iMET> Ji'.Yx ]'6FQʢ?D~INi6I&`ӟp/' Ԑ %c. >4 oI %͜ IV"֚nAwsHT6P-90v{)=ٓܲ,o< Q]r6Hqop%?gY!fj|7Z F7Ce&WvB:.4z`)왔jBpU 7^^Ч钎11DA݀;7W1 ~rAdJ5*RT3UMnR\CBndZ j(HB$`:FʇHO̯v iG<'U{yt^bF4$p+H%64_R?E yiS/~#q>А?=]q]-*ʣ0~+zQ-M ߠu>͇Jς=bͰږ/6=Z6IYSJNxZL+F "}߈[Vn=B: c󜊿MH5DHsB9_5nd)AkRW|n5EWi#qS?\&׼6[ t,vkOS,kQ(oeB- ȂDe|bG,M=ma`8 dDb'N‘ǐ3p@c_ Υ($Tk9?/)5Z?ĭ[T?=H:5}~ɉHqAHkR:LgGtw޹SU9 bS!U?-z~Z`M0@v`p#@bE8~hܗծ^ >Rtz"N\a# b%}mxwQzAX+UaX<3֥ݜ#R{olgԏq.6 E;H&+'ukag+ɃX87)¢iϞs2j{ v>5uV;Umm=]oc]}gJiҩфoۓF)yB1SfL^6Pv׃ӏOo{eSAְHX@tg]I$ݮԥɸfUkVQ3\ΚAө2,-XyF34 hc6L\`}Oygyw`=\'F\q4ƀPݦg?35" "]]lNh֮7kkՑ6Hko5ߛlҪ)qS@Si${ʱ R2.ʨ:Ʒ.çMdu N|Su' }6vAf Fh%0TH]svXm"Pܧ9{MJ"V|z-}8.n˗VQ0|,jlrSPT``#<] 1}`-좎Ed /klF۔?)Ji҆nۮcVdX bsmV>k0 2YRQ7'*|lh(j:o\el>^.#@TPf3:rEqi(,(LX)UW;\) s &Eq>2hy"#J 4nqBެLt͝h%(BBP&JMx`/Lъ`yJ\ff7_z23on@w/҅&:9ת  ٧eI4 6e[M_UQaаbJB?Yky4 ^F,si:!W'oܦ1ߗ.ꩱq6{v1[iī%ʂy,qnTx]E"B~NuONa~0&Wl/RCD`.g޴էłRZ1^hTV! otI9eFn;SIIs ic/e>phd^h!x98ѧޯa)vfF柜<7)l`|bprOx6CEf{5x/8QYAWL;E!Q>/3;3IU Ph?%upAYv?) GXA_=(# rn񺠊MrtM!2P |O:dO!宝hjXϊ8T sh<2?ugXYX=?@y V僤~ߐ%gZ:|.UA \sa|Mw!RuPZ񟷦  8O tS9~ fHj鷶nzַb@ذI1- _tXiH5 ᳉Mca~牯򸌭폥}qMR%%tQܷ>t, ڙ`Zr 2 4įY!X!?=.)z>;be6t3%/SƎl_+`(3(xSK6#J<^O]^r h`lqٹ8ݽ"ɗ 4,D,r Cy2Ęd?,ɣNg榗O :u<{ ׳E$Ǧ=ߴcy?l$M{w bYJ}kb}PTzq@UE­7*Q+Y1,v]#%j.-=+P SN 1y~9`D<#;\ e;?ݠmdlfJj7 {uS P{%DuN@)75#`PL 4^nCԅ_<kMBJO?b*:䮽 u>5JW@̏؜†Th#aŷ_x9ڞ'![UJ$c_b%l uKII~G 59*8KӦLǢɾ[_sKsuzX%a %j![ M{Qɠ%ĈbZVTv/-_xYb(v_^ݭB !ԸLNH[=dё3XFgͅ*=GK|V;[ܷp`oxN>+ :/0S||"iVaE>xOW (8'_%t@Obd >5sy26c&W)|qAFR+ .QnQO ^3V@u<ߏ[G濑yv;?}u|)7MEFM J<{0&U{ II{g >j ZD$Q|-@l,7.:7:ӎF]mi;({SU(ڠ9B x'K!%.Z@8Rl$Ζ[ƃt){ˠMP! 77jp/Z,g+]İly{Gq9P{Y4Dbs4 g;͈cZflYc̿B6 \hUiJGM8dNnQs“#xԘ.BkR1ī{$8v& lR_UY-yH?%Jgnh+jn*QԄsSxK3bY pZˊ(lZ}I.5jlěт; JF?G~_qG7{Ǻi?L(LZ0jjR$M9F ?(X3w!GkH0G=H̎>U"M ?(S|]OO[t7~L~μ%_! *[xFHG1hM7=er.֞0KYQVDz2 SG.' Y '3d`MWjwޯ^->(U/k.(y mZ*9.[6q4>w! (@/+TVcj\ %63&T 9x ]AV g$gX22\touhqg]O8;q. |T}1  =>D/RgXN;|"5y{-=oT _㼂_&(yنtgy$V=0xRT|