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!,L ]]]HOL-Proofs:threads=6elapsed=604.612cpu=1467.324gc=204.436factor=2.437zXZִF! o]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbV:ݥs0 nk3ɑ=a9:ܾ %Ra&Rg+|^lC]1[%h ~ .Zt3*PӼ>c{]ᖚr8L,> >$gM0K䙯REJ12T9UCŴ"7sPwq 伧Aa:@i9R:]?OO=aLG\SssSLAR-!V9qMugGۀI3ž|S`!cWbL}'K>QAx.E$W]'MdޛOإ4*qIYr\prȷ:X*)5a{.h~2)w~tz+ބrG$<'jzUzx>EpLϹ3_tO"e ω ΥXz${?+vjse,݈i,?{ycI8N2`φX݃:Z+IS@-tz3GoUZ-*1fY@tu؉-;ǵύI5dZ'K̚=ƌ["T$="罛pã/٧'"TmJ`ײ2\/2[*rе`8-,_W-80z(7L2UuV_شLթȂÖIKjoB6+q{-|4"v*;y{lՉ.ji̢Y>ܜˋpne0Bk7:Ĝ mM-L)nNF>c>CueՐIC׻֍,(5/*;tJҭsɑH1e<>l"b6O5~Lfb&4;oՠpU5Kl>}|.kj68w[zuhI.7~CBWL5BeF}Ŷ(OB^Q¢BwTobj=+uɌB9>Bׂ !8Z3 JO/%;[Ȕ Iqw`5C  ! HOL-ProofspAv.E&hUcva%p&ܷԨzČm\H썻'l˰53ժ;l1lJɍ8664Cglu! 0歨˔$\^Bx!jA;8"isOB=i7Г xefށdOp:TzNGjPGR,viC (fZKj,JꗵdY]}gѸH6済Ar*TzsT !ԹU*$MCVWEgV\{AQ5 JE2v(>jB8 mi5%:(R~Yx -E@[]w.d3!lB .wE`;;Kfml++`%B@x`Bq+5~s栝\SC9'o{^#Ü]n+s٪<ЇE녭2yxʰ~}]!g**X*_"ڑ_I}cnooѥ`J' xQUh80*.Ƚ;9虉T|g\pd@7bp`fEIlj ՉOv{C'c#z'g4qb&P 5\Kܖh TNViQo9^. B;g ?)7SNiiI]Hwi }s7:3o+3O ޖMT$>dc7xFQHl,iիlD g7W<t^{2R6 >0djrdϹ5N-C>4Aۋ*GǭfQT)fGp˺")gb?|3L0 PrM DSg QsBal?7Mj68:m8,jVE c V֗)*%Wx,1ZْYC*|]m"BYJM}0W_Za*~98ER*n7-Q Sq[*ڗ{\_Gu&EV BT,q$Trq}}P?V8Ȃc5a+‚ha~[Vqr1IbSŸKe$߳8c`{syh>$fr#j3 s=F?JA3؆E_ w?룃opp!Z[ X|5p!uyWdLvZ 1 C b؍o=V\Iԉ8Z-B'023;`~+@28vMJPl}cB fht!_M9 /69#%HhӎKCOBOn&F͜Pt#"/HF\[`+^6t]Zx#x.źRE*c qT,"q ONH\bOmktyrz~⴪`" EL'ZCߡSI +vW3kc&6lI7[ã-SB ؐWII?b}J-ڛxO |"ͩ"D# yӝ~ĉsK 8j%: f}dJE3t245iNrCoZr?1En,KC_jD D <3(s<;we|jCw/ |kEq7gR\_qy?+[Y?犭GBm}]M#Kɿ@Z_+MrvD(VQt8>jY-6/*u8#_߄Us3yU<"pM2V9:Ok %?X8LבSr\dԑQhBEu* mBkFEڬ%SJ)&/-RWyGiߓe?d_{'= a"6LileL,(r NVB'}IW>Bx͙ǖxt(X' ݯ!ts/$d`2GH̔;`?ۢ>DLN4v֏Ee;V̸<_a  pk.OXbKP 91Zbhl6u7N13`rbҕ7 bYB9ёI"oFwijg߂?vqʙ|}{Wҏ%dz|>M26T)~.UTB7 ~@2r-.(ؐYnC;(nͯ+?DKXd{gᆲw\_ }&X>y=W,MO7-<'r b%I& [N"b`)6El_YQs#Ӷgԓb*Eβ;Ҧj"8^sI">krCix~Tn)q1/c |_8?zBK} S-׋ Z~v(yok}z4"clcdSЂBr48@x9gҀ8a(r\^̮'Huè /=EoZ2Db=t5:RTPUeXEJ?Wxs*Eb_?@=J@Uz#>XX%Ih9Btw6EzިAN2.S粖wɊw#Zo?.:_Jec(sp\: ^? [..ݏƾ̳XՇmV^>\qRo=FEu do]3xcg ƾGPk7oM !d, ERuf2-e /Ts/r?NRG\\-3ttk3Qz(84.wM<̰d_&Xnٽ,$* ,)paך1BP~?K(|cZDMQy.7`o rC%lh[?ʴ$:S4Ή'O~HCŅlK);CDLc[(Yx,UaIii-:܊bc_גacXԩDVND}p sb}pcSX3aYgt&'8?c뫁c(}$Y/ %-!V-[NjCL1S% f )1Sk%™w_<`ˣ0ޓ5@&B[vW}M!<" aYq OO+WDh8PPizZXק:P/'z 3&vs_<ƛW&]h Ej;ŀjˤOB9 :sfQ!̂vb\r8҈#Y{ܘ,jUa 헤ILV,ٮEwH|ᔎ̲M*#bM(PAݝ[I',) R?֎ "";vtTaQ-xJʺt,̩i~8^Ydq`]T}gQ \|"lzzPx% Yc'.Z%g3JuAylx,w8qFpc=⾍"_Y^>#3_v\n q<9Lqo͉ݥJ߳y=u^.5 - n0Kfa a=(ڇk!9TtnvbHቍ I \#͐ 9~>5RnJ)J ]uf4rOK S"WzL^ZWUk')Rkh .VM!WǛ~  \m^&Xc kЮHtp4#ޡ\7i't1K'r;w+; W@*6 *ewpXBJ'^9oվlSþ2^eNt4c C6|-R^}tc]Ql)&x&*jrQdICx;9L(8JVވIXx` /Ti OHxE*LF< dQ[\~,!jP뷅uFzbʬlJO`˲Xs5Oo8 ﱅ2!GX]\3`g-J8A(M^F[i$UNL>ǽV;' 2j*Bb^aBѰ*B}RъN3Dxb z R>}竓@-i2m^vv֫P־T#QZ~IL#U{0  #' 0X T#Uk1d lr`%yG( e>Y3BDmgYZ7zXZִF! c]ŗXiɟ29aoʼz[%U>EM!!B/ /8^^uamm- |2uU8u&yy9dȗV+`myNӏSuۓmfiZNZZ.qy!_2SdH 4#r[0`7 PۄffB<8>A"jϝؙrJw„GP[e:P!In6JffZU- 9STwLt.~[@4Qޭ>X/pEQC\({)+?p U2^r72\B\9Pz/ PyPy$AR]͞8VJsQZ*۵/B G$Xb#c[X+hbgsz@pWB]CN7̯'d Nk1h6a:Kԃ}7tGHMPXX9 B˩ˋ|I#cof[vvT 0~FlMTg1ƻ"R؎%w5ym#dM3m2:ލy@ˣS}Ɍ_V &69b$v{ZM#͗L~  o;G ?ɀrg/5?n"rQy֛=8M))+%2?|䰜^4[EiYnSfjgR?䟨MVbrcٻDn]R0=֡@M\$p Voу1)b݅a2g hfU*/]"CqQpxTn_K%﫥 mdTeiJRH~!RaN9$̒T0٬ xz$_-d垈5|P2-1E$_)ʦaUg߉*sK*D]ܸ~8B?BJH|<׻wGJ&$jrIv|d&إ2E.w  x ɟ1r3Jj1{ӫ@ZB0miCXmMB(Rão #&Q%EUs~JzSS*P%{٧z#shzf }mTs+ȹzLwy%LIup S`*631l`ǃ9B^W$#jJ]}1$GdX ]6m6JIT2 u.:ea'^QAeB RYfdpCͲzPX y8P&?{B r#8K.#6 !8xO+6,$>ɍ+s.|L9IX%v ,2(jpL'ʕ}Ovdv{^c)MKrJrХ 9-XF|4r Y] aer7%bݝqH ck 3B/ӭVdEvW079d$.>?pf7ȄBtkuEpPrЬ41e.eͳ/L#~ ^K-JЅ@ZxD*Fly[t*r>KU @ 4^@v;WtdpK|nqCqiKƀtFՔu='%M|0vu&kbRS_+%qJJܱ1n vFSesb`qq͇[' 40]i#իWёɏt氮0S[El ~VSnMb 1=P&:U|EPEPK'ጝi+Ya'n&r:6NN)xMݓ5U>{tNu9. ̩Qgdӄw>r.p ⢷b;kq8,-釉q)ߘH 61㍃ű7j*BVUd0ybc8QENj"-69")\Lq{B H{ŢP&bes"#It)*[@.ͿPKbVao_`Ě5`łNWId<$5YyD%ӛ{#kvA੅fv.e'ş^dƧa7>9iZ5R+-uحkpYԩ_/Ae"VE;*jike@`?#;ʌOjkf&Hפd ݅X*hlF;16RC:4ʼnƕIKld #<[e zGιLyUgNo` d>j_;LY-~J[{6O*H2x7.K#=: Nl-1$j+a+Eڼ@͢Gw'mS";Aftᠻmlލ W8'T}<|h1N8Ω۹y/`4/co͞8ע_Í1̐ݥ:jA MiM^Nţ5|I݁ 0@~ !HZ*mÒ=.5q3SPw#OPZd]C"n2,McuRя{m_"-,YO8/멫\͈wAKjE@Zash6Fgr܎צv+nreC1Hj'۔ULЇ5a,C9><$_'CI/h.%6rW9 Stdk@y"FIs_Ӫh4RPE#*M+IG><t(!x_ǤSM) Ӫ;"vEF<^zFMkP-3_H}5 a` Ft܍KQ]8euڹ׊-_b GvYSFK%oVC#l><2ųy-a~'+:W@T= xr .v=6D X -}I$ XĄ#yȂogӠ JlD; ע0<\LfeP棙Y$ >ղ,@PnNI벮as 29- tqDɊ=o_ippSxRjrhot°YԨHf3U`n>>'pci+=pI,kvdxߩN@ m( / ڋ!ÄgU~9q7D#(CV!k"}ZpYPF!3>IВ,keG$bd;"#1mGZTEYK+B[=x~x R CS_ ǧ5֘!uc'kم1r2uP4o\ iF0*EX ɋ)eHul+7wAWJnM+Amͦ΅V;%@FPծM!J~yn.Eު¨9^rVӋg)+N%*b PF_Gz>g*lYz% cخE`+4!5 Kk?dh&1 A[9"롸X{TS}A9C^=gmkٗO<]9{@؜YP+;Qwyz7YE%G.;bY󧄴GlmX_&HLE8= lI̟sJ'̭mY43yvHȼ@A ]'nH@83PL]vle硽+jJ5 ܠ1U7YE:7nF@\zL8ESƁNUhkMz&v.b_̅YSNش[]$80h*f2Ņ,f6Y,D%Eͮxu&O%#CbIlߍ*@,#YH7\/c[H,9z'JZl TC eMbR/כO.^$o͘jFNcOlo\a&X ٫]*Hڟ Xw6nV:N0˒ .Zh 1`COfܒБּjYM~1c>c9?6+-M 5cE -jο9Y$ݥj\zX6O(8Lob46Q{Di( 㒬ej% K}Qs$*6灿gM({erLFH 11B"|P^2h=0;ﲾzLa9KRiګދF67lFB hv,S@q7gBv)#SJG-N|#ɡ@v[,\!(9A፳9uBDM@"Q8Xu/B^)wNݩ좽ИWki8^mZ aR78_ :QgR\TR6s(^1rcD,pW~=d-G0r{ArcXPܭ9oCgr.J25)!H⼖9+Z W G+$0}xtr: R@a(`UIej ̿OkyMp[L>H-D DáX >ŷZA)4 l}zܻ?D Deq&(謟`qN>üjSkikb  E!.Ui]b}oެPbK ^e)Bĝ6+%4#[kM|2~߁]8$_х 8Nf<̃F1 װSx6: z=߳_d%sR^$Zēyx nS詀Ћh#A 2*Č 8Wf౹6J9vmEE&sSe(W 05-aQL ;|j_jItE9Ng^tx' 0g e ,;-K3Fef/ JtPy*(:@YOH pt v}BMFK[ XnuR * TmXG(X;cO Lj<1GtLF|: '+{DY q|Kʖ0ܤE[tRHg놠Ȩ\S%pJŭk!B|`ZvT |WKMm$IYuScqi 'O{/H8Гİ08?s0C<|+Ͼ*L /ID+_TA74:%]DF+/5BG?&sK, D@~߲ FgK;uBiDkN <;IcՕR|8iaOwCnLi>v2;ϕyLA&RTl,TX,6 0WX:2^ﳱW 㖋cF)P[. ">ϸLh*ɝ:^B]G,}r}7_OLE$=ٌ(XS:f*L~ΟgR2hNj˽J8c Ăuw?:P~ymp_{]2.._&U>ERɈOD$[a還3p`W z#R  )f"Zd-+0Ob^oQ%!Bȇg2eP?cjV,ZLoF6!ZeQy*r 33Sci7UWte>ȱ-btbX&`~d_t~:F8ZA Ÿ1s:msi'g-YUBBg1G8UeԌ\Ln5jL3[L4>(6u3{'U \29zJ{AL!sy |40eH{_ eA>Hp+$' In.n1(Ak)ജ,^#/~[82/ɑ}>SR!^Hqmu?} 8;Jͬ'pK! qK53Kw|,XIwu!-*z<٫fb.[Ӛ"!XeJUG,\6Ɩg;nIhD \4 #oBgdzuֲSyQ{5k&;w/kK&2,1H3 ``{3n,ԶK+VM8ŷA&bNԒ Rʼn`\p *a`mJBaYTË2g]^.=Qr?$(nvxJt V),Z4&E)ّcI"ˡ%I6}1*/4gCp:+Ezq5_.^OLmvu6^#|07 !i#}-9Jҁ!e4V{8ZA (;ZCGފ/w-ܔr88p\kΫEmo]Jɓ4v 1G3q(-WJF,;GŦ4Y~#λ< w6Zʴ(R[;nN(Br/Jj8aD?6z;Y.g~Q]!\{Fl]Я'EHtpkMA^su8ոOM/F۽$i=+g!H}o2z[?e >.+K&e֎ "0o+vGr1)W.iɞ֌^@M?7xpsa˥hc3 Ž]mQLQ4FYǖY{t¿ wH8ѢI6\n{=OIՙ g u7ez#RX^䷭::)7&S$[Ƽ$hoY=-|#|.((^rC/Xu&aMrJqV#1W@MuEfJBzousPu4R`^] z@,נWڤf=ы~B!oV Y"k|)\NZxCʉ2EbK#\Ȩh*ep.G^~Uc#ࢳH8SPjP=q0FrӅj)qm2KKr0O@VUp8i'x-muh>I+BS»mihmpR1~0N cBgYIw&OJ3:#DևE?t&i$pʋ&E(ʒ"VѐƧ Yw!Br'l_q81&¬YQ.qZ 8݌B7.INfx'\Z}n&]d~mۤcOiblHX /^4gAg{j7/&$Kgg^6nɡĽBu՚2LN >}Kek Qĥg?`X؁d˝#%}= 9M-"o3P -?#?dBpʒL(Y^E8n\. iyi4F;a\@a##LߢZ%/,?.Jdyؙ.NQff|*}1濉c@ϡQ׆yozX枵5 ,109I+,GfH~ l(D5MYx>PۢƄcǫ4.#Pp| "6..l/C̯_YZD+xmVQbH{ˌV[Pt}{i:MdճYsE3 hFo/õ)`MYg?+Fx9] 5BYEz6_1}f_5X1*wB$[q`Fs{pHw:,?ק $ўo>@@ӒqdB+4У H$O򆰼X8k|*س}'( bsPM5|jCƹg<#km%[p|nY91Y!ޞr)ᢣ ,T:;5" p4UFʲ:aʹ%:?U 4ú[ںYTC˪L}73erNmЀ5vuNDŽQIH΄h, R:i=e AvD\tIA7'@Pg!ܻy82Gksԕr# ۹[DC25y<|0tL#"=)DqDMHQ4+n`UZ{#b,4G+fpc<5a xLvYYd&}`uZ;59=B1iH4A(iU:L`y[H. tOM\fg9VQ(&"0ف9ZI(IC|ӛ4)J US_Ob;!iMgKhb. j :!HgFjl@[~2bq{}mvBR^3r۔OBl4l싅ˋ|r*R|48?@o`(z9IF zJz9ғcX ew6TٵQ%8EGj'إ>^ 1_mCO%tC}U#a[U{|6eRu# D`ث:i"M4JL  `ɝhDb+sp; 3C064! <)V3D2 |jw`p ! E1"x&zR8ʥ@ƟV oSz_qyۨUxl$$iAФ[ת˼$wqTySAŽXxzm7؜k;Tik%9x>,9c"STtjܓw"Gn''B$p.\h$T Po)(Ev] (aDX΃]TY u)7TziE-ysUu/y@CjdUYF \+#_`N蠲C;;=;bMc{N\fW&`߳_lϿ=q? ;5 OX.˾)WD"068߇bY C3Тׁ5̓iS7Jz{ctw#n]}. 5q=s#;fթdHv Kv" 4LmpzG_u&ǎ3K\% @JrMqeZTC.kԤD̨L{6;gi>%Evds|. <)ɮoy-?8I'qpFд¬$I3 ykCEh朊ŗ藙g{'aS=, Vb@J>&Qّb 9 I/O]Bp('?7)ڡ6TǼɖDDk.A}3+5gV<eR\kz@<$&7ZQ'zb#-sj9Ng+$8Z0NhZ:1W6f7;xCFe :q d >yUGx*hUEN<&Ԑ^mv{&`J=ݴ*@6PAg697` Jri ha♺Kڧ!MlZ@]vB'53uu.TihLav|NŸ&f~3;{GJol+ڔ:#?#_-UTu}|?.,R8(פMheZ)CαޑG_:E\$Т㉱*k:k RTb{^nuP]__ϜfuN &ePTqmW.#~L3h$b_P4Z$:w{>jyl̪c㠻pICA`Vu^-H,'Xh@ ^vvk~UifU7Hs6EIݜ ScOBaNV_=maY>9"4TWitk?*hz"ױ\f!R@Jeh/ݯLk`LXaUQJ?[~bV463'鮪:%m,`.d6S*xH%-P `4< hI0oSfra EMtrr@{îYGxOHaF5h٩HcdV !qjGDKXRr}rr⩼ l^՛,#KRTs4YR'ܯ>TVZ4|ϯjJ :̪VP7fhY(V|l<:=;󿉮0Xx$M4 @޳WkI?QVM/ ۢvHhyqܿe{ Q.Iiñ. !7%B9$U]8KwB&,_Upngѷ/ 0vI`0qP}ҼOY:A\J7,B#QyNzo(W8|C"Tbu[ JVnb&o>U@$b$|D찘jPYY.7A*eĆ G<]^G^5DΑo{O3EC YCu|[W JKQAP!6!:.Y&u LD|]Ԭs#FuRϗj3桻HA^b!y R1u6ks:}\,{7Q}DgTwǿYPFNy,-YR”}Y@M:> գ7:æ{l^5Ge醺sPD]nR-KN]ty\Tl䷺GW?$u:VQ?h,.%|])B.Hd[ +)P]m/ʅ;%-:fp :mu <c1墭VVj,9Ls[y^j=GQ8erojty,oPu?,!pROxt< 3>ĉ}Q;U?R͏<_-qz6~1RY0k=aAX`ĮQse%lGص}o.pOHUKSY=B _ZYƿH&SKE~]^~}VOH(uMkqcŃgeXqq[`&eVb}Dv})WVLdo_ę Om[S.%ehL {ƹiY_D}2 ׄוZRF*6PB⥮1'J޺LA;shW`9{' _y_P&Mc TDGo7UkݴlS_OsR jp[eJ&z:wTB\CMy4\B]׬e~嵒 .R'Pf؄M&7{ɴb]x"^ ]9׍a? ûEJԨ|CZ]|Ca9K)f ubOP'/M`5<QЍt>|{W a9)sb t@-O6x3Zn*m2B/w ^h-ծ}nȰ_hכzdqP0 @GJGGE7QyLKrcak{ʭ<\iN(' nMjL@$,AĞB)>$n;u|:,yOًa4|K)OV0JU?fb&h 叛PI d)n5ka`_Bxf5/SXhi\h' yltխ|Wr z- he̔\L Ҫ<>DȠ{!@I͉@8rFuw.z6G)g)˰Ǡ0_k0b )\'꘣)M7$4.q~O!E|l}Y ڱШLykpLˢ.ts5wɺ߈R|pḽV?raΉ;L*FxJT"~ٹ]Ob[w]-ޞ=6=Ǵٲ ;\5:6OXER~(Iǖ>EM϶28=~.%"M f>5+81WtLޱ7Fy>K1 TZM/HIeSp/`Hl6 |-}$N"ncoй"Qi>gj$GtY^(E7V6RYT&i}nPRBҷ@3sPgB(D۲-&JO%d)Ǽ6PIy! TNò]~QK^SQۓwPfLh/֪ATx]1nV.3hଲ8괊VY+xa#L:7ʦʡn=#*BK蝒jeo N<8z U{B.f=rb6D3ijz]7>r2<@sRBFEzvv14>ksg_lEB Q#Pe_a|]PIʛ` z `}(f?, :MM>nhđ+ȂCv~bJ0.[)u59,B Eż9S΂O*a(F1WB c>/LPu1G)L)O]3ؔiTwD&-4:k M~2sSBT6ReEB}³cUjD 8=&=2ugS=7H3͵;,g'.1-ژ"Q.h;=d&c^fK V#;ϲJEt" Ua"IZgEpЅNb1(mUxs锰*^i@ !ߊ_]14Wa80C{h62@pc3XC}3޷>հEn!>uV[p,lK)lwV6# }ܶǪ)1Zp+ƺWwQu9 mAB'v_9)j^߾E[)kJ7BPB ]v9"ޯ剅@+3VL4p/ΣHA{95Lk̫[7:zlAè att3vÿȦgu MRCU0='12] 3B !wy}5>:(g0"mA9d"fPr!rޮ*@ݪAB/“~1R>1' d&$|Xfc>˃&-_,N+x =cgetvYsxh}owQJPN{ gwhj櫓 8,I9?3LZj:> ߥ4:5ʵpgq&0\YYLHkW+v\C>f#>Wݝ,,(4K{շX@ۺQƢFڬG+&]qCBdǍzS猥pyt/?5Rh" DhQKSbXb$K.XD]kxA>_dGqTtiJ!dG/`Â`\9&o/ KILL<X(l yE,ze0 N% W$)&-Ffv>Gs_{"# wn2(_LZ=!dRl㠈^77r3}6 r>Z˺*ZRߞ?M/9wrUOa.=F3 9hVfىB.mIl+ @;]dml#b~6n WXۻlVޱ0wC,Ru8DiXI, \fi%8,nh{mabB.0Ecs$`$9[M'H\UY LĹQ<1<xEK@H m>(tTGQkyv 8c7/O#,o]Ъr(ŀĹ~$liK 7fXP|1]Q}5Q#)F; ?X4I`ߛU{FrY:r]A[73fػEAH_vlea%;rfRps̐@Wr+iDzhOgUt_x7(7m+su,syaxCv dIbP >]x-]LE @dl'}>,=O u |fvòh:d@"_MsUSQ3!%ËJ|LAבbn&P ͽq|p$=lz1nx2cJ\6 GMyӐ ~ hXgJ| \~T)/g}\  ݨ1S 6fq|?:vA#p=TX Z릍I; L`Xj4n3Oꔴ1k7qmA(Ck OJa%ۛ75g)$0cC4d  - *wYe2x0M 102%*TC_-X|x6ӹg Wz+,h3m),E 2OEVsě_䛩t%4-K^M♺O1}}1WpK'KA2 z?Vn˼C`5V~nsL BnqM@)c止BW;5lXхW2-*P#:("^=%Q1 ǨrÜ;pЬ=Zg3(E[OLsjya@g$ _8?oxQX3v- )Nw=ytCb@Ax|1P Ma'P\s3"eb:ieO8ҴsB0 -Sos{1ap g8]hއKDƒo^,8n'5|AQsx$;ϏB(,N<ЎjAmؿׂ3':̦V8[SEpc&`Etg̀ n}iUQҞƑZjb✇ò(㚓n8KisRt̜ҵ55$RON7ƱH~qM2"A$;fq X+}džCLd۷7Ѿk  IE6?7vR\rmvCDopj0b9ZB5[Z"5j\:TZ)R_`ĩN1p|S/Qx轰}J A T̤ >it?/j٥$S(FU'h( Tw`.JVFm3I迉=_pƕTaalGd Evr`aH*1ͥ\ xWm֓QI\Y$ҚV fg% S! 'S,[8QDDNCFv 1h Zmd=Oᚫ+k̊po%@5:[}*)b{/"T:ŤYOXDѾ+KWka"=bE͸%je! wНUݵ޶_ޅDi%8Z=HP"Z6Y[&mJs; 7F7֟h+q~E%:^4d2]#nb־"`Qʜf%:V_yHҹzW~O]t(mvi9w_ 4072r*||Dh:2uKN|>o|r#߱rG` xF:ڕ}N|f΁0{gݥ0 p-@}L# ((MMDj--w^ 3&Gu5k"9´ ͛$>"65Pfc$b h]uN"K&qLYsK sm7'}(ѭ YJ*xRΞ@8g!CG)pCm*|PL;&]zc>Prުn%% S&o*=.U}”5E= f$c V-ɇfBM-`J& 9OZI:RrAshgWxn[dd6RvL6㎮n_ v,r̼ǍEx9(O ˬJA _$]03G6]$Hacό%(QI=8;[8;vN(DU%M+ch,u[lK?/-)bfSjvIapr:#*<; xR,~œG4,@+*aS,ث'[ 0g~dᏸ]gf⺺f*h1S MBh Xv=a1U:>k<,/*D)IwyΉ&šo2%w>}pG It1%KBʄX ηtW:H`Yu*"&Ie4$ 3N)h<}u$߲>b1۔~}1vH$LhGq:dlciЬ [_~7 F%}նC#ƀgk_X PD].[Y ysEFQBʋ"_e0NS}LIrB7*-EZE>I?ٙgHUps]jG4UZNmhha*L/mH؏1նϲ*uV. J1v5*k{^gL]Ѧp:/誂<2DH"Z  2tlG 6h]doύ@₋|jLbU"Ɠe+?G2].X ]vbɁ0qrɉQ $GE96a-lQL*j@|4rNS Of*JnPyv ջ:r r>>fM]*{(E;!WQB\D+J7|I[*˫Ma!O-k37jf- ࡶ$R/ TD!r֥/wo;EÆf1F,10Q\Dz.zyLbKY_w0SxA"?Sc/dxڪ% o4(O&:z31z`-.EsN%`'+sJu, т9г ЌϾkRIa' Eٚ)cUυҸ{ OA}?{AKY(M% KZaҨzDt_YUaq9(Ycĸq2`Xa3: arM!9[@HݬwEpJ[XtӇQc`%=V(e1ټѯi\v7o ΢5 ӻi^Q:)4pЖ 'M3g L҇&z[$p:xo`0$,˙QEc(8tSp U;c׎|-4aqÔl#S-XP7sC0:ݹʻNXu5;}l?ȃKdE`1l7@g$64 ~YH`/NUgߠ~vK ZNon#,mZhz?@b7kbvꃜ.B7|@ |Z{-t 6~nWkcNa'.08#Q`|$LH9D )xLǙ}NnbC:[R`ޛF®$T8|i4g _{!) ;ecғ  ْpSF&ZݚdM~i󌬔1),o5\^]mTl. %+ƆY4n} w·wȅ2'J_[a|=C )F4=}шvcF"ӭ_,T#)H'J*,8rS5X;q׫$ۗn2,5Xy)8td]^>T9/%s𪕟vr*$h剧% j]׎]bhFo}Y|~'^dI'f#pvD&JPcgPG[iӋ4Ka#XںRSlH'8Rfuc2=KKI Տ <+ۮSh̬-yԺDZwM"O ;ZF"tvtdj9rD,*|(IkrC$zd6=,If ʞ$J/ۤsꘛ6š7|ƓLck ?,pQM3ٸ+lP~ZZ[HC6]~;̵i1^ATы͓qxG=S&;5dzq?rœFn'B)wC#8)#cZ"zJ լr<}@ݬPjb12q8x$O|u,^Z'\r/u]RVҹ-V[qfCep DITSdqV3qFB, rh 1 3&\ۄqnj|QV<(V; ,{~V_V=?ɦc*%g)/אɍ=@֡B, i-hs#R2s{N1Ʊ!8x$* ¼wG"@3׼M1Cj8e"+oKzgq>"eZM x0j*԰#wJ6|q/6bj c@Fv>N&# DE)ȣ^  $O{)m"(ۨ8"6&;!&=G^7rqoGxͭQ -[,h`A;F Rr%$CB~瀯#ZV,MÆ&DGY/n; V[lC&[ EfĀj e"A[PH[P>f6b]ȼZgS=BzɇעfB>!Gp*,D,x+,ϭ ;0PbrywMMD)AO#ʻ(*Kx`ćgV)F$h>)5R | ŵͥŽ8L%iI87PoKZP^q8;x/H{h:Vr<>O#&EݶRZ|͓mKi܎WG" 3/zd튽#;!>HItl 6{jE{%CV6S,qIIhf+OHyt/$Y4 +-[8X,_ӹW6WMM޽4}FNe) OVҶ%u,=8i]u! >s;YB!^t7Z,08z]XXsYSɈ>7p}nSgB5s3lKǤb^܍[xCr x3E~p>M 8HRM+GCtϞAh#.!v~oqD?i ׿$PU9 W|.Kxi^ \1PՖJlKB6lk |F} '8eW`F$`Vf՚`F.5S/,ζ9*):P #r(bꂟU*}rp -5:k1 O r sg Ʒc){20))<9e*U*oVdR+̺6^\·-R,=P}rE}9V6v'y髩oNW(=嬡w*ِcywmNǁxFe Z3wg=~\Qp5fr!rZn;-`u`H\p;C:V_~]e75ۡV89v;oۻkge;- d),$2k@ /Uĵch-Gn;5)%i$mdc)"Sp\rzY"C*_AV*^P-㎎1ޓ'U֨k4\]k`ӿt6l) ,W3Nn^Evc!1 SPW ɐiADi\T%5oP@.G~Efw9Dn#Ɔo 4K͐RCnquj:MdE)rRREA,C UxKDv_hFTÑ6l.NZHѹl"|@5CNCUWBi-:09dh+pmf+FR|}9 !HR?@Rʃ#' ]%+|ooaԑ=/i?naRH[(a`d˲[u@^EuS,㳉65.IQfnzӦD#yZ_ h0Zr' vO~M=t2iB {  ?'ge(5>MaԪp/s؂#8u$ܛIS+^  nVK^k#$l^g6ȗ {ɓ|3&Ă!Kii]%M/^V-;b3]n&B1~~w jrg-6j7Xe} u"[cݯhu44vKh1e/t tE2]+iYnTtۜ;$2U+Jd%"Oʨ~c㹟k ݆3Fqh+ S&l]ErD}jZذt}A :]= bGe54Rmv6>}'mS[ 7]+qjfǾ촷_ QM_͹t:X_J_O1h >#oQlF{LO My $xT->!xi6:PeH%7+tQ" $ɡ1:{mFf:v ,m>: $ ⺞`WND Slyw@{VWB,t &AQݝzQ1TA8MPW'`rc6  vC/9iM{`gi]`9L#qd"1@1@#OʹL؋:eSQR_Zep0a;N|C{z5.WH,[Da!F7.|5WbecFсv$3qs}z}W/y&\IsYd*qk ȋ/y^.a"eQD0KN_hy\o0ۦkҰ !-H㾱qK(FEEz _"s۶=+*2Oak)P\cg&&GZ5bAU6\_u8#eeco)iLy2|ƃqU! G%/!'7@8 $ٽSV(kOTtg mp2j6u$zȌWٰ .6s.T:/I2*^1(;ELO{,vxH1,7 o*jˬ~ "8ᢝmhM^#ۓqdži(ECa̩e& t cQ@ ??U˾^Ilj&'$tM:n_;(W$(rg| H Qz@ŏbMF\aO_y! GP*QWeYC7SxchEaKI?4N3%Wa c~5dKЗKH^k$Byb6W}~a, av#S:@uI}נXʈ|