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 D!D ]]]HOL-Proofs:threads=6elapsed=579.264cpu=1400.672gc=195.724factor=2.427zXZִF! ތG]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbVF8d ʵCbbf$&<S's].+VSAYnYt"8BDI(@{|m7`9!şe+c7h;=^̏6&ǑQ!5 ϻ$Ν j7j3AF`nx 2H adWIȍN&!<}5(JzÑH{+9uk($^Ii<:ULYHX×˦vmCL@\=8wNOWpkY0E;g>  ! HOL-ProofsԴ֖+Mao`ιleQ2W.eUjǼAWiE6`"^ =/F)ٿ8 a3;9 2YY 7U;ſ(f8xQ\iA1=7d[u%bF&,O1Yӓ7d,vٱMUҕp\|ѓNzAxaYE,Nۊ TE4m[%Q즉1'PН &'0S\V[]0jt \u<)3 U kيBk\Ĭ'1 ;?lY?k B5LQ(?ØЭ^;ͳעW!nU%d@ڳeO wZ_RI56~ǏҴ/4fH qLpZSEahp"abo%ឞ~z#-C$E9ٺ8 F CGLPeEޗ5 WIiY9#,e_(􃛿mhAf_qs9p>/;GK/IhrA &:htu*!*ESF V]B.Zi &l cT2ܘf?P|FnUvgM8]@*V B}ל7W% o!n*[~K1bUαʝ`1 )= z*yރ|؈:N 4M$4<%1ҙarch ) (٣&7o\L &mv~\-;ӝb8i`L$9dv  #X˔O21>)ߨQ2 {re4lĬߨue(&$ux A/yM&lC ?~>!T&~m48-A*isS\l GH,Ujb>8GOvL(oo4UN7SK@8e,1QWvI{di<͓Y]k]oW1k`ΔTAH7vVd)aM~ 3^! BU, I`rtWEM)$'ʼ+^BNsT6xX;v"o9i/1pL^zٳ2d^}s,}%퇞$?jQZ+Z:G5eZ2/\X,O8Xz5@n ']g'#I?vR>u5/M.i;U^Ep2B,BY\д@֒_~#p3~HT˨:B!5 g ާT 5?p}sR ڒlM; dk'Q'Q_D!ˊ !?3Jk-# +؀mѴ-OuqT`r-HDsf]5j΁W`"wWrZ\ryc-!<{yO45Ñ/44e̞?^ݭƿ) roiبܚ~%OSfFVyĝG)4aآC8UKQ+hQqVCpKB@58-lhWk P KhÓHHAxlb" b̙}Xi+ !y\Gv b0m];0PQQuASOMwst>']" 5e?{ E k(1k#]GrB fǭfvZ\Z4>̎q_*]'Mξc@Ѹw__M7^u[=1,'鷾pV~"{42_m>ҿ\-`j'80K] -vһ}A=FU…}(=ǂMj=x˦rnVj#2m%g?<&9H +?c6OPܽFn[`QD5Y,GL;TG!8p@xwZw~FD; [G2l (M/k' R~>v+ډ7x~>+"Bu0|=t2\hx6)ec;LJʓRief㐅<|qW>[Tv .;=♙md:Q#Z{!Rbksim M5kI3a]a%/lV=Scݻ~IAd꒼ SO-ʈE^!T@d7s=_3h~fohat8߽ W=s  Ag5!C:؁rVD\b,v.;frFn/0 e@; #9Xuk ܌E0'"^P+bg.ڛhQϊi"bJ !,s g38)bC5ƩʵQ $ 灋&ȎLeiߑ1}"jκLy9CfzpSِ$0K݀y;f8ʏs)[ހ|xք,tE^tγWL[lLv3G6p!Ol~3N"R>)a6厔]|O[w݂MցA9ώ9I(Nm!<"Pݙ ȭ`"J-ݘ?zVys*?4%f GjȾrU<]yZj/~m&_{*W+w1Nq}lFJDQ$(y}TjϙUgjN^TSPL!Sӗ F pKyV(xӉKr6J{v.M-/W&}lAvaCtX s-'mЮD#Q>&6=WpEmb%| =bڮM> FgKu22q|OL5)ChA󶏀w)Ckmpy(D_s,ek+j43{Ӫ{Yo*p`pGP:bfVbxl a,W{ گYU- <ё;O0l;bML9C_}?{ &Du1Ŵ[* ?^ d zMyڔ%$639;XVL&Y/μ`g88o'wl`fgă +*q!T&M0='RÅ j)99b|uIZJOtӓNLv> 8 2T}e ޟSKd*SڐCj;bї'oo"z'׻f:'kh)= eS$KUK G߾b3c F7S̟Uو6L0 wJEV|-@ DwqOӷqſ$7RgU=:ہ;*ĤD z}o[^ xϔ˕/زʘ,1mNS]u0|GS;"e5z.(f (ŁdT>,q vt2<fkE󝖧c vO3qQא ]bQIճjGU: Uxa({@2K<;cNr h7\m w$  ;$3d`OԴE+,OL1ex gJSQrvwc#W$I|EvɊ]]9GVl'E. h`qAŭR<|60\bQzM9>^0s{]_p5|٥ ybծ.N;>EX#`g\,S s;zdvl L=5djAlM X?-V3̜*]Z9+ZVQ;MF$>qQ~0+|S - x1WzCfcv>aH.`(SW*e'`J@Q2ӴUn@ͬ^DvLPjJܘ^ך#B v!(}VL"B4=OľcbZuCڸT/RS4GfUXKzͿ( yN. AZS&ۏ篮&lm$a$|!%rq4ae‰+%4oOܕʲ\ΕHgzn %M4ND%|iswf!3k/z=j^jJvm";ry&uP_Q./,/OY#4ϟqf1(Y -Ko1)Mg{o,^IpCWR@IA,2xpHQX"@by.꫿Z=)~kefZ?wA_@R0=qld wk~1YNx[jq7l%)}z?][b4\~ZƟo%an=.ldzu[ɺI%Lx0U< gYZ7zXZִF! c]ŗXiɟ29aoʼz[%U>EM!!B/ ݧ~)ÿ FX q kݓp_lҏHͬ35Dd27Ueu~ĸGmޙ}w7 ӌK- S Q4ڗXw$u, /81u!{q.D1Eğl}z!DTzNQHsgmL6 7ݱ8e<cj~nML[V"^F`#3"0ƙπ1(²֖CVV,|hmiՓ 9Uvc:i|5򵁀q+O22SUU6[CFJc$z]=U @EDipz 0Y]ÃY@ $ e]1=֧?b[V'TMhpKg4c\s__xO{ւQpZ)Wu4䖏z1Z`/N5uxҭjp⬙*X~%ݞ$mVvbu`b 7K~VDZ$Ihk|\lJ_<7&sK!KwU}}3~6XuHLu / l#vd"Vs<gaJ9Fyܖ= Fm2R-eߪ-U 4J[)9[Pfp ń (]pU0L+UaC H}(oh|~LxE 2Tz80@]z.7'h%**vgfe+lQsw/n8. '[s>'$oIub|U pz$xOO*(QyDn^.[#V> ~NgˉFZIgqFЮjGMӀ&#^6)|Lm6K'#os5V4lTuJ58[ʪ` ]U\|ӽu5T@h<򭫹m_En7\M=e%c4hZHAx0Ұy:~K}D`PYYE88sK֠FwhscSDWY´J]rt Fւ _NչtCezMS$~%p;@ԶUר/F7^7"̈.9䇛PLB ԏOh@X(^6?fa+B.[(oJueUbNN< ^m95 ]7܎Ni1p! C6%pxq{\攩Yw|Tb\DׅcyaX3/=ƅ2[Kɑzr.;{~1vFm>&ptNtjdՋKrKf%ZnENneG Ʉʺv:$Mų <w[>猞}ma&G0hvOVo+Dp{<G si 2\ޠMgYZ7zXZִF! q]ŗXi%9#1ƏBkac,N+ֽPBa$g i'ƣ7j]< 1l/r A~1y/rK}%m $~FqlDyƈu6p׍(6(ض(1|r.FE?qDPi;DkiJDU}OnKq+CY|N'%Λ %ޥ 9U@De#oh+GeUCpb*{qžlstR` טo8rxdƔHDVKs`\Ii44ZHxeP&Ȱc0wMBS;Фɀ6rώjO'B`Hz#Ӄ"9PL7 uK,}*,\F"uй]^ֿ*Z.'[!j9o'ܗSTc{|̩p~^e4fr -|cQD,>WP&enPnRroYGRR*IRwsMR<>׆iJ7]%9Zϰ) BR Js_ΑU< + }*}ᗭ+8=AFɀ rQ1*8=7vRp_.͝$Cm|@ʂ6 $?{6tN6L; "967c )w 5d KSbV7$N$-tgjRdmuhѣy|H/H7YdǰֶLN@*M~՚Lx2L)| ԇjiwvuPp% m&8Ҋ[ `s]2T>/ 7M381[?3]cG_qq#P/P׷t[>-}w͊֯ Jv52i"vHJ'ѻO$57q)ƗPwC촹*R.q\h+pCUcZo.2Ѕu:"Phhs/Mc HYE-̋Tn Q^||qyGt6͙&url oug,Ɠ/Pzq'"Bsֶ$m%-!C]o6z`q mS _ tT!W.8|?o,BMj:mt$V >Y6N<`#Cǚyz@rf2Ns #[`xUfyNtfOKvqqvE44NU<t{gFnXf _h v&ϬDEKa%[=+ꓗ sz`F/c=jՕ}{ki4̀`]t]`hm.WR #3׺;HvlEgZcGQ8vxc2mycXnPxÚ#fP3)9"|&$"l\BjLS mtQz *s9%RM,0 PAva bJ|xMl9&bpBo"^K} ?:S^1_ `Z;∮~'e. ;fi"r?k*_JEEp=e=D>1 #yi`CWidf1]Ó9NbOT ې9Lcp]]cQ_9m)wWWe{F̫>.ѧT^!2IcS4:/p#x:0ٮ{yc&;i{0NM NާN}50֒jO8;q+CB' xBk c3vفNPN'"*nkxyR,6˶)uZ ע,]~ A{ތq.@U}Nmʰ껖ͥvٲx(%]9++[pt`T^NǕ4}x/}|m^oN% j8O8ʪ$~?MUwW=?\reRŁs ?9?꿖+ӽqAvz3vǤN|Q.]ʼn"kR 0bPzRc 1T?ho=H>qq6lhs|ZXt ۾XFe.Jh9ɌJṼ{{}LS>/Z `H" aPa4(a_~9|\qc6% 3T(ۮ&f("e Gv}Th(wjú)@|gRrFl O.y]4Ppd~-Y# 6MBuҠG2q:)ABRJ%ŁFRxX+UKGP䪁UUrutmKv8t-^^+DIjYfemr& ϚAPk̵:Tˤ[e;C-GCoxR3 7uA[G0ib45!gj!?2q6=*K.%n{}#P3펉%%_^rx5xs u߄rV!Dv贃ۘC㙱>qI3$"D`P5 TH<&أ4K@ryV^ty Bj &V *kb3(uÀ2Jv_kwqu9+ >%TςM{|;H>~E\ K7(V/UԨG1zSGk;SOJNؼO%Z +rm2_gr/&c)u?XyrMbJn"Ȯ~F#^؎@_OZ+kU8o!%PQ|TҾA:@+wX%>WwaDָGTSߩȩL(HC>DAα{KtT[$W7IԝƟm51'3V^:vŷƌ-L*KU)E4b5Qyu&&q:muM@%jq{! 2S1)0Uz/G&0ug?}ir' ~6*B|#IQ`ۤj&'WE.8Ճh<' Ki`j+_ʯ# ah֒Fo; D!F?L5I[oy%C)LjDʆ[6ΈPY>(M%Xs#ms]Mٝ¼QIJbF LcM>ae19b, BCJ=p]Ił<m° w,=T 8jV50s[Jv3JTCEnnU7-[ɲ6VO1/4lYĨfm3#|uL7wsFgP= n>rpƘ1HͶG5;ʞuOOz  H.FեPQz I{ņ$HoD><aO4dF(cƕMSpu#!}9vor.ULmhM24 H -z8?)ƒ^z"=OiZ]0ޒ4NF:;:.zCt*@nQZnPej*YdF}a+@7(s;LSJnh?;tZ[Quxa1Jb3#X 7'xd|ZղLkqc֍}Y66Zjh 9&}8EorNoD/+rNf^H-wrO3|2iCyTo٠?]RнS|22 A;87J5qY(Aq|ly#hAFq+ŠG;eR{*e;AշKK3jc~HAX?bu^\%~Z >-_ ;I3sO@XV(kq}CsYjكpZveoSڮ쇋aePĭgz*P?$7~$wOvRB >&(&9*YK;]NZX"σXLeK_5{_~T.Q0 oFmG`wzAg&,)M߈ΰr:W뵓?0FyRox\fr9&A#hH -x#D:':ͧ:F`VѴe9 Wӓ {̐u4'Q!^rN#EJȣlkDr>@SE'e`|:i}~Xsc -R,Un<K)vUSzɓ? M8Oϑ9~g ԂaγwVQ$!Pرȣc8ķC^T~#rg-RNc9[wo Dp$od)~DT4ÙZkP< _ZcBLIcޭf0UzxЩo1(\>e/Q*A~8IaIg PNȞj)Bl%Qį~okp dufTb̐FZ$ayaPsILIi5iX(FRi":S񜈝@>`I VP[\1HU[겴J)1X'tQrHZ GFJ$\0;9t?6Z9(WMͫn *ey]1 WgP>=Izɉ#\QO0%wr, Vά%:<:w),] _>o >?!aNĬa72?- X ֪(n,h!>F-ҥ4.#A`ř42XYGFj 㹔RtSƀZ+:zZknvL{ZT`w"'~lPw6׉}Sq{oΆ|4gxn\|Yc|W"RwsSsoCCZ}mUWѪә.vPFslt2Κxv\ pa7iPXPv;&Z#ɷ1bԾTt(:et"Z ήܲS6 CY[&m6(J{~.UX4 vs.^.y-ň۪5#t(V&@j{. /鮯,90Xa3p }%E+|Yn< Y܉C2 |=V$U Ս'1U~{|?"&qK!]RMK8,C3;B뾆) 8xgӫUe 3"#%L⣊}mqE`ʐ |9뽙| T63Q7–J UX _M\k b `ܫDާLƔ)?l& "*A9o`l (Ґʙ݃i @Oת_n(o;g1Auҡ̇LVTdTњr$ms@epD_q_*"J<~>VeXBAn pZt]LDcZ6^r 53_j)IH؄| 56{WmclL Y;&NՀڧ+M#9&^~Npl 5<7mYxO׬@{Щ vxڼEXFC%wuaRcXD8j'3r"9@d4 :9 *Ƈ:mJT[ /9|؎B+{(֤D2 'w͐0E نRYi'4x b֑eF[Aٝ 軗<ȁóSҧ5=MQѰL?^u[QaFѨXbo$w?XU71i>Ck! VQ<{A -II2yGhYh$"wQ]Z7WB4(&}X6bӼg Ko,&g.Л^;PвK4 %k Ukq1XxEY,θouvP2z7 'MսTt`Uz&;Y`q.Bb*b>YO\4Twꈻ3L7nIc{xWJJaERzЫy6>iI7~LK6" a,Pj .!UfUӗxK,ub:&I8[`;8nޤ XRuXYr9Gl1I!ajm^Yըs~ږȈ 7@F҆qJ?ߦ8~xwWȯ#49Hw}$5ymIҋЌB$ͨ>bӣlyD/<|}՗wڸ\&5:n2(U0$dRt3*Qᛁޤ ۬N-p6 `V)(0c ^# GD  \m+"!JH e]X$ڴF!.G"O⤲G5#}˛Q Ê((zP_9DN14U3tyߌhpTqܱ:LU/46bS@S݈\(Y6 $iQFg#s [%QeKJ7hW^T:;*8ān%o4(6bm#e!r +rS9c obj@W 8ǖHȁGc%Q0¢Hp1YGSVr:V35G<1qruo>Zv;Dt}:pJ0ZeX7ߕ¢ގI5Ud]!rf# w"3Mw P!U'&Ob{U }XVJJ6βO/m܁=޼H\5kFYب*jZŌ%}%7O o`2^_DŽMe݊9 XO^a#AYJ ɯ-R<$t4`hQn_g$#ͥёz9^5P W,S-M;jKh&V{vҽLFgf -QUsO+z gbf` ~rZ@-g2nmĜ:3 h]NJٱa'l&8I)aR9q>6jjTT\ u nm0"@acr/\,{#N=/=FZ~2"`NV; r?gx_aD@DN 1ŋȄ R0 n;`E;j.46=xO{FStlK# e/]cl NUzƬv:[hf_pV!A|;}3ۿA|M݊Nĭy F7d$Tu9M.O fW{ ur$2ī csTwV*m<*q.$ y (Xw,DE=$&:<)RF[A^kl+~L'#6F}v4)b#rSupc.pQ !ᕎzR䭛(6ҭ}¹'xI.Q1ټHa3%ZԢ Q_:-@3 /pHzбly>7쉑LMJy湚~}KYsu E$S &:[?L%1W,-qgaYH?г&3z_@ @Ѳ'E 5aɉTz00 ؾ 8;x.I"k pTYd|Rr{c eu~6'畇)i=wUF5 CggOة+ӆUKUTFK]r טC" xT}pfУJq$Łs~#HWE᫏WD)]zbRPA:%K{ux@ 8`?ֹQĀ[u.fwK!;oI$T2]pbkLI;#A'cn/ĺWߚ>tqǝ5-Hs4^]C[\`QYmr`zGSb-+HV|&y#)B]}|ѰlCD4YMbfO5z\7O F*j*~ dzMP'OtXpZCkxY*4I[2W rl0/^a-\ ߹p{U?//Lk6ULIMskUXv;wTlR)%;+T' ّ9B=tWtǤ^z1#d5 l3T]#;=.W4F}l@m#);h`/?>a*HZ>_1;u%8- F.!([=|-~'ų+7 bFD"t,OkKrЦ K}s\$rQi7NఋV9#=_T -xXs9| c|CK7(@‡' Bͳ|oQݣօeeUOuņ8?& T/2aOh^ ~R".c n"gxMyc3xoӠ>ޢXGENl?r۶H O^FrKsZ桭 ;se\ HVM(lcFy զrn]D].IbD^&cV%Q[Re>ESkud>.jژL;rᵾ9^P75H"9)=c~*|j+rC %%qoץ3eOg>쓂d;2c[uP7 F^g\Bv $2>_ r1UtOEÎzOw}J& R'@h}̺"cMj3[?в? |K4#se<ZxR,&7y{JO8. J9 LSt,UO=(ξ#`F*~tm-tyUVbȯ%nne57!?:ΣI&t*7kSŖ 8y, ΁-ߒӛ:j0%. 0=ɘJVy|XB$CtHbǐu]ih8njJy"r\X򅙜dX=.o 4\"2%v0ӥ-bgrSyį$7J=b0=cs!{*)WFKqbG@D鳫^/ {iDtJL嬳֛9Y\xb(?j!y֯T0Q/fz4yhӸ JKAر\1-u3 #Oȝlp$1Y*= |w59/Iv@2A5G k.1!b3FUu_]FK,[+16oŅPP\ 61ٔ(G^!#M-QU2"9I4`p}Ԁڵ4斗iQjѲ61<7eJr}#Snhb)oPa~QUsª"9ᖐg Gr-RW pcіvn9p ynrbeьS4$hBy:RG\Ւ`CX>.W0\qYE!V@GJ|E!P$cMUF;lw4Ml)~38/gb8v_ d4Ĩj'䴠z(?Χd/ 6\ Os#c0clCį}Hj$-iAQ7V0-|AM#GJ˪ƒMpzL +⪴f}|^5!U!/u+ 8y|_٫l* TB2%r Es?ylZ2C:6fR,kUfG6WekZɪ9N7`o͝Q1CA0* wJ7 p'O8GC7ssz9oY+&sn:ZUX)`WڣTZyT p@)-*-tAX(3^u$R(@>f5sXW ~{DD OD 'iy aR\Mn5ƬN馌)ha6h}֟y~[ICtYdxobH- '-H+ JZ5!6JLڜur_A~+v%3HuĽ!<< os SS-ZgM ^[imFrS|M:rw %iF:c"M:Ir @{*,ciSK*`[ fgV'v*WC\!w*͠ q9|fWHI}FMt heCcJH\KV؋ saW;]-kx%ۜCOM8_LOe"s[4/J1K\QBUv50vo*@y:b *MuIV]d̬lDIjʮ1}:MP4ȌwEkw(`C0 #!l{+sw{Sl[njW؄'\"Y{}98kZsO;<=P$Q,g)'Oa>gl'֩pS8!K|dhDŽmQ sm,dXl M:KO%\)*erA.hQI+؝ סWI,;hWOjiu7\B%M #Agھ|f_|g؆N0:P`c4SQ]̡AYigWa0AoZh-F I0 Tz٤V_e栊hn^2sD"G'9O54RBPN>;;ap%*A!e;m-]lK,(xSzE}h7 "?c۰H /fM^#ŇVUR%&/8u Zq,G8=Vru3<Ƴ>jT*O$PZv[d[^_}Zh2r9Q 95]yz=7A23ʿv!J C-ht [nB](Hq('x<}H%7 0 ^OtUr s|sGJ-jֱ'!ANǚ  02Ƌ (۱9xni92ȍ@RC0u >(p46KF%z)A2`v߬Q,ks] JyG>:2]cqq0B(@RtQ|Z֦i94^}J?_FI"}㪣}`ߒUm+FmFz{Ĉ5J71S/1P,vޖ!q AVH|4yHɆsoңDXR&qM5pX ]J}xUjbA1MedAÅ  6"z{y ^rUUYncㄑ/'8/ׄ+zX.=c 1$~}K"qUynʟ$+G |w֡J,B9 v3ez(P%咽ԇ0Hذ^/ /QmjMKb1]+_Jf: I$DK(,W+T>X⾘[f$Qƒ%F|2̶C; W{_uTtE$65,dO6En'C~ԟ}8“ 2ȕi_2eQ6qHm&i{*4o󑓤ZLQBJBRa5h=PQ}H?仗~2: TB!e_;P*QdžGC%Q*pq.?brà)JKjtb3瘠,w[y;\IM@&|6`\SWBpi7ܰ+`ڡkڞo2GJhS6o 5 Ժ#Ҕ4lRBv$ت\3^i96/Dƥ]mJr*MxW6G} 8u% 0f_~C) 2b.pb&长HG֐,6(dR[74l:/hB-|7<ECԔm, ]D&Xcbyfka!ԙg`Δc3Ɛ&BTvZf uV]-<8װPXlh5uZ0e MN4tڰH*?5 rQ W;n))lÜ%7pz-xnQ֖ XO<  c4Aع*E|TG{[scrKׇ݇z)jϩ,d4sء_w"$gՕw=+6Dhfej!#(]i6cҔpk*}Dxmʋ7?{ ] \یrUz>$gw_?JJ&uPȌj)| ZȌ%.d4B/nj_خSÿP6K@ؾa\u711c)5.N7B !!TXFim.{m35W27x;B H&р lr0/_@\?}:PR_kgO|PVu>3ݦjﰈyǜõL3@SYh> oM.K{&N}*=Fߋ?A<'Js_7"=zrUSSCx:Jz'd/ p{,)d5( ӅUtd"A0/U|~@$gꭨqW_h_7In`e,!z}[p7/ɋ2@@ɜL}wEyFebX$Ӝ삒\+ ![H uY:g.h!XZ\p<~G]A!<=Q0T 7-?,M2kG*^-JPi5>J!d`Mt:roBهrr$H'mI&O3mef\7"Pz.';[Wu3]qS^[K+K8+|4/_ Os0 z:wN8.B#܍GÅ̺UOj iCc蜟:htKZ|;Ĥ|j]0WaWN"sx#9m+soe[AtU weC>"),q! 122DfLa+dn ~&uNF-Ygn2?OE7#-# U9Y03~ߏR. G ~7bRΡm6uR,SϢ^6%H Ocۇ 昘hz0kav[=$Y#j: >ȴ׿sKVN_\n(-fT|;ze}vet7w@4m6huv =t3jS*0ߍ DneAOUJ0A@xGHk>q9Cu 5[ j*5T *=+*b "kVG>E1x^5G7R[rYy5oxoˉRc"Zv&tG^t3!\-3N^5:>nD[nxUǧ#aLLZXe%s_Rvpcm#Zo!k)T H*;;KKn&êB^vlf \3?kt biA:v9)^ؘ7 -~!D>^Lm ߼`yF?!3Ք/~v;pkg)FʵWAy5P6`,$$L¦H{PꗚFK _c*"b\2@"f+Y0 c9EGW,x)X|td}zNJӈBs' Oz:f!(aKE[~x J6yYLzl}N1E{keh҃]{酯5sRfWχ(F V->ɍ'\Y"DnقJQMTWx׊լ"a3#3"M.NYɫ1Hc+:O,gMpw+p} 0:)ҟ?e l s'ѷ t0?G)"]@!TݱV ޖnu{gA]YqO0.ԀFW9/yg tSϙ>5* V"],9znOY[;-+˽?b[~uSja xݥC[coy0\zo@w:GHJօ[ѽyq;dLkFm.yAml:l ueRo_fVP,syq X?w3cf틧aj+D1$_A=XJY5VЃcYUKv[IV9 ~BURCfe cJ5y?&U&NKft|\ 'QKV/){CPJw R<1WGT-H6E4I7tHQ<ȊmD0=o1`l[ #*z1oc ܩs*^p$۶V6(StvD?U#ЋYWU(LE&S)X ]Q.#}]P$9>h5#*IGȠ}R/-4Xťyb"2 CgU%,xƨdRzi '7\Yq`kyh]Ľ^5owkNqU`y1'?t9t0+ƅ*ຍeYV)˗-(>(K%<`_d :v13wHL1)7M0Yn'0b5s4u:^Z cj(Y(c*5d*n/$')dp*GUA^}JA ٔDƻJ])x^tO+$sS^¦$-DP I{Ia=2!ّg:ݗa5`념|]{i)CC(ʩ/~ꀖ  r3hW *Ś~@E,NJDdIe?T=ȲX(66A(+H/B%*_7S/s'eO 7:'G# g'wл{fn2΍RŖKfj̬N+ ٝhhPH%^O֟aA )3@@'o=ߞ$/lOЉ>mXFiaޔ_L:7^&"~:Zm1q j'Qjf>N54 mJCLpL_9Y=*- ٪561 dePLNlQ8V-H˵rp>ca3aF 7kV7/V- T>PkY_h ^]}Hkϑ?.F g* |pW Ct2V!HPEE~zN5̪De.^\jלq~\P v4Q~cWJup>FO%Y7zޓIze3{F"zB(8^Vo) .:?뿠f*99KH;w%X)hFˀ 3ߝ*H&R\nu 020ooE v>h&E:4HŽQ{帤9cAۼcHc"(6cW=<;f`Ĝ+5 9 ,Y[EDr"kn Y')&[۝;WRL *Pk v$̶kB$rSd@oJ0m2]xxi|-pv:ӧQtyDV^=$9=\.Wh=ʏVG2V- b'Fu!͕/C%Vz S9xIJb)WSpg>zVwn8!Iz쿑[YRX/Uud_kW>j-.H_-]_oam'&ԦN?ߌ#10{f:|GoxmU.~H*^j8)]. rM"iٸf80;LoBWK,ch|Ψ{˯2;q- yUh lOҳ5 f8!e2LEuSپ/vZfRF }Z[H E=՟~%]=5vUq=7K pT@2Wa@}8ׄR@"5KuZ(eWyT 'A_T]O'TRR{%`G,JG5iZWUPyP4AH13`['YVJNU,7?%;޻(u$6 qdB : EYeAvQY'}{A0xt+ q|Su4}.äΙ=s3C!XrfI22B=~풡MK ;.ڶ0/sqX]"s4/%Pl~.+7NSWc 5>7iWH X:%\ ~?q񲅟4nB&3K8?\G2?Tr͒MxQ^} imؖ?Y֑A\ \~z6wy co8+Kpo\ߠ&g!J)(KL>yΤ m }6VR ۉ@W@];Z6lZ5下{'RtE5uF_5,KGϱIvtEZ?;xpMǮ ҔAܛđ}k:W3Culn!Rv,eQ<^Bi ^%~W %[h>MNc FUtW XkJcuѾ{q?xnT,;ŕ J`ƪ0xh#d$!rM·H>KG|sx^~ +eg4 kH"kExYs?9%Tᨇf6-h~~dV@a[*` 7 /'G)`1}/\ ~m^r`stNl{6UsW1-}(PJVEl(}mzA[i]e& UŃ[?5ҪXC}9XSs6TD㴝Fsq-EAH|V a]+Wf! Qo/RړrX_ߣQ.{B"s?ͻYLJ5~Dqﯠ1$qvyHۧt߹ZJ)~Ɏjr̩Sv;,Z̸fCY5>xL5}fNs0ZSzYd7I..w_Z,YYp(^定:q>q*?- E. Pcf^ds/j֨.jj}-N+lnh᭱UhFOx % iͮY@5Q2Bͼ? z!K "_vL4c*l"Ӫ#`,̈́J 4!=Ѷ \v:S^]Lf²_7̦y9۵z/J&^- +TX*`5X$mH|):8ެAŕVS4E&lDm:ُ1~Xf9loYh00E @ ĵn|CG_ %ҥn:?|qnw">$!!(!3ZLUnnJh&Wd_.Y_ rE=/=̻6b'ק3MyoЀIdiIʤ8xV%h|ts~*θnslQd-gV6Mbt` P ]&0eEЯ0,Dul)ߟ驁'!NIÇ?1sW&}+ Q$Qs -mLŏs%ZZCP'~{ S[egBD$ZWmHBOp:^rKN*@FN,K63h!Vޠ٦7+ qBE8IТ mA쨴997uD2.$fc >yS9I|ÆO4C.f=V,!(6p)"oeN&o7u-cԈBPD)9j!o6h~HT~Z.ڀOu"x$pyauۊJ *kRv$K6i+}b6?l?+Q?]2jBHA,R{ ^(=ĥ+@T~~ mۧBH X#6EPφHn<u0h8KA3Rb˒8~K/iK|,A;} V ~_(~2 3S)qT4_ J9YASxڥ'7TixvUGy- %t#Sf~mГԪ.Iy]:Fߴ2 4n_xJ/k^onsozDwt8{Ъ -$[i -(G5W&}|CPhgo67t^yȠs2,VoPEFӿv}垥ʸ=ƂM۶'nMUmzℊ`R¦Smi4r νHnf=p}M>&L*L#'UZ+T+.hQ,--b !PrDi/bͷQדd|PKc媀9{0LMjk ;QK|@CzDًO /v[v>Tr;]ᘶq/=?QT )$=&߈lY1qbrL,@yMHzh7M'%KD "H0!!Dr-3)4iV^#2 b ޚ:AAD鬚ewH?tcw6ϵII6z`kH Tê & ZÞr!IZx(e-uSd@*\%ŝ!=R4*0nut &X^M,xnALOȭh*jp}'E"$ ^c+n+o:NJu1*ԮĔb]q]ke!_Эӷ*#=1.3]6уc TlZtbǼ?Vh0g`CNjClmbgw<(VKQM2t辶ƮyW4sw2_$'v k.0+CKF_Zū/*k)ddC\L.b_ d&ry+ Ôk-+[DMU9 Dq^j0`d%"Z7_+";J5^Es/ODFͤ}:5#w)WdТ"x:l2PTޞPOeJrVq̨š;ȥ4\MZFn!ӺAIB6\QM^SwC˰>۠ɕ!$>h$LrsJ s'8l/qQvO:lMq}T<iMvYR4`PNw=GgCl-QHj"|CK2>`W=Pm5?[m*yCrePՈ߭S50,/0 3&cNW |k*ĸ)Ö 9Ղ *uFQXU#$]I&8"Vϗ7-wn7 絷I6p(0m(?ҥ}ԇnZ3ϣWqgPT3$CZM®[1A $ܴ>dgP`?gY"mEW[v|\Kmc@_H-z`Q.rܭiLi