SQLite format 3@ .- 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 uS]Slicing:threads=2elapsed=604.666cpu=1031.440gc=15.948factor=1.717zXZִF!   Slicing 70]ŗXf1-/6vR[]\|⾑Th_&SXu AKDŽJd7<ӝ/.rQNq94XiEuN۾9MQþV%ACB1vwd_T4}E>7C_Qv0HpشJmJX=rZrXPg@85/ÚwWGhJV!/2o gR2 {A=(gh֛,gf$eslW.{TDWׂѣG:n8 VXPv+'Ü*sʿL1S>_eng8YqxXnxTeUNeN\w7qڍ),f-X2pҡhIC֏*d#"I&ļ*#+As5v7ku0RǓڋM_@%,$:$"k૒(ry]dܛ3D˽Eï Ӹ[}C-{~wB#r;~\BG~~ g |1?mEv, WkH89 Ц:x/էPɏ -p6 p*hDQUɤax 'F254WM"Dv=ov4hUPjqhL?9OČˏX(Ԙ>FrIFÿho+{^8p3Vo>Ιk9qX4 e3Cw>oz(ߐ'C]dAq ) /~,x2;~MEΟ0&ki488@.1 r%Δ#݌RB\͊71%]V4242UT q^IY>>8a를4<K,ưEjj۰hJupU,:O h9^릾˜hCOcuwqs2/f(c# !1m`xe'a߷:sXVoT. ҁ@A{#,Wً%۰J5E},p1NOjKbh'`h("qD?^ӀZ^сnryښ#ȥY}t*1 eHRc-zx%j^OXuAub`^V.3Cy.He;ЋXxJ=^J͹5lt5&hWA߄2*`}_ߑĞO )M#v9bnK|'^>!i]b Z^C@؎m1&f[jmaSeyp>As[?TEhF AۚscSAb J/9"6nbՊa%TsI"&_vgcW#z/bSoOa.U>LJzz 'Wll߬A)b^ ~RPWD4߽5(L9_!Ja4*aBCqj| !}_!^"nM/11S y &z,c>UAff2[O8^&ݖ+2 oM}R,V.}#qbB2YNO_BHH\bH “xP5{nKBϘnZE~BJ>0laF;QMԢnuT᥆-+QW/yI[ZlNu`.HCBSˁ]%&$S%^仯ezIqTd.5UsYޏ&c 6̿JpydͶm&`m@>l'l`U%O,Be>dW>E*|_iGY3G3Pͮ8=:~Iy]ia\5#NXw'p@Nf 1(Iaֽ2^0Zl>maO w= n&8tUxe,"Q0@Uttӄz|_oӖ1X7}+ y[|$O #Ad:&!~~sCȎMP%}Q͙@_'k2̍x!"UuWwkhoߝ;Sc#;Sl٦zM+qzG=d!<@p, m xl`dC2x[f3w% Sq~#:m+_JQ9H½$ɒ ~Iǿ{69:Dڴ4q[&qGBJ`Y͵f lwо}g6ڦtU?|_ʺ7ec3Ȏ&nNT*ٹNX2xj: ' )fޜ`h;D70ucC[`c(|G\E.s&C\ISb4"u *8=ԆSs5> 3X 8^q H? hde}S8g *1+<ᱬXof9; 3,9+~%)[7 :sǀ3 A: gPtF{-kO7Dܴ~T?rZ"W>k⇶M8_4gi0 |SW[4>imq,,Ҭ9:ḻd Ҷ@^p1.%CiW1 }dz0?% +(IxOV?BmR 3 Tq٦f_9ۃFݵ~zo? 5:S\@ bo#aI7:TcA=k԰vi2AXiѨx w?"w ·FMl\:+[~X ι(ݑ>Cq?N\2RHvww+;%6ղ r u#,iljsv+gfTEf6eڐ%咲yy@l'VF 7ɬٯ`~3si(z)m$yEs~Nm;R f0,!#&:?D!Ed"_mMM,=\.y"R/:h;|P"oꂦ0|e|mxV|7:O/;s PPh1WHlI`9䳥uJB,iƭ=WCz33Bs6`z*e4JSJ('+x5%F_ "|m PDG'o:_g-r)#7|xhQ9Jؘ)d γD=8 Zz ^\fF5OtuHz3uxv 'Hn ڝ+K%1'`pED'ǟPL搶3N CU[bRkC W5?Bx?{53рlܽ]A$ؕMgI싮o6^bga^vqޡ'%[Q}pWݗ7/_F/ߒ+&@1{i7U8~>ܡnbG'S(]fJpmkOх0vC1@ן6g1#C'IP+s/`NuSI 5` \[?߿f+}QG9<lnn$хs$"b q#Vr=OQm;s﷟#=¬ux%͊F1eXMSPHx "̑F?܂pf:uKj&gNQ].~6ӵirg|`G:EW ʽ~ԡ^H]uLzy\HR 4KaЩZktK],6LZc:#WثzqvZ|,7>.MeE]c!M.2j^/tJm I ܐ6uYEa+ cTg>$u/캈YEMk$xE) bP^U^z q~m)+y^n~Injrŵ&q=x^BcX:L 홣&8/Դ>a$HqUzPMAEIӿ*4@纅rU: dڔh]bɻ~X05ѕwv^MUn}U@P>[M W,SBDYd{-6#Ql>< ( Džl!|FxaL +P3_QFgOQ=La2߃&pzP(!1F*' ɫ[Mt<)8Wׇ %Iyy[k|$:,=Ƅك`ocOsٽMUpe?lPp{npT,s`' WUq*b9 ܌qkz78d!LDixhfpM붽uWIq ;\L:XĴm^#e\[;َ2 *e[{ 5d;nFyJwό8;gvfbg–u0[Br -r>0(iѣES&;r3&eW273ȹ;AMysI~N;o A6vP-d궆LW&ibX[\i3&?QHÏVedV输el4E:MDAJ*pzȒRsPM`I`sQIan%^<%k1b%#(!8mА`偾 [~]U5hYI `8#bj}~ʝ #s.^&_JwbyaバTe8w(sM_l!hx<$Cw:'Y4خ3pzhĿ dX1ΐ 5wAlIu~\UaMўMDyW$K$p +#3M9s O RǎN@0ѡ&A#m2k64qa>!R-$K[+_YA+oކ(PwO+2S.{N5)[;<uvA ܫr41Wh* ?!N4ڝZ 4Z~+H:P߫XjAzp\UT0WDX欄QP}e`'AKoēӉ}}(Qk,N/ RxqB.r#HzM31|,WlUfs=0cdh?Ն=@pMhx)YhT\&KS—}'hk0Ts'+κ="|q6HZB8Hg>b_gEQ$v^/ i-+k4*#co&탾W4Pt֣dzjDJzBi æuMQWFPjjkp@|׋ZH4|#2 dt@"^V\Wc`ks 19sܨ'fQe#-nR 's[~ F<|4JC?c:y4K%딚ͩ/L ]ٞ5ݧ{fao9N}#0"spjaǦD1A7wd^nFPYpm "M6kAы7Q6z3*ZeLj>E~<ܚ+g=r=!L\&/E|M #s&C©J'ao3ĭ^z6CRKJnb_IndUoNٺ # B"ef 9F'9GQFyKלFˣF鹘‘h荡v_#˄_|:h,ؽO97_'~U- ͅ'=n: tw 裬eTvL͆,i[?!+Ck_\/TjVQOqFQtM4I,zT$o 7F QG'Cbl yk͞+m7ӵ`a甉S|JSsM*͓nj g"S;`! L*^;6_TGKTwGP|W@n؜ 娬 ޷UI61t'tA?mЭp ?_ Ϧ6x{Il!⥔P'P6Wn|BgRWEySe׋ed2nbF͇O>1IQE%!ԡ̦kB~))ʱv\ o_Gȫaszpɸ󰜶IurD:-K@]tu-\uƴTs  5I9Pf7b 7g"HuuCE'Qr5-[þ|AWg l>[s6mSQBԕ{SA(y$Z0O=DMfHYG*XϏuOh~)2zR&o>N) #.JS٧b䆷! TV8y3"M&yk뫳9҃W|J1fg '\$|XR m̚INA툜n6]U볒5`\>͕'.SDJbnfF< W|˜uޕ`'UP4jjHx\y3WeMO?ͤ4Ј1 Vu(ڡNF+Tp6IJك)vSSݗ'U⛄QQ\6M暧+ZgN.P& )ПZD']'vLn W& Geء ͍$]lf'˜^UC@/a2aKZrUħ 4?_vG w]QQcz0k[pl[0cK)|FO`ګ F_gb&֓4D`a1z2d8N}BOh!OҿZFſ\="$9,}}JÚ" &`LKIY vEeQ*t\l[ 3ةOk+?i{rz'j>V,s*^a7Y!1ج/%oktP7pC?Y\(kd" YBR[e+k;j5>&gˁI3fLSshc8bW=XCQJMa*xktʦ$;p`4O,[H;FD~fR?hlVaz;oJpa / D8C~ ]wn}bDpݤN`Miɖ/ĽOffnD0?ђJ ǥwpNmx(5 ;epbxf4+ϰ X^:ɾ' ͑2yK.4f09\ՋLHTYFp^et8NDB7Yn<\תJpgp>}B>ZXJhЃDPc"F\w v==}"mz:Or,ﱹH'djГRx(JzKQnj"RMfeQ.m> C) ra`g8s!6j@hrrH:<@+c A*i}2T_Ex0D@ϼ[Lf2:_Y4b >[H:ҖFQ3-73H(e|꘨9fC=3 ܘRL J)0->2H ƶ4fA5|NىIQk½}IVc(=;-MԎa 0J>9O; X"zDb%AA4>MUHW.9"bJBئ ՘Lzlz-ViBֳ3]c~!BH<%%;<̺!>rN ?D&5s4P ݫf6Ed@HF=q{ʎ&yo}'}.v w&bÊ~J67`#oyL^떍CXmƣ/XAXGq DQSyGMǐq$Kr(bP1{qGP4/Z염g:,@m9 O5'[ G `BT |Uz[eQN2 .%aI6'i/30PyzUzLB>/]E+ V_U\lI8Jl3DĬ؝Y)(>KdM:uS4IEv=˂7alܫF %DٟPT܉P^K'j,$0rEel|.m6\lŎoWKfW'O an/,TH 5fYU4߸7F렫'sQlG3otR}XY2մΐ]z>yŦO1eg +oC Ls~ bUxҜRLEWz0<`A.urI)z̔P?sle>F_@1 a5u]MV&ru<9DKhmAajVV ,oZA(oR* Ś&62&Ur# a#^7%,阨G A7bi$;m V_yAiG'ݑ`\E#7=q)Oߺ. sf`0=;cPTSMFuH{(0K ! V_X/|AbR @WN,a8#(Z6,Ľ QRtv=,:3 $`"%S'L8 7ðD>IhN"`6yz!gƽL4|.iYp[>{^p {O{/Pl#؜azUXOyV4T9ZpBNg,D}Fvhlf|~~+yn?F #w(qV@x7y9mG+\!Lo2zjۇcs:0-)!N.(b[g:d3 ʳZZ(5J #J\8|^`"[}sJ(*?&"EX׽qNJй6kI&,AG,% ǿòNS+8:?1Le7tӇ.ZB3qy-B ZIVMG%N] Bm/IisU͸bRsX T/ms+9D?5$pǍгjyٸw2)-{%Y/,6rqΔp6 Pƀ_x( 'aگ dՓ Vb"cJwcsL;aʼLXüwX]&ɰ]Ae(%sFjWIc{lDG(t"<(tUpkᶼ%\~y.A)H`MEv'$7J1u7z3]- 6&y0P+ ^٢8å ?מ2xnluҩ ۰sx&8fP9+kNDԭSĪ)Z.*{h{+, jͼ!Ĉby"`DJ:jPe3ښIϗ0,?w,gOJ!M߳-_mG4On*)84"w3JT2!g6xw;OjOZ^$ jؔ@ &ǃ뎟ל^ P Y"N n - gYZ7zXZִF! ;k]ŗXi%֨TIJǾYebj:m<{~ tqQRx[MFC#!kt+i7#EH{UX`A jκl[A'&[8Nf3Tl:tUIW5;Fm{Z4^)FOM#]jgaRHqRK&g[]ۚҁ6\O$ӑz2J綘ϐw[/;U }&zQע%#MAW dFrWz1ކQ.up4oqzpҢܧ8iz>UwII;84;)?y)2Y>>êV&&V/E炏x^MH#$Q/|׳RDDyƩ RQEDZY{0<0~NJt7u=_&k5V 'w|B*ap MRp{z={k廑R|C:Q&$RI+P D)e cŒrO}$ G1]FUKMV1Vu,'F0LA05-}~n Ha )YhYX*Q@+-0Oõ5;PyL5KJGXJ98>?$H 6ME7mbB?3P9l|]緀^;T|q&ؤɦBsFrE]Ya]S#:u~Shpqϑ ᧡dÓp!YNYPf::s/!owT&|R,GxI>$~o;v ݁zuIDr=% O"Euֱܢb+<˥G' ;$aA(HtYu0tҐkȤbJ޺Ǭjo0ә* ?"U't/&-vu`Iq1׷CݾU 0A5j*[ܴ0'5S.(TdecPBc.,UQt ~X2 ;Qj 연HH3zDŭ KJ;MLnAy_v1J#A;-Ώw0B=~|V]$s}1ɦʖiJOu86ȀOux:^ޟAVDy} K8] .k8ު Wkܷ! XúT@G_{K BwGtؖE!krUK$)4+[0/ox|9DSRVJN\G$pO(gN$m;%*#<{2ʯGlx)/p 0aAʆDg !7/B>U]nqK]6 ʉN-߹\ԁo m}M+T /B ^Ջ9d|"}X*`E@9^*NF[fuut 6S-|?da`& l vq+;Az= lwrw/4@.M~zp]N^f9rx?BA2@Ql-ɹ:q߉s;;sp?On:] 7Y\+C澆}9T$N*M  `&/;ԴHzԆ'cW@u5"lh0t.x zNk&Ʊn<՛\9Z^,uȩ85qtݜfg4e =g78#F+H߯eW1t7hd2xloZ]=M435)Yv@kHS7Ҽbآxn4ly5ӥa>viBP #'"D[ғސq xQ3VXl6&y3cnRWAhD# @i*26Ea6>t6AS]LC0 zY|'ľ;Vv4_N|ЇShJ([^Ӹ1?bn>C/6cC,mLrKWÍ9EH+#Y\fdS:<ȺZV-ԡ+Ǟ+Vy"rGip Ro4ޑ/i֮T9-7l5[2Sr`d. ؚPGY.3N]Lx( X]B^aK1+o | :Nw3j02\+nrݫy30\JF?U{ 5<&)!mÊH ?4'uoHj[NծEH&_AlhIo- Jo?;ɟwu;i_+.MٲT?!6Yữ {],~—]ۻEsHGmR{Xp*_WTmyF IzOYm;>BQsiq@bWNJyXDO+L%,^]qA(xãQg|EjΫ-Ļc `)`rv̓a߾p̙B`xZW#BWt"?k닦Ƕ"4|j4@CԟȯtS,UtWF3&KDB}`e>z$ހe_?5F+Hz Q3'XPJ 2(YEi\)'.qG"p0;-  E5#!P'_Q C/&asJA h)8 vRNsN-&G\Fn&ߊLyǜ]*̀5F00<Fm8 rD133-~hP6:v+Y )#pG{obz8hH6+cʧE;>E˪Rє/9e4GA͹x Y6#BdИ*N`r <01DPjol@eCMmTK.#sg Ed띎a<ф`̑LԃDP͡ ͗WYEq V*W!d^2<{OȓĀ=ڍS?ǐ8I uPԡihleOQfH(sX FӨ1g[FB_.$XnyuJDQF`%CaT*+wfχ Q{N'2X"Y|麛Ru"Na-B w-h:t:`\N؀{,6\S$# HY)D(jf4q^7WGaJmb*"}"{*'Msesn4chIY!U+_g'-۲= H޺i@HT H_rtЖ&r#۳#uID{j @vuJQ6'Ha.JVt5p8noь`btE>y{/=Y~ ڿ0Alv:)lA-/8b{iɆ f1Q}ơgZHċp!߬0eQT9EjK鷎neB% *~n5_Hs_RSY8Te(,[y[20(K܆@ ݅)ZEF2 (j8|9ɰF'"ˆK@!fO߱ 8hȰo=$슞 h5^ o$m [0 y/<;4#tMQD4DNI'!RzdxU-2sgyM8kGPYGK^6oB}msI\&GUie܊l7'1qpUǪ mÝfX,+ A?:6ïq]\3Rh:6)VSDn:DK{JBܹ9xXR% 7R#Bٵģ;:Why6jj';}u[t?-təs´9᧪'F?Z%%COYz%z_Zb8?qy3yAvoR_*Nicgtw1̪u' /w@K #5sj%A^i\2BS.sTP$Se _0zoPa:V6rL ̯ƲN}!X\٣B{faȡe  ͚SΕ EfHZܞOejr` 'h?[Rg}seE(a.~?pӰNjw\H>~ ^ \aAmWJ4im\p~| p'DLPv^'JZ(R#j[WQ";S( "cng8TW@P`UmCoœ_Qt=}(,A8'j'!SM0<%X =+](i74;7;&dBЛ=vw`IVK^50o<=]ZnnII^xo>k}߲Y:۔+GG.5x E-g.j` 8*^a*k:lx.U M ղ`f s ( ,Dl.08̺ xoz^ٱ<8Gm(TOe#+1]DSL ]+it-r`s<Р$?F޻ӕMaU;l%[URv->xoqV:V$_q2 f&#A{gVWтW`[| mPc<i7& IϛdS"8$[0b&;Td|!!f#ue5%:t^S\X7?[,gx|}:ɘe_W+- j xH2N8A+p0h=if-Kāx8Eo"/ydй njhc/#ӿ,ۊפߜ8"dN5̭Ʀ[\Fos5*u ]=3{&2J|+X鱹[]y?U"y< qBt<^ ~H:X܆6EW`L4%J+r~3cpQLq5kЗUo3o;ZTD6w,S{(pӠ-)UHga F,zU qD%y:kwh. j<ܦuj9tVƀ]&[xɊg= ^S'4o3'^+0@g$A=O}aH[6`6c7@ ۙuRQr)rO15٧xGZ* H w7-Kn_^U|(2AzoO<`<ꨟՊp-w@Vi'퇉b5%-f%(,TD|4IvbO6jkcgW1T+.ӝY 1E ߇<l1 a)&b:^N_eɼ/%:,Dr`0= ì-2{R242:O0wӯ;9vwbEdLlΕ6u J̛9PhI`ű{2Hʋ"Zϼ 9C[)> Y95|~ݙm14V%7 Jyy %CjKzdtSf0 7V|c3OM L}G\3?panU*̘5VD&s{|f ҪKh#s.K jxzݽg Rʱ%)^Yˠ66DڙȳH)K:ʝkz#]6עta61QfaZ'9Rh qNU#wgpx%$R՜!@ dgSl4_ j+ս}+q0YT:CKч2^LO8 ձP#1Q&e7k գ?mjΈ[(U@Ѥ?X8 ph+ۺ1)’^1A!`? !BWΏ0.CĘXF(Ǐ?h/lM-m ȭEX7enFvCcu=R ?G!l w\*,ŬF|WMk=/z9BaYWR^&^Ϲayb0{kZ;VX9XqyC21[pCTH"=SaB y5A8ϺCCK>A"u'Jخ(q`LfP[Z\ ofIF![zlKCݖS$;rd\}V vq8s](L~^{9:fs:ddwuuF"'gb"R4],Sܪ6PoG}!2!7ZCN+N3YzDqn0#e?qgV`s|<{Sz>BdDAxOm8t% aj)[ +VGI$0g#V]ҪW1%$Ŀ DMYhtW*u{&sݳ=omD,Lsf=9L2<͉Q s#t b"hVeU  ;*yҷ}Pi„Fe7i_ab =.w(>d@*5->h6:2c=Ku%%c}XST֢$܈T{ UNOU#B|grIˀS׼y1!D.N.ձ4 9{(R<* `Y~P/(?mJ ~d[5DͨZ8AH;EQ} =>YUˬ(TYģ u]S^U gg'ZJu7EdZ?QY:O28+(&{Z(Ƃy'' -2C b-N 4I\!)4ne7Z{u#C&u t#m~b!36>:18Ioޑ44'TWvY ‡$,vbKŚKw9q)$AifË!f+ rE\Y]0e>c̫W] l6ȊzuIΐm': ?ؼS FрM@!iGM./Rrn{*wPF-+%N4#Ԑ):dܑ $ݭ.x |U}10TD)̖F|JQ<f,3qfE €HeJ5̵x0UESj/wr WQ]HMaL2zi]:v,](HvoIzߤ!r/'[&TsԦbL&~Au"g=Ɔc[pàU*tvC91إ#)8r,?LڹDazrksX-`{zޢ˔r6|LU"Q<<2/$2 z{Fwa;i/&K!n͇$9Ӷ7t:¿ BjaoCGw5 4+|,x֤0Z>v26+&+pmӶ5%Xf. > !iӸ=< ٹ*XҕL" 2=Hwq+]^xkr:+}^౿ӼI!bx+zõGU]L:]BX"x{%U_Kgjj؆{aFRJ_"!.՛J-ӎGIe{ 15mԥsc\5`%-`%Yc-l)X~2ٟHDHjU s7t/Y-UF7OS/;Vxۣ3qzIW}\.vrFQ@rgR6.iMk2q6at^)cZZ#zEeqKlvGZ%LO nLHLA hWfd`"AÁПpH"^-7.=Sۻ}8\0Ȁ #&;lV|[WvDl 0G!u&~n tSV"xpapy2T/Acyݚ퇂`Uc2?u? z&FZk#r2?eZD|LPpB珢)CYpʒZO!\b|I3pvm%##RZVξw18T FԨT:b -7kEޞ-r^O>C(A qYcW4]`Tye=xO橑ߓ03bZx*NeM M_[M 'E#ZjO2+/qS[cx,/]9Bݝtݻ6%]]}n2":&gSF'P)R~#6x< Kgˡ7lPz?^N5ou݊hȤM)0 ONTZ5k4֏:/l; *a-x#gЃ d R,v<4 #ϙHn#Eg|ޢ\Zdn#vļ9rC3]p3 G_ CV^<)Ra Oہuswȹ η^- 1 I:&;JW1D`Zy\Ց| @6f\b077V~ w0NMC.SLӡS&f E%[(sndMڕ,p5*jV3'J&ޱ'y0LSR}dV~@;`}8m~_{qQN}șJ|$ߺ_+ m]=?6pm$'h M0$[Eȕ.])w_׮XeE weQޡokJҰ)wF6`e[e J@t]6dKAKB6 ջ4 l>&}-$CZXZz$̖ZqD{VÍhT)L\Ldy)}FRgAXjK[RyڊdQ.}'M.܊@4y̩Z`2bQއ>o7be xg@c1^77 $s ̽$n^D j);HKѿ}.9*_5=Gi_Ԩ:8̓ >-~xrQ=L @dc-gةskO6\&֕w; -F"_x w$M{Gv+,Rr}|.e|mI3 ^pnLgIfnC8MI2y岷(/Yp"a3}T"Zrވp%GXc;~dB1Q--P t{Z Ӗ>W v"^ؔ:Ig{O oULLLLsuc vt\kLRv[&>'H-U%6.hF&4OыmV/FqWM8seeOUi+t۝Bp?SICϯRc`)F.3(X~{R4y%sڱfbP0PjskR~5]y3uMTîBOegJ9sBb2s=,87*$rCkQ%v;9[:tYЎ+EadTua #?PѿM*JvyO 3gD%`ߧ̃nx{#wP&q~{#vMz]؛^ BBkh?5U {q2ITD[y&ӦD|G^CNMld!6W8h `DZ;5]- ڽ!)0ٟY2${d܊KE!YJA^o)\{ dN<CicO|b \*3On|hƃO`?~'( a5 )"7OT=z07$tlG. ];Hn>%s=aQJu~Lm3ϏKgva{ ?TK)%p9Q\psjO4soMgbb_ QZ8=P4kdBl>w`h|nXN$Ŝ [`+ ^G#:OF:joIJ/B:{Zm( R0KKk$x)EzJ=UX;856~`c^"Қ0{`{)\ 2=$z`y'+m*RDZ=d䁕,v h;}֪O {/00>ZP&l4l?lR+iS5(RfN_KJY*=WVMS:"Pit+H3'w}e axѬY]Yw!I|Bh[o.153%/`.UKII(C 7,%)lD Vbc2\ިih9Y6@M"R)S_~&h2e9\l"XfÄ}Gr̎¹r=VEGk|rq;jn~Q.Մ{ 6‰E rǍɯP <~="<t-ڤ`[e?{lЫ.LJ7EV@ o"I/;K$`o0^dr o+j\1'3#@?H- x &E -|i QgYt 5mSJYl')P}ҝT5bUJA>gf7h4r r/NUL8t97D B+fxP).{-oӛ٩+ߣ\Ĭ:1}R}P,:ESՏ*pfJnA<3c{ǂq&LXȕ٧qVÊcudFjN:W[}mG>nhyir&N 80֮vMpSJoFf]hƕȈ aZV& ^̉rH@GН˙7>" &98s dmZSx[:8IU)3" )ZL?1W qJV[ I%Z ͬjQS—4Kل$ WCݶ%)Ԍ/=X|͞3=&I f6?\"Hu.W˼UOR Wҽ?C?Ð#ꡰDS|(b (cwʄgrKX*&c]Jʘm.Dg70_7 PBsQfD'rW5d RU \#eL:;%q U[|k 0 `.~zl>sA䰃 z)1dԐ4 #|'8Wdd,wJr+řh5QIq,PIrE  ~7DAnL@ʂ (xD]H}ODRÒ8 d] &>tD[CPm_^uIG}M_vð_=jМ#] .c-6#VANXl ZA+(pZ4c,E{ Ax3'8Tdu{JG wO;$ӵn@A*_ V~ VԁN LTxUXx薩tJ\HFTR]n$=h( ôm?V#i=WήJlVQ"´[;j{kens;W(jy/:&rG[UŌyDS5G RuCX7aՅ><(wnfAsӫ&!,9x;>Nfh !.A$y nA5YBqBe^%ґeDL-F9*0pj~? 33f.+'{lwE0Lר7x92 sm7܍NR]uk3 VBkϡ r[ |gGw8lRہ;߆#w4X\[#I[6̮ڋpǘJy{y=Μri!$k5]]M?Ikvb*BXA+n:TH,DR* 9S0- ״ڕv̒5˄zQ7dMnT5SG6̃eOTu$QX C/J5g&(;6ޙ}B,JZ\Y.6fO ӂzy3i]BCntݐ̶_6r'XV:Rz#*Z#iNuiδCϘH߿>`|'Aѓ!g@Y\xN$7 "=f{a;S`«,hVXhdr<ƱyTaX*s]X4/K:nW1+Um=u`;5P:\;(Z ST>㬺ܱmytݟ_FԒV uvuNC餷1w@I>:Me٨$[w TgDzH\/pfP2EAS^]7q11ſ['7 Ck|$[ۣPh ҕb8'GԘ܊# Hl V/Dp0plP7 LeD)Lu7O:G2/m@H rrO| Ӷ^Ð&ɶ&-j"8ВĢi8~7=~WR!OBLM0 Kx(ʬw+> 1:ࢬ͡/\h5jk&Db[7 0pkprm9+{zړvynֵR6?*kذYXGs'%)M%[L6: U[pf|JE6(q}]#y" Lx8`"!h">dvdg]17V/'ȷWR)Ngsa[3*بxĢ1ݑT dsZ5btg5 R|&Ziz+M>X`y kںex4Gc9912V_8m36c\ޡE R((qN(!ZMEke`9W6sR.>0ZI' ,Ei0SaX3ez8 ׫iff͟%tPHƒ׼3v.o"w Ȏk@dfhFfjV" )DS] E/oyE홈 z}8+."m-Lvcw@ ޑVn|vԜ^пrS9(\2s65G1*s ۸&ik9T9|Z5ǰ#Og:B6"_sk1_~NnlJM})r |E75I~?temKp+qHAXP_A4ȹe/]-ނך9̎\",Qe G&$HM̛2 K?>"KpԐCg|Ju G_0Ґd@~8 oM?x<>;O <5,+r{+`.ETfy2p]NgcDq04%#_rfIK~ˆN!aYG88VJu(fFQZyoD&:tKM@$;p0vdOB -h gUoPjԗ_ʷUvnZSuVnE1v_\aD!HDkQԈA]IsMįDq9oȇ<i)]8` 9&u=8< +#*p5!3RBl'4Vy&T 8&+:j7}]Lh G-߽ҟ3Uip D|U631jQo(dbdNa*p2e/ SD 5Rp&a>?:Yj Ɲc{Xa(<ɩ1\G(뒮O|$W -VzҸOoI%/U:xC b:Zyob hc~/e*_:V-e v (rz0+NYT"Ѫ\]ĥW§i&t0O{ʘ<)~{9U )hCAGP \B"3q-(`^(wNM8޺ l= T2s5; $4NGQvABDqTIaLq zx(@|BXKzn>s@4xU+X4kjo ^E6c?ewgxP+8kg. IHͺ$ii&2BS҂`IXj=^>O&@O% >i?>$X?OʞĵRE* Vc*xAg8 N_+fy9YVuA,L}mHI]_d5mh4{(z"耂ALLb=}!KI"ЏHvvu!3ztWM<0rԔoY!>&%Y@qG dlm~kQkZ K{]i߲ 3m5H eTN|}#~V zt'x7s\b,|w&}:ħԕ$`XVOOTx{-Tl٨Y¦z4cnV\zpjWI歇W&GaDQ^.%_*OQ ܂GI!ʀ*{n[(YB' UsLi3;Zv+qbXx*|v = |ζs$kVյh݅PmsIp_DN+0N("R(TD6?@x"NXr2I. T%R"% 06ExKr>a"&{)H:@߉CBAњ(!eUVk=-$m “OS٤L{TpS5Kb?"IQB[YZU>+r ZE/ "Ouni뱔IebR5%BqJtXj(s,-Z5nÉpGWOrj\ԟk d3L!ZP{mHp%1&Oy(Nj$ϑ' ) S DQFefWL Ƙ߾d/P΄ 7K=";(nOѳZqǖ6 [oRFTiuM:(X~#,YaF~lЧ, !-ЎOG;9=Q|MFq.Hk<<(Xt5(E>z@@1h>Q?z4b%Fj@䋧b/Q<϶Op=߃DHs9\` 'gmICENq|"Ԑ7c䃁|y*i+f6ߜɵ M{&J|7kK$wOu t տ``e0%s%l%htK]***&FZ8L$X/f%M&mD:ѩ U V@Ur*pFe\L.4%g̔ɘI屠KIɌM:yKy}:ptf'OO ` U)g/LԧZ"$Kd ?5ngʼШ,iEŅӑZHA1J8PlfJ=DMƭNomu/SFl&.LuX8&*4He} `r[fqu, ZEvQK,rZ"H]= &ua&T᧴yD9>op!n?m % AFO ԣX|fY`Z_yR2%9ط$HVPfY1ȓ2RZ%vV)c2pUڨ띌&GeQ)Dr7闠=/soI@ۙ݉iީm QԆ,,WKMJ4Nn_e:3I\ұH>銛e ۀ5BC`DH֚E1 *3fQ&A|AfGƢ9c;4<{a7+&ghzZ~o37$ aT1K~WHf䣳3?92Rq56y]Kmg3廓(i8']d\& Y`z~[Xjΰxȧh[R\JaFC,&؂Y bY~J.l @ C~3gɶpu W}"=xm0P$E]r꣤r:'(+$S:9a񀱡Aw~IKx]X.Ȓ7<ω^*Y? =bE 6T;[fG`` mD%Ng6p D$ A\gRs%8qh߫IT46g.9:qd)x!K$jó<°}*i6I"zH",LvPD*d632jEf7DX7\cl{+Mңʆ ""Lgb94f8,yHmUT5YP*¯d.TFUxGyDq(MlH:FfqxZQZlȞF!"bI. fiwH Hާa53z"3!|Ͱ %]mRNL+z~~x2^e̋J_|k W WFKKV阧@c1MNJ)GBF鞁 ޣV=5E@kknb_M9ZIo"O sW@qD+TJ^-RL]9R,ݓ6!XEt|N(j>]EMڭxjr [n&%(tl˫vDHz jQTI<߈''ނ|=J^p̮UzJ禔n";\ [FN2߅FZ3rڒ?e^mɸxY./kڞ e|1o{y=:+TnkM:'jQQ>lHO|4}!"K' p03+aD.er^Qn`jb{_b}̝Sl29Koň9ps6,?N&G<0Lht"IgM% l]ɕFV+cfꑈ*ovFiZ|]qiyBZْiT5CBFneFbB3~+Lw6U: Qt 6P㆒Upo [h2#s=mM#r&j+A'~c_eQCoݐ=k'$QS9L 1ldC-v|yĕv$fX#n#EX޽%bTQդlT<]yE<ԴuϢVad2o`iyqk#džՙ lf'2IEPm@zU &`7$T6xd)) [˕X\ɱTMm%hFOoj *XmHmETč?`{,˾3CN,S+9frj"I:,K#eW zy9ƓVU,yx6 t@taTR̉vpngBT^yUo>Jg6'kIB/Z)$5neJA!P(҂*;e0tZ~4dg Tݧ`6j ;h^7.[v$hkm2j\b/J؇=eItMXy/XiDžƍ5&B<lDbD@ 1mv"i t3"~7KԜNN>qӁ'y.,l{~cʺ^_3w̱y(%AtAKlT O⒟$ f#l_FC )0̌Rm}̤br=#d %{^n1mMᣁܵ'Trv}ǃ?: &‹>)Z5ZlQTjz>{E,ՀwtrNqæh 0JbW;jqك7&"ֻ͞ xy+]86v+ʷ }o `]KR[\)c)+ʷ"4T{z SnH>x [ƕ \7Hu^"%c' k0D*9<{6 ]GaG Xrs T4'\Tw Ό[*r$M.-2%QkIړF II0&0("ħ;&>^qERB2>E{Ф{Q`^046de3~nD٥<񛋽:FLs_`p uzy{k7kJn$1㮲F3oEޕ=ɢUPѵE2eҰoGgq`&`+âj2U"҈ =ԑAưJП` VyK1'Z-QCe,ĉn-q_Xg̈b񺂃җ`Q7gc)rDG ŽCuJoid^+P~7(wA3Mǽo1MWaVɮ-<ޣ#c=JjIzQԗ:FR̯E[McG>6"8z[Pe mqU {A?9Yę1{#nYA 9~'/;r?~Rc9r;b!t/9s9/G0-@LaP.۰Gv8!|l;Mը;c 0c)QuQj)_fh`.2e;{yh2y)id+'6G&Eݎ|dka$=мcMSry#;Y%B21(I#7vPK9LeBaU:\[fSIomD[IP 6wZ:`PEC~'cd#tb0<#w cr^u F&,*k8HpʌI8vb.^5]VbBk.?|