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 w5DL ]S HOL-Nominal-Examples:threads=6elapsed=269.880cpu=1254.268gc=142.564factor=4.657zXZִF! d&B]ŗXf1-q恈ބԍW_8Fkw!39ڸɖZXma [U*U3.o$(@Uj8Xj=X(t0(]~&pͶN4_m)|iBZ;x^|cޒ։xjRʭ#qXhwfDe!1h_ ?ЊO@Ekf͂!QceA O[;-m3Y\LdiћVʵRS3U IW~h!bL-;5@>VM,oףּN)L0+?:I4ߌ/2KJ+jFAמoptS0j!8 Ev:"^t)hCn[A׋ּwtҭU 29@wY![%3Eۭg2.L]l^̭iB%Cv爃S}q ؆y WMcAUKmPQ\PazMV,뻘妝,Oy$MtpR68{-"Ohb;^0˚DUttyhNC{5`ʅTEJ%I㮓T=ċ9=?꽍7NE *-IyVBsi^RՐP_X(&1YyhtV+dԛH.gw}^`?8M|t𕩪T]{J&:Oόp-NH-n>T mCy<yj̀>XAo?r с-wZFT?Pe[Y ЌԺb6xK?d\^#01eqMr{[8؍L& zIԿ$AnƎTLQL%5dʔ_mL~SMUנM kd1 BmQpҾq5ߠ)хp]2~wB|RyorH4 `adH#jRQ6 ͩ>}:v|#Iiy#Z;T@м )uߋ#2"ausWNJ¥+kn\jE1&wE;ޖ {h),_Z\h9!d|4sl⦔v[ut8bSFf(*Ya0:D\gxa*BeΜ hYPd3"%"xlr/4$8 %.GÿtNh*= 1ވ"Nb)ovɩ4`V#R?IU5[%1e*T5x5K =҇y]<[`y<uX$g*Ю& c/֎_o?׋]uJK0Zf.f{ "տ (muxGXstt-گfPiRgMy.'"qѦr!yi&Ud7&M2 7o;jѴ<'KJ'D2۵4Q 5 HOL-Nominal-Examples  aBvCJRFƢr~zF(*eͳdnLofmO$D_I+ZGc @缀ef~,hVr/IlSP!~FbaM-["[M*8}S)̃1 S?fbW/TW,̍CԵ-/NƑi!L8VBeDnؔM"3'HYS~JCʴϞgzc:7ʯ3mxpo)w_4NYҽBo**dZ0BHZl&ҶZTp|WP ʁV|Gomeaŝ2]J&Oݮ(.SȶQ ݘOcBU@)!*+9= }p\S #eX780? fᓚs{:yOsffLROt4~GƔl^zk1(x۬O ߜ͇(ySeNPS1aN(aqUF$ Ws R3;gz`+,5CLoEn` 2?vC*Ysև)ze־a8>lQxX>lD {WAP% \GF_KzA3;}J>,;YH_,%3J%Bʌ\vW P$3o1r7]yӢuHJwuC#'`h!_eA1t/jI&xa&;МE}3iZ 2(QN'Ia:;7yE* u~8H=bo$wV@3 X k z6TJ]b5ǵݳw\'>#v"4XLd9ȅ>gU5:\~Lx4-$.=:O9q6+ahTx"8m6<9d>[49' M?B?2Jnؑu\z=H]t"эjfDTȫ<) M/ّ[hИRw@&|u۟].3W߮T1b0d7F'yڲR Q'݂ f;PsK~K*Kӯl16u1%炴>I7&EϮCΣNi! i2C2pRϞч3oe'<̛qU>N@Jɭ9cӸ[:izjWUe1z/B: ȥ8NÁ;?x+<ORiae+`)%jpԵx|P} ąX>qX('`!Q% t]qSnȔC)Ng*FôsF:ڎS&]rFmt\i'IEtwx%Ow5Fx=V"Op vƪ8VPU{tdG.) gGɇ\gdХFdJ^' es_(LR̘9ր并}pșa`X >_oziH<((&U'טja,{jgGQiJ)_tuXxp¯8ʣvRɌ)8fu1r#EZG#1-qsGg b{yTfRC^Q/@8=L ZCH Xt+Us8 U$U{fz|/'3Pinu*7s_sӨ܉޾ W^nkZsgR ,m< kMFPC%=rFj_nt"k10-N.9SNBʤON嗓l-kl&dN=g8$v"C+γX:N˧JɄNC,jwT/:r]M )}e]?a$pODm{?d5nE_ 3!j@ NҐ)uKb>}V·-}1${$wye,%f6а0}8i "=Z>|C>eQQ$V@a)Ľ̓h;rmvQVfƸF8@`v >tf.qV̓`'d,?f~eξK1xMO~JيCaQX̺~}!(>y?[h ,KU5@EܺjL ,V_b\#,0'ƐIzWTy;l103̷e @C//g`۫pNpBvgl ѝ-ښv3\2e^c<>"#zaBm[.X di7. ZE# 73j~kG1oDEP+fH]5H; ǧ-hKNڔl ^ZpX7A<Fy :C9k'<'eov7>?hPc|җknniՎL:"+a10=UW%r"qSt &B`$'9Q_6 ko#L%3: ~d$_m ܙlyZC$aTp2R@'r Sӊf s=buNFZ9hkm$63fH@j>tL[bE YnX`MS W"f73f2&wJU3q<{B(mԈh`x ' JS *}^)5X}x=a}ҼG{,{,CZ6w*'QpHg. yͥ̕+)A,mΎ7`%SR `p˝28W I􌫮pw#'2EyEw.}!NlQGPVI^E  ;.G A;ҹG8␘#a7}>6kH]O/Y-9ǪP0:Vn,x8Zc i^G,^.BY0꽓`*}F=Sޗ[:zL ); fdHA5|ʫJ*:JJ[OJF؄7Ֆ4Մ[%-Ē4ձn~%I}?ڝnJ-Z 瞎 ur?ޕjh:!X,7ѿVSI!<.84fg:e8O\2 #=s\KrܷSFH7)|osI:S KtP=Rn]Q֥R[ՈhEe_|RV;DtѦ^jo!Vn%Rc+QI6}5igjd0w{3g]9Sz!Z `فNsyrVU{_nIdOl# `t:GP>+ GN ֛m# Ev6}268TOzYv-qD&\^a뤠0ˋ_5l?ҎH moG1*ehLÖ 1鈾R⛸cYS_ccdf<92끧ڡrD >\z9$0E]#mOQ4|?}0[YT/9j. (hp5-t)mc!y<;욿(h1Pbwod7o﬎Q7)$7|::znE;>T4G/@J޿" $u"SFy4Կ)Tm,t,ړ h/m _(}4"1'fM}=`|gY|vXG vObêV:'ߺcuIDO`?^yi}/٭sў]|*e\Z9\9+-ɨ$305{DR;#J?Z صS}dq3%cFbx94Y whRꀫM;z[PdS Jid 4%9˅e,ׯ1|^ K3]QuJζ04N>?( w._NC5v`q@E͙R_ad"pxP7\fQv'1gʃ5$EP׵i{aZz/V195!up3Y?wX{&RqDx&'HPv^qmqϞG {bT4b.3 bDxLIJbz!Wusn,@sL+ 7Cߖ(8^λOnwsN67zc]37* 7<Ӑ`KY h``iœ+KEgN6/k#wvlBЭV,r mDSTя-F)=xʱEv=_beJjE9|eJ-Y˰{tAOVJG)ަq<\xH}ڄ7OQpOVe]@M*Hj影A 2TZx7?+fŠ\,4\4+l]4By%j2QKuWsa?ZyiבmOJO0b409b]%5Cȧ U:+GIn {zN!+miT=b5?LK 6=N`~!0`nG!9![I}^z2|okgl{,aԴӊpbJrk%mw>2焛F-K!d{LgYZ7zXZִF! t]ŗXiɟ1ʹ l93攀Lx3 aNy\(~[m_VZa&+XS>Tڧj|HNױ݈| 6}g/FJZ~PI%L֐8R ڂ|S4!?Z 3s#Yg`&atHXrpJпTb$ɰlр7vn*eh Gnׯh yxP'A0±͡~̞ b#L)e2/ٳQ7ECIh"SFN8膠's8k{67hC\촴Ζ (V0B$ iUɳJY,aOo Fgn{?YRL+Qcg9K舤 ˅W E-8dr'F~QMhБshW~(KӮlYíPRxiN.B.-dXJ,f{XD;DZgYZ7zXZִF! 厳]]ŗXi%B ژSZ|NUzlBA"!@=/g:k-* 5en|$^5ml6{l[U-9q:a>oIkkVlyu\V0|$Rf;pJvحc ZX@YC p{7[ 2 *5uin94 2Ncq(ٹy _Ɓpdtxq>"ER"98wSb}7ބHm`8PN0(: Rվ/fFu{8=wb< 6i27BF0$y"Enu]T*5ؠHaFyHҘӤ^$oUR69&)Yxr,,S=3r'm63/xr0)t6 <`]ƿ&@)oVJKZeo[.[r+F["5k]O8 H'? `0mi&I'!7X!pm8 2C!ȻͽGTDU=^T)svLb5jg:#QCй@'?_s,X~D/2ح &~Ssb, ;}j'<m*?hs#|$ ;xs| Cn+U HmV :az }l@ n=1ZjrOV-غP@B;Ĕ>m!T3S~$߼Ҷ6.<8ރEPYĒ?IDRO=E5@xemOz>BS@`[lp0 =n:Րe]I-4JlAyB{Q*A=S]:!YHcJSؽtwg\ :a=CGb2&C=X.5nˠ`ӌ OՌ4 (>mw+K,qQ9EM Y|9u'OI:XC NP}ƭlrvs"5[sخMfDCH5=LeV/5 ?*]3\3@8HN(' (FX~|462;ut *`A*I Ku0D|0FPt?<B-kdȇ|{b=]@ASAN{"p ?6$a$ӿk2|޻m21;G= p$1o~5MW6hH Z4n7}\ ^i*JTbq` I~C*_I7iz%]: n70T9iȨqSLϵp:֍< td4@kBL%˖NO&[|kr(4cS7;bt _Pj*rq8ޘn/i/C.< ~>q+Yq-3פrM~!bOBħ-:rn۩nuO?Lxǘ̠"Xs ,h0Yy<+ ўP{iB%E!3VQ>*,iD66M/𯝑_%;.!rbJU*!K[*zF6\3伦eьNDXXsuᒢJ ο VZK5~NNSM bq~uvsχX ԯѷ_* şQ6S]Kh}}]ݱ "pBV)4!P.p•M6Q|Pv9P&!_!I-fL`mNYuϣT6ob%rKYVEదy;ݷH.@w YVU`>5ۙA&aÁeŁ X uH88֩/K _OC. 2)tDxb[8L[O"3`C6Њ s aO*ذ/Ky"K34XJ&~`Kk s2,?jkN,IKo]t))_Y87tj: C}CQݏe Z<[!Ԩ;@Z8܀OIRV/B$WXκyc0uKӐ.4v7yx4:MDA16$ aINH9kk[VqP򫤓IH ꥃ^.KCntVYcʵ H전1v#d\?E* Viבdh8$Nk]_(u5qQvKM00QU?Hy/:r$~hHK4 ۭy?%=>xJ`oⷴH9ѡ݇b::ڼ2u,0۔0Tf0^h gw1TA[`Al];ORڌjfnLxqOxztM+(@3^:Z\B$^(xO}HsIҦHyֵwsI&(9)_-o O7s.gi ؖ@$OHVM0>x>ZDj-ɸԳ3S8JA'ܙT>_aen'/(lm'k/"Dj>{:FT0$(J d$bQ7AIdxEdӛk4g>L]z:ߓ/x{ҋ: E%3 ܥUnIKVGN!\8 Ea_!@txI#? ݖO1@\"ョp35a9P[T3R`6a}΂ÑyUiS, FkűnSa7BDDkk ?S/1YƩRrs`vɵ7e.Ef\쳪=*u\vK<,?xh[juZ4wEnEv?wOO 9 s1Pڲ!f^0N[>BKCgAZ!+8zx_?Ylǀ'LqP)hE,:4(UDyhnq߶/3~[;Hj$z6%0"T3Rr4¸hkD2Jx~ߊKg-+лvms&vhDnbG]물;yBCF'f Orˀ K')zP$4xYUϳZ=^1?Km\Ն~]K }y=Jި- fMnV[WeTGd 8Hhg&ݑ)s'}lo=i>!WIQYxKݷ̚ r`ַT/PѾ+dCpɭjwFx6ώPwLOq=(t9]o'YIMŭ]oHG̒f- dE~ڜx#q ؀O站l^E@֦ۣ,9[QІ4僫kZ ն0L3F3;C: ^VMr{{ruL^ v4>Q`f6%JA=y `!U4oPз|pܜTe/0n=F4(fkB|X,4gBYTfWp@߶UJlI:X.b$$FqL!iU'sJZTɪ ‰:˒<(P.2{e]JTg-x>]&v;8ˀy>O%_,qTIWxmr- 5`[n' p0~CMN0TaV_X rBz1B _H,N֎Ozu**Q(w*W0e!:pcKFjurBUVVѯաP $5+Zt |( z5eOOr[hXqv@"h5PW@>;x\JW,i tѲE6`ʰ/F9i:/FIgsN3`£ZP30 dS(Xʧ#W|A&͇Xw:5LfWv(|=q͔ fdt NH#ӨamBj| +'0~`>ɖ NY`H M NČ9{C`r=vӟ}ץ7ggb,` oSFT5#Ak=|svɜKf[РOpeOyO$_-b|,ĭjUQsoǞ GHըPq%&qfN0j9K!H!Cߗ~8ʸLIKMH_ BfytAcq4#pP_^HBVmTM/K$@ppr*tBL>^^.}Xuq\?tS~jV g,.(޸ xMy3WٹZŒb#z:O'ˌR 9ѩc1"˸kϦWw\"U3Y`ܧ}х{N>!-sM *p?J q'ײ4r?9 "p1x֑ p^[,mB1j4u~dl>4:g3W\5r\EO۟JC)g'1$5"+TQ Zyk-gH$B)O*ֽH1&-%oN(dj!A|^ث.nBpP拝ΥT8 `Ucgk\!UXs$YlxP^>'se{pC-*0˞C]0IuwLڿ`#lO8|b6Cx_0QI; Vs$Rb/`kQ2ZhٰsAm2캛dMWbY͚ȦŽ*mNU C-] h]ÍH/rIlCq궬 &Lt_$S}@4H[:ac[8^@l˥BHHLCwFd /̈g||)4g/8CwyN@MU|q5N&A7 Plˡ܊H8 8 FU,akv҇f( %瀦>TSFYǼ^%+`ŠVOU6~ojS@Fd;2No5g?fFݫOCwěZ*fgF,yѼM#Mz_AGMD(DJc~ o:=8Pߙi ,W^&o6<ԒGx0({b#l0Z۱6+yDpJ JfGVt[?0l8w'zLiߣx=~Q&V ' nPM"a);Fm鳛[U=5Y ΏyH=$)RyftIMaYtGlgm%2hc2- &CܝD)RJLxOVn[Ek3Zhc6O_2R*5 [#.zRl[k6TI/Y-t/5&I|wXwfxe@ [D oY!m"+l! 'czg {Afc>hYS6we?AjJUu-a Kjb7xGAmh"`:cbB sQu $X;IH!~]^519l 9c8Lc=LWDSoFieJ9V /?5xJrn- t܋J4ߍ/=cpSr)SA hdkA)Ǹ3M+[+n&3J>Lck]>9P^r{FB'fSzƬֆcy!|$Z/7mݤ{-|+yדd! YDwS>5 |_. Z6.^J8, 38 󮩮 E>X,eGYbΊ:"| 'EvBHDz',stY); @lyܯuiCFX N~1if<u{CV8)6׍ʇ6HǐY' NI;lXhb:quo6`f ؂P̤P)^k XoU8XGgl..޴Fj_qa_}+4@ JNFpU!wSёn%TL; Tx2y섍'a82De~^;W['G V)UMc}oa w:?~tT$b &brZ!^-w(DSc ~Z^Y&h Y_bUU5yJ]#'\:xγ P7QQq +%~_B-G/+uJXc H5;޼׬{yT.]A[I~uHjGeaD8ܠuUh5a:i`k^]=j<7v6҇3K lz%"P>aS'CzMLq 5Z&܊9ĺ{vMt\\1! ,N=6jH%eD\y:H%n7U zHr lU)3(uMqx逡c)\1)I%w cQڅo9Lw+OGF-dO;3 & D1y(cp2DMlABsAPmIW[u %k{}p,8PTΔ !Թf6tV?b#; p/*?1d{Lq'E :CėŅ#'k{ڽv/n\,iQV4`u`p4}:{6Rz ۞&x•ccy(o3=%'!srnFzI|rkv SWR٫v|n3@C\>CT:΍(=Nl\WP0F:jsoz&8<߾_e;P ։e+qRI=nBzRPE,fu[' 2lB~7!$Z'(?ʛm2x. C>`Țuě(3,6 bQSUփ&إabEEn4ڹs EEppfuM_@MErIأ0 6[3ax.=E@9b@$oe׸ "#B^.">޿{Qa|B;dX}`rsWeu)aԥZna9ajd:<:?(T>/Pe><3]J[Aªŀ8>s^G&ҎWe{´Ol[pt%r:~&48RE kw1{4 {",?svnq00]ot[_?srǼF.OV]Fs8 *!? vvg)5)vrb-e 4II6bY8]I.Ā\&#x6DU!*<ƙ`x-~ލ.[-1@jH1KmKDqx +:ȵ YH ~~VQE_p{$p<zto;ZOiOVƟ7q+PM0 E,K!9Ts`!֝ B*X)F,rP? v6Ǹ:rʩd"`cߝd|k:w^ d"@­}'jCH!$H(~Dl6sixRE)ûM`e6YB%)զA㐴h$^C,2o z/*/rITn%įm3mX sИjxju S9MA-xh"zGAxP骗Xq_EpؑQ۩ObvAm?UJmFI9z^NUN-E(Կ&ASh(D|nm!}ݥSKzŦL73pb3nxi)1uhoc<4{Ϻ|jl8CxawY(Y o!e*yJyyP߇k8R` :^^6TQ]t15ș- =W2% JHi%hu=*򡽾ahq8iCI:B EG#aH>/:C}zZx-!euGfo}0Wr6^汏C 6j+XK=K ؓ[ڛL nU\e+I˩Pgm;D&V|sYXUbBPEqvTS{#Kda҈ BDMe |FCitYfn: +k]ztU Wzx _Ȣ(@i;ڙztȫs30ŞȒswKi h0!05W 2Qyr;Qm&-+gvZ˽߂l}f[_VRkM, 'CMaw^. 1Fչ.t`搐~gG4254#E|[ Wvf"*2}>H֣ǚ]Oh7HCjǫ1iD^̵cm%Q_A]L^*i@0Dtabk{mt(^FWKC^Yݺ43)_RMwt_[^5Es6(Ac9mjoY`I[A1;]L)<+7 m3Ѳ.r*gVXvݫQ?ͺߖZV|g_;kAY  @$J^LM>#HPЎ%3 6WAVx웺&\0z<]P/t]BIr`?79Q쨀wxKvTN^]\|hM3,[7"Ă[(Oل<ƄI&6,P^82 *`} ]C0eBdXS~4 UiϞ,2(F)hR5}j[֦c;7OCn5 ڏ͑ϛ@cy215 `p|# ޭ ,~gpƅ!n`o#޲H\&`X\bx/DpTMB. (TsrOIZIN"ҁOnnRFx[&F#;#sQhZ?کQ t&~WJ.w KY qJp+d[wcmZ_vBXեc<7ãv^,pp(PO&w\T 2mBD |gNr*ZP. _D"t E 1W^O'0`Ȕ|Vް=bp$b!Hwmt:'&dVu1w Var%\N;̧36˷@ 'ӲG~/cESobOD0ߐO"gl b[*P)`PPeqmMDmp8;@Όt\tZswk:@ڮcxbp RtY]{Oo*x }PȄBU0pUV[S:Fk{TɿoJ&n?(PaD=Wr}Ѷ06r+{.W J ] -΁$v+},Q,d. Z`P`<}O_AZ K0?hBv:Lّ9Jԧ)abq-0鵇\M6+M @܆mHyyhSMq 3`zM,Iw t2RFyAIτ1; %)/՞9V"̮?TMa\zQ̰¤Qμ0Xf9MV㏫L{SXǥ/VT]l̻*94obrM֭o~l pB)!m:[ q(}i뙚m]|: ֏J.ݿ{zFΘeb=w9yJI+^"qn1 Yϵ )Fp[攅mkO$bz_eHh"\*"T4Xw^I5XFӥ$=3U(#|OlлgAB0Q]ҠdE/&zVdka]p[ u#1dbsK Qgԇ?^5  EJF<|'a$C@>޺:< IMNǜNS{hTTmԋSkI}mUJ&.@Gʒ7x2|l^AZ ܖqm2_^U<7zHlzRҿUt`+mjXFu]GJJfZZw Ѩ #v漻faէnn[TH'ߋۦڲ0w؀tp}~p^O0)IzqaM ?RYrB&̺b7v/Em<ۺ$SC{(Yb@!>*toKdI&xW'cSٰH;A ^ν+א1JhӖ `h nל<7C;m `Z1dIV SP4[G>zC;.cl$t`HN Z5V2kELjF#1, "Dr<4()?ÍBCWfPN!Ҕ{q4w.glJ=acl)޸` Et ?[`Pa|Ner2q'o(蝤@@ſ ؞in,+M_Nlićfl^ {Ŧ&g#v ,.geoT8tV}u q7q&[(N }k >Gן`CMllּT lRܾAANWu 6oTeQp㥿]đ9`^SM8c'}WHkpR{ݕQH<'ځߙ}{@`0,g=osI~f"BnbXN%ʿ 2_?DZZdb$ۯMpx$e恾-Xo:TуkP,iI/ʸź~'$C4v>/x-pT\j.UlVKwkRD%y0/M%%3~PQ~/I+4s+W*ΰvp{qcr  SJ" MTqIXF skU Gar3;l)\fg V[S2; n.+c^?:UQW_ƭ>*˕6ZَQĹ]]7v28.U|Va}jrh-n@ٙ A1GJ$FRqMa;1s=zsT!r3 ZG`Ψ5m4n 5n8Qٖ,[Tl.}Sᠳ?y“Olg#9=`D6Gi3.5 8?zu&n$PJoRyUMU+E7+QEz3fӏl 59Rޛ!V4<9Ji+Oh2&ht_T.9| ] {[T+ 4K5cIp92axU@E &̽/UA, 9-5 >YO"2:Cz*&@Xn*#"o/[|9TxH$ j韕NsaM]:XIق)+"69Pj {~jqpbA=9΂H/]q!O雏I]⒧ )}5-sh. ɁOMsLNxJR#ܿX&8`gdFl@ )BأW#X Ut !獮.ŏ$$m-yRisKYM4UO+R'lzSR\ Ɣs }n[,KǂI16} y^^]РΧ5yH)۱%b Uwѵ"z5g+UnlL ]q煮" t4뮫4ƓM$Ցc#pxW+:9b\sو*$x魦z2:ᕕ~)`DtlDOSvwTL|Rm/,8Sk߂(9'G:[0/-?Xؓj >s`vҜB-LRLfa kO+{u۴Hh3/yeb\WNH$c N=k. HξNLv[—D7/{_!zu><4z:UIpiEIXo؆>Wrb{qJ~RG(5_nw|NjF,&J5ڮF {qDXI`^~5b#|ezT@E#7XFƥҠ $ԟJf63dL!$qG!ʂ;׈cySP: <*|ڎei[8a)CꟈhKS\.G*b+*"#U QJ\Sa[iV{r ).=eojMI\lax䅫oGI 3]\=tV|vtz5d-cS-@\lts6x$IVܴ$"3DY<<#SMC޹;JG%+Ek]ܔPS4fX5t\ eʷ߹5)^sOVB/s}:Ywwd:҈)eϚ~HɂLZ#i, s2E 8ÏǯQ YXw$ 2;')ڙl)=0>s [~),CSwcFu:*Y\*`N4Ŋ(a\?q 'w&bEeBM1+'G<9*lq1Vf_ghK-6>bM09+LnXż>Gf >V{c9z'Z=jXRcbWpg^%}09D(W?ԝT cﳜ1pTԿF$yf9ת!Z@e+c|'p*} Ƃ{ wXf k]cd'RY^LUseܐx<X.;t(DR m#c)@6Pʰ1qC2lLJɣKC9Qw0lT$~:&