SQLite format 3@ 7- 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 #lt o]HRB-Slicing:threads=2elapsed=484.185cpu=919.148gc=27.216factor=1.907zXZ # HRB-SlicingִF! |om]ŗXf1-/6vRZ;RsTcvhiNj]MK*ݐo͏v*흀ˍ=ƶ<@;'O$po|%aIv'qW|HP:=R0xtzˡXEm>K*Ԕ):nd8_ *t W6r.ἜL/4j7$MΟjfࣰPϐ7g,U4ɪilJ>﩮tbKY/%u=ɼ5rg`ˇD3ckyɟR=ŢbM$AA$7;tPQD\72Ɖ_gekWm)K]vOyL {J jUX.-y`ԿY:h}?ҤI`nKaScF7G82}:'%O\PnBܫѕѠ-Nyvnk77DvIo0s?[C& nŲ0^R2CJI\9'B24o)]gKo-M̦xdSe:5B-2{X8Ύ;]&xby T8:w lm? AW+Mڅ G+r@;trdO(p)YH+0^cZﳕ1c7(38J4SB3\ZY !c"k}88{3TIaJg TVʲ{0`Di-jR=_}cQ4VC^`j92B'mZRO!C[{sϋϖ, SN1Zˑ@ k$ 4uzu^S3qMzQ" 4*RS;KLSTcs!|-PH2E|:.t"3i1ׁGw+ipl8)5Q5}WW@3%tE叙}as7swF%\]UL85,]d琤f;ԼVZyZyFkl!`ƒu$d?U`7oh1!;z8L^*w*BSn 7`m.,)Zָ['2xAMvsL!$ X[:_%G44)zCvSʴwP,T/(+ez>bCgJdl\ #fO#g3؛Mn;\c<䱖RV_D^6O PjVpY2h傤`f 9"#7<:251!Zgyc /ZCT17--Ix&E_%m[ܻN-_-_n81 /Jx}q*2Ν1z.TxN2ɋ].|M؞+w{dAQ'يSqwDBn: 5DbEj{cK_:B)7*dqГQ<=9a|>9m/N:֚rzOw*&/RvkB6t6e8WХ 4R17!KL}.QH+gJ!6'̏WWuY `w'2Jz$Oǯ'iq@bLvYjijb\iZ2Gc]@5y3_uv{L5Yg[Cs $&xpԖsюWh4^ EҙHwBD1ZKK\%"m s}ӮhCx  JhY70_ R y 7N \㗿W_?aU-(9[ZNڬ8z1ɷ70tv!EKGR5 ,e- 1cJes|J: ͤlܷu8(JQkEPe橽I'ڭ8Kb19J_lM?ýbjC۹~̓0=o9-CMA%m N#B-OS?h&"‹WLJd3^v D]e'J04<t|~qd"T5r0M:Qr2cۯCX?iRvHƠKni=E?+)+YmųVVhptVtNpfjh:h~e4bڥn4X#vo? ຐFIq;X$,Ll56! iOaʥ®-yl+:lg-G(真0"ſ5VK6[ԅppVd1Z%QuYk΋7$D 9/ݢӸv3$Qcb1ZO?zP#XI1`Ss ~AG׍h [O/q1maqH._k+`n"Iw~HOc3.a~3HYŜt{5%>P5eԃ40 |A%rD@G-Ư1IoKa`~lU qia->׍jL[ [5Ƴ ZaT9sз<54S %Ͱ@\ķo{U1%ԕQPn"0,v/(w/ن53?nfZ~Dnt1:{hLF#^|oHWw)J/WS@ImUz4U勶Q_GQFIP2=Q!a-JI.T+ G` 5XLDCV9$җPAlɚҥ39RBC9: l׃%.7kևjĴ}a/r&\&dT@PE0xHr?SF. (EOR ;Of¼ `l(N\Br<仆tnRHiEܨQė 39  e~G|ttkf e$ʜ.B(Mrh93Əښi₯zUP ]wHuz}uSeM;@pyާ)^H*ť ҋ :T3>a]ҀAau- a[`R; ^ 4R*;8/-l\A{ 3C۬khWC/H~(Pα_P羱h"+і_#;\Mp-Y\V7qx^\n[ޑej̅>vZ2Д1nK~B \X ix u5+)ҰxeE+ZIίvN7xƐNyXrq ^!*C煑oW_ kMm';ma <8]P JDz2 i4't~Vdr oZjئ6d[ #< )_=`f_owΓ84{|WOVؑoKQoWwh__: /{Bg!vi@A}=ŽL˸05=#T'qDm,3d:;*@ ȯ9څ {!PcJixTZx;&xˢ>wJځS^]D0!Y;\QEppxB8HӢ3M=\64%Fk@W mBeJsQi4@];Vr/Ps_# nf48k$#t-IFe^ޒ| s.~=iˆ\bZ-.ti~>ȓꯃ`kPZUuk76EѨd.l -j1&^b@>XDwܦQ0!DzÄ09џ +˫F皂H32>mF jjX yʇ ] ݜO=ӷpU]~ %K}6cs@# {wH ?(7iS_$s=<0va7Ip^,"!lj9a,?H5{'0ut%~56Aew>z 9\e"10SJ .e@[e_qvHdb,?<iU,hRe!4k 4f+dO+lĞ͸m"2*t2JkΈ"7aR" 2q !p]v"nhKG!NB]1Mlhz`cTW`lY`\u@mO$NyE|yh56CPLm.bk7MXzKD=#-hz] EZr0r?nzCQ͛O$]Q{7(ͻ؝^z] noOeVp,(?z(V u]`Jtm!^/+3e nvջr7> `!ݣ*T)>$ `ۢ[IEٍ`<]P@tw>c<*/FyA2m)ks% k8*I{;pܜ|j鉨ipƹEjlz% tiC+azZˇ{mU ƻz`Ĕ5KPt䷛LyoH X3,)#Z<'-ww{ nf ]'iŀ({`p* a ,N}t}zj:h /[h»uD\`L*um`ecfrJItiNOQ.Lpe;fUY2*{gM4O?/Cz*|, != #|z2&u wzj\ے +r¬і: Mڽ5M9 P 'Kӂb/Q9U:Gp %axz|1hjM\|2FeSCݔ l~%iϣuM,S[Jm;Îݛz HlLNx36"܋S!q-WM巌(K(9i8l\85 ׍' _TV;fdz_2vf8to; RS<5` !^S pS^eV^vŀHozwDQ䨧cZys_?Ǡ5Aq $0jQxl%jڽ|%B}q+{4gS<ŕ: ~;`&(}b&X4_ҪnCĬFl,~+2E8e>6?w5sFxN$M[-Qf$ܲZu`GoXsWSjw u[U+ڋ@b3tyO*oN:oliu•J"&G!5?3Fº?ў7堻vx`S[ʃmr;ZH[qՅ[ra[Q3uI Ќhhc []UuUǎ(JBZ|j^N'ƧEg៣= ^/)ɣ 6ߑc!m&l ӡuat?B+"mM0檳.=,&$Nl\ӿќ%}/_$޲J]8ѷj?fsj)MŊD5<8]cJQ51B$ 6AմiYlB$bos_;(wB&XtM01啧S* zrۦWUN*٫L 54(^.+b/"ķ4(F :YێhV]up*|V_`tt)|sͷ#_}mB16jt -,45 W!{ۃTubj8 HngHDpT2y|*bP1ڭ]3bzVn뺍-B!ZbGfW ,I$9i_a_\o4:=OYg1IjZT͓Alkdx .K3HlIʢltQᥧz'j Ѥ]lHL+`#`"*Y~&o>O(T$ZxP5=qȲvkw<;ʼn}R521%ٶ6}c zg8P 3ZAvIU)LlLߴoY6`< VY9vIbxz ~9pZ@sqe nD*g[hn!B\vR +L/ُYoNXձ=lE%sbŚW2E?BP eV+g04qC55wBm7^~ʹ=FQ dDfw9k9#. Ee=qY:gׅJq"j(?̑<q:;GQkꗛ?#S|pM˲U/GWe`J\ƂF_Tm/GiرR1TM s{SX4o΢k`:5Qґ?۾?"}Ժ,KbvQÒvi/ӇVP N!ъ۟RI&h#E.[50 m\>^M\9FŢsju7ZY{ױZXFxʈyb\iFOÿk;X Iksg3\>ѰQazCASeӯ$D@ؗCx&ӑ1&@Ho4 pbHOz'wjm iDPWVnJ?K6"] e\3=]TA{V-BSjFiKس.r9CiQjaC,>ɏY2& O{uQVd_ylp)?DG)2>ZKsx q+ON7lo{@+,nO!w/i[WBT-Y8Tt{ۦWj/5e߰12~01D9k6X1 H Z^sז F?Sf9`W2l HF؛lʊ6VI?GXwwAy 9Ůw>MnB+k[FE"~&XYל kTD c@ix//jD}Ii@fʱ=4%w"mKF/Pfn";QŎ*uMJ =4\Mj#97hYG Jg x! fVPPY7L^"@'nZKW7Uq ABT4`" u. G R4Q`Bvpĝ` ׃w˥SXڠc2\zhe8+LwȄXf$pYc;}"iM@v5wBB#oUjM[<淉"*,\z4oTh1,V_v=ုU'.hsji 4]9d iSuE=NQwl:xT˂o k ô+|do]n>*p{ VMk,˕*'_Ƌ ăȽp y{ūl X["{iL6w])q<)d&V :&lxIB8_qPg]~.Q9dd ڝxGOu"doC!yp*jP;QbE^%GsP ۧǎzE&*3V+G$(߷g7r9L P҆ 4i O= BXC4*=cQ.6֟^~x,S(G?!G3Z-ţ6z(9ۨKgҬ:sf&He7:G!3Ne-n{ X|e|LӉUREV칣a|޷5(ُQr/TϏV_1&rIӆh֓.Xޜ8P0\gm't_݆ZL%[|aQqͷw_رJ{(^F5[.WbƸ_\lc壇Vɚ (KÇLhW6X]W/fҝÆoXjjK7VOA , ؍spBưZ}~h S^']ՍBKStKJ:r qCI18<wFLa޲5y3RP´b2xJb{0t~yϗH}":Ij,ʧmip (ϕH<-yc$Y*ڽ.Q4'}0(ejn_j2&soSϟjRBl?q_j]6'oZ5a:kہ[ Q3ϕ;:KdfeĊw{":< 1Tx6Ȅd3wz! hLSi]"N_frBhe#^Je`Pb6dR(f6ay#cCۣtZ"J.aHnll:sJ&|f䉌¯頚<-)jxA -'O,r)E>KZ+;-j]\fOID…9 NA]i3?loda}胻S/>x%_\ Obmo(`a#AW?PÐS(v!ʟ1?@R9 wp.gJ?, N:!mo1[>hu0n2|]k$|" Wlf;lr s?#bR? 5Į~c^Ul5Xپk/1w8Nc|J[d`x+5"s5A{M.0[SMk^M^Fp Yiv< {9K<8ׅ2BNTG+Z|8ޖ\dq эWs]icE:`E;u.e3 |》[ŷ~jc`5\N6A-[Yz${=8˟1,Q-\кtO6m1*QВ-: cԡ.u~瑒2F>Zv)*3SH}8{ n c~Ԣ5)5Y&MBfĤ1m;2 <ދ?j9g"v)dB,%CL&ܐ+K8HjWR(x!ܪRsLpڼW@GkMJn) K=z2S+mV. 1D!{(WJYCrkY4TYJէuLlٹmNl=[v՛09y vRZ(S4EɈ'HMcVJnmarɾג]%txzY0,'x l&]+?eB ?6I- њvrbG\=p4]v2ǧet#ݥ*p Ta_Fg ƨ)Ab*tF`vS\a@'0>13պ|ڳ G@ E!X4yZ5oo: ?L >]Z0$1߉ jw2)*,J<ޖjRq!T{őM~54 AIz\4͛Мt:<sL#@:yS:eٱctvW󠳡e9!\bm56b+ZZG5JzVܼ;켹0Dc^[SaC9WU|eˢ@s+mgGBS n(Q~z9MHQ&Y/ǕkS%o% Y4KAT.T3N 7jVhK]y1R?|vҏՍtA|:$7zbJ$M?gn< nLЩ/GĦz5b> [q{, WINw r1mCYuځ"\x#cL fqL{s)qmrSEY`!_\|碜'6‹Qf(e[' b|׺WfyO vhbQlbbL01C^ͼ\Znky?Y Uz{$ʇ5ƒ9J: v2|K\\8܉B:f8uK`CYcFs_jZ^Sg}u 7JO\恵 }ZY0f {`k{}gԫ^ڲ' WvZ;[o PR6z8<-A#*AM6Zt-:]*N{˄%IOA8SU>@CP6(RMY}ndcL![!F;ZB%5p`^s\SnP ww'=?gU T_Xjv.Fl((I> /& ]xIf#\?K!F ӾUm»f]ų#mTֽP`-fֹЃl[\}a}UIݍБiFQr!~x5P?r/X(4q9 f8- 1~gUY"]N%xU|+lNc0͑]+10}-ǹ 3'&L7T,)3U͋`췱&9Ļ@ c )D݃$%2 Jٕ|(_U ?K%+}?^R/;%],B+f~;n@(şCWII<ʿ>s?$_þjT۝~hN:l/=0zb̺U.NI?Z8v,Y, 0}LQ@nzN֝'xYe eJe`YP/M[u⧶qTn^8JmM3WL6ڐr$mn F!*;KOA(L?} ׷./zKl-~0r`shژDAwQS>GōvʇiJ#ziЦ_%*ٔ ECnmM|@z\\ui{Ui C9,&Gl#%ӗQǴ.x aCC/k8pBv"U?~~?ֲBƎ.B(!(:S1m ,Ty LiA!NDLZ)9PhjăwS,C=DPXY4!x]7:)^+;n9?tFH%3`@ѴtXc25C d5}Iy '/Myֹ̽Jif~xNB2ݷ8"~8i\ 9mƪ?$biXtJJ6B\em;ll*dPJ-OFпգ?u,rysz>^L\sRBX?%lҺ r~ˋmkWq8[VPV;Ns<YL@JIͥ~ <E5e| 4..ɀz 5d2h:Iƥy ܤ;9d7y1а8ݪ2 @#vyF+idꕮ0KrqԚ}s}K3J:h>y2;jrw@5HU<to Y(RqwdԷRbH^@cPDi-4äHX4VUy`I<ȡ"@ :UN7I&{Gf!" ,2 ӊQ(8 /$GF˘J3l_}g#?ͧ_`h0:աl ӆrgPDx>WK|wŻz@*͓^> WI}K/c&aSP %LNIz{]h9(TTa5En 5q:;5hGΜbW^z}|f? &'E0h[wA7˸lsDYkq#!BݻN i>^dݘz+ǖmM0#{x&7GjhXϗP͹ӭ6L.=ś)5WNNt˜UvGDZ] "/|K< C$"Vv/r>5_U{\mݣ!LߜRo.5j>5& &Lګ ~hs^F k֮ g#ea˾vJ#QeaN4n6@tҝ:@0EU/:<)}7F}2e E0gIYtoV3yգ&@꾑ոRТj!A0P\? ^ Ӯ>@|͍<]|!H' oz) ǵ4J̣z񏀙Ty*sG< i\NXX$ 6X81/R}*-tL Q5qyu>=iv0EY;g7x:fDr^O z^ !"`::9({ifXz,2}g?^o}N@8)Ur X<{(Fd<ۅ>e %E +mO%m7a3bS0ВF@|F⡆e6t ޑC)F?l3E"'d=,E@Zس?%{ɋO҉c*h́wx 4y(ZxobM"?TݭLLfi;fky'˱ |hY6Cˮ@9$:$Ec!#6PYǽfr8-NRףqMx .;`Ȃ02ЄQVdfDaޣXF( و,yZ7g+B@8QsFˆS?Ā Ïǐ=Fki47#}i@,] ڡ TяX=v/̏?B|蕩[2IX*KQ3 o`^lqN ns'\1I%)aP]|}@EVa2z$\UfY/gd(./.UX8%7f:L}'/'k:N-S~ cŝ4ZD"Ȃ<< vՋ!}#/G)Z$DKnzC~_,+%͝'n|V{J8Fwi&3fuYTm"+\ 1 qA3?<#$xqYnKZy=M8eClxiZpA-ć\Jhõ!o 5n( S"yL7m7f֜TBP` T⫁zAclo_e]q/ˡ=!|У3l+t>?=PE9!ȋ |ظd:b]#!rZs 7xkL_4gl,/gb]Vn"|x62l 6ښ jF'ލ#b3JO}nY238? ;: [LOͩ3,]ik{ԦKݳ\֦D:¸y@]8e%DcmLBO ]IF/Q$t|Qܬضlhs+TZ`>AHygaCeT9-EL5 [$@^0%b"Q_o] DΙZnU:,dcqt+FiF!_iR)Uv30Ny*ڶ uLFT_+.rmYjkPT-1*^P+ײ'|&9h=d-% mD m:5M6yLo4ӣ,ciڴ0CJ8YfK㳷-ڲ0!KPmڟ/ W͸쨯`7}*@0^ɇ{V^I#i}md}pM)ѥm1A7tk!,_MG=Azu,]0>a\r_]>U176`h,b2HH;3Hk4_vUa=ym[/}/4m15lo1ŗ@.l=icPrZyt [yRLSEkUb5ƒQҭz-KeӜ5s:ruDn3gW (Vv-_Mg|mm"E:XpZ=#3#89@F'L_/ε Fڜ{RM|98v7 NĝQ[Y,{2vɡ). * 0 N2rg$tNbͭ50SL@{eghGtJLyl͈l!($^9>T 2 .9^Y3wތKyYeYU~(8НM—0$A^}x,Fj>9@iEڐ/y,W]NAQ_; QP4@k(ݜ:DqDA{U7T3垀mveA3פsW9teY\+=1TNC3 p4 o>a^i`]0Rޔ)+{+1l\,*7-4(72 onDsw%a#AӍ80x5(T0j؋Jz52e}/6 YKp8l> 6)`z"V?Y| ѬW-X3sIը$89*.je"N0\dfO]/-k=W%w`5>](lNH #M-kX,`<¨Y|,TxDCչ>Fch1 JsӁ!ԣC>}a܎ j'ܠP)5hٕḎlmV}l>Xy/lc`>@up3ms|H@'ݓٺ0͋<'Ypv OT{SXh+RDx!G \0sOEMRmWbӼ|pweԇRGXG퉣.T:i"*lS<@/ mk{ `WXU7첩S>cZPae{Xk1tK{pp‡1yOȉ| KM^"sKM̓h+kaT8բc/[pwk#791a(bbǓ4鄰K D9Y iKDp=k!RRVZQ 8YpHNKRU6JQe25&QI!Lv$-L,Asmm}E"z%P.ܹG ^M5#n?6>XY 0 E\a"X0:@^ufY#*޽j#"..S[JnRc^MˢV..b 5̗hkCE@҇19Ye5у4KuсKZH8[@;'MBs`mA:exV)2Ŋ{@;݂Iݖ s^Qp#"`ώ:zo4!\e WׇzU4Hxb".&2;P2NƵS,5mF NP0f.o҆k;tbfW@'yڻ x!YA y0a<6tEJ$sl" (:,db^lDW!Ɣ݅oхejsLɄP}h{W8Cm. K06P,uF``~*[ VjRΒTrXԖkǫ!4HqQ:C(}~̄xcE`q;M~w!T/I,٨H()z7Qi\HW7^4">SΠ4q-:OMhBxϿҘu͉$QX\4|ZEK\4/xiS ɫwI!*D>(Yܶf 7 sy[A"`q*VҶ C_ǸR8) HdV LC S(- J1aOEB:C=&s펙_Uu^Įp&Ym? ٔh{uZ;r"͌uDzqDr]&sqa)\*k(NOn:zp՞ĪG`E^\͗QUt)=x& ̶MX,5*N-p9َ̹2+sH謁mѣβ-P}tQY)4zmIL^d!/y3IRtls-'G:>y0q‹]`̞=%gd $y`E7&*8y%4.w:!pyҚh{iHg:rf7اFy`>[ebꯨ}K0AYeC xGMw*&7:1j$IHŗ mV>&RP? o i,CbuZqIT  }2%RϱRW gebP|qDNE,[{qS] 7v88/ld dEKKF)7#yEm/BB F N+o5T=bT~X\&WU酰[:}taodQ_D6Ij`#ᝣaf(MtȢy u3Ҟ_jk5VP !:rqKۀwW rRQl1Vulۆ AXB&_#Pf+bl1cdVaqc>zr1p$`3[*F,U mO1&[L߃`] 8Ccajgx( RX,B3i ǻ%Mz{Joa:,8wrd]oׯmPowt󌔶4^yCa0H@cY@C 3Oi7Ƀ"C(y{.ѠV NĥXXֹk5*m)/i7; V(\CRǍ3ѣ#w~+&;Ho(d(kQnP8:F^x@ߑ^YI0(|a$ٱg;pT`IM&Q/`|] cb "j [ќ/4plVnFn uOQ]ΙH_U/>x"+s7W]^FsPS>ct-H ɂ'$vJ9ۤ IOa+w'/Bp(pLY9(]_^z\O߭ !EFlh+ef/2 5!$?u"1@yU2;G V`N ږJܾC8.t2!`*4Zfִ9n.Z O 49'r&z !SgYZ7zXZִF! X]ŗXi%Bl~\B Z1YęTut _,P"!nؤaZVW=hLx %\d%lCς"؆g]qk’AZ2@F2/~_r LecHUm=ƭ*bC#m,:,.g N6`R# #B nbnu\ ž"aUaMXoTcbbl",Q`=/&iyS;-c*K^$|Ti]3DO|Hi5e`ؔx/5=pz$-%ڤivz99b( ,yV| f):p#gsp]:MV P%PHԱ-tGp#bL?GЩNxv) V{X>AW~;#C@hAeH%x4Z7qO=5w I [<~ o b]'Q*#t@1*:kstT^c'u:-f(zy!\H{*Iw5O:Hf&d j*&Ř[238f 9vv·c VNZ22{] /mMAɡ|QeHgޏ斕##-ﻞr/C107g?>+q'"qM Qj?Ghށ 2WyE#j[ ,~G-Y^'q\!DVm߻FcH3; rjqg2׳TX!~igm^ɴzAW2^wF~ A$Gu84v`KD/^7j$m;&bЧmϪѡXi CCӦkN*#O_L]$s*sX5/ 2HDsԜ猨"""tXc&pYf$'0eW߭cBD.ĉ׽TA?; 3a%V&V ʩc'!-d>WѨ] qN"#ېh%2S^˖XslVSˮk/``B 2.ܻLLq9I/v@(Bk腚.6@EW1^0M;ީ|&c60jne|dq7Ep|oCk\ME_#H~C66 6"e?zd$o]vş=!bmo>+\˶ ŢF1ir%uNX Z5MK30$,89 ^/:M,Zיs]Zik9fb>`62uZ%Gt.4Lވux qV"A_S\ETZU ͑ùaQ~|d#q"D:ã7 ,:mKx R}W]yj[#]Z ]9#Ũ'+nwO*LIN4}+x4e(=e0-ZwP0. df9MeM[ VvtHema4f1bg Te'j.Xl T):\6|vZԔh3詐Ы52Kenal}Tr?gb|PGͪeWO{DighK =}+$엹 2#4nL)9H36`t%43a|l]YO*\v|/zm;FuM ΀;˼wcIf=%*ۆvd>6,5\HJ ȚUs2gAulq֧[ʚZXy,状8+p(􌟘2<|1< r,A^|}k.'5 @RL3w|YK]Eijޖ_wH"k܌SbG'I^v~?vK$k/@i6%MpG k3؏!(u^:V7v-71+31ZP%%x]IP⛱Kilzˌz6oobG~H7c‡U?IB=N)iN|mW `jMH_?4='nwp@U6w,߲@cmux^TA= AC53@m=R$U|W]zFL;Tfm(f^8$ј7k3 S=[QkʤëWGZkB<( 1=0LZ 媁q'm'a0KаvA w&s6yv%/2nT82^ nu78[+ AfMSs+YA${5V WƸ]qWiyM]ƽ2<~uLz;~)nL^Xd#lYaрX/{YT)&H$:;J[cZn> `27(kDX/Ї}Һ8mzI*` d3?鸏ey(/O8-4g?GU>o4H/Df]Kp"SL=۶cJGX5CG0G vq/mvMߝ&3)0xc\*9},ɔ= p[j-ɴDɼeҞ+`0@Bd5dP&ZX/*⊳ 7sD9F^R@*6Ze۽5~R em@iEs[I^dpY E,_ |{SۆC.ٚYrcURr524ܧ#A0̮`҈asR3>V58YZKýƢb İ˱gr>'tmg|Bs*|3E \[.$qo =u:H@*\GIO6"paڲ쮬j]svwE%&jѱȐկWnfƪҜ{+^x4bz7gV$?JbLtLQRO"WMf!Xx5{!.RdZįiМ G)H! QRᅇuM71.e9,J%Æ7LM`6o!0M W]2Fè,\wlbfiN]uCTUSlLJu Y O shOt_/Ȫ<|Cg×W]<!>Ӝbi3Q=A1><0YhkS׵2 7&oeN$k~]Ƈ/ Jl)& 9Y'PԑWK@*۲{̕`pOF nn`! C$)|0r_4L)Yl2{/4fC|C%r^62aEnF 4p98u#l/+S8S[\vIjNzB (p54F8(;M)Q'ZWׅUZ_tGZ>vCj"*ˎa{B( ~HGNiR*Naz r}z]2E*{n(2Oz DvvD۴}HWM-+)}vnj2E}C"j/\ ~0ϘM $i`eۜN酬EP!J/!Sc9TV _3M%xe4VzP1O$JiDZ3Bp㛼t]fv@|~pxzS)e *h$Ӯ03Ѷ}7_u~HZ" <3+uT*HY0Sr:JF7Sc8G?+،KtlWpAxry/'6ز;۟;W|z;<<cqq"uD*p6Y:P֓t6~R-3A6&KR#Vy VV+ZҶH=[0dkPM k#qQ,L)}2ʫEqI ҝ'l4yؽU @+$bjn0a CtRGGjA75f\8% Kɒ$r+#kŹ}wlNM1ZsK //kQ @CNi9uTVl 0z,'<~aq#EL.Qּ(GP5&)K6g` ?'%Y7 kNg]e6B/eL(Q[~#POKlq} \nH2蝵IP;t@z^~ȄYJb'ڡ9(B$M2ܤtʱEciShvZ^<~iM Uf) `~oyRou`kR?aEV^B̠Ă$" 2^Wh4ĺg=(c ))VO7"q fDd)/=0r:YԚz R}B ,b4:Mlq,:z%ҥcUz ߓc\#h%m|3:QUJ1CcY+263>CO)sk.qOf _]~ h>'YxRƦf VLK19тI_Ajo&Vd~xH^U2tm˷v~cjdHaȂyU@yRdM} 7N"xBҲSbVb:CE _ҹ?LiD)AjWDS v:(5Rǥ~JS}I2$ gg~^4דvϜ[IԜDhyF(M* p(_H"*)]%2;$7}-N=sֵZëv)V]i !6bKdK%ڥDG*}=翙P_Es:VkC},1g"u /S&y8is4ȸ.?<O4+Vp3MtAz -`R {igl4=ax1۸Viи׫/JNJ>rzTpAVm]I tJ7  oJqV2сFRV"RE1gH|`p4 (i\'ה8s[ A3wu lW8?HG&vɮWZTx?YfٷHp=?qpHB\'ߧs,c[~f{0 gӎ 1X>:Q$7>RfTri &N7P+Wht1ǕKQW^lYbtnK Pi `Bc,aU\]**D|ߛmQWng]s/Xm^'I GYƽq8hPr=<%xYaDP{t3M6CAcy3gjAqLg3bC-Y{e`KnҾ-" mSl yt&=ȑw}-clF\l/D"~Y C:Ao"y2-0qx<.'$VlqU}&Ha_J^qg|)&j |XWؗwZƈ#ޏ!Fˢ$;sұQ@vއ~U]}c^m=frԾ^ }h'Ʊ>*"H2~I 0bEe4VADb'ҢO \6bAۄV ը~r<2^,Q2n QT 1fU^<1ZJux[N$ pE2Ruv@is Ŵc>n)gQk~-d }L;X/\SR+ ;\ϥE^F0Ohl'Jױ ;TMa !2vw^vr>Jv6CWQ蕾 n+HD{t< Ȯ»Ϝ84ks7Qj` {eʹOX +z{YrM .oj$ҼΟXJΚ3x̓\(9!nC.`ZcK} aEk)ċɄ/Ef>qX իHΈwvNsr@jQ1A>jZҖBRJ1"t=z1#1vjYI&6^'†v/&=GA:2iA}Ia?MmR mr"͍Zq{55^v1J&n.t[aXC])S"q&ڈpT;L&Z;k>LE@4t Zoyu/xa"_n}fTY3ץUggwDqSN>hP+z92\@?%%󀀤G;p9fQg)xM:u{Zc_t?77_T–QϮevH`QJc(۴/<;0R"+AW1)>-;Ee2y/ȉF7W.||ثI}z~pZ S\D$GiNaC-"z!h!ċ?+137ʥ&TI{9 Ԙqc h!΂lfʾtU2^u 4U9W56lr;_B :9 fBBLyAs3:9 .-kh)lepG h#I)oT{nML_m:})Q\)vƠ YNRAP9RzMy2TxnJX9Ԯ?3Dp b!++H](,9G2:`Lؤ%Y7w\꿁Lz O$nGG99 R*X8[>;YqrHJb۸<мQ&[ ĒV,%]w 4o~* |uQ-,^>XTcP< tr"F gDMCf4- (Nf&Q[b*J.MH,{V.h6-XLF+ldhy熸JTĬ~3쇓D}p+Inz]T `J3in]5q d`gZF}Ks}̊lsc|q'S3}l.ﺈG#׶VNdGK\͇ۥy8UNp( Nt<[vA9/tTa ,}؅Ryhtd[/M^;4oK{(Ъ({վXŵDc}y+ny?-Cto/(ː#&D3:$}RJuh ] "?Jep`C'Ӡ@ 0vE7A;QS\1!TW5yX#i-dLzJ2CZ\ᆙ= , ƕY z'lR1B},O0wīvQc#%4=qG 7B^)bWF^8tbt^12Ċbf)`%]E9LQFI2Zg PY# S_f-sHNu,q v\'^r\5\u |־ˑJG4^LaIEA;um׺h 9[%f4x2բ^\E){CA&_~ @ YGX͛@Z-!F|8oF;x^Wʭz Lw;#] \5Jq $0ffNfPeUo7f4MiX Ex'%u%o H`;>QTscBM6bm7d}BmP^ZLf ȩĀ#XMϗ'[uRd~w?HH6v3\#] *I;;u_VC>BJ=?Y'"9$@3yHhn>6|d9249Esz 걸GZ zP=ϟo՟Q$.6[P|o`%/>R-z,0waV/p@sk]oO,@E-@m9OoR9C;5Ȓ1mFAŇᦵWIݍ3}װcl@~?lZ\gQ2߅?rmǹ,U>ZS([gRJa 5rt1V^KEm& *W<'j2}UСF`WR}Sy뭨@A_g(,)#Q7:{gfcvs$&V>(C }9InUgJ׭D#wBmz}l}VQ lяn$lc7Yy/4շ$!J KKA8_@g\Hd3M#ӓR);].ZCA[gۖc At|S׵ƕ8lkoOi wUmn [6jWM'h,9o+M?MCb`VFx&P+E{v;=* MbF:}0ut+󒰷@:Q$CxG W9x[r/u|0>'#6Sl&4; V̴b 36gP 1)%sLQB3T`0S=GX9V!d b ][32>J:벫d`7ow@~(UL:=n؈UNzd8ּN*RvD;F>0{x"Mt$VKe2>O5C.*:LAQ7F'0mPA_3҂մ@eb-.SuzQt ` :h| PG,B 'Μ$ /vIQĦyY y i>b|^"郓CLޓ61+h7ϙu5df{K[o<#.LYJ/٦C+v'~xJ}3Þ޶ü>^UBw$Lû$a<&̈́KF7-@[=^quTY;8ϱ _K&ZBpʌDQ| {1xT:Q_m(ggϞ ٪V0ܯNyYYQIig3 /C\#;7i-/r(V+:0BLފ)дZ \dKs(,P)z|؂΄yZ% =Uo$73hKR@anMzEilCV(|aW[;9?QR Pjڎ&j5` / U@tك>JRD wOInzWroܹj?bPU" BNT8 rQl~T^ rF(μˁw`|6tqU]>:~Dԟci#7+yGMثI${Tms7f|";@ 4Ml.+(VlR+l6M.P%3+ʣBn†uNsM^[QkIHt[((Mߵ*SSҼePĤȚT,f' |lr @o ͙ 1 \6NʕثH2{2.[ER3r^KXi gz(߱[1s`z?)QTYwG EIa'0K퉰VNXPhvA5pFŗ:tٳ|dihF}{l{'W4s]]lvpIq3ڀoeZ+jɿk@U_[#ϥ̛^LMP{>)b_̈l}AoEU$sHȥz2LlCx9AdJoOlWS:3Þ&&>l!g5KfӜr$@_Jh++jݰZr<+d8ryx;3+9H +{ջz`~I]/a' c뜥(h]1ˋ) ^FA}Z5CԾT%fD:Hj}Apq am4 2Z0yHhPA\J#ƴr#@+ W)'LwGE冈@f4?Rvc9kt3~I#˸cQEv̔STSl2z\!DYGg\_% z I_dLA9;J$w w-LXaD[|o[,+u ,4-~h z8b eJR@OotW4xVߥ1*D>EnN;kQk E @%!R7`^o$ @!rKٲU{2Dy:SI_ k^B!jO47WOIR'"I!!UqIYr \fʅBj%o ٯs8yHwtG 6^vlv%qA:r\5ao}n"SI}Q 7Cec$B_eÙSDDE^$Olydlme#\WoC,X(eڛjeÿ݌/#+n)2."R;[LA-Xԥ&$-o V'-.|RY݇1omS8Tig-?%5-Z$DrBLI`Ь xUd0쭹NR 93707_s4||׈DL>ɵ$^}]w(d띐 ^D~IKK'/dB|spEqwkH;LfL'VsVk`C^( 1 U%HguשZpDz F˕sE&wpl)eYb`gdRxC .`Q?gQo1wۣ.7ȼh!DggTfq&jO궾:6YDr2c~{ȕOp[7]H'Ol.Qd,Yyv*y}\WJoԙ¿2>8F3K. =\Y:Ǟq(]3$!~HTL0#'v(tAsaOm5LCJJۆr9.7M)8fEOI]0vMZѝ :FYFTC5ithsʀRNTyp+0Wt0vmPpA92gͻ4$f /vKD3~Ыd_L&_D\zZơ嗈W۔|rn$Dq;)b/q+9U{0G.?Q Hhdblz]և^vʱs#^!;1":b  ҬŽ]Z8}w"d3 !wL4X{Bo;~"4f,&j:h ׽7%_,%䯖iTD6xA 0X,aU`EAU^wO]X]ADLJ apaLA%Ia[F<\vH|p_:&O9SJwJpj΀&u_s=;13\{I./rRPXUZص#qO"`>p^4yf2EB?cYa<8PO:7=ۉR>PEVeCrW!-4XHf?ԗ=6f__gyrE[%XP ; ̶:dn4YͽoY+Q TJUYHȷ0f/Z=V?]IbM[|) Z\ܾĽ;wOOXubcRPVDf`X &Ge{qb.U Lkp3~J|}j ۼG3DKb'Y Ln*蜾Zγ1g | 3 &=fX90h>fd' BC,`~)$1e#ٔjTbqp3$7h9.waȬ$ٛ|ߢ iOv>ktMyzXu IWwp'upȱ>24'Ţ )Zk/&Zfy}]{D8*O$~EW}fo<1fWh -Gܢ&7Azv/cŸO(azIo";Kؑ iՄKج3prHeae'nmWEˆ`nt zi{z;'}yq;_D-*!UBcW-]v^QW {t gK?T`KTLxXNd-ti YMbb@ƒ醹f@!,%MgyEn0Ė\^NDUpil&!PBEj߱[(HՂ)2Nk}ȫY(ii޼FgySdH ObLCWޭPyo΃+_"0x*~ѹ.$?AMbO.o>o"3C~}&;4C *;t^6BMh9h(Mcb 5㼊NKTcu^07!xu+=RGo3&IDWcɢԍyhFlWك^I) aX6ΛWެxzeHD1: BL qZ+\eIo>z)֟5{2ɹtp=h4cio駞Jal\ErG;BHLBݏK;}Aܜ#``[EKGn8)$I} \X/K\Rϕb D, $<͟p214G/#pR@1(,7pi!&R<,C嗮tD'(gi.$'\b3$w<ԓ| ~ *}ar+ׇY a'#!^ʿg}~`_H@$`h7A((BJu|4\e*]&h,yLJ tgk*֝,Du45f*L*(P?rd7o4QX/G`.̩9h*Ra*ge׷1ͧb,pX(y{՛VLp9fb-SZ'/Ĭ\jJL+V૙G`'Ub݅9ex>*7YI֐C3w)㇌+Ad\ 3N7 ЕȢHo}&l#Mk+RaK9RA6q2NFpK]Tߒ\"8VB!8ەka崇,)sV0 e/Ұ1D,bLiiU<V3G&|, zWaE+~`oAF@l,yvv4_[u>*x yEylLO mIRm {iΦҤ dq% \ #>֩-\%* V4?Qpf[y):WwILlahDvNv&K]h\\we+qĄ_*gtSb3#ѓXS-a-;Z?\Z8n_@{veSE nj?%Nk >kyK `;cC "\=HWD l2TY}J F4Wt k;t`6c;,h@G>lizjuxI HI)F0?r$SG tDD$žQ&ȓ S.nUO>A3ey5[6ս_CJز J4  T-[9# "9a9hc0:P%:IN\jQ91Grk`yy5qP[8m?LR,yM^l|aD:[ Ւ鍦'Ч/B猏 r)W%sYF#`_v\@bA-PUX:D^ss]|Q,/Oa{չ8IgUlkkjU[%gD/ + ␦BR;DafJVq·Bw1{rsƁgSj3V43IwIaWMp,ݹDi4̉;Et)0P-I:J]D]>1t;~R%.<e |T1h6eB #ͅڍ"F5"%%K0iAg (wTq$Zi?&&Y:\յFqݲm>h<;NiU C *`s!^p|Bw3|[U m$2wcuA$ Tp4$`K^N5V^ EhJ1nȠAw97BkcVܙeQ)PmҸ,Ý{!-g]E0W <ً*i3otbyE[MYW#MK%)NȤu6P0G=]kO1rL+lKr_Oܛm='y>k{`KI 22wgF `%:u{q߰lE5s]%d`(w~|ϬkB1ި8]:m *{M^ [t- Pr_xS) M[E(|z:F!{: hW & 42{tXv(8KR2rnY ǫC>])崺,XW̞<(捅)~;="bCzs3ZNy'V-_d.5 u?AmaX'5C۫U;{[_3$]B(#\>phq|loP=b@-i_WlT` ~u N ڴ†5טoyfP@F]-z- [@&~QW쬨,=b9uc;܍yXƚo- v_T{ =qvF!"hx /)l4l+ 4+\WNÏD2$|(VQc[!o72<*[>%\ReSdDۏ` uTkKgk Moà9-pP;,98> ^TRke!KAkRq\.4f,׍W [ŌF Yb[)akPdBc83M)߄$θ6 cNJ %8PhdLt]""GT!݊Q9@}.,T*3ƕ 3iLŶNBI =(_mP=956p$훢q#+ߌGn^f#z2Ѹ1xRUr\.jrJlL`zñ&=[6ԯX@{ڋ ڃDg`D\,lVgtͦ=.=[j3&Q\/c0?iWb"ӅtpT3DTP .mRPC?Fe7k#%+R5su9}JM +M)6 r2YS yE>gLV&Z7rL'I>tf*met%Dl..yڴ[[ 3c1mDc U266#$9crU'ג[s+g8͘Gp~VTN+lOBnNp]|(Ӫ fbU7k[L4 Gǔd,9r"h4ٳ< Dǭg|nb1Ʒ\5K'=*`$? #;lw " QLP*+Tվ43B8÷9ܧW9Ff]^'8j4❸b"Mj:t݄sA9g=yOm(3_9NNNO %ֱ|Wq@~vpWuWG\e';ya`7= F׀8rCVn^0V| gqrp6}}f@dRWTD\]=N,:{z2[< <@nljvf9LH%i1 \뫹Ү@2YD *;zF}p=GGW~A+)gSK@Mܚ+UU bH'!2>u3;TQTUbv#O4'rl!WRZVCcIL\7I3rRV S)n`u1m>Z$*Elj>M\q(r 4+4 ddFcc聋{BPõX P{=$K>@:'T(4}Œz¤ Os#z JlATVgOm׺bik M"&.l^,rwṌGjMLNKYFjT@'%Mk4{WPU>*  Ck ^ ƴ9;A75vE3p7M")H{ޞ=T;.*!f.Pu*]_gIб6dͱϷ$LgYZ0792dd4e13bedcd83a0213a7219adf1fd5a99f62 0d6cd41e51300ef3d4b41837222a62dd1b22a940 1cd88e0b8db8f330e4ea16c15724587be1d84d09 1d2ae08cd368b31c9b00cfe50157569c097347ec 264aeeae08e19d904f23558392db05ec77d4e8c6 2d3928846e31cf27f582596bc585db2a42d7ae75 3562fc8bd314b3a487c60f3c2991cb6b2bab43d7 4564654c94b9c819d20401a8f9f108ce7ee3f553 4569928287e78011743d6b7844b6f8e74ed03875 567f5ce5ca7f9de250fa02a1e406970764cdabe3 6c5cbdec706c1dd4d651146cbee9bc74ba6a2369 729ba6c897e1c6162510de5d031d44455a310359 7ca278385d91b9522f111489bf73c24635f76573 7d2057f8010265ca70ca77e2b203978b6476f0bd 81187e9937d74b072225d40d1af42e19e9a8b3e0 86c289a8615b3d182e0d851c219e683dfde0241d 8c485ad64e3be39f5637d2aae823a984dade00a6 970ac7b8c0cf5423d7fbb649c3ad3d9fb8963bca a131bf07955e016e7fe3b479ab4cd82f28664888 ab7da0f691cb02715f2682876d87b46064f1a398 acb8edcb8f6ea0fe348ed05f0e070ee1498cc7fd b9acd54bb305519e7651292cfd55f24493abfeb4 ba3c0884e2f2491504ceb2f90e9da12b828777b3 bb10b7ed8db50e7057ceecf290eb7645e94371cf bf490b5cc390fe8d23b3eb730e4797273f399653 c25c436eeb6824f1f1fa76e04129294aaa7e8dee c671faf304e5b931299d777a713f65794ac179ea cbe8034c9fb533b178aca25a599ad13ee4db1d51 d19c06691976911ad10683d86cdd7ad1ad87fd58 d3981a38dcddcd5dbc9c2c77903c8312117bdd01 d679e1fb0d11e85c2196a2804124e148f930a50b e80589f3d5d90275303ab04ec91511752d70a4d7 f084bf7f961b48972c2db28f6a26c93cee1e80f9 ff6fceeee2cef000778dc32616369d237996ca43d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 912f457881ed9ae88bb738b933dbedd232e165264044417c3dd61a1edd19bb81c420f8e2a4c37975