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 P|L /]]HOL:threads=6elapsed=142.227cpu=452.664gc=36.960factor=3.187zXZִF!  HOL ~҈u]ŗXf1-%˓S, z!ŧo]uA{DZX.f4vg]3K^=eӏyj?Qa7{Q]gC g$?mJN0Bf 6k%Ʃ ЎNM9qn'dG?I== _樁B1 uoC7MZr# GMC7䵅}raϝfQ׌َhQVI=؜a뚴ĺBe)(Rxׄa180gX_:Nl٥i٬t12ނW⮺Mw\ !Fvua)45mp_`Ҽ]}4z JU*xuLaB*y mw"T3cG( ϧ1v .!7VdiW\>0W+'ǵ 8y蠃Z{p4V|<ԤŁl hz !8:klgT".T3`1ZR_̴Co$PzOFE`H{'>:l9xC !ۤS_"[ܒH_1]|b.!!]x|&̠+wF(/:W:"E!49Rj(dV}L `rH=PCHi+f_"4WQJ,]D͂WaG^Nm;Gx_`?a4%f^1xxq?O_hnڞ*631OEnDє]}+N}{]˫:h%q|L<^!ɟ}2t<Àcߔ/p[L&fȔ V$!8>@=I~>R'z͟O0 9G ($d.|E5{A[jBi) ^ϑnf`w۸{xt.AYx\ dX*I(Q7(Y@BJ{ Gٻ\0k8{I=0$x422Da i0M4Hh`2CU hsP1 lf0ғ̛QPn.trTf 0!6@ĎXVE 7h(P~q- Z|0WZ*, 236=[83?k LsL I)"O9-ɿB QᡮJX` $L z ޿X{ݬMS0 =_< ,0vt8-i1_H4P0`T:Cˬ!,pV|4A/ķԕ֕FMנ=ɫ\m2,;C˻㝭L[vNt0VPH5bT/`[,zdZzFמ(? {FL' WH1i( B4N@b1-U/!CnFW>s,#Shlk$+RJu+hm?Blӑq{+IL֚Z#MhzGE|c[5 )>[u8qCwP# 1~_zumό7uxMe~*D,cDS| ͿUDJ8|'Hr_/=,χ)4Ddr}=7nmb`=> D> Ɵ3ϛ(jIO1^tVXw> ض0q7n*f9_ ʉu]{?eMd18X32wy 63i5q5\ @U]%3;<_:G@2H%5Q7Q0sAԜO첂u,0TR0~$cVh́<]ShWQD` 6[lQkQCT`FKr9NXM ^uZxVj((4&"g߂^l/ w uᡂڕQWe#D?œCmmq Q y" A1]) t)ԡ>hL[[kf?5'_ƦYfe]}u"avV 4 )4l=-ݷl6Civ)=L鵎"}G\{ bll䫜a:_*F*aV9W4 )V8`A詽`؃]DKBr9O]h<^!0o3>ev.#CЖwe\Z>`' Cxԣu~iwCFmN#;`pDoF*DJ\J %ϳmRf"ӫs+`UtkCx?hǦ!8hLA@8SWkt n5n|)]P jM̪ܓH&hǓGy4cMZGsK=UzW !v4okRsTQta&v;O.bݭydMSos(\@ L&#I~S_ɗ_"O B\< :!R^7,k p>NV.>G(p\) tpl,Jfv:}ٍZFT"G9|G`\n9)uQV*[ ZIǁȳw%˃btܺKjzY*0T^jf4"Y7+JYtTyի}f].x Q.ny(NGNJJ!ގ! / Er@t1=2?'|x9-Iiz3;5_;fk7|,TFɑ㏉[=0C%KT _]}݁N ڒc^+C[n-2uOR1JF5SM]ߌKS7?66@.&t"g@9<*^q D XW޲Ac"=M9Z3/dڸyH 6EzCI\m^ PjA3X}@/GQ ϋWAZC3t .rO(^` jZX.Mn e( kAL`ŬZ=K0 n,6:SD՘P K`qD,ճ)}" EoGp ؑݺ/ _v} IWIyhi?$F 6uX-a#3U #< 2 Ro(Ne'EeU'# ~ݓo]3"H$z!"C(2Cr>q>FX+dyc3H\qM_E{I) 2 % ,:i]wK)@-d.5 z0{ٗz9? R4%S[>'<6ZbN,4G@ˮ3_-G^9cy!-C# \k%ƿHJ hBhC?ʲ ̈́rls~ɷ`#`I3F\AҔY 3tԕB)NP +L!Z~lWbwаst5_qql^gR"].EIKzMo$ꤞqZGUz`D]ڇo/XEr_I9D]Z]lG8c2b$ݛfH?(qiDM< h<0e<sQ 3| HΪ릞A=H$!̰zhĄv~U\I*Nm0Ԭ >9zk䂐bQdxv93!AEp{YVPHKhEE`3Y/e_9M.t#ox jvY EVSI~w8ÖSvF9 -_| ݻwэVbfgLSEiQ{:,;%o-j*7(e =FIv3b`wI,s*Q$.Rn( b]-?~h.>0Ϡ-/U߭.a^t&wi| R2w*EŻc^`=ᾅe@:tSqkrXj=ƅV3hn`~vZcﯭ o퍔,J;|Pkr IW.}@d!B'PjƜd / UZ[=ܖqդ-Q[}7I@tRiӒU8"Yp#v=uu~՜ndUYcΙTS>gDq ,* }tug ПCUBn Onp8U{+cqam ^ O3mIPHyh|ĸawk)73KF qL#lhGy_$ђg1Gйom/0i]IkFgyMx$X:rp{iг cr>*Q7iGB>DN'@ UY2&w`"^ޔQyQ[ 50 @X\khTXYR%6EmY50z) T-01-86:uO Q Rǒ"/EWD陃l.'ϭ"A068GvrRyUbKTlC*YsO27150B9(=!TJZ e5XBZ"`^w4P$`bH6b߬@ݤv`Xn-}:YS1[ģ֔O˴_}umg̨ 1 s'bQC$,YzIHnO0U?@@gِ";S N;'g!J4V%s&y6tL}-6޽J@[z[eb9a5cIQ.EZ\ѭ:"psz^m-Ww񔏧9tW|k}V|m~Vj*1uJ#͓渫[?Oq=[x"Y|QV͠QHAa__?1>/F n5uԠ6NV,Os3|2Ahb8ʉ%\sXp!)0To)9eŲPB(+ l CRa} ejKjzBg:D5Õj-R4{X>mm%ovkYOtIa\V!* N.L&D2f:SD3n0s~pL 5Fؒ='6XzE͂QM<*z},G/&ThB?PM> _WoTbxOR-W W1Wy6<'+q(R3ݯٱکwdq껡2viv9>YX_2Zo WKsKww?^՟(Lz-uAe1z8 0^\z7)0\nm-`֭)e #/h 8 j#>IH< /;5^r|vU%May(awX\9 Z;3qZ#lĨUCŸ`8mgSbHkwjhN E ŲQS.heXN(mq>=@XtLibwoP0"+5Wapwk~G˱^_GëA0ot,%ji? 8.>ϱiu^-ކ;NcߎѺ ыZMB*vYݑ#NB>:31*9S]x" 瘍mw哺뫡'F9%Z.X! ܍+38 Ty}-q'vZ4l)47bFӪ"20n/&YtKy;*ɠ4^D4f5g!{:~c'lnDb0]mit ךŠY ,rض3u*>CiABv }h ޑ)y*`hUM+Nѷeox` 9AQU 5]f{Qez>@$ B|t46"HR:1q $tqH>]oJl#cx:öߎLCMFɍ4]kRjoMt*|Ip[;1 5 A=KK]dMN2E=,v #1#[K%|/%T07Cgc+Cq}LyTW㦿Ö4ÂتW^K~4y06|BF{#+DY$Ob˝MSm~ <?ү|tyDr6M~{w|pnM)"Qgg3dBS===ۨrXhJ*Q]=yFC/,lMl)gss0`r{:~;|D˹B/1iDAܰ Z'ӈQپ 2I KeAB _%d$X9,zN61牣-}%цDŽ!J+I`SJJ਺&hVhy#J7s! Vª QMF%͈[u'ߦ5N=`e5ZP+,IPˮFs}Q練|Ʃ iQ'bu_ȯE&Ԅ !Vq l̽˯Qq^geG'F#EH!*Y$T?n ,f{ԳSC9yBr$[1xo2W5 ;u^SUCOcJH,p;L))RJ;q6CQ{R?p'(M(Oc<ƪy%V:#]n)9\[͎^ai]兡 ).8!=Qzzܮe7J/ 2]aL]~KFA(cNI;k '*` ͭ~0 Z|,tBUl Qpky6tW>$`/İOQ=j~c3ƵtKӹ .CmdyĤnyoY]Zva\tU!8Dpt(L"8{wJ UczY^w)6i`!gĄѪE$nw-1UoloƷ;gTӡe(zfHz2DѮ܍*;4Ԃ>}A"0ތoHC| N 2(es_vh!4r\3&sZ =ިSn> -d 8?<9)Lwc% ~n*ej~0G kJэv}WpxfeAeP;_PR#"|Lul64O^_˘}$*Қ>Z-LxzZTE|MP <H}U*r=oev5qW7; W'Q?BC3ΎτuҶu !Wxx%Iۨ?~ =΢/W_tϺ$%K8sZt,+%76ZvJn'vdZruo, M%R>th@]'1uGUi/ %7tyP%iP˻Х+l *AyUM f؋䢌cבT P:Ƿ`;rteú. J0MF6<θxJuZjBbފR}LIiO;Ɣ/5r}^hɌL4 v-&7h_2R!ܩo,=5ٲ&CWOmOo1unG_q7IhQ o1duDžf.(ಭ`Eɟ,ka_wdNco͛PpN.մ4nQ터g^`\Y!~UZfoϔŰHS7M|2db\ BLj:JO223NgR~ ^؟%@QdTspn@ٶ_KͿ.d- F7 zFǡ*#INM5 1 7H1JwYlm*w\-BՄ,[XoS:3GV2,=8}MjjɧLz&\ڄvYL̬Z vPLQ(E2hgVx)6lP[d%IăM$/ dtӲ?ufQE䷢ss9_bOIw Jo_: uzUY}X]h+D 2ؿơKvǥ^e3,a5Ub.$nfXHb=He[ΑU֫t:Y)@sT?ؗ;N KkXʓanֳٱ(^!&h;/ؑъtѡS wJ; xugϊSִ2a:ӈ_=|2܆IrP$T h} E^J ,3pw@?<:J@h;3W[#MF΋#6 76LnwՂ? .|ʼ[ͺ&-kT\KOs,A^/[YqAJ1d:"*(gnj\}LNā LJWHMiH5~)Ax2| MI15ōVY^AW^fXb棞um6ɭLCc /DW`WP|i- "+2[$CߦFfy$98P2efrԀA*/s,4cML[,{SMC4c“}laȘĊɡ8h-sK]̈́Y )65Je;4 h*ϛ %=i16>)^8t:RG&G3'K},`|J[3gr'ƗɍTrҺG&oqL/=M7>6SqZvۉnM?|,6XJG,wRO6%+ }wv I+FL߬PpG8J+!ߗm̈́(FFX gp:K7Ϸٴ.$%d;D'> NbrNڗzpeN>=V-AV}~SKQ]BoKZG#ng#5x}2Y9[l5[NPD0'RNv> y}%wۊ ^|k7̫ջ. uLo>&U ( b{5vC`@gv X9G(IqgoMÙd E0mUlGXelEU}N/1%=N0VH5l{K(?qS?6]F#K ڎ]8Tu0H[^. LVAk4֩Fzq@Ρ+o(:Or%()?I㒣]pa*;@-:x4k#ϓ1֒ݸgwJB-"*X>!-1rLCIpQs~}?S9.pfϋm#nZin| 4DΪ䞲9*K=-wѕ%DIl(%k&`!#酩h_˴BdreyW`eӻr_6(49FLNSϔ^m26yk8*_(ԏqk7%|45tc{-< ptE1vdQPꕱZk[QnWy̩Ed@yYd{[ Twum N6FoFe!70:t3rT nDRXAiȴrhN;IթnlS.7޸)IbV}w P fŁ ?gtmGJTe_H7ȑDpV/'04#lFRtn/T=Ԧ3iͷ4?>J#@ Qv\nYSQ2_@UsC`/wq}J\~81IP(0=̦zalŘAM2Wb%rP_J&n]-ӆP>19l%_f@EI/ţS#fW*m-F`5[?qhmd}UMRZ%tsG!EW)}+bd#HtL%(klbh; IYV%z^;\3mxY"J\!#AZdE6־UڪygL2gU\?I/{v}*x?6@mKWXHӍӏG<&q& Rz諬%14?3'QM#aܮ՘M{aKvدj?ǛYU Y7Z#\U˹G@t-Â}"!k[njJ>LBulBǁQc*@|Q]n)8:|%Il,lփҹK.. S2) ={; lhkGbܔө?sH F+;(GwIJSNԼ{jxv;UsL`IoV"IYR '!ɺuXed})'ҿObTńť{:f4^Օ q{|?ͲуqzXr~a!XCCcΥN:9Q%ŏvUfp(؁W%A-C1.r.0t$M"HR`{k),tL23 TXޢl]ڡxgE X]ʈTɵ f%uP04WKZnT2\/Ֆ %TTXm*a-.Oݞ3*ͫHس{=cYa$ BxlrLF i :|Xd< 4֪ {PLi3mNks|4E9Hmv?MS5İHɣgϽ!G(qU )%>yXV;{/R/,+h੍WfMWx~)(HkC n[<5WZKU7)?&Bh:ܩ*k Ed䃪IrFUoG( 0EouR)DOJ+?wLr )l?0Z .䑚}@'mʀ0 4kSA޲X k1҃@ȱj.7Ue'XR0BiU'r\Vhv@K)31Y)$ݰGr;KdWShsŮZaD޲յnM}ףilfݨxezvVLP`5C+r7:-I8m0dvg{)d>hDp#"پLj-V^4B{d.?,('1K3aҌЦ7?c jNp e'!)uԋ'M -VH C}5/ț $'[ _֘/1準h^\)4R(Rfj{YJz#5W׫IS®^c6}`)@.CkW'u LNM Y;JEư|BrwTӃ_Qp*!,l +<(a)ُ5 yF9v#˜hy]CL*z)iwd}ggH4C25GžH3]nS.UE:;ȇ"P|qH4@|ΈT\]=\3_Go$t^ZT [Dau&k?fO3a0GmY`nI\PO&*JF r1-r 4k칇Lyȡ@lN`I/"ؓɛ5\-|X6-ޙT|҆2;M[r:fT8|sP1a찠91ʎ~LJ],wyK,Hރ*͠?[Ϗ4R3EX_^`oYCz#`7k6O_uu= 4ʁ<<ڄ ;|[R>ߒL[ .߹aϡ19{rJogYe>I{mN@ߨIL2EwH)2M F|yT5"P/<ٍq<-ֻ{7]Ae e?'$3f{wB0] 9 #2V^ 3{B!{c#F{$+h* ЃĖf/fobҼ<0'rq퉘ќx1ǡLZzX#nd[F|c]lQ4kiY3t@~ sZ^]-nRZs%E֕=$RvaD2u?\_-zmqnk0}Jn?:']o;ҔYc?c. As',-~+U !&Z(V{C#{JmNxOh<)VvM=;ٔ, 3eMʟVDIqmJR6K+s3QVMn]rzb?}sK~Lv<ԡǽ WW^`Ș!MdPƊdu!O,nHfkVZX'"^ѽKw!C7E\W=ZSBR~Ԁ@ x N%|zxCFT6־L6YjJ}aD[dD1A '_LjٱqYj‰K>;NJߣgl6DhbbF,)WUd+_ƁqD;n(5g9FJ':[ȔFDXِV}6<7輻F,}wGNذZװ O4ie Kd!QbN\0SFP˖ecij,V- Q'r_W D/>2kK6O4,+xV-d*#6I!b ܲ"ʖǥU/gIkE9S f3؇Tb?v6!PJ-@4̣a*sȸ <sT+ d_+`i12aq2$I{BνP@sv!B7y}SN@"$Km*IB2I.)ZHZEG+aSr}j+hrb xA=ZhՀ_<{`ML v;@E435 p ݨ@mzCBOC:j>G╲X** h_]^i3w{QOw#l nT/kLO? qI5+8J1un~ ␱]z@m^\I@_#pU)h-h ;<`V/z63{:y}XpɽUյ%@3EC=5 fQƛ^7l=!-뵋3HeӈFs²:R6`jd^W+Xԧlң5,W=^H7a{-G:wlRZJ:t(I!|>;e[g 3!5z6pBfۻX:Lg=img9ʐ[bexD7Zj#Rcz/(''_ J#Z׈E>wР+,bޯW˷,C1k<)-4H=v0"2eeyĮQ5ovݸ(|L&\bRe1L*b)&&:6{`Iv:M z+AS/􀰛Lۥ-eJ$PM˸L.;}/P`vS~+lk,n~Û:K$mJo8`?.nQe  bܢO%fY~cgZ.B (QeG*v Bpҗ?wqPEeafOtUW֦nD.K*90b *NR A3ՠ5ɒW6v1ܵ\C9ט$EK$1A;_yxY$ HZ\_P0GiꍀzUK`ʋtXbML^yJ(DVη$d\7é]x >3iC".y|'Ro+W}_%:tZ)Iڥlj1_.[ŗˎhK^k,Y}zN']eQ@TC5u}*h3=xհmK7I=e KoD}U=ouܾ&NA&b,^DŽOGboAkf8)@9,>3*OLL߁&R(l3^n(5 g-+RZ  'C4v>VfpzGL7_&wY`ӅTA:&H%+B0qíbwb [+W{W.2+[#Ku\/#{ˉ k}wW_reoڴ(p0RAxd Y'd r!@:]R5^"fն5R=ieDs)ypEsbsYmPzt6̤duXfuZ|t L&.1?iQR׷7@dܱ׀=l j sHn^U9]筼pOg6H:!>J*dʼnqk=?vL ovx ٷ'lJ @j8NWꡱhfФ,Sv#ap VRUMe̓qG/ߑc17|مrm$H#d<#^*p+h-e=3bx+=l`!izzZbfW8v pyO8`3区dSM vΓB\䜊ΖQ+Z]uRI^|+6hO# ʇD mCRYhDS=7 x8w2qq^? }S9{d4xR91d:s3Vl43H[Iӑ:B&R7a}ť wĖDc7|w hF bXmhDj}VF6;ʋբhwڃ3*/l)Wr c61!87EfBFE1s^Srw>4K WP%61#>uZW}#ii UjϏӜ/q}ǴţV/#m :jQYH#)Ν(eFR$@s$p2tm+ökn\B4 3@~ NN$ߨHѾ+t"JUz]GsW;b-Q*f`q<{fX"7(/:}!natS&κ{d9'o Py{ Og}MElKcOGu;Y|ʼ}EFXN%q3?M&7l+:,պl9UeDYaECQWJRWPOU@D{l^ 0Kh^ .,<dPQ[sk0]@c(7nW?obe-(y#raI$~$wiȥHN]7o ,XeQ2J:q,N!I\pe%gsp T35f-^RɘpS}䋗06vbMd]{x'^NӳWqXD$F`@Ūif V!]c-ɱ'_yٴ#!.*QE,!8U%;U*vOzm_y)3tOh#QH~)Ϲ@Gg7OȫdPnu=2~Q2x!V13rQ[fXH@|D! _<OgrCnܓ"oB4п ^bQq%Y61%ss\%iPEYLݮHyʂta?I|r<=r>Znk?[#N)PkLd8Zm!:oY;^ĬtB&:c7]ndM^M8ˬ胓P`@tb82-꙳]תϮijrׂ&:H^\=9N62]W> CCvO<})p}_uBq[CS3㯀}w[?inLT]" IxuLI 2NibE,!h9I5Tt [Rub(%309Gڄg|.ԭ >D?8#=AaIon;TDArλacupa4қddO}TEJŒ?Ou.RA  - AH{'+`U~1""9էJhC'^YGÕ,2GH!4 L"F F[7٢+8 hH38RڐHZ#n&7`G1e,SJJ %kj`ٰ6f)e?oQLTVon|`E0b[7mt+xnO =Fz JVڢmg@I-_\N(1zaT iu(BJ|Whd/2@#𬰹g1Oa68ĊXP(<9wE0BTK8R{^ ^D~t[_:uq'0hGzM/Uou&Z)]'eI ˡsh`ן XveݚEъLNIW ( [RmܧԜ鎘y9,Ie1!֍m@?eӵ<$Qf=1N‡Īl6 鰙y*GgefN >ҲhzٙVRN^ ^`B^8,=BfܶD9jIp}ǮG(ԳajTW&Y;Q-!}]R:Lq\vRAF3cZh)L?$ɔ5 tfi>2;{5<\ 7'âi+AO3doTiPxnѽ31퇳IbJ""q7xU)D'ڗyVQ2gU_FQ1P51>.\) u_+F_J ^gJz8Gh8p7H?Jg•RW3ܚ;ЙMqS ;m^eGDZmڶN,v,tB*:Ķeؑ`wX8׼{=`2=f7_?0!ޤEr!ޞߎ KS%Ra1(TuUvZCKOɋ9>?Z6ˎNH`^h',5,]I]JE*eV) \CD恍$h/IFnDv%%EXr !"dL D 9# ,w#Z5O9 gZ_DMeqU}V ]67r:A㗱jPNv.yyMk:TL\B ă-Xg8ܕnD)K!S+Bg$Eio4:6iJG (<{~rDpx܎&"[7jzN/a.z kgAc*/@@}C\}Ɖ^j3Am Ig@2)2 s袇sK;+Y~!ǖOgA# :=f|'\dV\_8bS 9X K_dj)#G{3$&E$2Cw4T.hxNA^ױD7yw)2X-||6t PXԣo63GWֵb:8loqTYR&Fƈ͖>rc4^ҭԵ0RHB |< n&ɔvr xi 68C*Ba&apѿ G2NeqNp6fX؂ԗ@rdmLb0KV%zAv!4lR\`T`d 3x9&hV/{R9(rxͮD0`@KVPTtQbKNg^iW;Ws_`M@nwrv/z1=]f%u-kfhwඋW~ y9ozZJFORgmO04 OAhsϭ&6 4_ 9rAʴa^f6Dڴ#p-_]#Ja-<z?UNCj^GCڂoXw .Wȣ._8ߑ=LƄMˍ?KtI{YJN{IBRFqm]x ʖݺz(1=kmB ~gD #P+wXd<,"FC ezrVנyBr}/\.OlEYĉ)q0U ^l$}ka v*Qއr`0X+/Ykwؔ0xn])CiF\dZ(>7P}` oЊ˲tZ!(3CEȴK;m5ƊFMp齹efl\4u`vZ79wvyKMטRA) Е[;4dm Y/)-ߏ`#F{0' S,࢘nN l0.`%DHE.0C F4cq}/ɐt_f rɘk5E2{.뮝r*Uj4ii`Fc1!ž?|f(wMJ)#4kX nQ'KXS-׵_@xgZ^I_+· {E>ow ӄ?^f?AsvD AaK;.uDqvj#|4io4mi!H@b4`$'q'܊ K "g0Ԛ,y _\ZO,_z=}Zm_jPQ}Lhobh*֎il5U*ƶL*sY)A'!7Xp-6,g/qUJ2F"A]YSd{|-jzT V>AܫKL9%.pR]&v3Ϛ(ic’V|oFTU Hg6s#U58* $Q`.4ĞKK]\DiP1!t]H7Yس:I4$ U5d FB';<"iS)*z*:+e*!ΪHJ`w<8K! uʔ=39}ӏ uk\cMpLPI/2F|k3yOP* 4>(` 0fZyܜ`~h3ݗ)]WmEͼ֟8ǾJIG \@6!C[+/ ~\ F_ivD [Jnegf־q]" 3I=+ 6Ai8DWJ/-6I9  {#<:D7 ^kQ\k<|Jlmwkg%w2̑K/ )_B,8خ(1]R^tZ/?.nNR@࣠Tї7J.l@5Qc@> (w/"=IŦdՆa ,+Q1!"0x2'O?@\=Wx:%&y5P vl]Ȋh7/rni#Db"HX^}&( ݎi{v<-<: \ɰwbvIP}QXVJ,СUV\rɌ S {P3dh*YjrSώ4_+4F"SG:1_KvR_B&pYqԩԧ?8Y*$GN!'$Ecgۓ3xK&mʛSAc@+ʘFf0 ثE_FtAVV xitBfcj+X}I,F`D[,ah8y&(dPh,Jlԡ= ؋qWrSNodr$EoBSdn$r{?o[GjT["nm^ne_ޗ0h_u/1ΜRC m^n+'Drn*!>I)]H)&M֒ M]BP[1RqfhT1tԽp.WAFaX zIbmQ۶~])ҍⴭ4q1REu:;;Hi21hKzȹ}] l>G^,1h.t#mO:R9t{%dfWV;GZXrKBhFm7 y6G-~ +7}ђ5vW,;R:Л:[F^Jo{Y(yeyn'X <|IRxy/59!̤̜7E=_sW=V?ڽy񩅫n\J*G":0Ʈ! W+lz9\=c^bІiI?[%@)~&b#+dJf#^L9ldQaf2ڛ=;!#=c5M>P`}d@,v  0ЁR 3W0'nf?X7-PЎ{BQp | rqGxL$R?g*4d~=l~.0veYA)&u5)nK{&/_5%Z*k;ĝ[卌Q\Hq |1H_'ٓ*n k21Vس&^s,63|{Ztr_"RPUnTYR*MRT0IΚ2"3dR\HMz.@ .#FqgO :wb=h4 E/TX҆8qICmQ⑼c 'Z=$Ӗ3x'ia')߼>Z_i+L_ Q`vH- .::&k߲>ݵًPeFqE&C [, aėȜR(>#G9$@7`{E/akJ~31aMz6)]n?oRc}+W}|I!%>i4TbNÑ6G|Z'p-LXn&jL[d[vcck: J^=XQK}D`6&(VvZ;fދy*|.s\9 )CN]Q7z.:XF'V""&O?/3 lPhI ;W=/}/OmڵƹZ~iZ؋"}VQ_w79{ɫ/ tq:+.r}SP&d,Ӛpz${Rm',mGM- +c^ˎyԄxDC6F3<,7KRl$%k~B񡱣G-+){RЯosW4<([Tᮀk/AcBgfA &v8ŏ2hEż[˸-:_豔kvVpor&U05BhxsAN^l iC$7ĸCw[.G V+P5w9U'aHxj]/ƒP(㝬׌7!PHN~ 绋ң¹qe͹4s\e^ë7( {zj{eQ"|>3ITt$[d"%8.# H-20@N/<,k+?T VmWZbe1~2CP9<}ݐ3e~5S]Bz|wUk^ c/l"Qϐ ',ܼD$u J3,!*[[D L9O Sq_ {uƲ}QꇲOU0@QxDjfy})ʁC-qR]`O:CoȽHm'F=keQFV'cvzB9br AMU~j51@ IGS0uuV(El7rK j6l~϶i1uC;O= .I[A8p@F'Lw 2oD:),#DtBȫL\P,ItcA '3%l/\%-*zPGE@K1R/'_/cru8 \?*y'ƵB@hf_we-GRJYgdv>y9IY_3?.44QHP^r5yi;nmiWfzgQ7mIm9DDK7c俿%`m.~d7]0 ]!fˑJ-#BN]&jN6I ͂IkgYZ7zXZִF! ']ŗXi%oDZ. >OF X @~@S{$tҭ<tV| pItP,6- Cv +p~gC?Si'u~G-2^>܉-ҝVu+/_Adzټc'[ 7mMm'i;p9n臵ky,Ao*\`4BABKxcC:DȮ?Ǵl~A>i幇@=36lע`Hm (yM Si&%Jnxʹ)q8P?CF<깻t#i4yȐq˯> _#Vp836Xe?%BiXTpP^FBt[Fs~Sk"ǏPT @a]Р-w*rU_dU`X >A>k1K\]_EKἥV?h9T Y^ajh-1Ag^Sn. zQAeo%[ٷ#CԑN{^`BPd*Jbg?A䗖ɂf l>j(ͥ U#:\F>Ov cxP^&/ ap%a65gor}5ƱώJCzahdW"$42UK,rótp!c7w BANPGwHӯڌkK6,/ˑ)sLwA/>!|5gjxDE&@erfyM#N6 3Vr}^:6h@I@ hp6Qn|-fȝizM׊m/q ƬWG9,p7t/Q!m'<R`ȯmf 򇎉tvDRL.}$ o.e*c`>:g@j>:ض^k B2J-亪]*nPQVəAt^57@(^p.vJv6txH17aPyQ$^[%-c F|EF߭|~+H[~pݎ*/"$ߝs2Z!p6$Vuy! OΚq}Yi| hc#ʠ1)Z^b7[5K!,?kH6h{KWIǴa)rO9jvBCl̞)YF:M7CuKEޘk–;xXoNap\kȩ;MZ("U%j#dTn w4"F-Y")=VVn4b31WO# 9Lfƒ?01="Hvɱ7ĸ[z1QS`]6,rk/b:d7![wN( \g߬=/XF+>2:A$Ф8WIΕ9]42VL_haBSC[(8 _2-7ӿY⌌:N0MFe_sͥ[e |4s.[okY^n0h|VlfS˕|P1G?LCeZ Gf N[IY )p-y}b5 Lo.3yg=L"W>s1Dzu^!heE8%$Tm?g#_$VvK &_8}<| GusM{.Z`"2#;)BR 9i\΃|4cǮ_e=K8wu SP&yRbDr7iwK8Z069,U-ʜ${roXkXe_fJ&6)3X<(T/HpC3B'>Ú8|\~-\fvTrmxPrqЇ.YG_P2osN1ÑAlF34\׼I7lQ.akH}.+, ;`w7e_K։ fg } %:_A]W%gKosoBb2H|vPdGEPN`IXtB kQ4y2;Z[=ez[{/U8"3U#AmߖA*#‰bu:HPR_Md<WOĮ)䗶c#1.Oˎyn2Q5'7% SˏqN$F*}t]$h1mvZM^v /Ku^yYŌPB܉ 'ʨgOnsЬ( SϘT/ZAP:!`ڑF,:lnGMGkf8̓ # Y!Wܞ4p#`ŰV<%aHSD{!|'z]yKΕ/ }JBOO4u̓=R?Qwx@Є:Q'1iˣo]= ITv a5r.\{Kdd>-j~&NWDf[I@gzShq8WLm#Ԗ PKFTeod`"ƙ n-yO8 ,}eV!IZ 4' $ %$eK4c b-EءьY=&o1Nd_קr<#g۰)G6nsɯryj@G1lReT<~ @H2AYG1U8Z>@HAm dWԛbށ`GYF[r@CvG[O <ݞ7*6|E1ԸOG ,[b|RcPۂCiy'm]7^~<:C&7T$]nM92s7MݡA)H7k#cڼ$t3aOىHhr]Bfo yϼx jwjɼnƛXr/#wVDTC ]+&?(@m3Bҏ1͛b =rIJa_({>j8Lj(DO#>^|) U49U˩y{_0&򛷲i~Eh5|TvȖ0WX]K>7KA9-\p;zhS*h3]'R7a[zQ\O5ѩZ?ONF浗ftLpjktɦ TDK"-&HX).5~Zu?C <:]3nXLD:5jx?٣F[`bAmơ(4Oj@Ai, G"Yeq$NgV]WMdz*EKY oU*T4rxڪ "GVedC*FSدf3A3Ac])[Ƕ1Q8DNA3(W?NnIS=j'}AR sY]iP46,vܽU<0"{jp}F31Vo@|tK(ڞ/'{>"eswlᕇWV<3/\ E*|&ٔK8cpM^̒.}ח0ˢ@{ ̓=;>X5A\d(-2(GNrQ4Bq2 qJA9@hLI:2-ۜ33\{%އ(6FgCYA:8oçwAauP!v7UT~fL !'>2 PÐ%K;$=XM=uCB7d*Y5bjg~Fs 1>\~n1N,s;b} ^4>3Z'jN!xk(jȆE*فsEnh1r}Ƶį,ϱC&C"oZoFHO xd2X(0Sh)oִ0[uge2Kڲ몀=&.RYA?)_t%÷S 7a󻚰.+s`@&'%sR'4vӬwQ;c>j3<빐<9*Ts@f xޔ+PB !ƾXќ.mXE7.b$&DB 7f\e>Nr~cTH3gAwDk{\4fVjAC+aKOq=i&O~}ul` 3a]^ׂ d.6E*\r_8 'mD j%CI F eߌS,cuFg}~"!l*XH |vJ7u){J)|BdvO+Ywkis!ku_SP6zHqjoMmڰJzx`hC 64KȒjyZIJ.5qFk:%`5Rd>iO/H .b$hXNHO<\esCNɇzo39BrҎD5 qnhǬj]/فL?Pi$,FױC3ԫ auVSԌ>qh%*;PW)Siw.n8`~inr8[8\LPK2o/N7T}q>ϊ 0pz)Z1Y?1U#,UНBAnj)v.bhA-@$ݥrLWю2Mlāja-E֯{+VZl UP.1]'oZ 'ԭ ;E8C@a3h"h2+!5 U8;+Qb ;ԔP'im ;` 06i,:`$z)U6FT2);aQpPHH//yW\&f !i%߸^JwD-BYuw yI,螄ylŦ\]./Ӭprqaa>Ή G.I!νP<(EDVkS!dEq?RzE-#,Azl.`\I5`-וvrM2IU3"\^z"A@ :&j` mZ@GdEm3f\l6*jv%l[ &$(+"U1mq%o ٌWuu2NRI;4xK&RGunʚ>RӍ *e!Սv~ĞYL\2>gg~]IW@di(+Ja'N*Pz.QAtg{_=o[6p>A151}ЧA^[-KR[¬nsfQF P4T*#32w(ٳkգM@5 #TZ}ef \ ފQs0~u 1:s2^Gx59Fb. n@xs8&:.׭ў+dos,dVn3l3m(U,M) \ QXwFp°8?#;ؚ@2YPsy'VF4W{| d1PQw<1^ 5rG?<΋# D/geYE'֪Ro7&-~;rئ.$:hČbܻ4ŚdR"L.faݢ3 U][Wo[vdOCYb'ƟbJO>\w$`M>L<޻:Dat  t3XU>:BXkIs3X=Sʛ]L0dJba\𧂥SKQ*@3]~$l$r[PSaw-IU@\hŤjv1IA:sZ9FHkM/,pcuy}(YNK>XQO?7D-A%)>(xJ έ0|_wAꎦ|SKW;/Bdݣ'܊ʣW%ˏ}Y` 0#`,)ކ%O92ApTS>Xd: $\y.rm1 vZ-<=jͼ 8Iq+ؑ; V9wlMvp@:=^Js9 gs<;0wEvWov ?TK~.^u[L&;#, (Q+کoۂ[=az`GҪ`=DOJEòV6?)dPb/amk {(Ȅ M?O:c= DUlH6vY190,qXYFkC {:e=̀HNdžfS0f]`P\%C"o6XW?> ,10+{3F`ѱ,ϴasj!j5T :B]LRzGZI)c;on8\Gz|*U@2)\!]c ?z܌x~%E# zM+!jwfjFI^ }lY0d7ڮQdkȵSC,}Yph=cJ9Xd'@^̞gf?RF GN\m1(=^PZͻ"0_֜11_mU1O\s|^v`2ߛsA018 KqBŎP 6vIUPD;ZM@>u3~^43m1F`ILA eX,Czck qG> k/VzkCOدii&caI{Jnq2Qe( )fJ P>e+Zt )'>Ur14GX>SRkxo(QV 1w]L#69N{q9LFBls3lev>?RW+#W&&DۿSSZSҢ`kR+pXTp6Lz#8V; ὃ^g\Z65-'uͧ%ۄOŗH=(SVF#aw)wM u<ǐ<5:kT6wG)|1DŽTx҅cl-s}ם#U׮jƒk1XRB2kCbfDR kͦ=ډ >Q"- i]-^F+qgV;C =fOt|gRq2[ 7kkf-, YZ B U%~ ˊmێw5q0jܸQ!AÙ":{soHc1k7P[= '֖O[闱[*?u'^r" fN3mjKlK22hpc䨖4 r<7a|XMy*UKc4''Q9}_yV)7.=f-7w* 02إuh_NlTp:G~Rx&wqmcP&;anrjwNlM [%^2æ:2=*7C-AtC 'A. V1I9}*qҹ*E ˑ/_{>媽`'vefGR`;R, > HSp.Bq"|Ƨ0B81ց -iVvJ{cCHPei[nw|ŀEvdfd91d53585adc92d7808b06ecf149 ceecead55c31d355149e38b0991f780896669c2d cf3de0e7613a445aa8b96003f1f8d7c8f96a83b0 cf5488fd1d80aeb44f0f4a2576d4a6e57102329b cf59e7462917a831ff72f54f5176f976971933aa cff9654e7c1bbe673ef41f23c6b6103e05067dc7 d29fa84f3fc63184c6d57988fab9170f68181b17 d36b0aafd81f5bf0e93f3f31ab18d9ef32a5e4e1 d381c9449169df4b0e02f097b8c7ecbd49775b88 d78af3193d09851402a57cf9704c8605356a3786 d7e0767a8f2ad4ba6d3adc581090c8f132ee96a1 d8292adede94ab5ef0257836f9002579788c8c89 d84b0fa4a441a9ae3859c4599c76a8c2d2da7b86 d9b7b4a0c9ed126939b24ef7763e450d7a34b99a d9dbae4ec7d5be5774cd8b0490d19c92e0da6ce8 dacb91831dc2a4a5ab74c794fe81ed3cf79c156a db7947d90b8ab9a4cd4be8474a5f8b3f8355944e dc217076872eb986a89109e382c7ed9f08a0dee2 dd12f57a804ab5c99a71ff1eb5fda83941632114 de83180bc60e40cf325db337ba288758e8fefd85 dfc98146e4755edad293cd36f21a331bdf474b6f e01a06b3c65a5eb32ad29b8b21edb67c357c08bc e022b8789087bc5e44635654e0c0caf1c313dfb1 e033bf4de41ede5a6fd99b700ce377c68b1271b0 e06f7daa951d315c56d4b6a28d08fec875b653a0 e0b01?e3985711de7be7c7d268ca77e64bb1c8d46 e14053089b8440cb7bde4cd9176a848335e3d99e e3076356d70f35c17a47b97dc41c35db33db582c e53c6caac60689891ba3b4be4e55469d41eac899 e5d6cae5d66a9e46bba7dd35712e1f87cdd64678 e61dd30730c3ad4bdf5a92cfea8567acaff69888 e64accac256a3cb4f3e66a28313b2a7255522657 e66c49bc37666a3668dd310cd1a9197cc02fde69 e6e0d130aa51012e646b06fc2249cb35242ef561 e77350c51b042f0d1d3b27921f394c0a6ab0e8df e7df8b637d04fa4c48e3ab63bfb0e8b2f81b4183 e807b21e6ae55cf947a4130a5d9aa2005b99004e e9ec80d21eb86690134354e085be5ce37b9fbb86 ec2963a5938cdf2e851b0350f519c352a02573af ee8462c818e1a47e72f0713a645c2dfd3c3243a6 ef3fc270338ab09f394a04bd09be955826ae4c6e f0de55cfc1dd5548723090aab035e5323eea205b f0fd2b7c06f457eb5c7ceb27d3cc0be2a57e4063 f22f0029f33e2e874f5c3f7a79b570f46171fb9e f2330a4496b455074dea2cb2e80374d7b85a698a f23a197d748c8038dfeb7b8fc61fc644bf116869 f25c6ca10bf8152e9b55f1fac6171e18f1f617f1 f2fa20fa18396f6c4807a694ea0639e42e4f926c f3bff9a86817070e29272c9d37a00e65eaea0f0a f4ab5eaea02e8e225c961fb5f512062ca171a998 f57466a6b2bba5e6f57deef22e4b3fff1a69dac3 f5ec7e823d613d2448111b3a7c146e9e7aa38d2f f686ff6458b587d239c8102e8f14fcf11ca3b644 f6bf49589bc66db14a6c8b5cfa468392b6ad28b8 f6eaf59f4c0f79d16f377d76490c36ecfa31c112 f9346afb22a0d8166a77354ae08b21a46496acc4 f999e6beeeebd90a2a798f3a0c4fe4962334fc93 fa1518e6b4bd6905d1f9a8531fe25ddecfe619dd faccb1059b382d536f7483a88ffc6ba6fd6bf0e6 fb12fd635c79a5d5f59b2bb3c6cb669ad0f0b1e5 fbd4792988f777dff5911485f88842943bba6670 fc07afc98f86d90a4706a0dae2f8049df085601d fc4084c5ff0012f0286e50511fb7ec8ea21db2b4 fc6109335be557c5901205ca25f129ea5418b2a8 fcf2c6fc7e522a9989fef69cd7e004f10ef5bd6d fd161e4262bd9c0e06f45181b3d5ecb1dd657c4e fd24b625cc2141113f0a9dac9833b5db73ee9c00 fd3678e17286d46fc356e8b71c095b59afdf7bdd fd7686a56a58e2d694330ffc2fd5fc1cf9a8b14f fe1b100e35d479047e872380ac4777e6d3f0ecd4 ff9c3c63b39b6b2d522813d09a745cac4ff54406 fff2ed7a7b69887532fed673d5babc24f44048d6e971f6238440d3d78ce2fd541cbb47208f4c8d90dcd687d65bf4dc3808676ddeffb73471bc630ff9