SQLite format 3@ L- .77{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 :!\| a]]HOL-Proofs:threads=6elapsed=659.413cpu=1519.112gc=280.056factor=2.307zXZִF! 5j']ŗXf1-%˓S, z!ŧo]uA{DZX.f4vg]3K^=eӏyj?Qa7y26. /fY>^DF#WT;DF35Yһ@OCl{.kMy6tFNڔ4'[~BYZ[$#0YoUtvvЯ"mh6zgHu5OڸS]wxl ËqXynX:ߣ<;.ªgM23n'_ٛ\xf*&[iqb q: [ZDp\ВTj'yyU;*RD d.L՘t`^n~C{cЇ89#ׇ_t[R60 J|kW_ފTKP'  ! HOL-ProofsrՅ)EWj mhǡΌ ke>O\\#=\5 =*l<䃇3Qp!cG;](iIN1o"̍n7Dn]%]hq_&w4qXsA֝df9s"޷KܖeCv #;˳!պpBc>58C#^b<ʔzf6>]}*bv-F5#Ƒ"%W(O^ePg%e4yN,!@8VQ@$gYD`J%f>Xz*c4cٕwNwqewx(w鴲q-ljD_^ΌK @sVY IV q%NdCo//]N}c빊lW]@&ԯB>e%d]=WQ9UotYr- t'z~ͫ*+YO һ!Wa!N$"ld! YaW,1i?\`$ \ޜ2BŏWW\0f:X^Xhyit:V1rb1^ؓQw-"#.EGՅ{Nv/D)&(̬,2汥0ut YcgwMnẸ#ˣe+2 q"$ܽ*gYK%9DS}F{* @~P%<'j1jujRHR=vu6ȢM6;ɨJ?7ǝ!qkmƣi@JYw1 @MZ/8hSZ0w|}`ڊ;CV[i"qSMtAlPYZY&J\5&=:Zʍ[DŁ߻rCИqd %.j hG%x~) %i^KL GNYӯ[>@uoeF-d+uu9fV:k6nXB'i,_LHqu bx:M\vxX2q'j+IT_ʼnnNj,u+lN[3wͥ.@_Y朁 뢮aHe4pI|X/І'-Ә4-mQ(S2-ޣԖ.ٶ,_EHw;E?E!|֔8Cl܊@s/Tf]c ,Jۢ(ٵƄ{:oj> w.ƹD x!:5aK8yuz #1]^g[xW@Ejx`k6:v3$ae1XR, .n+`nU?OK1@ f"PG蒽S xu& "DI︣&Š|Hux]fШBU#w =%4?`gLyż)E{SUk Hi 52 C+Ŷ.s#} h_EKghԋqGS~8qqEY3"0&nv"T qQ&os4C:v^.PB~w-.T֍hSe䮽]J]DH 2i)fF[w߿9\7!E⣧g3 !dS4k D91d]t@RM%$o4(-Ԅ5zo>u,^"+rvb!L)i9']o=@ziE?TnG˹k%ƥAkb 0FQ~$GF@ayQp&>.0S*Ӂ~Rj QbAw3XPёiu`?.(MSw^7ĩuw@N2wJuҸg:\[ 1Z;Y侕~!y&Um45BtNɃ2VrW|@PLݔ˭ X8 JhkuZ̪H?D-:{xӥeM98mbQ Frn y."rYYE 8[0%3e+'^\#JSgB ʞ6 IDzAYd7r^@I|z&(D8#!P<\݀ckVz9B1Yz]1-@Z3ݤQ w # 1|Ή"zd,+J(& _uy>Ӂ3VБ]eu3ɕ4_]y6{o/8Xe~Q9Bw[/BGW5%? "]wuzvy_;WY-  n YbbjW2Wi| G v ID v(=ښtZgt0 拖4yÏkM$aB}'` *T gQ+AKbU O!4fճS*\*:G'TNBAN4+Z|C,0gP6.pLr2Ϙ@ ޣL|>9 вB(auJW;])-.u З죻t|fa#w@ۮu"!)Lxɷp* ;@EF@ىE n[D2/Qz-G!#_ƨM#HX} Ҏ7a}NϠNE}Sqdӻ^L-H?<-42gsH^II5D"_ziVR~&oǶ6WYݻ |L#.Ǻ-@Q]XkNtR׳͆B (q<|-0pfzA4˽WaPjSO$vGa Acq0fq@Urd0⨶WZ v$ C QExHRi$z-kzۈg5yڨZvOLsކ_:?-,CfyEiQ! DM%.qli e;7_ tdpdnrbɪe&uQa_{_zŷiJ-|5"2YO5Qr MaYFHњ c<0E)oY &_2uthl &˞z;>EW+SVVK0xm!0L$l{ݴcCNud}*=n9xG=K c"P2tWa+|+Vʋg'926yMwdlP \vkF:r"ЪRpb-]rRmJk>U=r4r9؝$84]CՌ:L|i-tj,]vV-~kk^s_/20Tqg+O=p.yƒjATˮ443)$0'm_AL|9fEX?&[HM$zWW@Œ2n㐁G:gQA:& Y# QY"{bAaC9MIV9`~X2K. 4x'0FCp"ƽ"vol2aueu  j3V/N9B΀ 3_!!g ttbM 8M#({(U.=5Qw+(ut8˝T/dRoAP < '" 35$s:{"v+VhAX h RŒ"e@7?(l+"(CkEJjhh(ebxpf_|[.d]5þ|j0 s_ʋ#bsXy[~um_Q°&>8qW! JRg]ǝ4wkښ>|Ͼ@z='c$bmiU*jr8bN}z3;eU1 IQ9a;i)pPzqeܹg͙$4 O-pd9y1M;٣f!ܜ6'Jox#N_Scehz$!0Q:q!\Z1T{xg:5A\r96W^Njıl,Z T ÿS[h xYϥx_=;]&%ɛ{<<Ļ`i`~\=hB9Lt'CWNt _W|@$o;|y❰P {QP u8'R^m{}*2FltL)A:_(P&puAsJԕNj4ZqH1ڻeYVYx|,f:V J΢J϶溏U"UMC Ȧ #l|pRb(Ӭ&Nv몫צ&[iq$(B017K܏qw.U-Yp' V.M*{`[l+(𴺗NAƶp> ߑ .O8~nѾ)0#é0S #wP#N\njD `ztЯp?eF"]h|aTqRkLW)=pyLH=/X?x n0@oa,qkt G)h샆[kVWS#TykgE9s0Oh"Wyk7@X3A эZy8F3fPNԥ8K&*׊MzW`yۚIP'-%? ;koiB0"D a3> 'R/.qUfhk=b8~BR~g'-3nm_ 5˴lo{'a\ZhEH Skj1x(yCQǕ`V& ˗ EVko VlwEy$?`A*ýmKmvpEa5JQJFc@ *Oax+52y"B0Jb2*rb&P I7ikaֵ&f<ÿU䉈. WX^2" [mt=\'@n>RanaC$d2dΞLBy- s};}8 9C~s"6 >0ym1k!rjmck!"H=0 f Q65 a(qwJQDcxI2!Y D-@aH ^s Z,8::MW R;€SQxYY AM OjN$], @ rVӵۺ$A/R؎Gtwf)){tErk{RIy'v1+_A" YpXV].eƈey&{>yvHu{Unr ܸeˢcRp5}ڛ#wQ=2(bt4na! 9X<+z "ikcmrb`b g3xJśi_wπ;vY3. =?eU(|DaԴw};S93QM/Ul^1<'R]6IM~^SoYPx$3f>-[M_Z1tͮ> {\#'ADvuz-߲M3۵[ɇ |f Jd4gb; 7TF^G9 /=3qm};E 5TpE To.ۖqU=` ^!|8>6a M.)Yc2Jv)-#Dd!!鿙GKűR 9lɯsG86e7I X2)}H!lhRPHèvC50B *ږaIЦoner&S/90C` O‘.tAψjӭhgS v m581Vq G"0sA|nĽYFKF7q:}Mk-(JUvcw"Fx-|.wzcpD@tV[1YdşFyI҆Uu&(ƿK[9\T_=`gR.c薃e:ouX*Fb1v]{·HOr mg`e8%Ν눗 .x۾)_/f5^ ڼ~g)Sx IΪ  a]*HHFz aW :}- 7Tuw1n:sey8!atJ:ug}L!ܽ>ac@ _WWg g`HZ baRQt.o_{[M=;CCQ+(km+S*wjcx7QnbmIb G,MVԣڤ"J ^3K}%XNm3]P#7{mEKS)"fTՙq-v9 oq8CmLrM0.BFȐs}h7%LίѤ_b ͆0Hߐa$|x/{%nakjdTgٲH8WEH&oMRNm Ab ҵr$ފ/oҳ-T?N;"9[Jɵ̋B1h\LN tM3 ֆk iO-HWlivw#O31ۿX,J$$}&Zxfq4PMf2b7>\e JgĢn$B ^baT/0l춆J3L٩i ڳDbT&[#ҶZ&/ AU/~H2?~6ĕ ZfkvE\gu.f ~>4 A).E`LE5y,Y{.a(h3;d>Kn*H̝j5R`}𵷼1J"3ј"X}]zT &v ` } 0eEtEV\ X+g$LwuYXMhIQB&x>Yh%3>AΖ#sN^(ӆ #* f d NwnUb]f_׮Ek|X2^zk|陾8PRkpnBsמUa od=﷎Zg[PclCaط7{sNb\Zqt){nFOgBOf eEt!zov#j33kY=>noo!eHu_EWյ-;M?jK+E>`,'eerƖiLSZiOT5U ݐÏsq 9'T~E/_x,xVF7(ǿwZf^R,mEa.#!8!H d.ez;2KPDbm;ܿdӽ)֍snktf|_rJ.TxwmC"m:?@.S4rN~ӯ0Gͳ6KOvsL=Ȭ?DfyYc;}-(.y $s pM(-_eHJ+)Ne$|Pi:5e[-ۤG/1fA|3՛ŃavT[Wݘ'u "mC9DO g(C)C 9Lk% S_Y3cƊR͝U$k9}<Ĉtۛt;09fZM t*D)9V=j0$X+Ϳ.rܞ3`0+<i4Tbb피bZK֑PN(BeX&P)9xjsp+M, o*%F'0TBSYB"rʊ?T0"AEV$z+/SGa+%c|p{o(X(tF \b'щD4tm rYFȹXsXEE(y[RxgPFI@j5Bs+c bK#u4]P#`ᮗ"AG܊y;m+U_yk6cK0~ :ڔ>-èu,;QR!XݏXۅ4jo4QK`iwBNW >:*4L)R{l8p큒ኼTQ9/iGEyr3neb@R􆪯@Z(m7k.S{CΜP䧓bYgAߓa-͹^r$0T(t!*\ǂiZG0Ł\×,C$FF&h,d;֎m!Hhq"fSk̤G]dFRYGn݋It`ϑLi0 80l,EHpak,W*X"0EJjE)N?T(I[~Av Wp2 ƇuM_t9f>=~kB:ց~k=U}Vz}ȥP#Iy.]MuE)!٧ҷ3F$7#.d{4!Yѹg i $z0"΅}%#+?þ2Iy%Ň{ Z15 1 'H@rbon{ 6*\|"4L cنc-D/XQȆˏ ! `X!L1L&}:L/3Gdb!ғ pzns<4=\`X[볾,>%P$hidL1/IBl8G-Cy Шb 8v4e4%SmNyc#&Ԩ DՑiԑl/+Qޒv2􎱳p 8Ay:)8X%ANWAVo?Ri*x,EQ]v[45.EQqPFʀYXh1Fkىa݆^fLIzmȉy˚5BG]w8~ %\tbr+Z/\ U';Xl+'žڣ9S JڅX9㴿ОN#.;KAOm1~D r+Z7EϋB]E4ž}M'c ytJ%G.gO+ 7wD<}rr%9;›./Acuy !,kc`0c#C3CpeĹzQ?!E:o g}X:?:+D7t7] ~иO_R:(Z,j4-{LQVM9cYd9҉w9d{QvkvDi,dk3b+n~x&}<<@+8e&\\Ac,:p&5o;J< {Σw}HKNC'_ɾ-rW^NleL)c@PM(9:ktPk4nA[2ᐳ(#="C|W꿱z[6ZbD1` @n fHS^a(! Qe.B~+HUQ"0.ψ}l,@?('q>ec82;$]f6|: @"uk&jBՁU+/qøwp'Xܠ@ɽ]5}Iy#؞p;V7/O7^8*UI*9@D -e[U#壡ebR6--_C$XA!T y*VP*i3LOĶpGI:̌m?"1Av>s+2Ósu]_:1 ҂%)m1HkR >|>&$OM6 =F=2>\t9]bq:BHbg5 [ƣofdjU㺗}dH4=ŴD@J X #''Ov pwE=>J_7Qn/w޾v|t%A1N5|$pqh3yc)Ɖ.{ћN#!׃[R0C쳔f=Hso^C_je氖cAfE`bV @\2(o o9]cIG@L?)Gѽ\dYωб '1cj-+*䆷ﲐiQyoa5L')-E 78!;&<:<|k8e>|:6s )eq2+aWx UPOG@&s#4eXmuބ պ(/}aQtaNbȇXXbѤWIq=(jɂJv_wM2ΛC1[&%rZc"uвS\sݹgOq#mdkckO8 Pe $;~GJlPqM*kEN8ݺdK猫$uL\ր(,bμ:W$FعӔI 2ݽ<{OQ1>%g+YpnJ;͙qrod e` ǫ R ޑLX} 0 ݧs2NbPe= r<"R˜H)xYM1I2{h{/IIѼoNN]8gyWhiW&UYG%6U0\*UHD^nApY'_7!r2 T!^H&76•NIZ+xж©o`)7x(Ǟ76-&Z.5.I.J ă;$G$@gxSV HP.9gLa;aKC\KqI[;ψ2p%ŧ<QHB9v7zS%ݔ?D좚QO5y勠}쨲 {B{7.y6N-@$*W\سYgg`-#8n*S^c˻YqUǎ}'Fo v=dg(>j䧮XZw3+|-DNۥi_^bEAι # hmo%AM- BX{ ae4:L])6ś lf5,hg)WҢgam$%DTKPE!%)t2U`_ZsȠd#|W/40%E#߲0w{)kFZN>;Bq/j}y9b-:zxN @N1 B52Úk hH%bhC'Y1\t5W_ EH.II Jjt٫Vu2KScD~ ϡ,j??  @3T"rӬ+4d0͟ l̛emgvQG'T|?t}>MH4۷CnpèNg>  S>Ej!X a"AjȤ.%G:rvF I0ni0J͵٧5v;ۑƛםoLtKXR?8kOā\/~@fM!t=y/݅7 itEc0^ *fd[8}Ĕ/<,wwsSoC Tp+\}Gְ|,N5j%݁I=3n.?nyRV/&#q^h+- tGQL1MF8[Sm*a#ˡزC$5AȔ0zQL`߮ei/Z#9x;. J7{f﬊f|!UtVͩ^.K[]3Ʌ e rth:U{>J _ӒpBrϻUn V I=@US 8 l6b5r4Ro(=Yt0Vvrm~5Kx(,jHe^M>L@Qо:ng"K {[IvF5jCA؇jM{_ ]0wd3NU$L,/ZE8Vy"#~p[=lnU~7d;OY R0}3: fozn!   +YrLNxrw WfFTnnx{י"VkPܤ@#Gkc;PIH0.갥\!  dho8e"f%ҪeA1#<yrK3Vw03vPJRp#2y6.hA8~|uT' Ѳ^\&Q bقwBT aS.o*N-J$ &{/b$S^ӝq ʿONgl>"' '<_ ;k[g,O_|R|EXKxI+6ЩZY&idꪅF*R:j O5z8(lBh(*5@ C{b%pd{u;â1a_Wj^:FAs<EwU`sT61 rKm?; p-Uĸ"TKL;V>E:"F*\cPVofW_li(E=N=I?Y2;")̀K8WN7DO/k]uQg 6K5`*j0UGQlu^ Z^ƓtXA9xa;šEoﲨ`8TOz7U{Md]_ɨX;˦2CU/}zmH]Rj=<)KuzR=ĚsKȃ(1P~jE/frX7d\^aR6&#]_QVe@ k=G3.*xeSb Iպ -Z/Od&|ٞh v WASEaGZoE:Eƥ{&{e8]n}=-v'Q॥|\UhH=LLkl#)R'ӸSˤn'0!mɤ,H<)j(xG]׫#^ŁfZz~Lh#\ >nq K>{ dzʥi[*1rQ- $CJ5 9(24v8-|;YyWK;JoIi+(5q,U)B(ƻd/!jDwXA6X/܈C6qȥ.ʝ jx͘lDJtsXJиÎU-2<)ڞ׊5a󰡆Ҟc1h9 oaXe0.!"LXl&=Wj٦!?lWѢ~+$4oeoNF.`էt5k6?~FQ/%+MB2> "C>baJ[z &݁~3 >}dbJr_niaAє {|/XSYztn)HTŅ\.N 8%Fh +C:Kd6s-+}ؤo|K# $.AA8$|f8, 7cL>屹z8'ܥ@"haƶ!Z32^v$qGc8LRA5cQR"56#Z^^OI/|G~ \szHC$޴jtn$ €/Wj+bܙ]90v HP]@/sA U1L\5s'N/m7GI9f>},cQH/5 W6/=9O<~]M>4d} HqǠBV>®5 :. դ/?RO4q~n`>Lf|7˝ #}|Kpkw[QpZUL3yF``]h`[7 Y'Z(+˜U<H=k;}$d%vӶ޳`jGpcp1´@b@B$ӘIיby]CEa{,Op967k G)wϴK1ƻM&*,oטei)Dr5ͷw6GFr/JYpgaԣf!L 'Ѽdt`~=-1T>˟m7!{󏖐 ;Q |9cEN_z~ԓP^u3'Q<0ݺIbfykϖMqƃ[E/m^#d:>ׇ:S<+O}q.@{^Dα򴗢 8k3lGuED6`)t(6cagX<KdDjNV1($ r'ςJZnQ zshF-'w B:F9z$XUy׻\E/Bog8s@YWu/a Ez>ͻEIb6i) ugd"2RWax)Y5 9>S̙CeG‘59U@iiQ(&(5F )؄vν'&R+{|i7f:S>O <l}^K+Г1\:$Ji+ wܕjRNUQFim\:]!\\bͮJ[YayR!^# EuYck'DrXM^uh9!AO<"-_Chl.iX鼇\z OYɴOZv%1DA`7Ԉv*XvlnZe\ZYe? +\4\p59#DY9Y BqA NjL|J)Ekb!`mt1)faNּy3U_Gn3:[JGG|䠁<"|o7cW+锺3ݮyE & ǎjd!2۔SR)1\cOt`+`Y70 GA@E`%=FVKױŃn!0JX:>?{)OQ8V<٘ J}62o+.#ଡ଼w&VρvzvtrЧS]~ Wi! uQHbD(Vkԑ2I,ذ;ÕL.G|x\ lbK3(PO+M8U!6(NZ;qf ` JF45eGְ#$̑EB^OU\ lZnf{P- +&rMZ:s4"5)]޵i&=\HyԯxL!ϔxL u\}󗜚U@YV ǣpіyܷ%F|j^%@>N|Ip84g"ĨoHlA9_ 3 F;u<|-\C{q JZ, R u;i'@4_-s4}ǰEfQckp[%i򓒧;n;@|Mc,9 FjixWr=83H\gVOXoзbT8]O}+@RGY?N/fȋ3Κ(oF:1CǶ8s:!㩺Aw/tPXjylNma; vP5LƿX(p8oקniújlAImh:0SЪy:G {hCCK~9w3sh9s4ўceη[p@LKtZ8q|R2]G na Qe ϗYv1_kOȇӬAͶm\* Lʸ%A~kkJFG_F,{F,<*rZv':ȈMܸKTM%I`VT 2E)jliF|YN(j걘R3q}ud=Ҩ>Z$3tϏ@$4ئˤۭڿ Bph+ܰX|E0u֤zɘ96tg˄=9ۤ+x#&op9m j\ ٱJNJ(wݔ5'4yZVAqm ݈#ξM2 :0Ab<\Bڟ'2C59Ԓo# RSҧyRy+M՜VK%xXDp{;$rU{,t3, .'uC_ },6OðrE?@e eo[x^Z1Nl]Y5Pt%&oz`/AK"iA4F̟՟ޜgYZ7zXZִF! s~x]ŗXi%.Y[*mLhC7LdP MtHԼ[TvL/oH^gA9LX{"?G_9~~ D;{T>PQA퉪wN 3]#s{wB!jZw !^9^p#P4<]d}EFAw<Nɓ?UXflIėwS386a~ɖ +\07xڒǾ+qѬ;Wkmu/2"E'ku{A`Lfsm|;geE IxoI7^YFK*X6xxC,BlM9J*VQZ Y ?ئ7oWѡ Dg:=Sز4x3XTUB#-c$t5\C_;+/[@6>lŢCtM.Vfk IkpGĜ%4BM^_PW] \ ^ce=B!"̋~w3_y0­ŗ^UAQ jܟVIa%@I82=7-W0ZġOk9) Q-ĈqF9f2L!op* F?.P?&yAs`4ϝT8E{HR9@Ƹ;YVj2ԬtZ߿3+~> oA6nn ##ϗ/C2Uh! uaB M?ɋV@ʷA_1D ;/WnvvWMyVGwXwO})`!kUWyyrsΙi B-ZIЯa--BQ^HWDFۺa>Sހwݤ+D;2Avqi7=xzZkj18f>B/nv4(Ͷ{M!Mbό15FDi[RNkѿ(dU GKȼ@D?BҶ4x&&~DҌC_[HB of <5Oɭ' o#JOAbv#FzOUR cJg3Ru**;`OzՔl]BN:Eu͇1k N cרX@}6?6_Wˀ4Nb|Eq#nٻPQ]6Q K\$!RUsݹ(!O=.Q]F 'Pg\3*YQ 1h=& g_>)1Ԭ0m B^wBEϙ9K?aV|=tOb xWLf-F'Đ67`nAX'_3-q8*I=)"UE‘AFsYjn|taB8»ҿ>!uI@[aj ? E.FocL;MMltI#7h܎D"ʼn(M'Lǣ4@̴G$G/Zw~3W'Ѐ檇eeU7$11Bpx!OWw_6dx>-J 1.*M%jMz=5#s u?P8٫|pj,j?/2H9F!xp[ %Jf<`]pԇ3kȱz[8-B 0}a)jOI{yYPy}dg. /7Vڨ9$ Q;\sg{$x8%+i"y`ɣXe03/I4+T꺊Z, 2h/`d3.G=9~p>˗ziH .4Z5( $@r@ƙjNjB/`A಄UޗsX egt%\75A26~ [u6G\bkgjmd "&S)C{w󤐐)Rޝ$Jԩ 9Jw<ң,KTS[2PYFKbJ\UTc C̤vc͋ á_(lhm=zY& XŃyl#Ag#x^R)94\Ӯ uw8ƉH%7Bk2@dl>j 3+K5u8lH)`vZ;OG+zD I"ޑ"4Q-^fyYHv^cuux—^رij@:Ơqrg nӁd +rEFpXVs!'+w5{?U{A. ޽9uϹuPF =^ORd9 %{ܯ'~K0 pJFbslK׼޴+'@GYPj*|Zr#T^.~xVWtɧ3r=vzU[,klɞd8v~d%#Z7KԱWkPp4F/Sz&>,F}2:?=wk2;~O[a|i6#Iݴiۀnz@NaЋ9@x)U$>)?`I#{4񸛬+OVf~DVJꗹ71Nۡ?gWAxJ2B}X<+tB6#LO2qY*05,@n-ӭf ".>r,{ \} ۽d#wǶObB PsJP'>l6yo S|24D:dr!an14~Ʌ~)%&^ [BnؽWT&Ç6J0 D) P SiYd(cE=<{FGÜyr IZ̎>nnRL۷9`vg _6*Ӌ`g};p\@-}#l%gќ~ķT>h){ؤk$ig-Py L76P `Zz-CWUZ!Ke(/BqZ`dh5I8RgP(Rbcy8H/U[[oq>'̾R?>{lRR2E=(z |hTy {' &@5^ D|iZ)\(qӑyrkgD59NDz|H%[V`(Wqun1Hk$|Ilry:ti)İ)M2B1n5sDJZg PSG7tTwPë:E"F{ڞo* KP8G"FrUF;pٗ~_0m=b^ίO/AMlCp=˹'Bħ=Д7B4^Ĥ JYw{v|J ޛ)8R!9p!,Y-ƣ!3ˊWдb9=RL'RdXwo $L E*-V&[DL}=彛_.@6j`H%'qQudjs$83[3Ct1/mEKuMtҚ8("߀'v%2~jܨMV0ڣ84QǦ|:QfˀFTJ>;j )PM0dc2IjIҪGA$8d!WW:^o?2{ds| D^蓪X)}qq1@+#8Qu |VS[Ne:1 3} 9kQ9wJs*  bPULr6"}FƜx RInzBzz7֫[3=ʆ\H(a]ͭ]ju=~LSl~Ruf`jLtWZ!G$XAFH3! ՗QeWEx׈jw"R tq_q1Utw#e`#QxoH{%\!+6g!* \U]Epo0~cVS"5n"pftֺXQ8H ڝn׵ i'5J،/^)x7oZAْT p⎭~r]\`R4%p* |H%\*:^rNW}l-\4<,W0tIR mF Gtyj:Kh)*KqJU5?ԥΥW^.t\N׋Zk F:L~{ROv 2Jd;G:jx XXuV1ﴓ;8=;Y+{nOK<5G3L10a#&{ONf Sq9q:)Oɤ^sb1 &g+bjp(悺85ߴ^X"'cwk?iJ%-W= |gjtK6>z[F2ȱf[}8 >" VgzS>H#=LD6c"(;QT\j[c-0,{ f_ 3E%dt}܇YK ~v)A |G27%Ǩm4U*]Ӈ~0_sDDu/GP9UP̵7`~9_׶mbq܋#8O \J޽E)0 b4ӕ(-.%/O3^-jæ"$==0&:M˟@٣r7+.I2Ǡd!KklfYteB\!μYsfrQј;U;?8?[t@QZf/f9;qPMɞ ҿmr%d#`ꈴs " dq(y ?toQ?I?'MVo{NwuG\2UEE] 2VhΑg$S3ƄfizaiAPeݤs٪M'<{j;]mHnՄ|[kBt%/I4]wV0S9ڙ=$b$tj̰ 1kNy L+֖y-; &/a +x vnDǪF]&a)JMhPfzلЫ-/daCRzfHXR?L4>w 7|u<N$ơ"#ғ>XƜ*c=Hf.8Ϋ:`uNA=ji:o#,NI!kܬytTl"{Aǟ1ctzvDlb/rtt?2`ie/Oc!pu27ܵhHhZYtRCem"9%3w[{A< 4`V.}0b zbA "W&<}(KE^`aM-@لs ElPcPt' hA*qPq?j!8)$d` zLV+ڦdXz ["VV&W_hD F: ͮQns?`6F@j9]4%?sn\#Ս8Lg^j1(.tK!͆NR{A}FmlQ"x]  c ]6,>_YiId..X{d8랆~1n)]dj70-yQv:LuW&X:`WoQW$mH???nbD!4$eA$6`用)4ZUi/q)KnӠmnޱmTR$޹nU9h{@r( kxQ~XyO:Uhx{z#VXg~tC.m:Ir+9KDL(\|AK qڵSC3{: 'NYJ7-W08$]&i|5{0:W]v rD5a:DSF'C46NntMĔ>+|yq_F7K&!!9oe4LܬI;Necrcp6FHܲ44;"iפֿ *|P Z@8h~ =1A`2ߣ\Taj`+~L/w ^!%Ȯ519>kN 32QvAFg 'bI=9z7~Vq%vLmpjNꮵ+sRQVtm:D/ۉ̅CWYx?!GVh2 |kFeiiO4* ruc nNW=^(+gRE5_g QfDG7\g/0!>z$Z3+Wᣏt|Ahm5c³?\B|*3y.k*l Zw~T{SY9ä+QTcΏژSt77鯲hD '>eh'N @״|uL@Z!pV5crJst˷wHBJ6V@|fI <*.=YItU?C"%9m BiC%{ጪ!9nyŸCcRS:D/Z6< 3@dw<%~mȧN!#>d5OMU evcժ(̤}wl~LK1؛:(W,ԧ̂&{x־J+=3tle94I}>644b\L;f5VJ*>H-_8 UV\T-DOuӋU׼f]ܚ#9xXdY<Ul60}5tnM7$E_CfAq !lIbq+{n181#0n[0"u<:JBD X=x&sbZ4(U+!ATjr_#wvkHZƈG za0ầ]æJ^W񸕆ׁ|}#$Hjjq,F& [6+J;BoPNX%+V"i]9,U>lV ϲs$'pq%XKk>Ѩ=<˖ rM฀K?<fyZ*g(F9$#91Z|Ig2&>*kZrWaԅ]S)((˗ܸvurM U1 j:{Pxr קt:%4k:ٙ&[OAvmMECP.ՆR򲢃8u%c6tV| L?$Pt_vέ?aW8y6ot@hU˦O8𡠲%`誸w-IJ3F<0 '~wiUZ勗scn-z.i'.Sfx0J? bLM@+la>:4u͂c6]gdR ?"+y[z7]p HkލPAZ$KKbeYg`AcwSyY>4V mO F|KUp=s#  _)9!RܱQbrf1b.jUo%^tg=S^!ai[/5a"}págQ>L0_ CTy4IDeYˀ[2iFtm׹o7ɢÑ}J${^!Y]X2i2F5"O]3Ǒzc%u 4|h'Ĩg;@v9sDe(D>4}4V]i $ᐹg!\5UFsIwq荜Ϝŭa蒶,Mr\ "V:Āg5#3(x$,YՆ/8zUC_dNoMVe]\АE` ;akV:z, Th2یvjɽ(trGrlʕ@@Np5:$&'o4eչZ3.n~dS w@rHAO9l_Aj!>4grf R7`m  n"gx8D3 mrTbH@pWlK&z]Jx@KI JצҐzo;lY~}FŻ5`3D!h,\V4\{LwuN"um՝cr|x٥QzG_mkCbv"i! a?`fL9Hd+GKWQo˓層ቁz(of Wc']N[7Ot i/Tϑ KĥM# ~ΏB@[\GH4C7d_H-Zk[&Chb%3^P/ğEG  JHmD ~I"iS}a #0'ý&IPҮ (cӴ}/D5[=⨀៉-c ̨Q:k,M~[`Uah 8nF};^ 5z_̧ I(az1ʺ% ٘b G BlJ26i[w":ۤ{\ pN)z";:1A;+$fW:]MC1(+=ώQ F:u_܁[J>o3͇ ?S >E&LB2%Zsl'F@!\he w6ǫT }9!$̔',?=A"vF l+\CPx[ࣂUmQf|Rմ#Ms̻NdLf@󈋦dEB1v6^Qnz^xq2jE-27N[k&_yg?r2\"ԷR.rK?lcaљrJS|fX/#aWT~=P3Ҧl<j-SuknʛAA󱃞 M_Q!m$glrC4(_ͬOFOpN'qU_2ܡ&+<jY ]mi\!Tą`6"@!@x/%\_fV-bOJ;30xQ0K[9N<8@yϘiIpR3=ٵc^\.aHhh44赯ݪnMw&BFD|K!زNC]FgPLj#!C$/k jH1N+!Mp'umn0\W3̎m_b6"k -p- Yx˛|gNza3 y-Kt5hc; ;?yLd'":EbKϼc=w4/-}*Qg$o6A9KVo>^8D1$q sTN'=l]yGG$,9FrYXGB'X}-#| ɍ1c/"X񊣂^fv5UOZ l%Tq *iG$ę$ ~j/ .Z\N ^u % `cMoB- {(,Q lY25-SS; Vf'"콣n|wTj}w 'kSV%!\<6Q[4?vG4sԺ]Qd\wCibJa] 287ϡ1尛}_d㊁9qbq G }>q"/`m+Yu-9k& Up)MхcZ&ۻ&˹<Q]/r1눜>%'TE->;ksmTiī-Dv4_c'wԴM'*= .iN) |6 oԾPu 7d;> `( &Hv"u>m|,T:78!!&qcLO~ FyJZxdv& F2XCw'f)`^*MJ:i{bGK W $p\]d.%f ~F&HlVM^~A<)=<%fUOr2#$!L#.l\P<;`?,O2.1Ybs#sot2[?Jt t(4PK)[S ]aFX)>d(Le2<"F}JF"(載*#4,\=ⲖM.waO-1cU'`D&J=> -j_g-I?0R868?ߎ0o]-ikt>".Aq2n+k>8r>]AtO4 :"*|d/(ȒflJnTmSFIȫNq,k›u>QU4Z~Im1'+tJapF@}Ri>@"oiرضH58PPY1_PQWONXP|Y5|}Ƅ˘3H$ QMߓk J\/` 4d{Ls\XG!+owL-!^OlSIڦ;l3k#SXIM_1DEp01H_% B:] R\&&[v&^&7Rg!9W)zZU5%1*oGtsS$Q'9wN]kvfkߨM 1bX.3 O:k[:\E[H]Fl|J};w2 V2eD)?!o!Q*|# 59+MN+# (D#-s-m<b1] h2T8/D]'9DvaFoK -SI0uNBZ4ʖ[%0Tm~I-s<) :1Uİ^7| љPpoV(LCAn طÑo` qꌲmGDe}])hN,u״2]IC6>mNQP^AYz'Ե*USA(~KGdmhʪygrF=/h 2Ao0! E]DW (j[P`x S|Su{Y( X Oh=?)ɟbޯ/ *EU;5{[[j%jv1ʂJ( zqdf(#up˗?Lg}k,Exe0p۽ _tȸbUpM@3/)^w5`a7h^[p,n[: ?GԂO}~gΖb Y[;DdCxT'*!S%e.|vB=Uhb#~D&I :}_<=7JYÔV*S!ZTBX8$=_\q9W Ⱦ;2O QLjwEmsdl nEckNh!00oڄPi9O2owѬr`nf2iw&liTjfr9ZNn㫳C5v;&jJ L6NXLLeiNU]äT5MG|s/ Af*bO3U)" 㽢a1w#oz@v.n|%΄So;0dFp-[;W-`1p1 !ܠt,)M͙_8YQty۽q[,o1̍鱹\&R98_7*̠90̊3N:JV|axѩĖ8]2p=? Ls?}lp|HXؘzzV8^,@2jdoC@F"MzP!h,oR7H*`x-ӳ<92 DŽ֘DQO[VȘsUt%'i11 ,vndD֠{C&ˆ8QqșeHhZT ]Nmj8?(0Jbcv^(b^'M[' k>)4w}C( (v]]IQT+߯vÃ\Pt.a1D\VGKq+(֮S ZKԠEݮ߄>| ⼐G~v͕.֧sO(_UB;Ua mIEG+ʫF&?TȡY{.(PK&_.SFQ!cj:b`WaR؎C<2; o$t(aIT2aܕPG@Ջv]9=4dT 5;gmؚq EǺ0vS-څ|]qh_ΈI/H76T3qC(2YUiК_m;4Ny^^%v-e}rOD\pL5~DS2D._,Ф<'2¨1AVo<^B%w2q;ݟIwRd=b߽Y!45Z#>zsum8+nH,4 ڽ3IC9ǡ(4siuUF炻dYjVpCI|f|D'38ZT#lA,+"P0<">}u :iRz NgN߸0lĒӹ`Z2zoӑ2oMG[46 T~Ggb,(1}Us#mD.nTo g%*a`=.POa_c5׊jx&hr` ٝVPJMv_o|' yYgdD"&9G8;ԆQİSRfTȲ9&{L sqk,NEop+ɰV+K:Ύw%T"`*@w+,#` MϺ ,_P٣x a3`Z]Z}nɎǒ{4_ Ij0ʅ8[20PW/`(chGa}ފ:!]rXE.lG5BZq_~_XZ0%jXW1MʋKfDjs,7{%R޹0; Fi!ޜlP%N-Ih+&@LM1'W:`uGcĴk#nEatL:?nCJ9VdxaRHL-R= ].i\yǑOΩ,nQ+! ;qt17C@ /C3YCQ+}&XLC_m"ԠIY*_3 s;\]< ѥnv,8SiF^3~[B𘃻 HMЪOPkzTQ>[`fA=x-9;8_[HY٫ӨvD R(5T",E*b ItŒl د7b7ޕCwd1v$8 A1B8p"c;9_Js %>|u0ωRGy`"> IVg&V>˔`6[ۣ'S͇9̖L5W'&*": FM=G0$- t(Ϝxƣ쿻0 g6<&LFu>I)z4S,A5H ??A|(ݸoҶFgS{ɓ\.' 𙶘D̻{3й(zı`]9iO深AL/kԲK(9EӄU=-IXE&|3lC>OQ.&&4Py'5l ġd`d0"Q8VY?BZ3|Z ^̙R&e>g%\q-Sz\jg24oknK=*+J ֍@O6? n0 2[nV w79D1J_vIH@7|oqI}j7_,v; WI"u'Sk9ˑLit* v[&_ֹ=8'x/X6QzCF*{V9 }B:6o+rzmKvym*a mPN%?A6O3g˃p$DjQ}SK3w&ljeOi58t3l(I1uT ;]r{z$bv`nq<inLDr]k(x؊lDqc&T&allu~O՚=*53{#sj/B85JfiC/BݡR$ߢ;c48q &yqڻ]}ޚ lKr`)>:m|؂=sfd@MB8Lϙ?|Q XT:N4Cr` ^OBd3O`؆vDe@\{7ce=I :ߏpIp<EfqrhIqcEW0PH,;<$| 8#$oRD\%$uW @RXr(g3CEuze0z!U٭x -+}{t$YByP9s0nӾ<)&Dbd8`#ֻؙI s_× FL}=4{xAAg ϕ+D;K>lQ90̥ q|kӾSƛyxgxSǵ(~P08?aH%.nP3Q}scpaФ0IsTz8r<ρƌi)14 >ԉ{! d$)M 08 ]AzדͻL1w$C`즾J P(X`\~pČLAn%78>LfRHpAwG<٤ԴhͫMK֪L.D˖} ݨ;J˜)1?>$\q:K+:2,PIͬR|G&Omd5~~ o־¡Gx&IEZáoSdٽPwB7L򷨈!A/AZidV&X%s;/۵1 W]6[k.A{tz XvXDZP༩K?CUB45-U f ^TϼK'FGEяy!\r;:}f#8:t1)0³W׽AP4>O$\Ms8[dYгֽ۲b?"^3jq`;<)3^Bb־|={Xx6>c%=#'w1 6\pƯٱ6ZL+l TS[W ._P97.kҠ:=ax9鎋-ױ€^w4I_}\id8Ef:)}OЇ)J%Ӈ)}|OG6 4?ijmն,bԩ<;Sa'C^*!oiu&%y%LY9vgDw+"U-g;~d{:dNa3T;ސ"jp& @4óYkRhZ( |m%y"]7Ā^9пt]-imʰ2ÚqΛҶ,T)$xBg#%Nw@¯74[B&`+"y6#5J/+`49"g;S.Tù,֎%tG5~×br}ɜ v C p/n$mY?ثGSTCP/Ӆji" d)czf  {sT,[읧V{:|? )}JZ~|:@l `OXe7#BVNye;!W>d5:62Óƺ :8d-[@c)Rz8zz Â|WFБ骑hu[\F5/$7w}'К"4℣fmԬ xe-zQ,^ Zrcˑ z厯E^H+Z?Sƍݰk|67G$T ^"R(+s9; ෺]q7K;[=J:9}ljEWf oƃ`BsLO.0(bP[`;ZYlc,3lj#oK'_ sUuh&Rm9|HIH36Hzv=~ k `oSEr2#itWn2zhg#4"_/EQ.6[Бj<%5]h[aG`$7~ҳC^V[ ^N]=QӬ&]Mjc*D佖j'EI9DHo4}rځ`dQu$mYD& Avc)N&-G ?J(cs*x2 rcyIDqxh@!rP q@(eI*$~$+zU!pGLĕ+)<܁>:Q-C@dK\_:jp&p0YrIIP .+9)oc쇆g &c 00 aT:Q w 7DJďZ"̧"W\۲E+ f E fvsbVMѫY(_ |\"Z6E{D Pj.o{fV_# vI9_ia?u%6m Ry0>6j}J]*w#Gd<-,eZ*ߞo 9m_(􊥡lüp$"qclzy oۡ)KBE1Pw*S̐Y1*r2Dz7V-pv Bǭb ˛84J:_]30RU˃-wuZ L]1hk}t"7۵;(!Jd =X37Iˑ 4h>dpZyY9ӢqJ>{~3picVOp.9رz7Wrcڸ<]Aqd|2<¬_gЪ=/pwlIGa8OK=kqi,K ` Ygۺ<6h Я^^Q qZ{,&n𒿵}o򟎋[/)22 @̑:h]`Uq ?!ZLxJ(h;'ƊݟPwNOTs3=!4I@]mǞs*8|x_T~u>"N?#JEu#W63l=8_eJzĜs}K25脺?:Λ?6q( <2A9e<~!Q2Xe#|/O)[3<4 a 0N\v٫I顦8c*\4 ,`/Ȯk$`'i=ĵډ$t+zxchn%pٿ!)ñ\P87Ew |9,8z!] vRf oҍIv_=vxꀿw7gKB?e0%iSxm1Q9BiD+Մ9b:K;f | uHZAGW9@&0i nRG:_ACuQu;4"gy +ωYu;T4DQD)dvdAo%܉ϞH) "g#2~\O?,l_ZwE7>۸̝ 139`ř}uG&gjkL;P%hS˶ʰt~O.cE?Ȗ6u$rM`/2G.OzxmHignU V-to= 屻:&#FtX}KĢ_d~}Ā )H|=w<ǥwO+m(A.'89_"s[F,Wճӷǽ*,ʕ@Ѭ2ZK DHm4tb>Xa 嚒G WaʠĘ!A;fm`kNYkHEg|K֯HDRTN =yzB~~!?)Dy+ @mݸPŭ-I+Vr. YZF7}Ptɾ6gaq%z ab 4:)7dILSET1~,em, _QT<\|UcA>5qWa}rlֲ[S9 0˘:]=NN(TJpʘ;d0Yfw 2E~8hj>%mןPtviĆψz41-CH~ʿ5Y@T$-+ V-5A!; XR+#[e¹WϊikZl^i\O|;bDClǜ6@t*'Y(^VBfV=H ۘ#_hT6'13"N*] (?v-v+Kc)/SYsoar6}vIu0{jټ{h?p:s>7D&yĎM.JTN3Rk=˵6E'2]+54 8&TQV[ śJӼNۆo*r_gs_fOtGs/Ӿgl6n0f¯WkUe,Uҿž`=E>StLQmEڈHz IתRݨ2%{ ([tdz" ǜժq?cN;FQ;pBe՛߂6k`^x8tsp4PW,ǡTl@->u'IH nhq5p"OoǻlR7s7]0ZYc*;'``[WH)0tߒ`ܮY/l\ D'L'6<+?T<|VA8j`VviPu/aLsAy'Onhx5Y*v>!//?xd A%LyZ@-_xE1;oE*(6)Y7MJruG3)]%v΍qX6[]M39sӏ ր-ȣ#pɜ04K@Λ OO+BgkP"8wI[3ֺ5iY4@9wqbti99&v* x-V!$DU9~alg* 5r̪>32bY1 K8mZv<}v0f՗.=.N6D=ɃЅ/ XO`rumF_05uAWiȷ<;}fw"ԘJaّ"5NIYs;/9@e A@i|XcgK*v]d\z7~MGF'Ǎf6sh6Ɲd\فT,#I%a6s\+x s %ەU;zsqcWfBmHZ{i74O %{I1S\I+odxF科v7vл%r=fGb2ZGEFI44$f1쮞E3F3EzI ߎƮ%۳`w6Obr5G5ƃ1-><2(طj M)@fퟘ`.0n{3Uf\;D1w㓮])LA6]Fb?d<ެO. 3w `22pPI zcmt[y) Y+ |AvL==`I(}1zhGr4nQĩ>JI*bDmN?; wsXzqG P^ `k$+WF|ӮL< l@MY0W^bڇl}c_a9%uj,XCA*2jH֚Hoܮߑx HF3Qʎ_>K#4w4)Ϡ +x8?m̓0'=@}/yI66Ls·#f^'y% ɡȹW@zOdolaT-'|#ZNvـ{jIQ AYڗđgQRՀ!6ߨ9cK6+x%@Nyi⚂TeݠR:+CHҰ>x̥y[cw z``[ċu8 Ov:eI:Iֺ>@ɣƊX^eo@pg=w?8AzyӴ`Fv$8w}ӻa|Riџ12q8Kti߻>Ig7&n8r޾)#߬)*,ܰ9Ú&օÈ7J}:U }0GqR KjJ|/N}_%U}B{x8t4 0Ip*sbnE||Yuhf=vdG :٤=v(B^>Pȳ>PO{KA}ٶTG }#k[bWNgJ&Ο2n&D}xw\RӃ]ॿ9VS߫Gãf,."]ы_١p9uo~l俀 ݜփP;Ff s@mWsy8]J;ꖁ"Y+<6v0%Qxz(O=x$ =XJvNscz4 ;ewΐ Oix/I[XY(z 'fAK,TItz %͘3*@YgIT@YmOly?鰈 ~DҒ4-Hp^B7@dpd0Z];:֒UxZ>i4Wk. @G!\o:T)urHE_nMrH< 7tIWhdZ-t:و](PBa=V{/8).Ib =Ls)Ieㇳ0hA{NQTָz*%it&mq?_.h).-QNYz-pۛIWzUI#sMPPh'b1*2g3Z7O9 1Lqj