SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 <!L  ]]]HOL-Proofs:threads=6elapsed=623.021cpu=1502.172gc=250.644factor=2.417zXZִF! Y`]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb_ҏ7l˥+Fj"b~/ މ u ؼow ?t1_Mds9?'K)s`94ߒBtS)/Z]L'%ߚj (e9p,象fmZ3;y䗆Ό[SijꩡϜtݝD^Ȟ-[Qj\62e*K,N;e%8%'DƋA:%ҁ6G޽&M}R[c "oP̺8X8cp DIa]3ʣFS<, %UR'GKZ_; Hksj2W"F`Ω-Vkytܥ2Q N?_vgG.Rjv:hwMz` oU]tc(jmtꩱC1{5es|VDe@EILc糋B1xjn{|=Fj]LV7 `cEvq+!,/@8v\6 ў9xS܌) q=ϛǨVMMj2xTA R04M^PajW(s?fS{H|^%O28tm {$r=Ϭ ϙ6.sNY46E &$.M I5]|bJ@koä_''vX}-`)yQ4)ZLsU{ݼ"kQ KDMUO^#6cڻ%1B]Y2&Et2WeWQ*CaY]<3`']قi(`) 1:Ϋn/t^9Tp P:]rDӢПz ]wD[llN.9pNf-8D1}s$0vq2' 7ZFb%ئK&KQ‡.P ިdqK M(^TBS1b]Yi$'~>}^) ^1F]@;FWD5?4 E"ex3QVSnm^o8#e_wG?g^D&oܦs !cw0ї<ޕ^G)0KTH\. 8n;.e#rY9 f_%T!fI5jhܥEPj{ w,uzGSn|392"sQK;&yEvHL-DD%xe5K97k9VN{_V3Hx Ȯ&`::fߧ?ңPx޹WRQWjӊ#| S<%g)"KIؠϖ @Krv(Yk,%Ú@"bӡ.'+ k(1h{XҠ;BksNP%QB[DDUb PXhBQ,+W6YTnZ3w3SS{ȩ$km@3fDUvk2(|nL\Ƶk*{NZֲޱ  鐫p= &;f~ypr\X^{!C}􍚠FD ~QfՏS`sܰk=@B:иIoU=,1'ZC6Hq""8(Ra]z fF;oaː&c:>3Q@Gg-ˎMCѫO;=St:3:wJ V@2 0I9?AI..c:6|bbaVȊT/[M%-@H:Aɐ@˚q71c7N\k`<mKӽ;pI{)vS= o޿K$TQ^SP c<\?VmdHMZ5jViOd|rǁw=vY槻ɫrMXX&i>/>,Rjp]\.z o5/\v&LQMuݥ0 ¿/%knfY%W`j<*wͫ%[K ,յ+Qw,;RYD X59Rz_Hۃ;e0D>[D0cާҝyiNTSt Ԅ-s2oj~N5g. ߜ&zf&pJm)f$OR1uԂIav4Fno9_G%#lcqIwA}/s 'g'#'Q -طkrpf}F6K wZ9d^ۈ٭yla֕eZ|ok:=45AMq6/Ro~͎ɽ8RѮd'忊'@T|b bL.{'c0ڼsgYZ7zXZִF! d]ŗXiɟ29aoʼz[%U>EM!!Bg&V@I౉ iCYʓ+Ӧ"D/o,#AS!Ny ;jg9L%@ď3crVl):Ѩ$}5Z&$s-ʥ6L тC٦w ec8`353;-F!x ]TΔGCTU CH{aJ+DGBONbFP\^3%zP= ~[nUTh?cIԵ)+_ =Y'jA&{$HzsǏG5zTpYs uL~if_4`oS -߲ j8m=RZ80dTr4)E%ڗ,~0l)4 s \rK= uҭEfg-N9Gu@➒.S!<":K"-rRvlYMZy'$Wl~.K͛NR[D%:7:l=o|u7h9Pz±aR< :_nQ~zm1: -_%5b&~Q#PRNΘ@x<e{"/gjqKĞ]sş\*:ǖǩepы~ѼPR).ʫ'丶UVgô b{xj9޹&AboI |ؓc^I7%`SB3MQ+><=vIot& !oM\&;य(۫WQjUD!;Edd+obW֮{kaP;pCߓr.=HFװ$ N% L?%_z=~`X@Dsn`qy{"Ȑ!{)Gå яBHRtlz]рX4yC:L"W·#YC PG- ab2ރDBhش^2<  $V{[k([Ty:>Cr+WjvlI(ڟJa0"Q&Mk%/w2UILKĈrnb3IYti}vLf2Oq%IՑe׃aknVnn\USLz}/l.%`0Q>vXSgZx _*o/UQUcΪĥbg%6a/f/qr! u-ڊ`c'ܙ!||0ba岿ʖr4-A2/݊k3)灛5nCl0VpAc Y),k+-%:^_)eFL"V !b BKK[Q\Ã}k:z]!N%9uywwS]ҷISsV칵DW3 ]taswҝ 'ɮu 2ѯ.NgYZ7zXZִF! ꍸ{]ŗXi%>{4IW _A}u .J&;FW]cQCaYiM ɑ 1-RB7mqy(J?kC F:mi7w哒mbkWk> ;C'n|Y£6:wV~މYACݲ~u9cpQE)D%^|&,~OdEU6<Ys?LRYiCժ؜JY`qDp 2VURAPg_Զ͙$91Rcb٤ 5$Nkx7ԤBgUO +%ۑ\Uܾ$Tߑ>5(KaaE-QMAj~QbpTSހ}AAP$(b ƾv٧1vZdT e7n-R!gkz5'YAaSR)c\n%)ķJ%k%n4m;v_d0Rpj;~WL.79[faS2c$㞈c?3`SG#tL)8@ڌ8jua]kzm&,QmTyh@]CиkGxb)g LKM&?X4nLr%dM>OvpX<+}|cJi9ѳi g+:,i/IDHdL )vDFP){t0iAi4Nu_reA%?Jٸ>0h1y]P&#uvVG⫚(~U?uʍZ,=S>- ]װ\FsOSiF0PgR38vEeXT|JV17TD8@yx :4,Jfx4};*-н둚-Y:52n{@xrW콷hNxZ82-Eη߲>$)9Urvdm@ 5 &def*PBh笋6+_2p]Y/NpT2&S>Tq-#%ۡSf]x%@ե69 >3'4Zʟc9SzuY:NFɟ@_ v hW%rm"H?EZ~"<]*.'v)P^T]2 J @vΎYc5k)i@}@(` Z ~hu1ʨȩ=F?y^o6=) t-1ۏdԬϊkT3Jckgݢ ~OeH V;t^ vR9PG4!RKğX [J4Ľ^ ?/-GR 3|,%~>C-g秊T̄ѻN FY(Ly6T/n|a=q1JRYd&~f^}l)Aݵ"ĽoЗ` R:t/Ys-2mئ\2PV( 9qҞac#82=Q0DDXR5r(vx!ǹ׏) &Zmg{՜!goa~n |-j?Udw#6LU^Fh#44|(•ޗ[fdg@wo*Yjj`0 `vicl98 xWOe\Gr%2Ag@ pVbM8'fR:4~d+ZçP%dWQ@Pb$sΣ7Qt엛N"C^/(8'*c.\4!7E}'A [SwX;xC{CX|Zyݷ(dU\9z@ %u^>}[IZ 7@2EU]{8,tNSxw&9P}7ӁSmh<`:魼q-a4Rh i;:>?qNF=؎ Igx{q3`|dYaY?@xһz*uÓ{A2y-zOַq-5%'Q:^4uU l\gSCusuԻi Ch?Ud vi,N8h1?>$fvE'?b*Bzʴ9ð[W_2#ZTžE$i:?mW8' G=חU 1v&H:ĵ:jzGޕ̡i#:eLj!ؙW)Ap`MlΝ +I斢{"c2qz< KeO`(wdwymJR(%_܃` da+f<Џ+ zIW{Qhtivd:@sJ:;ڠGdyipTl|akxO&NګׄFFsbŬތ=Yef' ($RbH7;wQ C"h{M#o+Ue@<Ъ4),+YBO$DË].6;kK#Y^)Xix!]1frj|MG;=8re4ʞԦe0)Go̕xo~~:Zm`Y<͘|Bkc$8qΑC`Ӂ+eMB* Xr(+T$3g!;iu?#` N+b?D`uO=ڇ3?b^DpFlS&pez5L.R}ˋ5O15$WD+ p1wQInXr>mdRh-;E>V |Gbsj:.[[4h ~smhQ%>xǿ YjYFi&w0獇hn՜ ;)|Hоy=5Md޴Vk\oDMɬw,{W WG>, MTf*fƹۗ7LOt+ȸNA n{#jDšqV3I8MMbx_juPkFCoϚhH ^WV\ٌ>)@Yw>;_a'5 :o RuIt>OKCR *}ĞYχh5+w̩̘7==P<_6ʭ)K!4Mc^F$ =<#9Q^  jv%79#*l&mf|s@q߽yǶJ;k.sE6o] W>o9ͥq}:R3xֈl s%&Qyk goǓ.#m{ͽ3]!A/0`ا]snjуƆX'Q4PZ>ü(YFBAV73=n|&}ELt %oGӠ,G4mxX2з?l<=F!R`.GhEmϒ9@&Z R汞L[N&AK\9FggCxGhq0~[s(3'KezyF{AOȴyk hV8mD7YBsTg(qk=u៚G5R6s{ӔzYU?Eu@AN3>OsGP~vo ]'YʀxK(N|3_`o d^4g>PVj|&J#_ܞQԲM`>㯓{kuj{UtQ~N"[N螕Cw 4r0xfCBd`$Bb 5O-+?"I _}ON͘i#A|j (5D t~—bP!Tnx,VS)X\/Œ>27N)l[6g3T7_lo}ؘ)㘭2_ۑʀQ2eg!yNJ7ю,KgEkkHyrΚkXY^?N_{^A Teee/Y e k1ӝpPޢÚoů:WrX+xSs.Z /- 9rAb4z{Z>d0,Hpvn6Va'nkӆgyb4؂)mx i_|Iٱ9W ņ<:N-Wu#Nv7{J}aSݛuLT®_lՐ M@Ve,uC09LV(w\Ra%1_ZчS B5wɥ0С19Aʐ&~sdy/6PzdtMK?KyE0P&cM WkaV v3/g?,G we'ᯘϻČ/@TNƨXO}Fe)Dĝ߷ބwONCD3ixSTĽ!/bௗs=@9qI:F10!|aft(ϠQe[S7k`e-`^e"M>LqcJL*4 aǾIh~oP荃ekЛ+_&1zΠ(^I`J!BN%i?kc;UձLX. ,k@ǭy#`=Uq\sd*6 ^YCil&9H){JM/0c[g<1IظD[Ć(Hg|#T>0Cbbb3Զkw"-) on38ˏV: ͐#`\4f)~-azoekT_,k 8L}Qe.OukQ_ 5~uV[kmˌȟĚUR']ߤCP)>92H=ymLLJ 7Rb/W GUә<$|&뮀#X۹ ]cf5idb K6ov=DN_I/y,4|t, kN4 tR⑏y!es$zCMpBdI|wpsAAd|z5mC%V6jMul% oF)U<}i_~`c~Źa3!5T l,zu3@ ^+6+ݖ 7ErEN_[Y\mr[ꩼ(ڼ!e:)&3{-y?[Dɚo㮊Ws7ûDWۅ%󦤲M/&G:G|oQ*eȴ/=Zˢ/ut业qof+F4uhgMfÙ" Eʐ+iw݃ɤ(t}VJ7]~0b.T^aѢ^g? dWs]tD%:rhݶzKx:k.RIٸ^EpT8JSJt^^q7Pa%63=O9op3戂?{lC@# Yr``s$AO€­8*,ҽWYef*cPsO 3"j|[Jh%$xgѪ'L(U6siᔀ"!Yn+)+ᢍ*r}cu`3Vme .1Ei“i_҅$C+NK22iB}G&l&m'{('qwSn67.jQPhMr0)=,/;Wkd#(1鈴@0!#JϦҷѴ42/wNL!-y[BcNaq|v{-+Yv𾾋2a3+!~M  mMB(W9U~3dABiHB_ǤEkF ܨ[OX̝2Zg 3C[;e \/E>m:uIyh^Y]ws2zWV8GG6VtiGY؝3 M 6A.kKўQ /(5y(oPބ p1* 58G)-srD:~ nZForW aQ@M[Z1{q&''Z ^0N`[&sh"YK51d6d9m:AU`$E|"N`jFt^"֝Sqws|n+hl,o;5nXR_ѤSavo(Z:X* BH~ a\5m<~S#`bVL8yF, Hd-QJKDHF2>$LBeYx7@mTOs'į' &u*9EƥNPSf%_~A6jP-׷o,OZntiZlUwdZo(1;˶!4ENi"^XZwa.ٽ棴<]hҎ.D6209 ژ?FV'T"E"&hXF8nz ԓp`=$Ō˽/}l(>=Ut`Q5xo!u5R]z ( X]toOŴkɕsPd7ڊrjk6')EɈC ^8yY 4 'vT1 JRj6gC}TH{mX)ܪ5n0,Xv'?d)amY5,Yg 5ӭk\X ʊtco'RC雸u#orbVf辈3w]3: inw'bEӸT@-~gC4&I" (/RQ+Kvu1M Om6 TELkNQ?L5;|EUޝ ;*ݸvglS'U{qDiU*B5c\bnb<(u]K_}RZTf&c.=~HR3X/!$;q,ɕ Ehl6D'ЃD9|^r7@ YǓv3Zp?^iݣO}G%s9J_iCOpT(S[%Z&/ (hbH ]8}ۉ%'#R#H=2Ew Am>Ej8$AQ(NXG}^l^q=:D$l N+ E5ODxOO'!VIt~YSXs{-+W:(jr65Ed-*@d쬗H!EY}\?2WiJf<-RN|a*N}ъSP~(ۨ oF$ŭrd&BgEQE*BI)w~-݄w1P{s= H>Z݇6"w CU)„vβ5Zpa'r=S8;dJbF#T~^U5f2̄6\LW7F=IgOHw`r+Ursi厸>PD< 'b[' :XO #Lt%{z,$!=}#2B28ya=16vJYL) 9۲#tHa]Tٱe{IjN&-I\D%4,gpkaol^HO4Oƨz;,b)E`PΤI G k=+ ciJ6A-ީ̪&E:8=uJLIH2> @NujBqf58sZm#YS7/i'4&rP1 4͙UfM~֮6_Ȓߪ jɧЅq;6GCܫAL=>yT'&4Z`$",WWf"ED|y 6lhݿ7Ě_M0#Q1> d/2 "٫\^W4uGXVcOVo5>CrEPCFO~ʬ&t&=iEz shƼ$݁?Rsvݧ#"}ʺt'!pz4(J}R'sfjM/ 1aBӪ4`Ea?`*) NmL RWKܝ uHBט6\Uy0/"N=('2ҼY[-:-a'C(DD`Xz鱹 AKifr r2?^vn G9S{JHn~2 6w$[aq0uQ"iݺk(7(S f2UEC+htҪ-h˻ο yx5 >+2XvD={(]Zc+:BUTJ^TsV{͌W-V$9{ DkM=uw\{ǩVQ  kcO`^jo)hwt.J' 2-F MQ@@ӿka3;w3دj] CGT$N2xBӛońyr'P2)3"'`s u0:-9D+O$VOx:ޭEϝFP˓u.f{`1jG.Zs x!9z/ 7i1x򡜢;PФ)s>"b]?fRsfmN횄l4/(ѓge.j)ߓw}S3n:q9RS5C>ݰijDLQlvAcY'U27=5 ́4A[@4R!Vxh5I OxN{pxt@1:b>nLW?1yi,VRe:ƒ=62e@{ٷҡ1T-;Rމ_\eGp\s גDtpu9A6{gfւdx#[z!;*LscG:-Ħ/ou dDpYWVIvB37-t|?4i/Щïx39BT/K?47oiM*LǼ-=,l}&crɿ^*eϢoi\}NxUslVIΙ'8C)@ ܁R ! &2eIC.'o8>>͏oH9H+;8s߼R%:=VOd2|0cRJ\Shc3_|&A/%:@2Lk7e6X i3q:܁3<*+<~\yi )+;:&Qu9'vThԯT ZP_L: rL O A98œQb0{$-'؜erP֛Ԥ:# =D?$'V>~jy>V}3UqI&1H#k~yرP}A[HGW3 9t*rYDIƻq+Lf=n[jiqe׳#-Vnmٲ KoQܵExJߦ_%]A:Yβl\O&~C=ѓ[/|7ɆY'v1~r?=} 2eHQ6³nh ۱$ޯRkD~D_70B%ct<}bpN\GQTx[J/4(X=%zvOXoT&h1ߙwpX v0nnٻއ"ҿ+X<)+?3@Qt~&AOIT FqWpxePWxNV~9D؋BA$"/FIi4K/ץ $K6sc\q M`#{)޸ 4 b.0]m$h#Co@M& Ij]MI>:R=@5`AA영 ءs6F`u3m45¡)ɝ8% @أmCa&zniɷft)7Fv>YOTlJN݁z[>7|k, P+s-k_#vM nЩ-%2J/DuRpDa8At:lx`3B02Ѻ^dYI)#b$"5KwA ,1S+Lu{0cڗ:sd%,7w_m9s>f!8Fاypi+ORN$3@G#eT:\z);[$(\>yOvpPtGx3#ݷ'jR@܄WGDz1I?~hTD.D8XqǨv3GJBqMG# v5bzVLw+ײ?ΪP=~R ݺcZ:ZܨW-(4g1;_cMI S)Sj.rvܸ2 `w5J^D e cܾmO>hQG3n+G@Lk"E :2?1h_TJ6TOڿ;,Za*f'Rk B|Ƕ]J!<1 o$t5ldـR>E!i&z"`[wJ_+y3 *yj}qNr'rr*[>^. 8PpQo} XѧT--@?ZV`.`mcF~8G l Ed6dN܈**YW ЋV `+`9BB#_^.EdS6?e(,6TkV7>S)h? r膲@eLTwcUvy'g:B}9<7@갵/,aV>7p'/DRԖܕvdaܪ0¢QO3\+4guR֎+5X$}P@A b SXm Yqu;&qDϫG)p[i "jbrpҭF Hb ؔ Vz7Csf:"Y5DKb853p.WupJ|!K;kv+aYiBʉPd;7P*IVݹd2.MXaEO\ ]\J H)hͱ1S]:f o'Ikp``zFȭU턏,WO[RԬ z n8)lYki:C pDGX]c^c¿#mTЏSۙTgxPef/M~>nU9fHfe:ଶ#g*\~{;S8-^/b?-<Æۯ jA01$TȄ#s.­SȬP5"NsL_MG f"tɂn^7C AѮy}A*u]CN`d[*?<Н Qc Ybw^O2;PM۪q=N!B9kвzQToaW9' 隧d؁+q%i(ByYy81^IҐMBoE'-P3bRDlɶCIls{\RJ_n& ;/sp+\j/+|-1}dd wRv6]w Ks LC|$Ib1ؤdQe 5אœEo]3_+ە jY/Vgh'07_D~ɬL/]Rӆzު"ά\Y{s"v:D1҂N:y묦;TAq0 wUOA4 0]V]A {ɝtP QLpt-kk{ۤ3[{$j%5+): [-xa>^/RXt*>+I*P-n`B׸Αmۺ(9k{6ׇ(Ҟ‹;"hc??]D51T\4aq4hNQD87BWk8Y(ZМ7Nu8+:(5F5hV{ ] QFj| XM2h 4(Y BxJcՑҹ 5rm /ɧ wFLƶ-e#5]|@IsN_uFI= b6zKHXqniT'L&VR|71]q*怿h)g7ЩO9|،$ teqw'8r X6i~1$s#ٝEa=.ƈ2r cu%bLjz׺kf )Et8ޮ i`AN9ѧf/̹ :x\%Y4ֈiس~rjVL/{[. \Kx&|P>僒ˁ:z@6ru%33z&+>@^. ALNm <3>(%f#)쬢;ӶL Cbɣm,ǀeN9^Fv(zjm8af|BXÖ!ԭ42X*0uTP R{,ҟ'YqEEXhD2wiWƙ#i 5Fy8qJedH5S@d\^/B\Tq>L^{o pcvj*.$"S2EB%vg2l#Q@8dk9)U A4<:T%1=(:-)H Xfք;4ij2/]\ִ2lIXXqF8Lj0S̐0wF]IρI;$v+C\Pi\НY0݊7\8 )"5"‡5LEש*G8'ڜY|#`4ZE'!l&+mxɳ͛n$*OqJ!G20yːj#o{[6T%UFo5Á"w.-s3ܟ`%lArߓ!&dThxݠXyǎK$885烓)m ,^.4݄OӠnsՖ$eE2$ RzCx̩,|o ~zBb鹌cY%K՜;BQ:vC<vWz"֧)˜$}r tPRٖh⅙ |\0V;n0޷)O,D= Ō L'_HE1Ŵlb2֑;sO~/"Gm@j=K 0G9y#jWynȈrQ W}_o5elߧm׼Nס^X"\`綪+u_8h`yza>OL]y G@L2_՗ToaeK^}ⴔ姬 3璸V p mju*!1aP`DF7s8$7NJQ{[Sh;t38*6v E.X]'[cl70hl.z%ҟZ`]PQXRȂk}GrW#C=p_Ii?jdVn)nG3pkN0G*}c0Rvɀ]8X( f1WVc#1QvaI~V@|\h#/ʱ4g  xdvz(VF`voz3H>n3{W"XJ=줠Ou JG?nU,`Z .AeqT~3CUΟ ykcd\b{ŋ[ΒtXHK5\!@^)QؾL(`*'D~rSo"OI>RbG[b;Hlpg«h":͎ti+&޻닞1I¡-ݾ;HAPY*sIbioRIJTWaA3죵DK4f}aݶ7fQ*^jA$cD Gw])3^<␣+KSNz"nCQ|?!P Gq[j%tn nrsz2VowHLGV^|2~xR%]X0#@XO+.Jdf0.KqY]b@A)P=0װ"/e:ʩh4P . .ǥޚors&ŕ2yApYKRkh8{}fτ|5'2dq 1`(\<B8pH= P(ALdg Tmul0 6bZ !d*A1ffAhOF|<5=@,vOP:.HHJ}irFp.2J5kY2a_(>+ƭ'a{t ްT XTtP-[׻Jʙpg-;>`SK5 2VVҋ`Amz|zmocY 66EOIX("d E rgj@Y0 ,\RN= 1߆K[:qlg({OVbdnd{6u;ISX>EHw =(t3+P[p&sMI暢`~LZ%6 aIvgme @ҭ_h>7 \xjTa'ϑ 41J9Il-Eb:SA+cO*\"eMgHpYB`k V YS>HFd0P[͜se:-~0F_ 騷7 h Z%t5*uԳV5`QmM2YRevYy39?ԕtWIPP,GpQpۈce̽N7X'L~[bVV rtg]R1c5(UJVP?.xZg .b/Ka+`ʼnw@]S&9ǫG:,=P"9(hJl;DƖklɚli$E g)5L8َ3x%/ DRbXIw6 ޣj|Ĉ9aC; G Y5|YNZCt7p\^(C]q0O(?~/XÇfd#V` zԚ$pu "IJR˳י}Gre׉{fxf"oQ h}@zX $Eꩁ㶹`5${B,g[$fIۂp PizaY"u(l'Y1Y یE&gr8lI#8g :Q1&Wg\a`V.uJͤz =IVYP`k(O5ZW\.%;Rj S=<Aqנwy>'Ѭٗ(o.SSC{g0QPr]uL>Ta0#ussԱn2SL%.r-ϰzŜ,("Fp7^?7U'DB /+$qCV_c 6LDȲ@޽"{4>2Dl“ߋ>?EHIcߧR>|[xi" Lw*ɋb*E.]/:]>3+T2dkz! I.& 8)6j?˶y߮cƖG2JfR݁?OI'b8K6Bt)K2+4i&fF _NVs.u6NI G;D)gu4mhwVmd |佌ޏR?(*e!SRL-= ȲF~cՉNn/&]?RKrЀא 8(2tU+$R\k賕=i+vtsžv4 qf-Iո&>ʃxl |>_$e^]YQLǤk<[;7z6 *.}䌽rl]HPR_ٖXJnYJJ:A./:3kȭ\QMˣ}czh~gH{G= N- 2 :.7~{9B:v 6XEA _eT7"Ypql39.j/c1ZB߳7bw!zM a ĪX7᪱f\lKP* Spj·Ox_}>3B^?RiGwh2kQYcH Kx7oޓ, %iߑfRO>TF#Tu ֡Dsa'uhD'맦d?Ai!Q{s^jQ+q9h"T_X`T>Q9rWwrF%pk3 .Hy1=@-VzB.??05oLKrTі/32: }کo);">;vd[<|ՒB&mM®*+HL'df w;| ^+/pf%@N&)AgQjaqR% n]8Y "{QqE:O }[ ?3(ʦn#aՄVb -[40 ` -G >BM<xNDƃ!g YB۶LޫjGF[γwL E SgnJ==;ifL;rׇeekSyY8ڕCCgcz/c Ӥ$t:bޣC{iOi+hOLOXq`a[S8 |rU@ y`6{> m&k|T37c0p;8sb<&gm8RtUaThD\aPi; w.n/ܘĂv/KC^a+ȐO3dNH/,P&2EƎݨ Hj1Ժ*Osg }#unm`wt(~G'SW? W"+w{"  y Ӡ<9+R.R-ӑOrT6_Fro3xn¸^')H[]׿H$rj:+ZS9t~t&\?Ĉ1E=I'hX{,ƫ]P9`?:WY8:.7->Ԭ~wo]@TC˖Ȥ7Wq}YrڴE<Ձh*kOӒ 5fR_(]6C-(sDjCoٚרELiug32A^~m\i4DYL4 OCSߎ~D8p+{ӹU'J0H[ `tʱ9uT>3FzTK0:ٮ-Ey8|34󴎍Β%5 'ak5hZ4- 7i`˱V{f6[!l@؅_%_dz#ZH5 zگjSӝa]È*ғ:m|`/&qrN*W'`^ !Du|""J^`<~ -#u>M7=_:US@gH=7X#P_iay?:3zfzXZ܏^)#kD-KKALmFJJӋ01>-+؟͈z-*'xDgz֌+h%-M@dmnko'h-*قLslΤ/$=&Rԣ>w,0U [/tH)sQ@c$sB Ӓ$#yxMq/ɠ~ͦݘ3e!nl@6]4>]J9 FmUXqJO cl @}Evc9yxHѨ qHǿ$ϦRLՕG@~c%"x 9vFYaߢߠ v\<7?K;2eFbvE+36++&D`zZI&= MxJ;0fz-5q4\C@ESHIHӰ uxBv?WH~E'lհڧV3,JTaV<ȐEe.cp2iAHfP*pg4୷"#$ ˭X`"S\x ;UOYR")"#pTj54@ZіZ'F I5E"aJڧ8Ќ&(q'ɾ-u $˄~0*"E$]Eo0nb~[ )̣6wgMxî?D:mnR/٦t0o \h- h'N 8OwsAD Wj@ S>i_X5pgU/y.W!,Lys9%h9-jstHBG'ߧE㞼Րi>0=3kbL&1gDd{V2>Nܮ8Nv>w5Y-u1wDTt]]uz@lA-Z+WЬF7y#v OM|C #>4vvjUR \m@'> m@I֦29 Վ##K6j7-WsFN{B0XWq!3VyGmbD.Fn%mZFu4' x {o}뎈mW8"f3RܩQGbe9 8(@jnK[I?NGoPt{Es__HCi*йym3֪I ?}m