SQLite format 3@ 2- 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 V<$ u]Slicing:threads=2elapsed=660.103cpu=1135.444gc=16.112factor=1.727zXZִ   SlicingF! h>]ŗXf1-/6vR[]\|⾑Th_&SXu AKDŽJd7<ӝ/+s3ęvBKozq[BvFOrh/.`C l |AU.&6Iѫ4y+ˏ_JȆDSP˛j$|4 K/X ub,鎕$ˢVdGj6nAO {P;fG `ц1I/|('z.æeH,aoGXhR=4Ip}(ӪR1Ĕu؊wgҷoj@MRU"+#H~_|Bntt!i'MzUeϐ7jfy{~mk@C\uxH\7uT &򦱙qM8# B-=l`|p?N*˦x`B\!mJ'َAEBxEv|=$;UYrUjVv xx:x%s-AguzfU $'6j=3[5 #_KEGѝ31ӂ 6? 2Z b\郡2!QMDl{<8ڲkڂ^%TY 0gylZ-ii|*ʸ,WH@ZZMOm3^2MDzbEeH9A+*b4aI\b*:dp4\K|n) (Ȝ+;O+* QALGNV5xc"j?Oɚyp}{[E;=bꁲpD~d9>pL-C7,#qm.[A7m^F:R5*wͥU>f|\c@]HWk@M Sf6CCc«_Ms$ ύ^GQY\P,0ٱ 4o#oxA*Tb)NT;>~!d@2Dv}ĶCJ!̮!@ﬕ-&TlpwWA_ԥ4Q<ȑhnAB\$RlZ3ыc=R.Ԟ#6)b5^{7WHDI' L"(2`C#s}EѬy;7^XhOs@U5庇= `lWxCm gotuQQSMTrqE[9RaV ?zp}L #cFuR),j a ɟLca)dom˭gI#[A gk ӃH~/}"=7&[N _qPވW!J aZ5wr9/8aGg; x Ԫ \yYɼDI KRc v;\ȧ؆>Hv >aل6â: w]ZЀol!SbJS34v>KC[jʝq}*|\&2-YZ\ S6l(19+hز Ə5x^V b^0[|+e7cvrGa5O+dgΫǽx~3j 1Eqӂ.hRw>Ԡ=C+}Vێ3iHQi~$I;zګ͠bg{r2?8k01.N q eWstE p{x9<^6L6l5iPM(?a:nS)3lvz*LHG+0⛤+}*\`NxOH+" ^R?n&N1}oa[9@`TfI2r'q۹bO. 5-m—R$whKFKyJno)8&knog9ya zE!OY͂b dl-W 1l J`[ Kk@W p ϔ),`s llYy'waEFY`[C=7ұ}  KxC<Ě-!Yۿi]QYփnb=0KO&=cG {N4eD;csSƔR V&)v/FHWFZʲ8w4,٦ˌucqlѾ?,5tAdn30~0e`a Sz) )BV8BKF Nmf ǵx_Z="D7Xg V "dgj0vtx(gA~%bJ%mQAZl(7z}gȯIP?k/!UK5w%T`BwO9\)9Z1wP3Cc5Vz 2X}!}TKNzKHmmW լ+0_vާtC#\.B\dgm~[%X4.KVy]B<ƈjV])WqR{i8ZOاqTj ~^OG7K+[H +ds^OL>}16ro'ؽ-8罹]At= B%f$%S.x4.T'N)LjK[_~x]ӻ=-8G^ uȨ&t:79_S^*LPF-VQA[k 7vrU:>V0=#_s4> }q*6i`H䋮 OHS L#7WKgf+aZTS87޾7 ib|S܁vvިvK5&<&N^FN|&P)O!댱d+^Z,BcdhRf7%}پV U1Zm 4ه-0P4&~kCK&탭v rAHb| ,;6Y*,Irq=Yeq@0Ėx /YKBX}Ad/55)ذFLЬEI:Bɂ8A=" F}G'w{)1?Zphܸ^ +ԑ]2K5+BtAϼ= q"`$d=Pϗg#7qtfÄv0&di|~k? W`|aH0Wd g)C~K<_{1z&ѮC4Fp֠ʧAaڣM]h]IB!`If`otZJ{+݄3 H'ۇĉɶy_=~g>u9O(b1mӷZsme&+V%gH '>ߥ~Qη k< mt/Z\#QS&(Ny^I,'L{9m;w&KF}]{l_=o'ځ~ժpՆ*Ln_^VrA$g>A G%-9 _Tfnۄ?TH5N!oP]0 !F8l8n ?7GeͿG>txДPo3<|0lI5"T߸D,'m if uH85V4}?/ @tꩴ^i.67+- a:,@ڄ .0TŜIGsȪ4zg4ȭd ~[3F-tVlкzUG`:Egqp;n,P0mG]JAg*AaݘV8]l1Q`~@qF;|余$v3nqZ=ͤ"IceL%< BY6,l MUlgw2bfb NahA֍IbgYKCkF-f@ !x1r4@ҽm e 3ޱ%HKK>E8G C\X@ǖ4\ [d^ /jfDN. nfl]7 2;@ZC q!AzjGw :LQdLgv| qCؠΆL*x8`WDݓ/Ku>h̻)^J@fJv%E$s~ä5\M죻xRG͏R;k0cʋL" C܃Sk&,h8P`DzM{1ŃhϤJ  Q Fy!Mv2>TEg KfUGaT̬ĜPfg4R2)qYwы}wTz3}wI)9Vi.T o84*Q%WS D*@o 4AnX𸄨Ǹa{5˯5d WK`nB(0/IݥސU(LMĦz6|dl 4x [+u@±WN*ưJSIj^R=%(VIciՓGq~tAn7rБu ^SdI~$h*\B7m-Dv5 |t )4XfR2?&R.,OA*{urt\dxVFAƵc Y{`0z.c,RH63Xk 9AСnR [qe^l,J]41zUɅHT^@5[hP?f@2"(U!bI(NW{ x Jl7 /)-ZpIux.»Q>(3f%~<"L+nq dB$$bVVw v&6quBXQ@ de=!&P-Űp1d &]Gd6 c Yn=@s(f2~,ڛ79G.?قN$XO mp SFRoN[T**>^9ؚtgL2W%%CktG[nٔpd:$|U}G 6VOّ R{%Pm?#5Jͳ,7S^VPQsyrS=@m;Ww_\8ڝ͎T]PBq5GU^pLm1z;f٠nGnE>e8Xe)}6|;+dM:.G2vQ,KM9*ӴIZmӼvHry*9|yVLŲ5U ynom;F]6@c&X2n_J)n¼͸yٽMmi's8n:/t3U?0&Eao1% 3![*"{V9 ^F ej{2wrWi㏿g`۲Zd%촩oKn/Kl|XR|cX7$ä1tT-=+[|`|Jӌ ;,*>p&G-~D8? xiP_H+ם]$|h)%$;6uռ!of@K˷d%!j&<b>5U9[>\U9R+hl5xZrZCuRbZ#O=(r>N f3!,"44 ؂鰸d++36;Ҝ̆*U\:cԄꈦ8 >becc[ 2 PQ\\E+o<ny~.̔ h phc'2ݳN,r0O4<[3z$P^j. ` 7&Ck#\.`Xk0^"L28H,?$idutMs۱>_1~F^xIP_[mwTˑ7:Q?])he yo1(6=8y*)4,uKhZ!ҝ e:m:#`Flؼ28ZD,Ìrl̈́{G>3?HRрeV 1;kT#xR^7ٌ]Q Pr !u#Cm9^>=δ0\(i({mOeoV I y2!Ct/܅? uY<Ww%%Uk7gBa G=(P}bܵ1*-8k.qt6FUo0ٞ0B=.LIeWPs&}'m҄iyܸ]@qd. *eKDɅ{-)'=]šWc~`=_Ͱ|EVV}pԴx〶WZzGt#eE?W+ёTa qq2GݪⳈx !1! )倖[`r"LLa(T,F y}A( *ILrj)Л~N˫>qޑGgg?lw&ib;3ށo|{=` TW ߋdXEMBib@fBw1b'xiv{_4E^Ѓ^[NXǿ~.ş/W*cAqPoK:n|~d$mi [S6_=Bޘ_5ma D;Qb}FCڤG=޿gtmNޜ. &7ҀFhz45 )!VQ2Jd/vMS?GUZ濖lZF@%IlT@|C8= &>`y@ImWJ<5eNWz,o;c/sSsh#B+Zz^J]pqr0Qq]vLNt󣹭L[(qo1a?̿0hC+V? a5Q~;=# s}l%bqp]4cʼn{3JMO1J qn*F+/D]d&*o0|}@dt+mzHE Fuv5)zYE)j 1&^+_8' %fȺi\dơ:@ٓYZ/wIdš~jw}Lb=h3NDr1 ބypT&d"e5yLb}ߢS Ɂ3DaW!d|$r5:Q@zď/{\g#jG㝷m~bѢDn1mJJ lfԎ JY՞T?ky ddH4ڙh3[PNVR7"7:}1nve{`\u6xV/hҳgVЭF>Qo2}B]sk! kck_]y;wR, m!NT6 nNRaZ$IN*7h@,^1.f *a jFBCp_ŕi r_҈Zs(V j Z>?X@fz&p%V9hA7;2}MUgM8BP/OF3vTK50(6zhxPy(*MX[YY auF ~(+{5-1DAi$f2J:Dpѩe(#EV{'Χ B: t5ǜ4"7m\~(&ޜ?MUeed77f]*`,y#ӇF0}w=,q]=/@]:6>:!fU)kia6Q]NȱksdHMld4F$Ȅnv9WD}D*ǹ3 o?1:&S_4ĽjJ&U-1]b Ѹzh9!.Y@23%g\qRe w:KF*O*Wr=<`ݞZ8>K_zOH }Md/hmH >E+5bth{ݔ6R!]V إnzm+Jg}_'\^֞f i``ȷ(-mu*gbϽ#/;o& PPI9&\bukKgKWUX⦍g*| cָJR~~+E>(I^'91޻k 2t2\?; ַ!hA-L^ݏ҇5q$y5k7W@^ B!yw 0$"F K K?L`3$K V Yu!d 5!:g'cWXJf"T<} !EuŌ&1Rv4Nncݐ)rBDBZf/(61fM`" k>21UctWo;Xb_Q 1Jg{$顀6BQ4[NAń𵏫$U {%= և2ٞBLvxFtI!u0K\/⋱ZPrRdI^8<Г7ph=Ket߸9^zpjr$CX]nszI]TXJs_5Ы+zUg{G%w /+N5S{jPiZsf}Vhrv5v/3ψM> fߟ! >5]k'_;\)*U;|W=rVKM0)"kbko7>Ѱ0)/YA > ?qp1`OSejvJ~.O$mŧ=-C@AN 80H`*v k !5I أ??t$_;֨Vz?JP*`ejr53HA| 3uɦ-'@7 nI37flzYTsыcx2X;t!|w0 ԀT`z 6?QЫ Vh(Vr|_%ʨon7p< V@[m`!2|kꛞ\L Tf]i\|q [LqWM$[QD.LAţAӌ)QX$Fsen 5!Z\rqo*m.qW`g7W֑D`n_̀)k&ٙp% Tf#_pf.~ꇀsEHZGNڒ3Vw(HIz# Xr_9UNh-kV2R <1m>o( j<ᝓ"t˱"|b+p|9dC#x+JglrKA ̈́e5T :ID[#sfx8k8XdzG=;þiiU֤Jc? EWd vh0 g!a/@ϙwUHɓx3d%SL(g6"MuHͅ\oHGn!j{K`kH\ipSV  \ GJQTLl??tOx)!T3lR2lv~fM9L/t@[P6P=*P>MuVħڃ')k,]Ʒ5ˈޜtM݂SPQ>.|48du6jGTa{/a7rj̛qZlp5B.4x.MN'QDw~謻ðfY;{RPC*TF6tv s gD0߂6SáB*Ғt}BgYZ7zXZִF! D.Y"75Vw$ Ӥn}ӆPU0Mjrj73t60֓PDzHM5qߦҩ!鰗I \`d2"L5̔2C%' r=#nIۓvY)2R|Y_ڔ;?lSQ8"~]1ȯjR<|ʖK9-Dfg]C|ײG3(sy,#x4Gb$1󓵬0X[=vooY q *򴏽Ț'|("W 4mɭA%Cׂ:Nsjˮ-|1 ' '4Hŗ>!Qǭ8J Ky[瓃^r8!C5X-Rse6B4Vd݋#ZtSvTznLAbj^!8q420Hď=9:{%Guf@ -.z˜[6 QV]0}?]'dɐԜo>x򕘓 KOOM)h ] (Se?ׁDPPj -(}iÉPU%<&i]׹m|lJӒcoPXL4$E5eE/2 1OpXsٴ0!7fڇ̵(2y&xS;*B-&9*!޴VE'I i!IovnPḱc Ay?03A䕸1|qL#@ \M!I/oj9WO N/ LwT'b ^д@c-ދieڌ#Rn/'7{Yo#2mԼ|.?*ר+?7ɑ;X_?aO~ Q5`fʚLB'ʉ荣ہ:9F|6Nne@CAenvl;7S3۱^fAEDeu YR`5QOL'^M{EIO)x{*O1k =Yc$gtw/OIrrV_Am"}L ^fܑ]T-9=uOUJheR%{00-ڎ#O< {HИ߻@TI0)JBJE{M d t7,]D-j l XOAY`N9;VJ@EMP9)(A= 9.5R&Vq7PWh C5W I`dS:wޑ"\{hg4nfɏS1C8 K~\Œ'_Ϲhı(GL+X4XMֵ%)+-y T30J({d"$fx/8\ F_|e5]Kc59TXM-Ӎ=\h(s5/}Vܴo@EagRt%FCg_'GH]$Zޡʭ<'3^."C\z2 ]tfm am83ˉųfC77aˌslg6xȰ#mnw'J)hf#N^Fp9_(t5>S%4?-b+.<})ѢhB<`Z:p71rmϻE,svGے,HSӝN'$qRz_nӝbN㝕D1,1lXc M"}-H#0\Lܚ/unra{p@m*)QbXZZH'2#ܗj*HF`5B? \@n~Al-I_?gX8QWHXBk0KBQ56}Eb3BJMN:md7vm +86sv]}jM& m ?_;$5C|~.B e4 oˑ(2$0x)J#hIm5[XʌN9$1΀UVFsZ:JE6pe"]4/ҫɧn3 N;bA9Tw2.6KP8:}FGr0YWYn]|4p rO|ĽQI{Q> (IX߱'reiL+ۆW NƱJffƪȿ"%SrBI@QcgaKJ}qmC2ddעcjtaSEOs6%!A %UuOIpF2tjgˢwƎtٙl> :#74,@* J|& OLbY|"`M8 { i6Qd^ήl6҂'#7jg,F(ȩ[9WhRlsܶѾQge%&0@ʵWNAyK^P^U(@Ӗ!2+,K3-.8eeh{kӐ^\h5jjd%vnQ՟m}F#`s)pO [„Zk>lHB+߶?Sޣg[$JA`{^OAԿ=N s̹v04}eU1>6EPW)#f}dR)ZW LFO"»\IXU9i܄*þT!vrNX>Զ&h{Ec; Irr]^U'=UXͩf_e1 ̄=&b!hOhq5!{zR ]4$k?KUCyrع:MXZ#USe5ɼ1FdJIӀ p?h-y f~l'vD֐N| 0d_bg)vW": Q53Jje&̽M MLY ye:h֙򓂣 =TTHBaf黴2m%-MJNn?&w'7zy"IYjzY'(qc0Ҕsu_ʬߙx;kzw !x:?]<**k?;z#\/U%4>(nWBASC+o쳤 69}YlWͧ KttNGJ 8tv(Z5җ4=%Phh4͵Ԙ>ٽL*n/(mW',fIˏ(F u %Ej<To/Z49w=]I/r[6mҥH"8ȝ!S^J{THG['G-Ff >d S/-R VMc_>M6~3;-YI))L",Ֆ!s3 WO#^ig垽iR,b`~X}μ%pSԄym%m׊wƻ2IA/`H瞤J ;]4QE+!u} pdpW`Y܋100'I̢2|[MHT0PN" >k%s4ZEiȡv\n17!pXԊV>Q7*{e,m첀lV/^Kz"^ /$@`Қltn z vp ju+3Ͷ-6jW$ڽW#NWf-,JJ//n>hWO[B' h?ȍېh>[Sf'~ I\z> $B;ʶS{P*e{ 郦6܏: i=J:5laDukrN3B|3G@4b+ײ?#8Ts[0[vvGXB?ƊaP c9c< a)DuUԱ%UuP3E@%ijT_s߇k֣Q gI$3p+ǠnIAH "ΒNzM_g@p !aFI> U崐n0 NGw'@t{E1!% (HWyv,dγ4wL"{&!y4M8`xHek<-PI7/Bm;ɂUmj" i΃eO2SWv+(|R\1JL"J#!m!ԛXq,IuhjQemT3&10B{Kgii}1TRCE3)M8{+9%儖PrEP.S #eۍ*fnQXW̾SKq7Al#eᵳΘ-NC9 |̹A{i00@Bqaǝ[,<^.DԻ5Clōί-׏#?Ձ*{ ځt r%Xs>JH 8M5+ET)"gPDx<9>xlFZqk#DQ|p#IU>3=guW]>G?qM9z# ![#Y*G0 u mܱ,@%m;??Ħd:Hp{H>UELySOI۲r<%哬ǩ* @!5^4"ljC k^zV֤#Ԋ ]xNͱCUyUXHȰ1o>XVtƝ|||xpTtS:ބ]_$ף$=ST xyCWǯq,Q!Tg9i/ha)lt?+/k86FR5.˃X$^}Uظ3ɀ_X%XD\?#Z<;ӯ cQE KWFGg }9,=]c-,Lai:N.KbORIxnc#+ ?_#C5~ Ay  1@e$ gO+5{E]~-r8xɁ+WԀ;i23(lwU}{,K!`~c.ajGpp`!G=TB+-e|?ī BM'Z#"$أ)T<"Xʬ];l5ns[wghZxjP JHG/!r'?M3o){>N_KPo|T>y<\] Zp!kx]`;%;BY[iSca)P]>r)8S?.'pfIdGSiF[~Fu.&`7=٠$ޘCս% Z"~v׊U?$Vo7i5(EXEFsDwN9c[) \ޤ_:.WB08ڤcۛE.S^Bd [E7=>둘B]Of ùD\sMjF\rG.7t-9ƠKI6@?hpj)'VҚL*kՖ1Sޞvgx-ق^f+;f yqZpݿ%!ԡ$νLyG}3Gf ʛGغ= x[{-OJZ͢tpi㢱c(8VcaFēȤHX{t2\ǠLj~~l~=1``::/^j`[l`𓬮n/{aHPz|W,: P`_ fXse_R ̔C nP (6(4R IC"H X_Kdִ֯jVYW?q/B6W;cYI/·YO|;3.`!i_𐶻8Df~28<=okfLTjG{ng.tDN @8n,+ 3dq6jւˤݝ[-?+k9V/쓕yo[ U6˟G@ޱݕv Qܞnݟ)T˾qK~8TAi[,q qb7 =~_e]x[ '%kDU`U묃/3h2w0 lpPݙMZ0Jzi # hF'RLӪC^T+`,EQX.]ôPj6v٭y=.1A,cUG1gvGC;@O~/p'D/~!]Mocl=8+e6]Cs|qCI8B{f0nN@  OFl3Ll"[朋B'r^jIpxK7f7X %#S]+Y#3P+Fnvfl}O\Q p_&qβeeacLR1B @\~x=eS_mDw;:\s?$icmE @v7j.5.' ;#ub^$3I|"T;'k-8AMaE9SAYan z:@roU?83`Qxe!ܬ)*KU4#}qq٣x )G[HjH,k IB:ktpݷlQHIPulAk$z/m,W{Sd~2e'eGӒ V/tJJ#чU.+z q-@YBbz+4Rڝ(E*Su(8@30U,a=y1#}{~ex)_'[["2+jj؏BZzP|ߛ.᝕Geԟ¤=w OBűpk֞"`GY*/0伦O9(Y(: {a~mt& [q 8BFfuFF&sܐ͝3o{ i\2iv[`g_-8 %r`*gJzYn @W̅y*<1QyN{\L~$RbB.nr s;DՊ2f3K\co9sJZyסnj+9"]"Y(t9)8{33qK%gr #ft%j>һDz$$("nh~+C 8̵t,>:$hFXXa kO8Kq5%vMo(BJJiڭ3zjWh,&!Yz% b/ Xx6(hiA[kҤ7q!C=бxf"*eZdqx.!)bpy 6 /; %iIr5PwGOoh C3LUš'UPfzJY_q2zٶrT"Tc=i"Fa/%.@NJb .M}&ǿ"m^bZfCzI-q(}V:c 0G@'`ўl@4˶x t2,0 }>k$gl@@G}Z,Tr;Y)>gWw/ ;\ :s˥G00s|{º0< *ZИ(c #z3y'xAE3ĀG5ȱ@ 乻Ig)c)=ɊU+xͿPީ_bs W55?I=Uh pO{X^$В_ S[J7BBIL&$GWQ1##Lloh'K^-!@UjJp#[}jU47!T{_ G|m%:8_2'R[( C!pB0iGgՎ8|;h`ZN}U~M*UMX}e̼SW(K/]daI=-p)@h, ّ0_cY\Li«7P;go^:sCA o+H2| %4c*׿&cG~t¨˜⏘d2/E^B0OfքpuH٫R8#8D4* HT l!aZR%^eW 3'-J\܃zDOV1H:F1O<|%շ6{hP[T.7 uah IzG ;o8Ğ,Q8XE`x& X}Tjh~?]Q {?nN9H<|ʗn `QTIz  tDkgK)X_!XU#uXF}EDH=v7 odQd'N^:-Bdxd'V&p̟!FKJ!}c(F Y:jeo@n0!˴hT((pElrtz5Q&GqԸ ~lXєgj6 uL5VSvXy)Z?;~ڬ;"beep5s͋I_oٯiPHz-'oK9ChRI"g"L7Ƈ cIp-.zNW b\Жz'b7fm#{ IiA;>ZaA4^y T@8a#//&w`9 YjRB8rZ*6vۀm.-t_kȿ'̏~z|}5t ̘~z s(lC%2y导 8M%vg=XN$"rGZt@'*Ɨ.#zp@gXe l,ܭ?gCQkUV77lܦ-+LYEީ'a˽#v޴єEowt S^)G!w J2YNOŞQ" kjgLyBEr/t3}(c9F|ߣ+9޶L%wj7SaNAѥ Ao a6_3 |fLI/C],tCZ;Iu-`ZP@)~-l&WZ7{ ʦ!!^T9n0_e 6m"eQ b_ b' ֍;?*=aLד t9kmNCo`mIl 3 Jy{@֜Ylo7CTRK@`) q VY•Jaʊ_vBZ5:zNencd>~WcX:U0_3ИcW^HkS&vq1 &Q-V ZPO2-@-f1b/?Kz'E]F>.$,'igyUz81Ys2=o Z). k[\@\>Xc+{$W&CmID41@DUʿ&v_/e?JX(jc%ѴT\BeB5P7I~RpJKPA:r쒨D74R .n!ʂu8p~ULɛz.XK}vqC=O_?fhPQ42$XpB;hMn~̑Cb!~JlmQٹw$8^ӶVbƽ1\e_{bHHxYuZxFDvRj(lYI] FdnhJE$Q%5脭 w7:3nm߅A{ 5`*(Wg 8JF$b=e@/w󤷑JG :KE62!s d^㾰 {rk/ĚNosi 6mUUL_H Qq]WƲ,!=aon,$c=+F͚af8jPPca VQT+ݱc6/`f{f {,|ʷt#4wf׬W:dA'/GqCa[$px"z3؛\ c8vA8 ߤ덬K0D|A~M^d|*9꒥"Y &"c8 V^<0T栛ySr*8.1\v>sap<+c3U܃݃"k $ iܫCm4wLŚN8D?07|Sl/l:Ow’dÌ ^2w#HZul`x400gv.gY߬Ip;2(uJ8ϐF$xQՇ9-TгP(tX-T/C=Kk@F|C#zE C<1o$D)B^72^iqFOr UR=K8Dx`;o0ywԉILУwl&Gqq^MIl;ƫ߲ErA: `5r& f'뗖r O[L#onڛuTm>y (e#\kfQ:q6kGX M%#&~ak#$ۙӕfddX/Z(GyyWun͉ ׼Ҙ|G!G<!}!#OH I3oE(PȖ÷1"/D_Y XZg- 3"rK1L/<0"d6!_'qosP}s}ZQ~WFƢ0hɡr2 P6B"VǓUls]{q wt9Zո(|lK-W^Фo7wlԨKWPKOzzDJZd̨d&"?+e370onXVEV1M2KrqEQr"yqU^eRL"EąwNS!=!0MXl9,~rp{VKͰ(yE [oApD`^}r@ѕuKfu"8 L]^q]=VhA‰ekn K#iuyVCB)pcXu}z@xZ!?&*W DxYIS%NxY:Apa]dKQ]nj(FW {Qієp)9V&(tSSsiIN5ee _"˧=l7}yR5i6t|ȥX$<0B`DTS@l;TuE[fZ?2Ot hwPo3~@$~t"݇4T < m&.US\}3=ȭ1V,>ĥC` y\;U*LM3e Qyܙwb(Tg2Sy>p@N eLk%,9MqܙT;`sS֯}>@=qŐpa| T{,Il@ yOh$5uրGOmg6&+5QAST>] acyL~  xV֊d,e:piBK骉|[Q bcE4UpLA$!FX' E:&XT`m७?Cv`͐i͖EGcaǠJRkqk[6En0u,KS0:W"m.N<1w<; M{{4udqwX^:RvybFihWK­řvw/q cZ^j$nn*^n,UL{Ujܩ}4|} ~8*bgCL»$Eܮ$f+[<8z_q][Ti&wb5YwKgZ$#81&M %jjT&EWQǞnqА"衫5μ^K\:=3y("X;)ʑw~56݌|zDHgi0;_-|C$3M%`_gSX8c5DnXMtPOSTBl1ِ` f@aߪH]t, \6^y[YY\s}⎲ޟy#z JjoS#-Lm$:ua+jsd(٫ lOtH̳act L/azzE\ I.ȁsYӌ]Y"&Q+$z3_ֲ?A]g04y2;t[DPEk[T{ƪN-ϊ6)tX`+ /Dl/^ nM 1O9.w5r(Q4B<lX\–z~^}^(իiUG/K=M6R+R˦/bWDpv$")Wbfnʏ:< _iwJ+y+olڅkPH[00q퍑\Njɢ(GfaFMOXM8)7ƃ@'xL? I^wWlҊDaYQۑкG Tcd !=sa>7"V$.w5C,YBsl[y1LC{~PbMST~L&]%t-IsŞ&DTuFPs)X~;g9I+J~/6zVuBo;h)-ȦqWEUH+?迗b`1m XcO[8zBhn1;;qͭQqO;]^/¢g@NLߔLm(ŋgo=tV#mvW*/Nj &~`cHzck 8 ,u #g~Bz?3jeGɸ&Ci`[[=ȇKj"ˊ>0v h E"HF3܂~i%on} # ԵoBM@^yJ)`H" M{ z+h{y2<ýh c!JgU\J{/;uChǫ|ԥ Fm,Vf'tñ DGap6uU#3ז:0b#hРEDбI K;憎`DA޾ 3_)ZJL}M+X(gF4t0hE WEuչwF4/[􃗴"@r;ÀϺUn(]!\_s#N P)Lb -bAZ]'g}Se C!uISVpfbRyf7LW-E좐iWr0UHn D0j˶&>|ʣ#QL%>.w{aJO4`̷Umk xb+7&ƙ\7f|Q=O/W;MKX=N;aj7s<0KUtliKkh~,V'W;2k|@MQ^o֡sN<*4KHH"4ϋog9֩~htLvryʬ,8$qYH ( e2[g,$,N^׽зIkl}Z"`ĕ)c4`pg  h-^H2 a'c'Wk=P*uoGs\Z#4ʘkX_<|/gbO\f?c1>/0^9uxm:Y~o^b)_vvzD%07VNܜgƇK@׎e[h4h_7h?JHH}n:u&(6xC˶H K<$ޏCFL"\҆U (<vޏ|"Y`Zkt/J: FLh[v.-lքTFVRb KRPݻeewY5RE>:`dLa2 wp}yYZɘր@kN =QN?'ܗ&wVdwSuGb-NJKs#=ȅ'/ A0wuH ! m!GC[y x}[i 2Hs$tEβ ,XCP\W/hWcI"8939v+'P8M'}zoR񒎠u:t:a ZCʹ,Pfq&hM\t1K:6܁.))+ef8,0h?v_ A70zˊl:o?k7aglV=r,q@oB+q!C1>ߊIL]";ZY\bP}Lx[V4]#e\4ILޣQFj]^iSr%8x_2ogs. hgI|uy_rRl VaۨU2I-^gꤽodGR#9VtöYq#i=3֝Y)2aZlR碪2re-@r0$p0yYnDu}P|Q tt<_ahSl,̀N3e567 B!v*ՠnQq,[64Iޞ'CIA$C9qSSmmkMm2HkZ *K5U'$[W<9m #P^)%_\HVK-XJ^uŨ eht-?Aۧ6x$zd]/h:Ҕ$ N!\%2Z ~,V#|DFEק6Q;봪 $XrN6P=xdH@ٲ BQXE % tE42k!M,an?)0,lxA0c*I86HCU,Р`g^31C@jqDlAX>kbUbQyb@8%(5dWفUJНK2$.7yD KWqpzz#.1޴,Pd1:*؝U4f֕y@d~)̵ի<. e ~}90{'o=iyN:JD܃-̓ ?yXrc{UHâL.WCGQ9]zfOcWsY]n(jɿtf:HLbC'a|/ CѧhTϠ- jnj k 'CmO(iѤ kAxKXof; ͒>_oY  %2w |NOM0P{gJHTHr?oy~|W`cN~Dm/MIr"ӚWptmI{IN$"#=ܯ뚥[sSJl2Edk|o~X7ۿknmBeEm0P.=@9PI." CaX9]9[Vp7jD*MO-+tI$5rFePz8(-ހ KÊ\J3/Cxm}'q+:4&y8YrAS$4'1`];^n3]/ .)渄cK!m&Ke=ƐkNBN85SK: O>*BF65v3`{ڞ⨻CkP*ՉX`q\Mpܻ$_J^|Cy^<_g Һ!nMjJWXmqN,%$,נqi>:jK]2)Jj} 1_rk$1%Yf"JUihAOd)Ӛ-)7΍q雚Z'3,jeK闠[W,}鯩4]Ux6[D**ڜ׺bmxmi5 <w ^_ :9iDn[nSbCPvc. ,LoR~BB.){2z+5O8bKɍ0NpYo`4`;'nyT+3)sf5#E:/Bd7io1ҴcoV8a f# U J#U NL[ jLJR} |[!?t$y2yyW/c;,Iݤ䵏|@spej4NP̻gao8Y=j7n>Sf0yհ^_5YS)fY:ټ;cPlf2J:Q,ZV3ȣԁØI &!SGUpL[L'mbs|IҼHlȨsE~Sz]N?5)WxUY(x3:Vn顠yH1bW5_ *=054`vTՀ?}Yͽ }N0Үek}=N9BGO8>h'!] k-k"X.P=%mΫ;C[Sg;Ty Dg|T*]#\wlE^6]6!_ (kLec.UjnYOMsĎρK!lJH $iUq, Te+c42$ALP8JvQ@|<`1ީ2 rcLC0cy#h4J1#\ُ} I:*LMrci׈[Gi GfHDw\‚a񍢬r| 1rވ^,I F7*DھY_wp$P&ִeE뵁RCYKM/\Uu 9<.Hw74Z*ZdJSQϢ#$<};N[j SNtSTl 4}d(-!q/wXwBZpCmpru Uxd'g?FlBQCβɊN?Bߒo:3@j)i?PZԶLUgh5K$L4 Ȣ29A`MƦGXƍK?wT: 0[Nbagp(P&ͭPԋG^W$[ @^t섒$jRӑLǘuW fO+UC/>V~gs)k]: 缣_IΌb)Ysmt3=;AG&gנ FBE ;VO6)֌?Iw#'&XE!.$%QS.]*?ڥ@u`֞dk7^ RvH}Ek1g-VkA:8+QgtD$Ce^_©wM/}C@ƻܷѽ쵺J7c*eLc(fh6zd qڔ[RTB$b3Ư41 z89JHR~e9JRΉ7o2 SaphPc1"0LABtPFҞnPzM,B_g@ xVespU߻82H ]u;|U'p>X"2-h*FyNVVd0bYTh"Q؉b@e+*őL@>T[݌+CIus+O qX:g'x{ _/;;^"P-#ppi (,ϣ궸;bD(9(.))t,Z/]K&jbYazD߸XI4:v~9&g ԪՌUd_#CR͙P6=64z[*cBACzPv_=d!;6ދQ~OO,SM{n WCgJ|y#h$0&÷(4j'#q7֟Wͼ56"b1wǦ#}trhc ueNsXmAp`TZ!hWD\g@p[uJxWcg_K4E?,O&!̀[uepg+F|*~gЯ>уHI~i9+V%`|e _3*-@mvE) ,lBO@*];_S2Q{ak̟h=oڿqL}VmO}W=Va$ňTּʞ @D~MM0+.vb\9')w-Yʋ\\bJWJM?9 n L]Q4D&阧}/ h(]:gɼN[ ZD $_iG\!m:Po/l|3k e1A7$~%lC)Qsxhbͧel#(Pv+J&M)~ W7@4 8>'G/|B᧽uJI#*\kڂXZ,V d#,Fh6 vMz" WNEO5-i#4! u@9\@$sVyL@.(NlL"2w7z:{ye wx#Wp'*ɜ(dgV Dۣj_3Qځڟ8]ZkƫAHҷv "n|{3dæwYcrˢDTm5} U&xҚ́2y0Ϊ9h0J^?%PaSNqf&Igb J'"Oi^ERW: 7ա_՚in k OV -r4 7WZ/bӸ޳s-f XM4:X?WNg2e^To =bP:9[αr'R Q"Z*gE0zUbχBAg؏#T?͟CTy?`Ȩ 1˃+ |zp]^'+QMpL̾/h83L+%oM(h!IVUBΖ]z8 򢽎 ӄm @dK ig|*uM WN\$$_#c.[$1w^gYZ019ba91e53f6e3aa5c41cbd26c7ed2aecad3951b 0271c312c5221be4e7e246b14fb2f615afec2e650 0541b5559a089d3237d7b9f900f581530bbed23c 0d7b9687567081fa309a01ed277eff22bb9057a8 0dc3aa164c57aa09b9c88ffc0e8fcc2c690f20f3 14626b439ab583b4637a9c0af4188b7cd6eceb38 194f201eff447c986a020e6d144b709875c3e755 1b82e829f446fba63a3fca6a2a7a703ffc348ff2 1e3e6c7f1d4da7b43f3349346e1c66a9f8421065 211bba7cb8c935236ec0e345fedf6d6819f44187 2728ffa8194fe9afab344d37ec9f610877a31680 365c8caabc302fed3ff9ee8febcbe644f4374d8d 389a3710aad0802ffe000804ccef85c27e7fda58 3fb8967b43639d4ceecad41f67bb3acc82980ad7 40642c1d27fc9a8b7c8e02c52ae1aef265850873 440878ca6799b6d283fd8db3f2f099f7dc240405 479706d7608e6fd92a5457f0c8901cd1d5132bb1 4868c60cc9a38c6dd54c906b398ba6f506508e35 48a0c17be2460248567820d08bac964fe2ea0bdb 4923965c750e810722b90045bc20f7498fdc5d8d 4b913409a9844cf9411f8181b2557fc300895ee3 4c9503414b3f62a492bc79aa9dca9244191e6269 4e8ceaa35e3e959e7944bf93dc054bde4f6f20c1 59c83a30c81aa961bf42e9dfc060fcb09877a25c 6c9b22d450ab29d38ca0844bdb4a891d6134fcb2 7ebd8c939b6ef34a72bee209000472f8a3d014cf 83c65e1fbba8db83a87c088079dc69849ec9d821 8d50cda3d9b7107bd63092e12948f91afb5bc5f3 995f8eab5d3e36b2e4af870bad76f96f9cdc494e 9ea6cbdf40547a8e4c1aa74603bd4e67b5136570 a13771694d398fbbc62f42a515cfe83502dbcbc3 b33ef40bf715dd1395f9c3b765f97ff00f588f60 b699208cb07be2c6fe469afbfb915c70cb65f38c c2b256f209d18fb78818ee60ebfe1ff13294fc9b c51aa4b27da6d6dfeb47a20cbe58836cf3d25a8b c53506a7dcd93fb440f1e92f1b53e0a1fc342179 d27a6a07ed173eff356772517e5c0c762337d7c6 e527a6a656e3bed29db6ac70d49fcf9e0a5b61e2 e5dff27fc80c2f1d54eaa7fbd9570ef0a4f19421 e925e55e9b48813dd04f8edb4526c348c6397946 f2158a61fdf6d3f2dce77d56344a5100f417da0e f45ffcde12d884cf07cb6ac925da4d42775c3456 f6bb88521115dcb4dbb525490caf3fa89564a77d f90867503e261262de94495be98857e11b694c15 fddad9a6043469746c9df68c899c6d620c31003c878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 c0ad21d6926f3212b802ef155fa746fc1b5d7e30c6eefdf3d0af584abce18bd26accc885c4ac7f8e