SQLite format 3@ 0- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 @@5\4 o]Pre_Perron_Frobenius:threads=2elapsed=236.865cpu=421.820gc=17.488factor=1.787zXZִF! V2{e]ŗXf1-q恈a.WT= O9x7&f*Pn sߋck!E^FMӍQ{pqU5x9WhO~d2q-nJNюĕ vbCEsgqJ+z|Fx K[Ț+I,خt$C\3-nʚ34}dY\T=Ng!{-D"FLvsݒk0zϣا Ţ]aUn m#h^0 ;OE\K]]:?A3u$*\]ʉzn-+żlr"*V[ONSt~K\0ݰٱXV;X 𓯥 l ؘIpbEEVh̝wػ)\4uF ?8\$@z]luTPFx{zR @koծ7)l΢O5&pk5R;dgolLp%yb(~ ܅٥FJ>/#5M`R.gqXS&8җ&7W6>|O AC\ֈcŃ ?fp/?q,Y|Kk 0L:=Ý!m ~@-B" cty'o[+%D 4BGE\9.'KO({:r"[K B>USLjATJѹP+Dt rV!-I7hNݭux0B ai6Fv^Q,)/m;*T𛧌ְ뿀?KkrK4jN8^o}m_@UrfKҴAZ찻Q^u'.=fmue±:;:( ~] ڎ!HIC\ `Gabp왽_g iz#DSuFBa[ Rf8'Pܓ(ω&'f3=1j>`L[gB!99[?Df8~"!-m.˕t)K[Q!.7^.Har(r~4]TvE܏j\|d\z7%DVT )(P2SsndYC{U}ec3;@rx~(܇p"@ <6|)=hu&_xW0PGODk qx»K&\^WrHlʕ= 2jG&[JE~OZ$E/Iѹ9mLL@m A}޳L S`!=˙[CD4v_*sAJ{o>-Ծ֊e+%;v%AΫYFi|.&T :F>BgmotQ0͍9IAaqrB&~ )]Td_ha|  gE ~Cr+TKNo EExBY(Y$P\ǐKA)WM^3~YRU;>[uS5cd׾\ǽo|47+:lHR0p~`3VLI;蕏ɹi[Ay \O]?r7r nz2A?xI\^(-XzzA6Qa\D`p!cWDS kY?QX,zLX>'7h!m(@{._ҖgDEB=D4cei}De h5L|M_q|fWoCA<7 qrYw$$|*€4\pdM~ft&?< a52X.\ c(E(3EABzstܯ{y9E1|̄W8;d~*>ޒ:GCt0|>tmbl֓Lo Z9jbMZNXvѶXD8 h$e,<&CW_NB/ƚn]28*65IFA,]*);rZw1WFM=g?Ҥ;xToݗ ;t 7wNJI׆FLiճ f'*}z ςRemN!'ipL9Z3Nk1K3Y3-N$n }e/E;o._ Z"'lVIU%äJNCn͹.J>dp%~'p#^`m;259$B&ߟE.3@/S.sMQ)q: 7ީ1B`|; բ\%Iwjx% y$zhZMh)nh/@AtHҽ!{mfךcv(Cs߱-)gtX{n͒N` G7g ihfuЭ:+uD*k V3>LMwknvO=3MD!.S_F*<}ўAK;Kp2'H"*\zq9j*/i"i7֔po%e/n齚HCZ+Yh"s/_ޜ45#9Cl|?-6\x5Nu.t 6&owUnk?hxQ@J^G o }XmuM @ډn5Аn$FۈG6YvCrL⇴g*]t.2}ZռҨvU2Sxݤލ{ 1GFڋa5.$vpuIUMϻ8qTݡ{8h?.'Wk?{q q wIլg s3| N 9> D'#MsFvX}PXCC-`7/M"RKJd%HUNhtJo,[~SʰH?% Gl(6]JÕL~&4t ӏ#Pď18hWA6*2a)xRl{IkJCjzA&s Y="[,aղ3[(\fKK`:N~{E{`jPAڔ$z 'y(%Y)|Ҍ#_3mޙ3Z9f=utM:02iuI&W1cB%iZup &8Õ!rqҐu{?%R4;B|~KͳDw!6 C H0Pfa}5Ph4M"ƃJ,a/nc>QHy\:KѿDti>'V@>b|Y]8#!x4Yڒ n__1l\1N@ph&(ToQ $Y^\hN$CG;<*<Ԧn+M[r6.@6E_I%>E%_%.yKybET\:?J?ڰyq+OU?읈v܄1S![eb&X^z_qiJEcB;Nf%$cL63h]u@=3mYj݀b$X2Qe2\(Bͭcnu360& r>d3pE m>%BXFb6,"z;DėHN䊔-y[x .RFq]K%/XNb0=;7hR bq R[Ky|^0c8> C^u=!EԝӺ!DlU ENWܵМ^&Ƅy JyXiJbH5t;u c[N+s:|5}YGFUtCT+~zsByIP|l$7цKK$0aHn/~ʬ͉*JFH;oسlpCqo|f'yn@1юt٘LB>(^?M{)C[3C-},1{Scz.+0=쓺nMN ?ۍQi=ެ/,f|Pc2jhzWbߒ(}jQ#Y[u9s1Y =_l䰑יxyqM0f:M$CIRS!82Pҋɓ1<]4Rjp(5`iY%~jpkt%2-6+^Ĺfu7YH\"YUWR}ߗ˜{s>QV/hY_CFeyhF&OYm8a78LWNz(yp03[phj(Y90UwܙQ*hc"—#uA(x~?JbمpNxwRt Iԇך[/UiFZ G WTnz|wӠ"T)O{4 "p'mE|yX4jpU]^^f[@glЩn.s6/ YYvJȵ] 1@rD*[q`ET-3y0]"w @5z|r͡QEJ*BР9;!%膘)ZV摘NM ";iD/|&)wh^wNE\.\rjO&nL5 cm]~kK+^?Lu}htD9O!1KHDRnA d:H]B&|P8̖WyjUM lϘ~*ܑcF0it !bޗkZyOo=B7מWQgVNh2>je-lHiߗ8f:-o0 x`L;c߇>+!I;cnkgٯ4z>V"S̕yBFHSnwxL^ViINCN`DUC ܋.g<mۥ(rϱFf?/8~PQ|^qn|/ʾ Y.uQ=Ju5 -^C_kH悑z>B(^B[#.v d"})`IULҧŪ- !"GAmY~Nm@Ft*JduR :]/fdb̯eN6?KϳJ˾~ZP;=6qUgl%{<8KU}r , ZK"Ljp^`{`'@*FHҧW̕4_zVo6. A TrFNM@2׻3{s{յrno:J]̜[}Uw5$Wc21 2ELB?X9v ȁmqp5l*$ c.Xęw'yAt~Hnk2 !i_WC,ӽF#*(YY$:AfA"`6IGQVTKCVZ-uBq[pMG7^@}*کM`fbߖS/H3l&qR2S/eCzH "ery=hcu}(YOF"hgH8 /8>SvXbtPK&3h> `#=V諎OfXB</<:,N*,}١.z)iVSa| kq: Cf?寈tC%14psDMD9C] yḒ`e#fOWkbhbg1LWtkuWl-|1< Eߺn?7Qٚ)qKvM0TZ$ڻ\f`B7uXԂ!f~/Mf&DTplk,<66f\\k|SLXqf3, Yn, 0YѦ?,3U%sHS EFgMwIU0Ϗp=a $h>@dU/1qYyi3~N %;t3 g9IlMÈw) '?X).PZlfm{-#@El=E `8z{[ ɔ:-5;cPG+{GH3͚㲳vXC3\)=-e=uxCO(Јi`8٧ ސAڒf ~qkap/7%SO-}o2ke<{"s[Zn'$Zb Fk=o9캭? ƈ_.YY, ln;o?]LB @q:)lH1/wRepKA9کi,i;OcRVw/ \s3 T<흾<ӁvN^H!f.Cr_1@ 0>Yk|W:bd#9:hĴ, ҘHfuNҽAr3|y:UPTy:fa.ma7ZOif%s ˖XA&zQy"%[rjIz Y#p [*P3kr⪼|:cn #5k Zk?pr(T7[W KnV}Ǵ;p kw'a̛^W^ m]m ݋Ӈ,b+*QI.(X]xXLK{%Z)Ý݃LK:>"䮌<֣UZRG-S.au1SRu\%M?~G3?3dR&p@RYbJ\]:b0)-Z-vb PsH oN.iU  65BQQ[a՘hECt]Gf“4Ƶ6O>x:Sd>pK+=΂AK4qЀ".RQ`:$Aڝ y}z@_x<_Ɏ\?rk > ,gj\ xj<Բi+(k>R)x 1V9<7 ^FOdYv#W.; GZ]TGxAhv]u{н" t ?g.c_CC:ʱRZ"nyQYx9Fdt=\YM/.[br`F%evz4ẅ /`=,ZnS{wds~} \RiO T2^,}o4L*Ypr0߶WM6@<]JCM'VJO/%bQSF u.6<47]74΋ _4" ekqt0.DW#{>c/w=uFֻY~DvN*4b{+2( oDU'acMKa3 ӟT@V6"N]'|ߍq"8*j6J.{iR՛shKN8[!?@d˔A&.QWP-CqDRC{AkNHí &r={! atquˈÚch'NtP6YmQHd# U)%@fv [,f+e "<pЕm7\G5R6Q7%=*imC|*/eWQ8_ϲ rấ =s@޸ U}*╮0lK`cS"5Wu㎍L娔&zH;]-e wBc!c/bqn26B)z0 U3T(CqK?S-C$N6GF 7mj iPHG1A̲eWEzYF.V&  8* +KJl?%hl7>7Zj69VQ2w1%[~Y%_mEfxT9+ m] 7rMXR̓}%zDs7##^W|Vz hd LH-zMq1T{1:"Rnw"@;)fr׽=VqGi"z[и.U,>Rgwe´$_27o4 Pl~dxF~0r26b9K+iO~`Hp̷2I!U?@E%La|:%i‹6>GRϖ0Ƹ;=P[$TEjuF8Oyf>k5w,;ZV c4P}Vߊh߳d/!dIٺ&^k4CUGD/n%nw rg7/E-=u6;'z?Ͽ(3.,$nAn>zD4~C"eш"nTvچB3;s-˩Xi1pvl ӿ=<R2UcCfW-ɓ[MX f13K ]A ? PP]z Spx 9Jg~ё&_.`Ul+Gg17i¨փ <fJv\U?d\ yȟHu 7k_I,g aG.tDMWp Z8V Cbv¿bޱC Z>tG@iK_Y2 6@;ĕ7NM&hGol}tJ2<71+ !G8KX@'i!P'7NТu1W*M֎C*=N0jG58@kGC0qWszsl k4 @BHxF$Jba8 GHpii\yFs!d|#[Z6cǯ1O;, Ch@H,} 0NS:O=ք A r`}xNĈ>'ͺ I0o{\+0R1AEڌbpI-1iΒ%%DUX`Z,i,`z)&1kZ#/*P{V}&46+1g5 (mtnF6-?I|Du@Òh=!WܑqϷW2\-RV'}4Ӎl%>{$8z*1?JЏ|G[Oog/g4sIlOh(gf逪بM,"B!Q=^gT ٫ĺɎ y ^!3%FcNf!+/:}V @u؃A$2itpt j9 wES ]3T9FP(/O{lڟ(h0N oe]ieAXo)sovSs \`6ɯn+x O9A=I:S%Fڬևp\Tx%nwXíyt-7ux7ӳMe@?XQJkmFVl\(x;s'5M)ƾӇTrVt G<(Hy@8;Mma:wr=u+)]UDW>H7 #jjS@To_런eA0(&[M/jIQ 5Ju h(&}ұ e?|uxPJc]:L[UiUG~~d7|tIvRDȋh!ٝ .R<>'fa%ϼJև-&_]9ؘW)^dk?hq;=4jOלIbq_Nnu%vyzoE3~ >q۠檣LႍiJF;ɧLO꿞2nKF^YDl>"$w'v(|A̘9p1 PGmfXM,mOb{caֵԼiݺbؿ=Ԫx>62*ji̺w ڍȽ塠Nikcc[" P$f?bSk9xR|T+Sx%4iVd! X1 X@ j${i@;>)lǸz59lH(OR,BŋKI[t^;ϵö,?F4҄m|(Ku tN,#hOL9໩ʂM8OH}RRrrP؟1`$Wx<- ~(2ɼֽnatt.  sr6x0OB6b6?[2ҹilEh/ (^дtec zʺ}W.Rb}iSZ{ؿ3Ƈ>u[>뤈A6]֓ L-!Pɱ&͹WZIh6>6)Fת*'dçhN<[`+̜̎H,٢R۱f C>|-o:V) Kxs@kϑe \'~+4EaA_!^G ZCï @ep)k c+csP>4hr@[$ɤ#+{yX rG6Ɯ6$Ycї@M%rHOB@w$OɅ:χm v#p*8 *!*6^Uo-3*D-VMRnn 9sW b=)CQ{`!v,_uQGAd \#r1|OZT qVPOGVr>  ] ~:?R ',۵d@tT hUP^5XꏓyRH.!a`Up™lt wL' $vЏ,0k|;#="(l>RAH&)9>G J9cӬ;~zyO)Kr|0߇7]%-\h;u5=d2V '>QgƣۖE1h&p*Uɒy9@E gh(1]u1~z9ƃa2}Z+llJ͓y9ߌQ_82KϠXW*S a&y (rҬŖc ć3<b3햶f[8XUA&}i(J25P4%Tȕ~3J+o|!]˝2f"Pk7[7:?9QڃU!t'x^{PjA|V0MKoLH]hk}aScV^,̱AڹΥ!,Spz.*d> kn7#e%z"I3Tsr_@%\XU1悛Ew{hgn> f1t誎:fuU c+=ů]0O+.~n Mٖ.lG.n^Zrp8_|WC7+]#SM1L QEWc -E;7WkTأkv=XtS#c|SE'lA+T;6fJx:ݙr,M6JD?!SyXgԺ>!܂r 6|>jAG%ZOg:(OG*&w%&x\~XAȜ9.w_ f.|XQMSK-?ڊƊy^ɳzcH dN>fC~کϋGz$j]xFƪE^f1]*y:E ü=~vcb*f=%&0~_G4@ Ș84fXf:VZ&-?9ZvYu4Ar|gq-u>ӓ=Mac0Z d9ǛǬ[[NLK5%X ۼy p#t]ě*b\jEav>@e]f-11ό!M 1 ͙ѪlUWGc %U!TTQR>JѝSGH]rgf~ "e)}?c&-v\ۮ3e͑eʽ9 D垬PGi.qYxTl eމ#:56S%q(,ti@f CZ]Ja@Iv H?sQkzE{=eQ;iH՗eD-^ HjDhyГvPk5bጒB\s7N7J-oT*ߺ XcUN5; J]ZB9lor'&t9n~#K@m %Gd=SPEl{^3b]Yq]NXrsږ:w"vZVI`s*gxՆfp_'R H'R鿙I x>tgks e?P2$җKk爉.H0HcFQ .H!S w3Ro:Ĕ*gz&MidI$6 tpYy}ڨwm+utvcC&(Ӷl} :XiNYž0P(Ax[5d:v2^A"ALzn%\T/ kfu]c. K6Jeۧ6\ lh"o8q1P#zgx&'K+ol twN5̭`&:L&*xmkiFuv@TYW뢛xŵ2K&HiMjKCOH_NRlڳO9+ӹ,9 3*xn+ . nIin^x 52 ruyf{D*& : ɏݤ\P=e{WfZ38КC/_r⾕zm ; (AGo\\O)#};(q`䇨H>/Ul9mA dd/C73f) >e תG$mPdqYߪ,R*nyyCE. apl&ɵ0`W?vqq!Fr#;L@?x] ߣŶB]^+ PUKM]`62gy& }nZa4#wXvvk”M? GQvvUX =ۡ&haJoex?KV+k]joZq >l"CǤy,|'^=2pe[7WYAƽ'3*6eln1k6ߓ2w+Bs.GZѢczzZqջ Յf'W$&YhDRA?X*̍4S\D&+2xE/2r  no~cRR`c0Jư%d7$GU4mQ@2m]הx59\IH7՚Fr2wn^9}T?|f/#Ծ$AGnbY&wp9UyW9J@~aȴ~1,Ih̩F@ByաZZ5z,Wd`YŽb:tՏSI=Y2;a> fX8#m5i.FH 房=aVOzߒF CF)Ay.kcC0gS+_ѻaUT=njѫBFn +\gk>ɗjѕ U i0EtV4m䭞 ~@vjeT"6L4Bz|oJR5`r-MLBb a/弥u״Ϧ䣐y\l77+n4x\v4j ^GI~)z"뗓dB Ynߏx(-҆thiIx{ ~i@KvYH0Dp6ϳ,ּ7r:|CaE4w"` /'O`#H^]" ,G+=Fmzt0/1oLuB_iwHpeRȔgz 4w5 aZ9%ۦ4dr cZ:я5ދI5MSP8Cww\Wժ#N(x{wFIL):#w#M%!o0 W$]s 1іX``‰)c$8KV:ze _Iݹ8+G(WΔi+io78o_'/ml6^or(5UDxbfC\{w58A0g4QUMZf芾&r-0 f(Nղes' BK$yrՅġiSӬf_<N嫴fkP/پRuR<-ah*knY6襀9~su+cLIrXn;Z+쓣W m4?)xp\OʓdԜm{sb,xᲘi BRYUOxP)BTFM4 רX]xk=/X<5A]Øc ud6ITWڛ\{ʥQoj^f (%q*{B~&5\ `OﻘU䅆/a(e^A _cuʫ:? :[)pc[WOp9dцN :j"{\X4Ag2G&2#f B"0'9{Þ7hKHCGQhf:+ $:R$~lzJmJt1}Wb;ߊsIlgs'Vma &~I xs>7~gLfW2o\غKzU!iP]v,L5o͘ր#fN38,sq`s1N`HOøO2DI^tMLr? 6d#EHxRpKǖځ5y-&^ n1DTêxhOākN30$1*'yUFDZVT u4ك0n6u=o Q,aa =FW4'LAdˆ=c;5W&IGbo ü|ʝS<*%Qt{&&V97-C'(>^/.[Z&9@5]1iCZܑ;Az24A$CG<9PЙuŸAT7N ~3F싍 ]3h` )J |)ڏo 5Za$ HHm^U͠]/Ms}ӴxSsf'r*u .[VǠA2@b]<1fz"N֮YLނ4%̵òuf# /|M@wjW:92:F g  ZjB}q[g* Jfbz с'(_C{]g/v+,Z=nu1<(={pz\8nh0 3_(QjՄ .0CF"L' M.g賶>M.G%0xݰ܋_ڀobw^Ok8S}|8t<ߺT~Weߩ)QEB5E<o#kZIM&{ZQ7;_<֦Gk9}"76oV6cm~6Cˎ|2y FeREYTя'k6XJ#nzo]FNfzBs h:`;\W_뮼+CEqp -͟ {_G&X޴]?%97;[}1fj(mgwr0K^ uuM?E2, ʼ=-YA1(* )1A$\81ϥ)QV2(B l tjf"g3td.f 7TPzɓs=!ILM_epZid; ΋C啮T,T[OEXwFR*,Al^vkS ?dfڱ8_ _Yٹ>$ ys]5V?#V;xG#qt1{_.+aH5 c. j{]un@]]+[Vjiyo0!3M=ImAə,dDbK1 -e^Ym g(k uFkhW=sVLڨ2ӂ܇|{$i-(f~!!xj8!)NBnRZ&<d;O>5+hW)귒 ~AvwlX'Q[ 9תZ(T9-,e뚁XS_A*G"Xwp,/]sx*Ә6 h+%t[@8;PYQz. QfJӆ]E}n4IZɟ:̟t/x >;MѴ&DžODuh %*s1zvϨZ MQʜy }t$+I{Y:i† T%"9wpJjKg[\8u/?4 ;YTJVW2#.fݿÑ6k ^qr" BFHC'I&eh,yj9SGpv|:uPT}l gf߽QOr$x܂GڼXT"WAѓAFImTyzQl0g^wH0 k%܍= @X{=a7{06ǃ%aFtL?83ڜLA,9''00LG#Bl70X<;<˦4xXo9\2Ϥl(殰`?J냈l,0`g$:¼_pRhGQu`F6 0:yszjI= 6]cL|LSk-Ňr LƇwYyE:KLEl$!b0`}} -Hi^)g߻rx3a: * ?L0tٳhձδ>zY9,tu먁q}ƁgjLc3|% [5"Ikje38ɐǝcil )@{#OIJ_ C, !>^!ם>B9OY @P`G5EX 89斧(Pu?޵m`Gқg~C{qK 티*D 1{T.D2siYLOlPa拍wg*h[t e;IƂc,TmXx}/&!+.n@k\B6kDjY0\|Or^{/B'0L^?ưTɼW^Ep3WԀv,ah'w侷ȐcuMp"ņdB4Х7PN*C6d!ZR(msW; g5EEуЖG qu\024OQ_;Y/6ŠMF ~!Pk=Rl[]- ګAuOJ !)o$d6*ְua|~ Tǔ*BF;ξNKrŸX'>#NAy=9\XM~=D.;`;F-͝bn9یs3nA2[ bS:ӏ(kݯU3T 2ңD߉c*+~}Sr|Q.4#g =XܨV7RbD\t*Yszķ<Qft85vB=z gij%8)G* f1*`߳zn<$Km 1K~=7/,nɯZ%ZD6NN)' V-vïM%4mQt`[Bno (tDj3 xGN390(=:r}›`RI@Ҙ 51Z %懥~y}jJ.,g^&wAaXb+i:§cֵj]`ru_ŇUIJOߝ9Sz-ʈNaVK }ЃkJO7]Q`>h.Š: | A+xWãfFxC b+ȯlħ~)X,uC粵 @FZz 6 `iZAFk<>wIyWڲ% u;5!&!6kohRC__JA[Yba`W:)Tsgm2?+?/z$F tf#eV9t?Q!B* ĿRAnHTrR hX? `D|vZc*,S'_΢"DZV[2;c)3dv\TgO޶4G Vc7L2 XQC \CwNnrhN4h}*IWzeE"!cWSC'7{ _V2J1- !dpnaa]!Y[B)~Ȣvf36`[o8;EA Å|]f ~ͷ5& jU!Y MQ\ZNH^k?Q;q?'b{%:p,?Cjx=cʚ犓aa!AƜfjⅭUxN=fx"= NخMjsEڜKb3U b1  VpIΆkzvd`7mU>Ihbez'K?բ  zoKy.[dq"ytBbd$_OHA}#2R2tS8g!Єk3)i%1"8 ȁpA)Y)QuB(3woT?aJ-&<4:ݷ`Up<1K  eg"Eѻjk/TjpGyVX6 ՉLD \Co;3Ě2{8քBKd~[BBfx{~"{R=0z\[*@Wlݹ2 .M׍1S&|:֙ЫП1Y0,ܦqõTjlixk"wϏrU3$󊞻En&pJ&ƙU4iXi^yj‚΁Vpg;1ʥ2zO*2NQ|R#\ͦbO ^Ze&ft{컂h F%B(SHTQk-;N4Χ{**fݸM޴NZAwA_;0w yO֬Y>LbQ\k%v#FᣣiM~ | XT88;0e+"#I+QyRO!ŃXES+Q+ E u-@QWXʊqַh̀fZ<2Y*m"H;땛0P;2Ѳ̬e@-YGfO;!0 J1PԔ$V.bT<;VD } ؠ&kz[׭ΰm¯ XaymlFg_=*0z?w&{8UuaJy;gnPpo4[ag^ԙȨ<= ]Bz ˶DCeX L980!"ﳪ M)0(7hln2C$WȢ94zBBMf , <jC@Q{-l jLY6e5+).fY@7Ĭa%fچXW۽spOؿ,[s h:xpp2G#^%վO!Mh߁dYu%3bh2X=ޢmniܰj}#U(8,lrwVY~W4kEO p:ƧI;Òtއ=m1lL}ըؤI=yu\ȖT`q[8!*Z+cMe!Emp=JҹI-$:oɯG ʐES /lH}UOh< y*Y ?ªO]:xq!g ڐXdh1vg㿑6Ze5pkNH^ .)8 M4fL׺ȞÕIS-D'u_BR8,>+RH<ЅnǐPJlA_3*֢UCr(Yg~tBc< GKt~j V*v(hÌRHO`,M4 QɡU.xmW$_7l$7؇._"M~h*>۹kQڧ^lT[UCd2?j uSF\Ҥatl Og]VAZ& x-0,@29}(!$)!ݩ+sWrֆ [GFcHb>̭IwP@Jk_ìi[(;H.ek 0x>)vupg7BZ:d~ŢWZ. @\Rꌆ̐kl`!M 4ܼIw ]-Q42_Y`AE]6?" W+4S: @#$n򫅐q !Br-7i?~I@&E.d2Z8a]QO_䯑-g>ia8ē$Q-[T_YGc|gP>plH! >΅=\]wG6z (Gob"ek%n{-<&MlYhĎ>Al V~AGF+FWxvjCdwy>f=`I~Xctҡꬴ{:tCg8Zo#|[0;WГMwv{޶i0Ӏ_N7~!RO`)~kEk3tuY#F/ CV$[fsiJ}A2b 2fBNq DZ] lB}fPNGUW1%&dU~*H^Ji4<8PsRU.k^Ŋ4}Pۓ3I_rާz#ʼ*R<{uNZsȿ-gfvA ad./}1'_Ak wkYknU[%3-Pc@M||?a c2Uf{d9Z U6%ˌ3&^"YQ }#o~$N+KiQ^Qd 1#zu"tЋ<&L*^2nwmDduπevU"2|Dx-~ &̠qwؑkO-t_D$8M=+3 .o$_byK @ m@*rxB {WXQ·'K@g6YY Y`%ØeǨ_`ʗzg&$ jE"x"b"LM5m@=qO}4 }z<sAt*Rtdi K-SBtkfBг/p,'mcu!]\׼vqU;.?ܖ̚đ6*F|eX;8RrpK;3+zM_(~ÈZyXF,Sa͐b~=yپ2 f=8C*ƨ@j?ta`۪xVX1KW|hw'10M uW-(kV+7f}k!:Qso&B'7*BWSλKH{u&MJ7RdZ%.(h+?uB'{|YI#{c(jBŮH;F$[qvcN)__ob.z2g-G 7C2:H;U%Bp 6_(Twzj[ }z1.}q`jW]~͔h|l ;9CrNp䏞֝9w1uBz!b+| !")P`ZPfM4Z >4]֮6#x( ԓtS `<wQ']C~Dp>#ɥjbJh&ϻu^[Tne2Hdk<_)k5vd:ϡF3 TS磫 )胘' o#Vձg8:'fk&?p;EU]ٶиk+n('sq\FKj`^I' @#p$JbIY0KljɛXz&FӍcZoDtjL&16 j8@2EI:-V;Q.|>f},ib7ZfM/O8fC >t+s L{ *ENL& wrx3˶Ȗ"vw9/OeONNsMR̊$7fb.$x)K,+_[e߽g]4jtӏF]Kw|K+(HP>^'2n(PNwJ glpUWӿm0^f- +4YG~lz趎;ӛkj_})07&WO7$#crxA}hŒ08(b| Y8d'Sq'tW0UIi{dcO 1+K,$%2jfL[j\xq1¼NTHmeXZv!^u#[!Ɔ3͠Ar $7 Yo05 ,]͘sxDxUAstnyݪͧO`F?$Df}%RfKoIF"9Tqddt5?ц"{A%[uz( R pȲQ9'Ym4mج͙n !%S]؀UVI`dh1a]Vt00;TMG=ۮĆIYhN*M*H'>8I܌f&i~f ZgbI< nG|+6v/,{j] w;;n qng #Ցڌr0)ޅ^y),P\8*̲G H6 Zq(}tH^ƴ}8ƽ7;/hREiN%/.by_ۦ Yh{ YղhWJB1~ ju'_Ð*1 ن`NLqY W0H +9)D. J*${g f!RE?L e1BMOtAk7Z[pUJn2(q"ڟyLf/'C=w7TYQ6P T_#_:訪<5[aTЛZpKG3\TNjzl]x*EfrNyΟ%?LHD_ AUL}kl8uw(Rifc7$](sG^pݏ6s9HW)39'Z&7@qHWx%*-4"_W˜GɃ` VZVY8C8c/>鹉/sʧ?f4 gl-sjL1tJꫫR{*L|$ "AxR[xn/;W$烃tU`6xZh8K+<,ˇp9B+6)ʵ<&r:(=C4nJ.7WlpS\g)Ab / Zt] )d.kJeoPI hv[鍞KokgQ5chN5 IDýE0q8 =\dCȀu׏$+|CDXOwODUDRu^(T@?b$Mk^7CeM퓾ZѺ];GtJAZěZ{\ExT{>(8@]g*}cl|y"bƣ/UEv  5ѳ r.Jh(a㖉˚4\'փ# ڳ )cLbTi<3b_0VQ̎{&lTvxi#|hx!b.wENѡ#Yԥ !I>Fq{դ2g7jY6 LKFn"B `Wa*P( *:D&XuۉhgKcW6n^QKF_Q_HbIVU![YKdJ 0F](մq=eY;_B$kSZI/xETw~T{u8p}s ~&A?͞K{Qv%5^_b++ Bݽ*yé/#$4 d9ffj&E 24'!`HX2_r9hjcȓ+WG.rn> , 8`{OUm-g o=ޜ6OW38Oz[k1(E:(1DŽHVRqYx\FȆɋ;|[BD*D0~&"gҺ 1tU|21 (In*CZ"`^7Cf&2q=rى'-cw\Q6¦~R 7%|-ZwYG䞒Ԉ]>!񥪧k @xUά|URɐb Vn<*˳ ?t Oq# >~Juv#51Ѿ*xfQ]c~~E.?ۦ_nrٯP[|C*U4݃;U#FhIˋ%b%n)QҖ(|H8#:CUUvKu%4QVjHl(ݐl"=((E tdDu{<ۨ}a mR.%Lѝ Q NS-ÎkJ_J"+xϭZu5MG|8P!ۯGt{}M=HN6xc됾tWh :{y9MCkdQ,0 %Y*+;mg lao$}=6̕ c9шl!JZ5(M>}R3P1Eu.4V`M)X1K>ekV3C?tSuƘ9V jQrpo4ۧČ؜~"6aDxJy&~OJINx%S|w[mG-oQ uIKQMO" ]h9fCvROX GX>j .GvQ-]ë06`;IMg>aGcjv1`WwyGR6$gwm<ǐ׷/4rgF!se.pՕEr1@`G/zd3Lss1a\ݠvXI7qmCY/`$(`, WVvO֎,򍙢/(]@˗fUŢ.~AA؊ C?!1dn$f{-v;ٽYG?ԓ j%?&ho3+)vFa.7"^2O`5 ]ECoM53tz@-p׶`,/ `Iwd>cqcdo0 ٚZR@6?2RG8枉MGWk{ tJ&_(,W:째7, b^cD&|Ck&=`%$?Q~Hhf ' b>Fsmz؍4%t9Z6yN/H31O?;q$ڠ۷tХAt`L3p3Kآ뱤`W\\+[s=VLUɈk\*&ɋYT; l}z74Yy(:{c#'$P| 6 0E#x Uuji_>`w9ϴ~ Ng6#vVG:f|,ECD[(8xH D%Aa  C{ W$9i?g`Oc1M dwx#rxƅY Ҡ"{w]I);z ,[vc%acPPd)yl!,ع Ty)$qC)c !&!ʅKo*cEVc W0[APPc_d?C r` %*3m憁`D^<,髵 t'BUpzwnh) #98^Ӣ>9* +vI|j_J VYl*3 ʝA="xB]K-^4(6hs;XdX33It_JTGU#5k׭R UYCns"1lQVuct)1?{-Ez1-xPK{ ( Fi~lT qT\`{s$j$2Pg?a[.0'5F*p}&\r9B73yeo8rqlnO;s/yL}@G)AXEJΌ cibHU3hSӲ*TXِ)>Aۼߡ&OmdZ'Oh`zE]X%9}#48j4B҅͌ޖpcs6?%]X6wu*=мjF)ꖄevwי8&c1%Ѡ\";0CZcӾftsܳZИ6Gκ#p guúZ|t91i@C &#.S4Z 0UzR wtV4[7hxJ_K]s]P\1+ vTb~g+M睆D\D`.N{ijmSl <8Py%u8 zN * ̮&ij;G}†U1:?=[A"I1/Ͳ{c^s0u'p6r 5br!x'56Ѹ_ cq^P \G;yb,u0rd)~/'/]yB/ǽ2*erT𙗢3fG~3]זuog%X0>8g@t,8WaYFЩs@l(b`LVBs7rTf#%+Gd'J-ޞxVd_r;83|63 FbK恐cCπtⷐXv}kq{lVq& 7r/_K^ΟCNK-B? -+@b&Դ !)>@f "WpZ1f]m3}Q*82 <Mڑo!nKk<%[wBT/Sɹ9e~Sģ|&79S'ͳԏtzG/ 8G( 9F\!(ļF #6^E݃ uz&'kAT|<[F[B8 ߿"1Ę]O:Η}]+󐿁~c }/Ϛl<5ϽS@@fL&[f?qQKiqejBa AelERHNLцe9ћ?3Dצ j#,D5Ŝw~VE C.<׮:]B]fp,(ӈg+Ŝuhr@x=9-L/{Vq-MǚgJҷ4 #M^ pJ1G6b1& XՂE_clCYfoi/yܴr'(_IˉavOKanҗg>+/jbZ6f,evi[kQ"ϴRy =obbYmVnS9䮴嬈7Vj{\󨜃AvYU )P*2*GTD<. [4CKђkѽ!3"̄unI_+3niwA O,wr/׊_1tDϴM}MuxxZjwտDi;FIVTjmWs!۵֤yKk(v4͋u .wIoNU mP!9mK;mU#p†6#+Ke߫w-v6*b7$ jN\k6zJ*Vp~Sh~`0|//3uq_V7C_^.tI&*z<|]L: {#UtO-S nɄW#isNJ!j[|r]5&F?{zrIT͜Ǖ!3B}6,*]΂;jq膧aad=9-rr[Pޥ0n~&=0*-,^%#p-3s䯿tX+Ju_D<)[T=3gPUaD!E9/