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 mm[x$| ]I Gabow_SCC:threads=4elapsed=129.374cpu=326.864gc=8.5207zXZִF! o ]ŗXiɟH)0%o5@,yϮiN`XgN9^MfGDۏ&P.4ߊoPOAyL% "^,߳S8Q&QB+l߈kl |5?nv09ca}қà7gK,8"jEeomtC9piׂ<-cI[ d=HpҦ3<5 =/vXFсy@paT՝Q܈1*YXǩԀƄƓvw}k8#+8+a[||JUݻF{nSaHcQ O`kBvv_Y% cts?Dn% ƭZ&FQu1N`[㙪.hY|wJ8i#}̩;=ÃHX"Gªi3w68 ?˂J3adpXRZKG =B~ urH1넜ټzs|Aj _0ZjxAX@Q*Y|^,:9Rn hUY ݪ^G /~Lͯ #Kas8oZ1p8!,B[X{TUc_x_i>@MkP-`EAb"l+H-!@cqDꂄ iAisW.GhFC{%ʮNP\%i ==jz":l/IzI""'s܏ K;,aF cbL%9Otar 1TvP%I Ct2 AY?tzvJЭR: E`]R^ *<x/֔uEuU`MkK|ŵ WY/PQG[*<o:X^xH[<1V2&>0%!@Aj1LGH8^LLVI]~,ear(yGJVړXݹ'H=(0hn ".H^۬ܜ鴈Zb eeܶ[g[jȍλȘcӍzԣʊy>яB=;8#S_n`Pw:8A+qVsN{ tሲu'hrp)BNO>{4. DVFitsu?8Sy `d砬%  E1=|K8tj\Kє ;9}'NN]؆SX|   Gabow_SCC  _|L^f؍d<%?:V|c5)@g>g u4\r\HT# l?o]4wAQ+e~pWk?4"%T7pH-|EᾷdAY,`B6,Pt!߶I_P[hH49dA } i$΅.]{Jm+BXz*Ije-)C;, ~{&" ktN$EO$.Utlu~!J\dԄHh\YRAcxtW 8/`Uyzп(% Ϩ@U,"o;JH([bVn[6m8tDw?b{Vs6g2Dn+kaCYd盤k+0[l`3'Ɔ $~*Cy?_pNޓsXP}?2| Xum \۠JԞck!H!gHFf8,B 7\VXgĎKˢ'Y>T=Ɩ4VOlwge&7vJT_2]Vchu0^{$}::dS1pXԕmaCln&yT˲CKSW&Sw2R$=*lJz_^dcU'DAbLl5+jvDptc]حhuw}GrHjn_/]DQP}4.Q&!Jn#Auy70?q5Te|=Uʈ(*)nUwS'P|i-=OÛZE=5|s.FNgREx=aMӦ$D68ϨNW6k1ALVx&A:ÌA4RevյXA!֚Ƀ|zܰBc䱽 :T/UK32iF(5vP  # #xH;~-I|?[*~дX=nXyenOGclFQٓA3n >&g@$Mz5\BV{> ^雗SmU!Pୠdx'Z91!d2 )!Qs1^0|ʆ[ 7ztyN 6 2!4x!=!#MrX~0 91 .ZF< ?E8@CpV98+;K=o/H 7+``9ec?+e'6_$ %sAW> L~o Z=nnejVZ\M#V@ u;QCfn a -4[\9R]k$ÔX VvG& J ?1{))8AFܭ ;#= }/TvmU}atxꊲ ?WA˚exVzoM1V;!{ |/ޯsC}C@?:^*DDZ |Տ_c4M/``nq6x1ۆ}ݡDC(G[E= F t>H/+X%huR9y= >ЋGlLԇIX(UfYU:Er+ 1}jAhϴ*']DKc;5#/Lqt4s.I#amx[p^kQCp҉`»PFO8턶k`ލoѷ0]טih‚sY_{S\mbD-\VTh<c4WzJZr;`cO*а"QA.q$0]rF 6UN?dMCJ{T+wm.xB_ nX,^8ksbDyl^wMIo;`eB}UӤ"hhm3 iҡe ~h]<AY1VMS#c3&xcj.kD/ԗ07qԫAĨ͠t\:k~G$ɹE>*C cۂ[ocZMG9q 80kHnv֢k+f9uDž^懪a!rH2 &Kca hTŅ=4 ivISR~aj ꚗ1gt9 _zMn@<AH,7ne QdҘN@\XB֚R )_jl%599XG[i-:ƹ>bLN(2X 0'ht⃇Tv/vXv9: d(mbpM cX Us n%+Z{f|ژ;ǫFBI{H#E# d?aNe %+?X23;Et]ϘQlRc'Pg1ߚ7t\O>fWu.]PCnrxRq9ԗ$]L@ Y\أj?hVQ!#crmO)[b1؈I!yAo3 $O M3^sƱ4=&2B#^ l2±ؐ:]D̸Z1<.25:O@_Ƣ˔0eO&O=2> +>כ_\y=⩢FA4(exCJ^+k.}RDjn+WsSP vEĠI-#D*_˞1|K&uDygts bJ1XT''X:3N`c//v&Zn~:@:ӊys˗MGMqE /Q_x^K-N,H582v&=ruRڅn(q|T(7Ī7- DH<bEM>QsA *y#ͨy5=Н53vQh58ObcYY{\ɲUqjx9G\ӝ" =VX#חpNAj\,e-.})lSìpp\bisswk؋YFwNi7`xC4fLx!Vz((M״Ө3{cNlՓ ;dv&^H_?x !kb%NvKs4p|AtcaFU'کq|;LE:R /}*˵U/DR}nY,]m xW*> ^yWXC8*9&=<@SIޫl菀J4nT x2VfjCPϰ?AlRRf=5Fa2Gk<3/=Wݸ({k15ry jm%?Iog%b`q3GSi~;p^U FYI|dH*2o+\Ѹ;ps| M0Qq_=$rJRX3%}&3Mt^ wu9B+ kNj+w~?KP xoKrGK篌>SG_]XQI6br3ϞN+0FXҹts yfrM_\dsSym_5t?|!$wh! Hi5T3&7#'uX"SH 9U+'UqW5]Y`;ЮY%q(TFnQ|sЮգy$S@^6ᑀpnD֩Id \rh7Jy[p UTR ,J+1<`Î8$gkq< g3FúEƲtS$Ef53FNEzNED9;4N!qa+5Cإy  j$_9r6j-:dIu xR#WԥM_j.F~ѤYE6{TGr;ZҟYӛE?~5-5 *d[VS*%lR"Y߫SЖ7a\K 53K=!G_ =PB+)Pm^><dA'!͡! 0%N FeٛW^\\8oovQRp-{#*,K X>D|xkkI+q:~y#Epz֙@+3̶xb\Im[Vhv>:7O&WW݅W2ma=ߜ^:OX.e"Z]iiEmc;[d7/\=΃fzFN+l0ֳzJX7{چ_Dڔ=s=xeru*W0'H-OkprL'B.aṉShǕػqu;.Fϊӗ}]J[9>~kIIFo~+楪;Uwi4=h ^.:R?;-+_mgc*[Xݾq5 ^_VoqT."jVbĞ 1jزu2Cל `}_%Sіͤm\JlKQ^$o*S9sNu1H2j[_7`S䏁<H5rJ,܊SPd(jj#mZ( 9hz|p Q]ϯ< GpՏɩC#19)OCY@y|H_ڵlàp{OF>-9cXSCE ʐ]#h kkX-ѼI$l6Xc^)}&evT(uusJ.ࢾ \|+m4z#玗7d]0Dgٺ~*i)y"IYV;bۺ⒠/nTB/ҡÍ-W+P9ż5R~i͠|#mr&U|LZ{kS^/E.D5ˇ̖4vQFj.PQv[G{y" |&1ێdz@ay`K*+L7VJ?p%3=0(a'E~30,+wmjOcA*ޤYn`7Y MD)Rh:iS&72S'O0$ Q?!3g/nQxgfIG1p)NVH_E3EABf:dY΁8u# Ƈ_?ˋVv3&0p &QuG@L40؛Z.ȿxA(J^]XtnA &ȗ:_FJGM>9rDY-̷@-'vg +({Fi~iñWѠ+Pyc=RBg==LFkyf >pZZ*T>,~ /QȾC A? 0:GxE/g\w, ,N}m|k&8`㈪ahV>S5El [MtQj//|D.zW;F _xc[ .2-x+`aҀ\:d`T_ȟwwExi5!ȫ3/l?^m'1rCn2 ٩U5|гewY]/,ֽH >}>gZѩ_/kٝJcE 8 J ߒan=2[ȿµwƈ^DKOVC4Bҩh<jdSӲԏL ҠՕvs6]vADD'jy [l2_-)#M姾σ[]U鮜zdWuS] 1"z:)gXݴݙ'3KG l(l)i71 .)kbzCy%Vq81G=݆Q8] jzGLǚx ~[4r:PVo Wp6@QVyBreh%>> HOQ8b e^gh|I*6]/! U"nV']6y|Q`1z"ǓF +}vRk-U.2%e<”xӐDc/2([~N> ò~@sخ(z R=b)i?޻[[-SeLa,&?NA%[uZr*,@dml<4(gTٷX0ѐI7*=*2coª:C goQ@ctd0trٹ44MZ/}z1nHɓcZ\n[-҄ףF|DykpT:Ǎ~s 8 ?\=pLIVSO}/XsuS^8 q:VS~%TW%n&Cc/^Keֽ@vDzgYq"z0 Z cqe¢_)gNFD $l$F\׾*~0N."h1p%9ԯ\:Ɇ>5 $L#a&a͈[3G\];3ε`OڅC|Y+FEejr$Qk#MAfŝFM}^ZsY{yC.$MG礔 5A+|v$'u_ @.mM/6|ڌMV;d89ƀ(i{Ly.mK Ap|9͠ۃO2@\הL# lّӌtu0 r Hʱ G6bSO\lmEׅ, >ؖW+X$Dt:& oH5d]wL.*3f*1߽kwXkEq.Y=CS*G jm r"<1Ko~v6H [c0&BrSbm/5G|PElT>;b :j1P1b4aN{C1U xXxPBMbh!; lTkқt5?}_/a>}dodtz\D!u0<8^_YnmbUG+oKRSP]5t/έ=u%3޴`kF*;ㅹq2%.ZV#{IWs dt3lî< 0A9ͺ "ډhPi4]aM$pnU :E y3c\˦a2:"dлs8UDjn}10g5Qf+SH!+׀ B=SiRNȴ$kA9 1`l)~6L*i!`nQk~lg(g?HK8+ χPX _sdȀ&QpwcQh$&˯nFyY@ӞM&<QMͽYk!D@oyM@AV47@z:mW4C6ve!q}[U7:0[[}\i7z rWkױbsy;2G}asΕmuBA3I%Ƿ5=n_i4gͤ>0LrU!ˀ?a`BYlhَvXT.{gMw}fbpYyPI,p^`T0ɷ[MkՐAMJXhIPGk8OՕO~s4^CvQ 9KZ߭`gN|yJ-e sv hE/i蓣+F!y@d!Wu4F&)Fo,- Rk9A4lH\鉚߈ / ,aϻqHnWvc=}-TwmLuu1A6.5%#W2k [Rױn i i<:cJa& pzƲw6;A3%@#q%αClڦ5lRĒ 7 R~4Djk/`MszJxeM}VtAD''xό>-SyruL\.pG@lh;b^)f>q*OT_\*A\ <Ӕꤸf+k5히mS)T!'9xrW;[S<c /$i3;M~3To_E*6A$ˋ|c9hF9" ;}txp)A$>=z$7n CjIRm:)QNϲC[Hp#ݼ"D^,ΉsA&iʋe5Yd+Y9T>"^z9\Ad_\e1_C+&I ITy0!Hh/UA>'R5jjT%e~(2;ǻ\8=6#I{PmCṕRƃE6.<șOZN6WLye## U*ĈHW ^!oklmcF6/܆Zġh qPTgk\tve`FʈV4+Pl4x0 ԒNm|"Lm9i; QjFあV .PC~t"|i.t E~ŀSvҵ84x9[L|7v;29ϓ|6 k* | r_"֓t< vz%ޅ*0OC@Wޒȑyf ؓRax(e1]ZD]VuJZ~q ʮm=@}EÇk4>ѕ2T:Ptz,LM> rP|;|Ozo]leksOWpQcX^Ë܁S@Y ǚxy"']tILφ?IІz@ q4(>Ey_|PV _K=4Ggdr-|3??Bu {*ř"Qؙ(kgQpDMiOk 緌:^9x܃#3|$@UD;7V@QiAjIh36 o[8X= | -3L78V}W /O\c Mr{ |A WZ| 5aûg54yV4 DK=ӱHj wO蠖/5bUF9NI]WB<  lJim #7@-XL̂Ѐ<P3r{L\Kk/>mʂzn ݤHVgp4A48ZETAXKM,'!v':Χ \܃ 32Bl8ѧpUgR橉bP؅|MvOA{7ջQ|ԞLX+€s b5Ǩ/yD&x}a9㓣Pj)Ʉ2?}DȚ@-b, R7 52djc#i@ImUGNgjѭ=S'Mn*+Hw4dJ xА9ȕK=ptq !s~@CՅsۓ;kױX_ |#a'i3^) a1m wq$]RBW FzPoh'6DkLW$ZfIa4vӨY5 { L3` 47Sev}ϐ /jvjdw8/^+.QUE&# wjvf<~lD_p[T w} Ϥe6ELL^(4dž}R*.Y\NM ;5=p ]Gq Տ cR+Wv慇i,b*=x0|G*tU4xqfH #GwԂlCi|s$mӕ\b[3 |t#2(1yfg gM pfsXCNz1[Ls,`'gn/@*[9[1,_iՂ6*AjC V,Xo($]ɴב6>. 6^R 3pttSY#n:+*=%/-HC&Z'ᚰFoE7t-V~֪S`IvxLHVp;x3 쵺e&2+NfBj gde 4m b(xJ:]7*AZ+s:m`[ }wۤZNzaCAV_K*P${=j%ޕXiϋv+!)u*7[qw)Pc,GoKO[*B7øi&c}ѶڭyN"),TW.V;D| 0ܑYgO)̰0 /}>R"!(U= bdn3Y6ߩg4;dQLmڍ[.R3MpPS*mwh oⵌ▸vP!uT>Tkr墙𺵃i&ew1Gw{fa.9 G1{vIщ$f߶8xMjކ(w/֜;DMU$ 6܆]W0pRsB\4O'6x rNH$Eun]T&<ߛl?8'q$Ĵe55/0$A\]$y%v aF:̳`_MY::]rE`!, ){ ޡjLUN~JS~@ʊ#`ZcE>w8!)bpTЅԷsfv4IcGO|D.V+K=FK Q-)t)5q*)9z|ӓ L!2Hh}? (9Z' 3'ᵘ^^bB=5-B=xhڟ q!Yy|KS&.2晋ٮhJVN\Ąwt"t/MPcbqoykz٫kGAp3tB/Ha8upIfJ!yt'hN2nSL quy{Pʚ<<+뮺(Pۣ" GVip`˔gA5䄰.gP{ΤdH}|˃>Wǯd7Qd^h Jq ^] 9=TADTL/soi% x1VIwPI hGN=, ^"AqVl=%2 !]%1]VyVFU5՞Kg 'kե'Gk_ooi"ZTӒ,haZHw!I↤PH52o6($> nwڱ^0wIzEqB;D]#b.-#)1kn$A`9GNJ bc87lMx(%jiWk'Ŋ?i 45R:ɖF){IʫƐNI1ዊPEJ 6Q&YuSR=y[*c=$9nȆ@/6 ^fFr{b{ᝦn/ ~OprsdL {u`["$rX]͡f4/uM= UATLjXAچUVŖ`"ӻ l56 p(FoŸ36* .(?1oH ,.Wx SOpwcuoExP[٣ЉYM՚}iZZ\Y$IMu&+*vw  -@U/QcX|pX!jr_nCec礆+:Qص6vC8,Qnhc "Q샦`GG충d 4eImbk\:jGq٥G֝u@ JgPEǔB陧uVH$rc4z2}F)G[[Ws4OKM+`|s&5pJNv ރD/b)LQ5mV32pTOG f|,rCxbT"CSYV-rmQf:KH6XL[nzDH€^g@A2*j6B0$T.p>! JXɞ.ΖSϒ!gO)uꂝa뙅;NeƂ3s'2OE*EwE;V2P.N'*^Dar[ FW#CH+m]a4'uX'G* qSt(8g"ƽT3C{[=W*!:k1:"Mg%A.۬ Z։_Жґ]X=~|QS0Tr0(U<'J~T~5v#/7H/b:2r(`[߱ihFPN@%`d\bT& U%h-Pg౗Ɠd(nSƅu#+A[17΄o8Ậ,,=[ mXz 5oFvzk$;F[K]$Z(aO KtIyQC&Bsqm.pτ37fqE76m|:=qlbsyqCa@.\TuAtϔuҹ}#G*>yFN&DTF=0^qPSCHhW߉Sӿʦo4W_o|}쟕!?J E 3Dl6X~'Y{;XVY)P ^7 P.D mK.TW0W\4C6%`η2_®aq~c{Sz0O:O!rx !iP4ăbfQRp#zC3"7[xuLD0*;/㎬Kja hH{GҪ^)NM?f=*˚i6XsJ7y Xq>4ޣOc.`֟uy*&Dҡ_*Cҫ*Yj\ O9ꨶڥY:WN<{R@",MX8p.1CSd]H^$ي2͔/þP?(T9J՟ 7mBV|K(%\ ` 6bD~΅?sP0&:-IUHv{ʼun.4mloyL4VC8K'H`z$o? .Bbp٪'HVaj.p0JK?{seSͳlL-/u;R$5 Hh\u^::oRQEKyOD#'rpt=A/=0&`(fE 1L`c4goiS5*>#y%0۵d2ka3c̗JQfϒ$z, ̡tDj{(Z=ݢIOU;0>9yi7n+y5-L|.o3|DR;tl=bdE#0US"6tF݇S\n So o1@L\$b36=ts ж8F #7&絽sla Wc)E)yx!-SS=s$e}P~ F`aNrm;aJτ^;Y&؄_J2V0aA7WWC︓_a1 \C) ܁ oubh qgt٧1(g#!ˑ'H/[Nv@+}_a,.W{gA܎F ͟g|sB6Y>ȞI8sRM_{58dM5A !bl`Wc[;*%r;ňE]H u}ހjW=JR9FϫԑXljCNq; T@mWwjSQ SG"soJ7($7o~oW ƎPj7QsII;tcVy,4>A5SW_4ښ0r)^+/].]ZgW1Ⱦ`$TS`Ƿ,sTJ9%tOR7N̩cLT:s[ .8Y -fM Bc3@8 NU![  ƛ]T҂W$j E$ -"=6|h"؋Ok`X6(]nd+\?Zv >NMS{s ֖Lܛ*D)ՍM]b4j&"Ktp>5;?=Ea$V YE؝AJ&1~S Iɻ*ǸIM+vsO z5O lJVOỏ>V PJ flK( -^|8,}3LՓX=AY} %yedKfx/=emnj>tcIpDg66{(8K_+ ںZ=tED7"3#u8Q_M9DxŰT`sA0܊ {лc=v]_CaxZEHx{>+Ts8l4?e^`'BrGOhX9\)WF275e7u}iMnE2~FhO_u.F\ҫ ոGiڔɮ7OI'˨#PT&El*T%)@yo栀;olTLЕ7Pxߥ\]]"ѷ:5 |~ _0L E.~Y_VԆU">?aKDmu=}j;9 泗 qM-,C@AUY:gY0Ĺ$l Vr;B֩쁌v"TٕY&qĚՅvcwH+NkеP M .޾f1h:i\+QWuc c_DbZrR>Ź!oMX>&%/Đμ|V]iH~O`l*ӱ"4E}FS-Wj1& RvF5c\ F \hgb"~+S` XyQIg #S'_o=ôwRיj[F:Tu'nW:WɝjK4?FnD]ÏaIg/ÕKC"+(+ "G>Mx/ԻI386?S`q')w}M,܌K%9֎d^L^ I ]ˬY%׻zK%x*TNܭ$Ru Fq(tϗBuZO>UbyR}#\qi2\=9FJT՘n7u->ls~5@kT7PPU״} 5%-d>6[qF-L_aB!5}ǥU4}nHpGUn_3xki1>-q:N•qKxhLW鴏$409} [i0hDҖlrs!$ I?qozAm 2DB QQ_˛'-T/f}[U>]6Y304mօoSѫU-8D`Nx'mi ~>= MVUHeg2_B:&r ?<7e61d%Q7xid,c'W`᪇yZjÕ@c >ˬ*3[_ $zm朑B>y@Wl}kY%\0/4HtMFdCr"$Ak:ҿP]34&O!Gp@<7qcq{4F0k*CzED]qV# Z*9b``kU¿87C4ڦɊP6`v ໗'ZWHfWKsK3ej蔤%;@:(Wi}4f8C).չQ ~G{ć: "rlX3v}2ɯ,IE!pVB҅n'pCȉqY4Rh$O>R$+jF;ʯ䄸&!2A ?5ϴr$cV=l~o?Tϥ_Y*'rVi g mG87`ٶg*΍hO':xd^ph,<~9֪IDj-x Z 08fB^t hIh(LPF= 'ςIx$;% 6`T! Gd$>"R#xb=y1P=>EZ9`X{W]TP_h9 z-8Wo opIS+HA}|# -cVR.S9G6dga>9M|%" 3{=Eʼz;Ҷ)nUw'^AS"1( #jN?X+N,2t6;ϓ+M0E[bq)֊+k^J{_502>t8hdDY؟X۠CU@/*G$:;V ׺#aH@&ۖ%h֕8u5jM^o,jS^F2!;{@96f=$ݵYAU+PAw0ϑ?}n0;mBl;\B^]|Ƚo3̔WAU)V,Y3" kH5V{jzk(':Tׁ9L,V(pHyJ< \9.5K"qtY]_2VO<:2i?tP6XHzB" CЉаo7;L1Xc ]eav ٸȎt}pp't&X Hh6 6xd7YGuf"3ݟ56%eBdB?$~$ \0`nL#ҊmPGƯ-z Y`KTʉr{gAޗ8;{SZbO~kC|_ Ju|T3$;8b1BM|V?: '9oH]vUfz{0K0f}| O" ,|/{3ZЛ=,|K}0ca%?|Ys@*l)㄄| kj*́tjϛXl)pzDx Z$*=bC\QG$Ue–_1w\M`"5l8^ ! 7iuLSRzReFkJeJv-_4fΝD| ua$9^Hڽje2vR9SwA݉J^z@HjV_L!Nm 4Y^VQino QrJb>eTv *nDWVgWg) B"7o8sC / lgth8p'h}zQM|y\)|NɧZr<34uҖy]̶yYh:eBM,\S _g<Q#W}z͢:~"oɉol/ۜc'RBVLy4aXCjt00mM? Xfq,CsԂ` IZk}Fķ)BWC2D %{ɰm@Ed:g eM1Z.gq`l?[Q;Y ;"dO~6UZ1^ۡ'ZASE^?B ExY>E<=*IL1! 9Nu*y~gkb@VaxyܚW39!\((y JqN }~DKi *fH)3L twmdkI ۯ3_ѵz#\n&;@#ohĚa/?x,e];Z|6ntM`W5[ e aD"?j%2o)^fP%Knr]: [e;HlC\/o4*{TہD `i«.>i"1qD g? }h޿33;66l8kis&T07;rqNuK^gWcz󃚘*̐Kj`{+.D>pzY̲~rl>زݏZ}Z'OI1R;eylKΡ RI b#A[bُ+F*H7܁H@p󗺆?nvsV8[_ C|/aRئgLT\vd0ﵔ4eH9\; & aj(nrs8X/mh+0'"a4ˋ yxRT)`- HDq0=$\1_PĺKy&&l͢1e9^NGtJ XSI$_W4bLLg;&/X}Z.2ԓ1q"NWKVjF`/94wCJoz-*(w)C+t5zM$=s& x1\5SMXcP#.FC]t=F.)G4b?LTjgx\9/Mٵ(CJ;^J5=oat-[]mk74)hp-`.LyW2Ya% sk(EsSxݷ{/@p`a@"k_ZAm0V3,5"S¿\΁{ى(`ùm}Df)J#S'AlrJ5'ghȺݰA;f2jkEi,jUuHXb̈ 'ITvq:#cMZx(81̄Ɯr98_Atw }}8W2[fPz,1. [g[߹0k;l]Y&, + 0Nq]Zm:T \Ffasǩp<<ٯ`(YOPg!N\*'-@iWb"T21Eo5|h]giq9]U=_p8J-BS+ֿ ]QTO\o/d3THS7N8"[EU)lc^_P0n9v,ܨgtw޲o4G.@n|Ks[4mAYJE1b2i z蕄Gl#Nm ^+V@Oy SO^{-zɰ_HS\XITt3!64TJȌR|El=ԛd5iI| 藮"Z~}ZV!^<DJ"H]ale *LnԽzP&4]H~u3jiWASf{@D!]X C"s(OsiQj2`!/%eLc>ڵN6m=yRVv/9P H)0㇨VعMm'́kpԹFO%8n)E&- p1el e &!ѡ{=Zz }8x ўqυ^^Z0x\&A1D[+\TF a/*i 4ȨƄQXѳ.!,~8G=_{&LE^YwUu ki4$'pb~ַjv(4vP(4Ly]B;{rP(*m`S\|V{!8}NQ ʝ3n{C$uUd)ը;FOOxVV*k1.A½u_!ۦLLc)NVZW67^^6Kn>?\*hP4hgijG鉶( u f,u h) u0)Rsr%~h |R u cNaY+inðXcRZbYiK\#KMi4 ECKF ĭ;Gؠߒ}w!!b\JRPmLnc2P]Lʘ %`&cQUCa\X<^܋Q.61#./.R:΀+#RJ?8aTYf4plu/̕;VK*voH.ݗv]bQk=Ws۷?(FwD7 3 D:v-P_ w]Ɯ1V9a(P!m SX=˜vzZSٮL6~iكa-F۳ Qd5OR:~.8yuy[mFWJϡv!ʚp[˴h2P5Lϙ," &H19V k3=Q̏G7NG]U$:7Yvh\eaUwRgqR7ۂ2{xSOD㼓?$GS9_.(5.RB]L5C|ɮgڡSJ][t0.:9z.vX"U7qn3 7pI{1+wy=%Z|f1hTx42${Q;Ќ$NzU%lt~, քwd.t~4]u=$#{`;$4vRv4{\壳iwMUuz1w 10 8{?] ATV"[+#vb y?eZ"`7%YUXX2|`_zWbڰU/˹a19+pQq& ?_m*V[s{MRoS{8x4/. JJO %E⡯kpŎlLp5nYC]I&EdzI\Bօ*G!T\ "&x9§n&R ͡gkGWF^@@ ^QGTGH'FA:F =L+GrfqO0"bCL} ȭzI'D L٘jhL. T5 "GF/ay i<1XtKmUl4SmG\4 3K!i;R}|gXKE 1o xoz,8HFE @(Lx-D- ydi VMZXJ6i|`kg/[d$XkFibr"9Y`L>7eVZޏ~qy[ȥb݀|o%A_x]wR)ʆ$+Á(o0fg7Όp%ߞC6l&.4exvZl^R/B*$9sD32 {]8Z}CұeHi,hz,Ȳfm~.٦uTqOՠTE\x}/:˳<4hxeouʗ2SƢi dQ 8Qmvb洼Tn;ZG"g i"3J yD ݭr!D]Q*&þ;<SǍLİn ]wwɁI [r̿\ =^yMQ4kTD[VoqXl\3ͳ oBҦc>w=ȢҀ{n>K0ƗSj}d]x9F|W`Mħz5O F"O?h1RuKFG^ rYw˽1U*W#RnQ;Pn@6 3f?8)~i7zX&8&QbpX41ѻCn=1uKy/iVEA{ma@i8wd@rj&VRu-,,H?ٖ3p^8ȸ~Ï}5YGB],C$C^}*XBտ=rؒl[ OPAVlH^˽ kTU~diq"bf ȉ:yA-5O'y)θ@IeR3M*qW/RO^1By;h՘GM*H[2cJRFg,MR6d3yp)mL@vk:64r⧅ekq bUyJQ7llP7{ҧ{4j4jи7MgJ֧)*J-%, ¸?E9QqGS|،__˸0:CI*E'$&ڎO):s]6crn&x"`l֧9ґxxy>VcB3 Ukcm lS\=-Aela_5P3zoyB9RO  ??@!dxGiJr&$e ~04sIg$}Ԙ7ű*zQO2ߖ4ϋ\B (D꽊;/$9T,aMůQfxtb^h(dusz?֡ cTun aӬO}tɚZh),?I6尴2Ҍ![sĕa FG2!QY/ +&Q:3Lc mF{&|݃:Gʨma~x|A+S)Mn93K^$>kHRN$<`w}m[g%;JEg}|1*C0B/Dc($cp>U5[!^@pk~E}lOeR Atk3,1˺9t< O^އʗ{t]_bY_1_wR -* = =Z7ɼ)q`[ "s^׋aCHڎrCYyam!OՆyXY1<"xcaF]XEJ'%Q?vy- tH;4=뀱fN\0`STY PTm+arQFam!{G*o61u8E7f;o{'hOOi'nd&S >4LE^s)'A_ m=#SX:-j˲5n2 {mz(3u:"5{hl,Q0d(,~Ccg%Z[hI!A}xu|˨&v9qMVb v7VE7(kKty2~2==nz^?^`REx*I:԰$l;B^ +S }`5Υ0[汸 KOg0Mv*_hó*+4[C(sw~\83f jT5>OvӖ=_P0&w/d* 傏&m{a)%(pP 0Cٍ1hJ;cE`|!x{:&p4uk麔w,,Q|6wD? +>~%YkIy!t;f#T4uCtF[S=cEI Fn2q&䍫շ>^q519* tdЛ%G'J*j㲃/g'zW$bo_yDm-sړ[brU$ю\Ie~FljDEY?cۅLmvN~x484Hh1@w[Bm{U8 )dčY˭G,^PMW( qr ԎA^sʜBa|7oJ^Ut؉ԛȦ0ߥύe;; M˳ioq|$YY\9 zZGVKr@FNVhThlҿ3F{ И ސ`)7-Kto)X)t=ޑ_1/614F%d M/T۬4?SV$.v2H qŸ#|(-Z8TC0;/ApxqQbˠs8-f,>PLi-3hNhE\@ΣoޯsKȚ ?j'ow"xcb62Tz~q7UUR}Tɞ2ET6(# /Pfqiz('R1O@!xϲ{#_vfL0-VّF$l [TF H2l27 Plt,>VǛNыwj0`scp ?,G#F8QǹP@sT\[~%z@5*zLXwN{ꍜL)6| v4SnZf i멿ON巕B'[T_myQ@K셅2چmC4@~1 '1&| C! 10rȍg jZ$lUh*)>}Ij }[s} ^`"$B/08TOZxWJ<ߘYp`Ob_k(1,XukSǏJ\%e^a`Ml@7NRz+c$V)v9I\WGOsD(O3}~42GZW<%VRjfd/o_w2Tk:C.4 "ѐ_jo4e}>x8G:r%Md*3Au)3'٣Bâ~ K筙6S%Qb,ڝ9-s^}`dq3N~lu2Ikl)DdkCDS v|p(;dIڃA,:Yf@F2J|)u3Y!@~5­VIѺ/Ȉg+8ήƏIimxk A*~>%p̧'Q6lWt|Rj ]̰'P+}016D@F$(ϓD!2ʔ0dY?et]qb.ll6S_̩է+cB zR;uNQv7q3>,;2iF%.F`G:XQ9bPڡ BH?81 %.U]gj2ߖe!,䌹 -;.оQgΙ˴|j&X4vK!O0bh]m\_u7 %l W9S޳.隮ȷU'oeAnU&ee% 혋ׅSz/|# Ȋ_뢶{ Sl~(bAQ!5h?eSEt,{u#F, tʷ|Lfc^ƒ,۴ s}=|ɽz@8ff8 de)}n*&rm ˌ,^#H+LyAuL1?pVݟ2Ү=7う6"Dj䀤N? `9e&SߍyӉFn^Q3o2S}eByI[??l+֗fWȜ"BG1FL*7tͬ|Eȩ3WYuŝ%owG6}s'> g7 Pn~!'~}7)Z%b5@CdrPlId}WG~ )(9 ؂Wb%H'rg#,~_>Ȉ*Wm0;i.Di ZҎgYXW$ ^ (8|ք9(DdD,esNVjl -hi G.}jf_f[ F?1}(SN_*ǿ+QW!>v n6²KkZFe$f*%B8(cՇe9apcb8XL ~A&*+C\Y go:7WzQ)=/4n8)ĩH~Y. H~8L<2{_?E17?.Vs!Ef!/͡BqٷB%'$>x+Q1Ju`s {+{M"FxkPEucn o\l>=X{BQi rF;hm '~8oXVzazrz v5hy`*(_K% X3\q0/S"V֦zhg1v^$ʶWI I[5MB%U򱋙kAƸcbv/2g>/vg(ʱ q _WK%yżɠyMB9"YJJU7x6fƽp%v S Gy4dd4"# S>/ĊR;0R Kʜk\@eV8'UvܴV%-EƲ@@mW#`z8r0Z>}4g`GYȸw=ȳOݏ"g<Glk `fx7K]G#Qzy8f˼  S~~QM~o߰kJr/Hʘk@=ՑG} ig]m]lB/7j&6(m#<* 0L¥Du9vG=K%אj=Ѫ ;/AojaD>/Qh'm;Uޛ%j+!c]#~ |3)clDҕ-m1Bim2Lyr+3vXu5O7'MZ!9[$H9{ᾓ+TJ(LfDۘu0Rra6c3n0W^}I93@,nssDO%S_)Y͊Pk~eaDU @EȞv7{t埦zT[-_6Ojnh'&q5d?Q16:/$܌#ӯ.jڑTH]I/$j4ilFlGr6򊩿~QZMBҫ%$" MDk+$K_L?b{&qp3_ZAX3u. ^C:8ߜ}D~(ş͢kvpRT+o-P]Ц5?8YMǫJ7Q}O!0xD]BgAnq=3sګـ7Ah il"ƌP/F`D`ד0e#6|RwJ"_#ƘKrpv_EVb[@܅Qhn3'ɆYtY }=6A#[WЪX,8$u[L)6!{%ow$G^Y+|eIL* [|8y4ܥC9rPևl6DKS{G EscP "fdT:۩l`gPCb_@hr{vg⃌" Ӭ8*vwQpsGrK7q)WZYҜh&5,~lta4bvf|S^*G>Xt$eNgR/ :k~U laXz 6#SF]OqvdݽSL\GmؤBzHTQ(^D37 tPIJ!xˎor{:+ Ԓ/[wGk J@.z4)]ia@@7EQrgYZ7zXZִF! ]ŗXiɟPmKhU1| 2 y_e#[2}熒Ra3'B>p54/7LSScR5GV 2%sEjvgwC?F8Ub`YFVQr_-atcMF*>fT[~0Tvk\aB C.iWenJGk}DV OÞ@`Kw6N.gYZ7zXZִF! f]ŗXi%L&ʷe] <9ؿzsdyr\UFVQӞ޿*Z͘q2vB9$*PϝB ܄,voŰ WKNmvͰ&6U'e вQX+ݖ3&"x)*O  9^W;x~(Fi7f"@?V8 F\jt@_9 p`1̗;=sXÒ,mXp3(;sIlhaĘ#ųQݎ|&=`3t_30|;k>-4[и=vQt?rӁ`! 1fB. #%gL=( #8 ,!ܘ$Y~ "5O`e}s{O+uI>-ʉe#sb69BKֻow\ BS ՗8awvYwYzͮ67;0+: v{<)/e:dX@n6 1'=g0Iqt >DG,B-ޜ`!C\aJZn"EJ ß_ )=_#/ nf~/hxvP&lx-rg O#[Zkrlw]f^"v>O`V O8ohԧd~~*iIz;i-cW3b]U9[+ 9R} _N7~AIb 'I]4gn J=$Y &vcrmvtwRM1RaJx3_U:1(`x,;kfJ`0W+!LdpU |u8KoUGæ&epSo~HsZӁ4 j6f;~h31JC hޚNbl` -/]@U7N׎~LSU>YN h@>Uh)d&ZL)EZdWrT|kQMOQ}ëvPjAH/[Xlh8hQk^%x$I/];Ӵq` ?KsLa6X=P. wA紏<%3k 2tNJQTK^]Qe-"MC$[ۏ'`,Y?ap'do4UKFƱ6 jI$ES82GN IYob(oʵ1WӺHnPT2ƧK[^ Mȴ ?rڂ 1>>ŠV ҈>tw(9TX_;$d"t6x"Lλ@*lUz*z9 !|.C)"?b 1FpxVHvIOz-BT~rlJ[wSS=Y꾶6*.~YheBW++i⹨ng%\UuzF܃ WGZ=W㼗KH̏328򙏨(+n#\;㪮?++ȎRbd y:θ*O 5sQeNT19XM5噅?5@ѭ>huuHJMBx!y_B[b*,79{uX$jވ;p!/RӠMwDB 6+Rl)[d 9xk6#WDҪ4uc`ZV"{:o ! "gN%.UC{U]ϥ J<[񑲚W){>пO?Bp{'1 :&\K7 |H.ӆml6'd׺N#|R0*pjqtϨ Lخ(,?gXϘ{b"څ3' Џ' |nz4;8Y\B+A.p-^=m;ZFFgv"އ m'Ie4 ,f-NPU&Gȭcn gO7`ix=rbSɩy9r:_6E{Ǯ9X} D1a׶Q%fplRnB%T{Qc*/@k](mKv1Tm3a)#ܷw$&"P`st sHs8Q+^M"% !mH.8ՠn%ixccP6&^A.;\{&j([gL=ȈrU#B&\5{307J FI815 nGrcnԜ"TַpT0pu_ɤ72[@pY.xwSvM\C~dK萂i-89}N,.7%^\AMuUכMYNJPŋ<*A=!z^aM@ )v8ѭ~qH1h+m<8>=<#8b!(Cn )F-8~# s'N6Cdaa{%GVBUG{?ٹCdn a_~,gR͵ȹ-TZr&i kH|*ճY7yƉڦB"EJ+)E"j=ZҽoKM Yѡ?IM|2$+&/ZC;eDѢ^)[ ^~@!j teKxT!,UCAsu@xOC+X1b}orHw!W&EpDث"UlM/^ZtῳDP^/X*F|g CAy3` Mc 3nJ%׷ʹOMGV#DC{Ġ"V |}rۄeuZ&>C~uA7Rm\8"!7 ѧudmd-|/Îۓ.mT7#DHݔ ֖G~zajnÚAen *;9Ю-qرf7t$~x́ G{uGx^*]W))/Fbp=ڮ)< Z  eI2לщ]$)cgr ;-xJw91`rۖZNX'Te. `IJj(]+z£ōYؐu;|g\շˠe'g3͹fCqE”ۋ>Jy;D}>">6~"-sy R<cA*܅Rm*bUs8"^SAL C= >|l{heT^3!Je: AXs*`!5o ohJvG|+,NӧU/_]ii/Q`C75FP:m5k׹@gR̖6 (`'k҃z4=ɢ؂\/zGޡTr~I:$6&ӫ)]ٹ7J2XkqS؋_}"vۅݸ"r7-)Te7HwCv[jaT7wH`iIa7T"̾I.2IJ'H\&bX"԰cjf{0#Oa*? <@֭\bŏ '@ק.7ke`w\q,{mm9B>ߥ \v5Q[^#}pV(UAwbO;xGdAaTbxzLww¤Y 5 ^~\>FdQۼP  S0J^֭\#x6} ^\xTXAYL3}L$pC󏝞Ŧr ?0s+^kh& _TaO[%_ldpuR\mtЅkŽB] o#I'`g^XFl68] a[ ޥU\ɵ-Nͮ 9'tb'1C|I*0ln@y$~bq w`KH*1f3{+O1,YdTژ]t{3S;+52yd Jќ,s^.3O;x23-!o8&t0RSA"w`1_Nw9zZ= MhȄv{PJ #ŝx@֒q*L?u<)(S3;=u9竧x&}&2]ElS<אu 2uH[{-`e@-`O~!7LGfAʹ"żW3!QwLMwciH@~~C/EH՝vru W{7 :\kbݰ )Ln?Y3yr@jS@1'+3oڍ݇ ۢ`Te }uV#Y]g;zl8 :,aPmSP G_bql?fpeց,aR-(UґrnKRkJJeIi&Л=M7P="8ď]q1=u0P:"l՝Ivt(:]r :m2'L.๷R`!zfU" 5gŅkbxKT]ȇNj@3XKPI\@4Y${fheY8QQI,dx^7! 2NWn>4kKC'Z=PF]DC&,U. 4ےo~0f;n摁zH g VHmi0a#fdnq wi F-V ;.ĵQmbRf G]Hzeېa"{܃2yUD\[ݍ@/D U&A^q5+Z9βwx 2f[R | rWɖ/P Mj2EKwQZMq}e&3 P3& y:)O{F4E5U{#.(lw*dC LF5gJڔ^žIA ͧyQرur퓘KiY!:dTƷ0c$9ڊs(z,RS@"h7AE_ c>^9iiZr+vn-_I$MVƓT)r$ntL7zf7I{gUH֊|fRzIrP [N۝6޹W+9t|mTݣOA quЋCx>x82H[3xw`eƜֆ"ΎS`A#? $fɒ9xȌ>Pn@Yj Fc^o t4;A+DZ^ͨqJC.6omȝIlڕi;_ɸ>$ys6H*CC Zh&: @NUNu-33gmuwWQ79OyOi/pTr Upvqb)2^k?M75U9i&lǡ01Bt&