SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ``l!t|\ ]]]HOL-Proofs:threads=2elapsed=853.327cpu=1529.252gc=134.392factor=1.797zXZִF! ̂q]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb^};><&'_ h_6;+WX4T4 |{h4}H`VEEC&JExXQMځV]Ƈ9k6&د3i]ֱщc&]5\ AY3VDt;YPѕKqQ੸~yWk7IfMuWPɿΞ ̵gA_XDh@faRWo$H/3ҜMȌAS"'G1BiM|WLG"CS.؃.^5]`oZcl Cz)õWRH2~'݅O/ [mBNIDo,YtaQg"CPRfi:\Zc;ao/e@\bHL-{NK;bSWUPډ3GN3.aޖ7X* u"d6H9$=m#ϥ(l-&)@6w̝ ^ʣ=y6SKoyN͛Cz=> 99:맇5M#"QЉ?ُ46AqHA=۪(+K]5 3 q%䈴΀Z23=2^+ZbFh=[ܰDCַ0Aa{\yo筤l߂J nP@0N$|uL߽x,vɿDſt=x*TJXǐb ]6kQ @KJ{]u"FqxU"l =T:%ޓ%7ezRfR͑g8b5RC:w<ηr,12瀤vsq=;P7[CRc:oS-8\OP#Z"~Sgaɹسiiуunƀu+4N@ȧ.}qVm{DDt.xS4- 2ը^SCFZָb?,,vkS-O Jll5{f蝟Ƃh24, +N1pJ*<bptgn; XBqQ;!wɽ We qHs~@N7?* 8멁5Ŝ?ĺ̲gfW1MLM| rM,6CmS mZmhU(ܸ,Bڒ̓G54ui!oK|GBiՒ3T,5GAf4"3(8nY?We. 5G AAXr;x8I-ΑM%&Tifr^`j!wL#OBٗkB#<xͮB=WR.V/π5w"o[xSF]#A*˧O u'_4 :Q|}=#zM#(y6tD+BY\`#rpo 4~Xbڗay[ :rpL]$f+z=7zD J ˣ-|X?>? @3F->"sZ t\fۻxňl9y3Vuy;?=׮5$o4@0u-YL#N)bH/k(*y.Ғq="IBڏ=p%9zz 633cMKvOE6b9jlzSO˨YM ej@.s^ۙrW8HkhE;ҹJep#JAZ\!ɣC_,;T1n d:BQOrY!$MYR`Bawњxݗ);Pg|@ 36þ*a,Ӷx?o8sV~ ɝ\VQkOe=*.E2zt#P4 1=RQ9Mie#tz4>gTa&M cVD+A䶇a^>KϒIlޓt1${2ŵRwBSz Hʸwo4ǖiǨ7esCٲ}ܴe Fl%Qw1HwLlhcpy9m:[#U:Se6)LI#Gg7yn紱0_w5ƨ]с5HT0Ϸ4ԡuѮ`;v "Ȣ7Υ5TU0H!AľȼqA/9><3iQ`8ǀC 0ejG]l>%գl=jUZKzA-kU #)aQ[c?=ogsYV*Ggrn)=ʔ;wǐz^ڈ:dӗ98@,]*O+J$f>HUΑr.Q4 kD%ZAǸud$<ńV)Db]Mxp<1֠S4 \228mp7;-p7/ 1a0 ڭoc9'a =TL BL|Y6 ]6S33Hj3|:QȊ[;!5Ccyvzqy„u] =@4OLB ?" 7"Gr:KBخ\-8!IO(~.CeH.<>MsnSpK_"oL]6g؝,)$`KPѸxJ/}zK~1~nzO[>Q.a}H{sں Oaat[Q ӑbއ$Gy`mR89p Y&cã&ײn !`m x8)a-a yY(2ъ.s$R^lueʸxe=7kFv6JWHq^ ?Qjv^>]OzaA a ^RHH֯4k$ ]-A'^6N'GݬTѤgdZ(SruaBge}Gv]i$ri!ә57{N['kmVo=-KXSeޮOEJnc5|L0!R^uĹڳވ7`uKC* ~ l@f dhޑ>$2:e` kgB@X_yJx/z5DpWE#}eƖg咼6O̕L8݅zgVκ!AlacgM_ =2əJ cD[  ofb!3eIݧn B+?uuLI+PK}.~-N^5Arff`3g=u!s^"4v<~ 874#fVAzy"Xݩ zJ|?ymcEM!!*WD \Z8LPrLk[.Ӣ QX8X+&ϿFډȉ7ZqQFV-;|KklwbmAzES mkѣY$7>рe/ 5nm aEpnrffokY{O*8T|: 6aJw%!QTt[ֹ>Z ys3byΞQY 8Bca#RlwR#rI"vOA2NT:Gɼ}-r Lյ GR"P~0*cP:-Y>h* 2fjzڠ#%*bgzh/{!Il>E2H"@!֑_%ش(ũ +l8չW4h_| 3u]c5B=#U~IU2K±J.h|K90:Fʣ;#m]l K$XO8X8wOI&=8U%V^VӸ*VG&G,K΀>6Ë"yh5,3#{$p-H_gXbr+[}+4)2*̓J>ag=b?@z^'Nm"PꙃWCc4:G"5m^=b_<޲5NlcsǘGFކQ2ڡ QR2CYfkfV=aN LtVƾ+ku1*6 7֌ @ 2]wƱgYZ7zXZִF! DJ]ŗXi%>c89Gu_asX/QqZi#T O'cq0ɒ57yJsŅU.bX :\RwU|ߜ3 ~uѾ 23jO2o.o0ޗVN|LN`4=)n~ETMڦ0K -@0"k?` g[eE:2Bq;o){(%uQc6cXl6"]؃r+)Qwp8LˢDc=2餈8 \mY` @I wԜS[D9SE|dDG>oĂ[d<]'ާu4lP Lg9_LoYNVE{ NBH,5{ݽP_v'pgUѣAie0+ӇG([Tq4"zCKC2bt{пclܸǕiOB(L1S sۅqhyc1Q+hy87ȋOz g$&bU3l]$^&H[jvA\x>VVuoBz߇wL3$B%/R9ݱ/`\H0*j2Xfv#'isS;4x(.Mga;b(X|㮤@tiH/NpIn5h :!Z >5/j=h˗5^q0nXBPX}m>ȒZtBx9d.,H×uu2CfIMçv<iwANx: 탅_KPM.H6|ӝO䕸1^E6p(e)\B{ e.4wZ, =ݖ9Swd oM ␤%?bQSCX P"H::9! ve@:y@ tH]}[D$C`.D+[=nYɺc!ve}XVc,bDhT@}_^G~7L*VJ՘0БcGKDtcėЇ2.Ic|/j/1V˺XXAL=1]8HVԓ3m& ywp06nY>p~ow&~V(QE(.ntz`eXduO=uT[q}@8ttŏUupW`.ӤDm.|t${Cj:>2dAA ٵ혻(j+"\KX/3> diDR")'`N%y"+?0 G鞷Q_!xNn;&Y ɱp~WG&LcowEY*ƈ\_wݧٮҸo83h\Ɠ8H!9B0wpÊdka*(@~|Մ^HcY鈃ͧQܥ$ N a_-qߝTBԄUژ91!FN.!8kfL:=p_+zpŔU%rn=V",H||} VDHEضb ȱܢa7hL+ #Txkѿw_+n̝T<"R&ϑn`ֹ6HJl,48 4|9(ƌ l͏nړgx_%w%FG/?o1 qUuˀt70צ`[ \8S,U:ZMtZZ^ i"Is#Tܩ謖'N!" ҅rFeu󫩸0fnMsOWW)st%yu) &: _bZ!i ka/a9g\cW2[hH C؏)`RAIq$Es\{E1Ps.!E%o1zQrحGU3[ʧi"W+u)Wx+D.vsSe 2bL4ǺH)G/iȬ"tFt2Xh>) >찶 X%#} d,B877O+̀7kάy,x&c>> %lp s{AƮoVK.qf1r٢Gnja5bτ]hYlJPj\]aKؚ/ t mєȑ#mpO<&Z_,Z69|{*-"%Ygteֲ aMVү<a)M!stDgJ/տW\2rr] 2PgU#'+A'1!M_J KI®[P{΄zM9;C4]4T$v$B -g!h-ArB@G-ܣ7wi0vTyJV28 ͧy*i糇]DϘISi>^v װs^EH4yV@D m24C,؟S\(6<5M4rS38s_}8֊e`*hv5m{Bj>kUyj_ o1|ܕod TwN.>lprUޒ zT~ `w?|uchzYd_` {d2,İ9٧Ԣ+lJo!W(_ `bIKb~tz,byPQ9G/]N!-/$7!ssU>ґ; .҇L"EZh?tq6l,q*zQbü[M=6ޠ'u:5cB~b6vx7 k><0dQ,ru~fNyetgup-t)Pd|`=09nr `#"~3I;d7(u䫍^.*J?-Vm:SrNK0U<ߘ҄y[il[`"0#6ϿT([^*`* M:C=9fGA@&Aͩ* qo()E||m_ȺdM0qpnd)")hż>fv2DzSYK4ۥiEF u=d4=#Sm>禑olxO ֞TL^?M[Gq0/n?VV򓣻tf. 7_V%OI_չxɎ嘶# yj\#*HnzORoeӅy\3G̏qMd (8 ]UeEK脔.;,8)7in_k9d|LuFAdԒޮ1j̤jzÀB=) dFMz3FLдH#rBF^8KR"+r7#Í H;$fJAG#6l}UmB(ŅJ>> |;/*Qe|A2[ވ(QaJ[B'PAdHu() p{b6<'gEsFMNN_zzS 9PY!Tx>6)Zr(A·j^BmS@ YϷuh2p4[= A@5A(%oh㖐_=?oȾ0f(YrtPzK6_Ǫ i6hh\[T@L%%&7#OVr .֌n r.@KkS)+*dpcA=݂ <]Op}ۤ;usg\Օ;B)TQ鍪ɠiT` F ՈtIK#}Gc@VR@#4B-yߙ j?؋{?{emQŎ[}yU|pyW^͞X!Krשatc7 yҿcR=|x`V rͬ hG$Gv=@%@E\b^Ff4aJEe'+Ms` \&܁ /iFIx6uؘ3 nENo}9X̞+hR+Pzt"V˩]L q 0 P,fqkH5B)x]Z;2᠝V籔C厅/US4a<&/W7gŅIl0*Z DSD|͜ٻ;G.7Rg-9r &5sw Ĺ'mU¯Xϑ.O3@nWg[@bɡ)U!""vI{$x=덻a# _T) /!ܤO2R< 7lpvUglVtSffܲK*.Qƻ!Dt9)A?_13=6gگJJ"$m"'-0t͔Pqp)ЊοJ 9}(7-F(_Gg 75p{~?Ǫ.Ǿ8Y>󎡼_  T9r[??W0ۍ#"ܩǤ86_l%5mߧ.2Lod>JgԤ{C'ߎ'$b'{a0 VϻHȋV3&U'Q4CpJ.4ʵ͐ Pl6YN;x3OGd5j/O ݫuiOK3nM# CBviU@e_w3EJV=;zrz鰰%x ɉNZʜD))ݓAttgL1df<荖Ύ(Ǧ6IߞK6-ЛC4 wZSUd^w;F=oUfӎh)˿x@!%wTu6dɮiN<:7HYP$R2;iUf>>ZՈP*) akO{&"ΟP<$sefʡF-+y!T8,ky ~5y}ݚ-\)K*]úwCĥb+R!yVh=e!H`$ b$2yT}<{PuAbb XRt2oFB: / tM;  i%[r2pȟ=Q:\C]z0¹PvYj%8&W~cQ% ax3\B^iӨiksLD`+I5XDse+ qs>l'JJ<yY#K~R16sUBʉ{MUV)rDSOОz0.o(P2:g&f9n8mRTYqWQ~RN6ZtdvED̍KQA]X#Eeyͦq8=$XRND[Er,ן!iN>,B FɡӂdĆ$[mC89 !c:6~stW5F`~d?OpSUC"G4 /gcٮ99 z27Un Za.ҝ]$d8 s[Z尿"Κ`;Qv3_=+O4mғ1\?KU)JDŽeLɩQJLkq# &2S(ӯ:g7?H I"E@}tG[;DZ8[{sPI[#”!dqRTHw0`m|~a$)7ȡ2q!ViKԗOZi f!9:2U`Jj@䄔VLQsotX&FU8#IEPLڽGx[VŽxe Mpn` ; XO%$UGaQQ[@T[.M>N#>ž>/H)ʜNbe:zJTn;Չ{&p= syaWOc-r/Fu5>rjkGx‘\S!DugxTTzfa3TsSo"FApλ U>q^ 3ϥmsf_kzpm[!Nb\\=|/v,^;Z*4M|N"}iMRG e&XP`>ل`pyJKhyyYˀS=JCC.A(4ѺDu2f=jm|~@EOB AxwI*}#hOJǞH?h2tcr7]s=ͭt*a|@L&$6 \("VHM5 ?JѾ0 *.E<=2jukv06(f7up0;T⹲D&}?k^t h$e,PY٣A.-S$'~X-3jmxR]J]w۠~CŬDUAX"Dos@cHG uw8./CbҾRWѭ V $+5jҡ:]DG$O ҠDÚe¡zydQ<2(B5\t6%|f 5ݶAAJ^Bk)r&L=lj>k?tL-2&ߍ >߬.SLH4OTޫۛ[Ph9.#CGfVdgzS=wy)08<_TMڀv j@bĭ jg,ӽa(ë~^@Ξn'bPׄ}+cDŽ^cIh%SDs;-5;j7\!*.~o*\nrM.>/gT*qv1n8( )xp)g)@9ތC2sG%v#ISil(ot}@MT:Y2T))/V vKR(iHobonXf5iWyH[fb@m߭߸@+Wv@d6FAon?0N.Np]R^vіb4auCGȱliJ JК#|+60n:s^S۴i˛pѸlgzn{W߈CsLұRjw5J_@a`s5vŃ~VςK耔&*JMx_^ɽq;uʜ 6kVs(#\gA@9m󧚫.h@~tN2=Uc1-(_ncg-d@ʮ۝#dvNpki?IφbYwkAUw5 ZC"3X IuE7G@*>Ϯw;^X]SB,&X"X!F XΘ5sM=x~ wUObPv<^e$>߀ۤoRRfݹ^t'Ie\Ɇy6R4N͎^r|wo3``l <5*|]ĸ;By z=3 mMtS|A?6|PsLw`*TEd4%rCD*7001$u-}h9yM=k%S \S3s]tЯe<0S6 z6k SI،YS${ӓ̖1?kќ[7R~li9By{&R_.TL]=!?$-=+b1lG /gx1XҀ?%yqeVFCKci-ɞl?вVXZ2|˟^:!dʢN@;l⧚s> –1l7Q'.rY]>heHSLXQǹVI r&7ӑҿ:7 ࿪:0J\ ,˭˒h~KLF[؍fegȍ :Oe1n-z\`v@G^pB>UjVR0HFUQ2E"M1l|؂7T.υ%Y*i -sY(KTfM $acw;9 >;X[D8N0xld1jQ ђJ0&;0S#'JIa vD%33çpi:g#:U"&Ȯ}R`4 ͏(k^ְwQڧ$]7jU\傥r ^=I"RƴL•yep2!nhv_|"X ؃'rFs}S|vLǬ]av .#fO 6F z++{8P'i~VN^8ᖡC܎tYN+p(wP@4D r۳ \x7} ru{)]&j.tաfxB͍ʡi<SEނD\..#Oy tW˓ TX%g,?qgөJH tyֶXOzO~\>u1Up]Tf8 x`[4),ɫmj"/8Fo篲ggM>js_,ez氬yQB%O1yG1$ۦZֈ1E `tsFK@(/\5䲛Б}Bo;9Qt&59֋I(J]ꝓh~n^"zoD昁&"QdcodЂojԩ.Ś,Y(ב),R Ԩ=(/_k@LFImɮ3t+aA2o9i&$̆7I:"[@z9+*f@S6!JN;'IC]?>.:& jISwoE^s֙(EͷB˥>uO8[$+-b[ncƀ"NRՇ0c n5-\کJ_DdQk`Z|X 5f)w"-YrNȄ j&gz:Ϭ p3];U;ixV{ zȃ **zrGp=Fi_@q̓C0Ojv[rxΘe=x"]7íߺA_؁[f}gG炑C=/c&|`JB@:*,cX!gJzZR L-xnz )A{ ԭDkv^ FAn:Kq|k:c:mIu=R{zzb|x}E[3&}!Cx钍SG`U$쵀CVcSmӋxɝ|Fv}ұ8ԧzJn~P^]^: }C&b)PvV)D܍Jބ!OYLr5gYNoJQn%6#lw}KSfx[SlOG4QKZ6 yC.Q.xv@Mid :g@ L^eNU*5SCjCTc#+Z]E`̭lMB~4fFfbp C~ VJH%r 0}&\/8GO h3^NLƈ6FGw6n:#k!\N8Nbh~R3\M/2+3@qyd$֒ܡҁ7r=! )5n?`CLC1v1>wޫ^S ਋h4t ηᡗz߅r5JJPj[cȃ XoڅܔyQ#QïR[,&]ޖo] Yd]~:Kh"!R >>YtX ȓ:j4$We5E |OuM}]f!yvs;8~DFXӹUo7ιzGq~)=C@WU#  ͻ"dQxLmF :/5 @ЄXZz_3GroTA#XT@`g0J*25jNUͥ i.Dh(J$?P̼~ o쎏jTUeX\^פq,z م>6LDn WypJ|!靭(4"|A Awlv/f<(Zk⎻YrjG+ϦU?VtP"JE4k]GPc<5K[l&3uPߠīMLQ BOj %vp! & 0ts$7]u4n $p@SQ8ےM@Wώ.0oفu*g P'RbS'7szBhha_iFRCj.t8>,W*pg΄O4i BUuR:X4.2!:L0|mHcOO|,4D(m {^G^Hxh(|k</$}#Vs4(D~8:?-ǘߓy+"c_v?"3A]b!#S$v+|4 ^\j.M"3EZoP=h/Uu!1,5 Ydf=g.ej Y02]SீOXw odX6#+o}Gv6\6)Hx8]N 'Q&3FvBhhnD((+D043ҷAyEBJ`èǹ1 hq9dj󑐇u}rf3-DuoM)|J"b)Æ᭗=obUe—]g ͵:{}@ U5m'?c: XژȾ;VY]l`b+tglh~qIfPNhz2o,]~^-,hy6k(ϼi1q KB(ݤ׼T:U,. ^$]FTXJbJ]y {[X("ő1(E0|ʴ Gڢijl"ةe#JQA9-qf} MgVf8vO{a i\ҧ+a0o{+CK6V,' DUףoBMܖ]fiOX[ G~E>O/^־.u&([1o5fH!A=K]\^,jB4oVzίƇx;" !=hur0d_Xϣuet|B.v[jĚ\Lg:Ldxqz 䊺QAg5l7&ueG8H x_p Ž 0҅6jdmRdLc ԉ4,>[?F1E` >6:!.#O2!m>qaJ@t=XXjXBXʈs$BR~ʂbYܩ|L 뭯h 0 |tڢcHV3]k&sci3tOVT6Fd-d/ڒm.!5N "Ҥqyr1 Wtr:Q1E2SCZ1mf$klf!譽CU#ǜ ]S" _L;R9`9Yrqżʛ?Rp;mca*0+Tlk>2NGTxmJt <M'xv)WV9؏2+ 2 KBhA> y\B^+$MIKO>&|$e"'Hhc@ד: ͳP5bFDɿ]?f=8W B7řH$]huqGT)daB2[شh @5CAJYIDL:Zmg$e7؎rLߩ$}4B7{J'(,̕L?:US˓^)"x L #ToVKʅLȣƈ=aq.S%YWW%bq: cs=4܊sa{Dǐ{;~(~/itE\}U8*s>%CN9E0{&\/9Q=/.GkTL zQIn[% 5Q1, ,=@W;@"D8HHhkC;zah\30sZ}ahɫ Tc&&?њY{_Đ; M~mv^‚ae6"<>Q/ ]G#u]ZcI !8-3~`! +Z1@'z,`UP2C~+ L3ˉW-h;[ߥGTP\ !ۢ1iٯ#%$?k/}2Z&Ԯ43% s 6vn&*E,`]}`b)5h 2 l?X!&sj) zh}yɓn+OBL Wܴ\%⬩ eNH+17kRDs2Tyem*v&y왙Sm*ʋ),^nGLiG摤Cm|>üYdo6T[h XU/s_7v<3%\|t&N8W5vT#*K2" J5^>/vMv8rO |/ռ_HJ[ѓ2,Э$C폊6bgJ5*bQ?xH.VvM蓠S~@U1nwSN#mk/ywY0} sEbIp_Ep5N;\O,go&̊*D 3/$⤴nڧw q!O@TGDVk1j|3GأoŤld}]R:fjc!2z^Kae (|5nAx\PZUe&Ũ[6VVfoJ|N6Ҋ'X;!$1X}Ӫ #ys"jᜐ+%NѽJ3GS@]8x3*t$H:5c͐ |b. ϲ ?HIC= Q2^5 Zf,M^ '/* Wfh^>YƏ~W>#v {Ruh'nU"\ɿO/pÍ5`G0 5,fKZe~y3I)'4v"; 3 s?ð G9tJ{4W-0`|bwS=mrSMvv&w2zD~pf&6meǼ_jtHX[~siL֯ӵKCv ߔ&L>a^_UC^§ !]7$he?KBSjVѦE*瑡$HЍ2n4̈́[|5- w (%)Ly1?hcV~gWS*MLVA֎ Ke\ l8 ˒o-3CZ03#(XzsS}GU>*o񷋓:,*V$C$EjsyW"|Rdh{߃9mtx\y+цp*HlDQ-XVfפ# .F_ѳL{lʋ 䗶> u ͨ%gY_ GRPȉчQCF !d-EL[57N&QN V'daszi!ۮ;UpΘҼ©6L Vex@/r::4B].h_@*ѵ3PqK$_g@~r(}cTB =Tg UmЇh]Q4oHvY8剉6Q2-%b:^J<%& kVS+ăL9RsiR_.l.a]\0mjUA0U{ub:U/ ꌵk ҭP6!x$ seCRϵnƾC+͓ԝNleءHm}p%)T ``wrܠ.V[;1C$Uyi|iCÿ+'}۹g g('>{5ˑI} _D zNq_ew\Ouf^oJ*%gl#ʅ/m־q)>z>7ZW+g֥QuDT8{VX'`=?D" *o2?Vݞ ,>;Ýe`Yt.sKꋈ+x#D/Fķ#g-"[;kǔDOT[I8dc"ee/d㵅휧PbՓ &=9\.( zi>]Vt'EyBޤ9@ZG\PDr٤2(\%RbLkTA5PIY~xu5RJۍ;~<.)U9ng - rXe䧆.гy0;eAIP'sUTos.6k!ezEX م1o*'/nBa:3d nvx"eER!Hf}Œ%OUK`0,9^>1_C`[ZСS28gͭ|lM_FջY 6le # ~K}};ȑ_Z3KZ (S crf<IS#8SQƀB84|Ir߈] 335w,[wf-Kvwǹ3^S HژCͷvkB8x8m' r;xNW.31oE 分Ȯ,VlY)3؜|OߙTcQʆz@ehr%(!$(orXRJ¿.jqсW\QVT%e_#ʼnR:j+]6gC2p>y~hc +нļ)ф~7F"{՚w]OSJ>;TZ5 b+<2j&-7?Qy?[i:o <aw1}C ]Ck_-75+(8St} ^>VҺ+bR׎32ze|0{8R/Yof%Ht>7=HU ɝ+Wjmb6mZdF]l(>0ݖ(dm9:x9O*8dx5 J~X &6 5LtsG.\m9oOB ßФ)՟'Lt4Л5Σ l0)kOHquIqfv}~JTZYmD>O$ڶE)I]+Dߗ'X(,\ڵ%v"X{{DЫh+aW03o)o݈Co*U<IDž8:pÒ[SU>}v%l9 e>-3N*e{ W,ꝦX]pbu{c?v  &WHt*탴[~I8W_ @pY}w0z *8%|wCͪՆ+:->7&w'fgU;1!AN $<*1mrՏoR3nѴm^Tjp1iYim|Eo!8w:Uu5b"2!Z\9beBbRX* l> 6:pC'29^U 89ivBSr%"l>MNGzuEQ$߱졊> a[J Kq8"_ n'2@fֵTA3 = CH!=\_*Sw4.~>o7&rhR=k5 [J+!ks4(RBf[M 46"l׻p'oV >wMsl)Ra'GCqt6Ye?OXak>ozJޒ*r4ޱy10>%s1 \ m tU`-*;g3e2{> !9Zr=R@fˈW ;Tt=e5ˀS`{gNH 'o8MC5`z9O2Qr܃<AKo#z|{hQ8ޢ8O,y&0wVD\'f+用DA&*NBy6t1s6. $ $T*SMm,R_v(;BYG.O"A> fP'dt.Ԃ*L.}onRʙ_*Y}M"30 m /"@su4 ~Du 6(,@ڍjB-=9B =9n" yk':—QEYP2H+Wq8&x!~ 2LPrn4~7HE&,`⬭lc)W/ߡ#U`҆hˌaretx:EË.=O"@J>ʪފp0 H/:>P&k^5˞ܓhzӶY[vlMeArZ ;5)KBrpݲ2$zP-^b1A4^OtPִ}gaDZDY7ZqLtI+8G&@7CVGK~*[t %JxG^{m̿XbcM^{k 6gQy&X<>c%Ao ?k'B )k]-7=Oä7N\g'8Hkc7Ed'ڼ4FfW8B'/_hU5fAx-b&AuQpd0GDwV ZGjp4JQ=ei(@,1䁶v ;׷]#DoX\ʉTL=q{&\ToB7jc=N>Ln<ԫn5aQިˡ6]>*[Dӏ%/pDpO%1<ddPX51axs-j] f_Q8ϡo, 3J q`~rIcB po˵@n)NRHmV:BpfZ;`<aB`tć(jN-:U wƢqp6P wR!>0NE(1H9d,uzz >',Kib"79±җ|@KDAn:ZU)>k]my%PͱI3gD8 ypVF 4@5MY)O-nC6=e9$.Wޕ9.:>u~+Yl"R6ۏ7:R<\v$I+^n0XC4ǀՄ"~BchE#X"wji+dZ2J[ŝEXjyn8Bys~eKTy8IK'78"se+N}3ue9d7QZTeZ,QSV~JBi 5:OK9%㚼mC>&jܥP;fQgM6S6᎞NV]+E|"9i(u'uH:\#-Mo䶥=KD 7*:" (/LlヲLk]Bh?R4Rl9p㒻1CP Ch|T#?I22Hz_3ye+8釮Y{˥GٸC}th8;ӔAs#vMFcZ0#mKQ:o:uc/uwgɍ'H?mGnև픵Zt'=CA5_ڳ8HFjrl%[/_ajg%Olђ[Qh(CwG{t_ڄoG‚2eq%)>%MB=~:ƶML IcbrS吕]Ց-OSG4Q< Jt/)i?kǢ$4S9QSY@$*p}x$>$fF?tU{y*BA&Fp?ICrb5sbxj{DDSe`ڪ9*%O|n\KWBs%QO,?ȭ#w.z?hU磧ߎ@8(>.'΃P[IK{pW,jkJ " -qkvHX"^a#==p@\q)'-]hiE%-E#5A셏U}c/jr&acT7o9Cw|$GwBC:-Q!7d E\ -=3z F@h~ir3'ϥd\fk?逌,#v *ý_c΅oD;x01>;wU}EE)HmSw_kchzQD KDA'.d]oLUM\NPRlj#DU~wSlhFQc7j f+7 S_AgVRdnхjuOagn.Ȱ$h|6lNe!C0` Z8*+q0:=^%pDˇZohwDɮ5?#xT‒_k@!+X9ov׮q^#+^(6!'i +\-l_~n$c,j,/NRp#ڤ%VtM85KW\ P& _eIBfyzم2B"@_j#*'y6&H8Q2 h[hIcXX1AfP&Ak$\mC74LH ;th|̚R-Z9FL!a[uEq .ih wwHu*f+qIHuVf | ů`7t.m Ab4PG-U@e5~*Ph4)6}g~2õje]b^ҝ- ?Er~gdsD Y^Rā䖌Z\R⟤XuiaGqLr{_Mk6Pl6Ԡ'8iylHQLI?wanZT҂ӈC]тOT3<54 V3=<ȏ37#&/ML@ gfoo&L\(h/l%pE #h}i}Lm` |Aˈςnh\-$tG>wr|6t EMFd !jrWvkkL>&}71gc%j׆m`EA{Qi$sihd/!>s ҥA@mxL-=\%Biܚ٬i)1lV(߱ob‹ xMۮt#3~'Kj=7J @PQİ\\k"WwAl©5fOȽ>A~/h4ݰ^N 4B#""M<޽C/ ~˿ $=Lny-Z Z,&lJSʂ'IdUbR5^kQ)' Ё&w.n^A;VǖdN_@.T$̈=n!&` X5@ql%e֮nډ$&[k|130j-iم2tҾ/McŠ5H^-rIo/6u:5kKEP8f.qigL:&Ҷ2*H>]ڰkN:(.Ќ5?V[yhmPʭ3u n ?,jיyyBِ2 l`Mb#,v2ڪ7dPmX7R|?Y^ŭNZ5a7Z8q1PTzt8fRY3uP8coz`P,nǷh; k.\K Dza V좢Qݿ~aͰʹ϶o2oxCs͞O*aL䴔gL* ܉0}5(A{K`)?+r.Sd#X~-ju+q7(M?\ϩraafx}Ұד"L@̴7y۟S>xb~aOW ,WP/3U]}\#"GֶcF%"FЧxmHr2cpLFcv\EK *2,wa7Kİ kA*VeS}o\i2Iln 6fmzOy=Ms$DKvdhŹ V<%Px})_7a^ NiI @k{+GhUW}lۈco B#23'4J֭/hkCZL[BקsygRZYQӣ s#g)?HGH%0%_E:-Z4Ŗ6ԆsIpyeJ{k|zXgWq_pj'B~Ҭy~r.p|~%R&KYtki["_k\e&MKȔ:ɰ_D_t[WO! :r5[2 |{BR؄Ү(cR3BD3N_ᘙJ]BL`1ham{lUg5f^RQ?~"} =lwE8+TY \8'|X| 5zE;Sګ-OD !b2 Xt崃G4FZ͂t~ʖJ{5Xl9sEt *wFn"K}ꁏFSNhec1'.ztbCdȕj%]x`fR[/"S_c/IRP>֦r.cxu(RR){C=撍|P0wǓDQL'aJ'( X,X‡` ^%!1ce|(nZG!:m%EaG-p({' KC$͐OZ@TחkwrEs: d%,\ WEooN2mgF!CȤqpGYdRKw8nP]%R"a6:Gm9(L:̖HLʕPď_ $ H ď0#-LR`Yb8SWƜbA?:HGXT1(vτR4򰁻$g4aeO|]+p]AIc2zxN{;/8 e k0O10Td?y)& *%,ͳ'7ycZ H8C&%%#Z@9jVa k,t |"(@$쬏Y0]6՟-ws KyB>2w}F#JJKs)ZS"SGr(5Co:tLOLH}B. ٰuh9PS(ԉT8_:SD}O`% ,$=lyU9U¨(znw_4ɛy*ۈ8 ub| :Sw$HxvW#i_FP9_<3F{[7.Vb֪; \ukVupK͚0K("\٦JfBQFkx8}Lw,x4J($OI&<7iXԄȻ` lnx6U >7z͟"չP=Xw2 801s ^:%c'Կ7)hcnG=1ˠҹ0Y ?H*(bBvB}QnN7\m-:ÏZz(PF}]~nA9o* U2SW3,FYkK{?|1ƃrTZpF=i, n+#[pB0L:d11^wvhlKᲶfAP<qE82r]EqJ]~`%ֲR#‹(";1J1!!7kSy Z.&qC3  +~zG^GO s2W$_=$yl#l$*uP_vKzW+]ܡf isQ:\ݡ3UڝR"5ɍN^3O8(hS٫gi,FE:IOާoM~Xj=7jjj[VG$W{n'."b䟝Vzr fRK_E#=\8M "_y(OR&پѯ*"O]( Df48N9 Y{rpv$IG*E(^+^WZMt܁HtdEDΟPB 5k o F3eO+^gKO7j|th^ƽn [4ԏas;R.*k"µK<]T4E652#UWvP^^:gx#n"_RhBPSp"n[~f;~a:.w.}$ cmK9<، nj- )p֏ uks}:ٕjdыDX5RRO̚݌}*Imx0HݣUld 7BgHh?g}% [,xZp gǷ!'IVq!=` 8hWʭ&OOڞ9Kh LD$ _x1:ڸ.J B(&`źl,]./k 2:fXP9du5ǴQ++iq ۖ '%Byy`y+g\>vgM!y~EB`Xpe* &*|@|+x&Qk]"B=}_h!$o+֌r5aTim>tV,[Ur>#ͭssu+'DTS2TK,>JOҁ~\cQqX}3YHKݷ+jDSyԗ>crx[/1̑NfaqYCU'6˲А|Qy/;Hjr7ڬl)HC̅yt]l5v5=;69A)#I._^" -'T(#߮SNM|: h*Ka9M{VDV"\&ѻd_rݹdz"w3zkS֌0/Z-r72O`X"3 ?ĻBDIi=nK֝mg N~|.\::g/_%JKבqll~5`GJu{Fr'&I)Pqdb \ N O1yQѐs: @BdO>x?'O+/YaI#R 79pCHfahܿ#A4\QWwQ8m酉$W)5VDIp!a=/oK7T5;s@f# gĬVՍnIpI//lǷ@~(v$ bpآ2ȰKq6 W`^4@ E+ xv`Bٲy'mGS Qaڐ16g{Bz`c =)=`åJy:V9!$@X`[ k2?o$!(DU߸8 +*`˞^p4sexB3fD؎4F(HB [K D뚞55]^_V!~;mA|wiLE4`uZvLah 9\Lw"JhxPN %%uq s졷l>|gO2S'}Y{ƹ\t\f# 蹜.P.*?n H@YA,IL8,zt`\-zF hWpÈk9Py|8 YjQ}"ժ/Jb;5GGO{;fCw c/MMXcC+jPk T >`h|=K+߯ޘ?cAJwOdڵbnԾ~"ឍ=#^E|2^cxH~ScENiϜ_[͢ N J$ݵ2ukޣ짇"BIȌ1h,lhFở>N'. 98KB\xh0&Г辵&HvC|ue+>޻H=2}s_UuL7"W%~[ny_Cr %M./fԥp7)[߿V-> ٹeu,¤[>p?Q _:=߳F`zl_Ј]g ~)0[,²O}?>&nwlfh@\ ?Z25ﮠl?e0^|f[z]na [Tą/Yf{.la}HC:h"ކSẑϓhr^o -=V]9=6U0]{VCvg*; Q[Eq`n$ߛ/}EO(snxmPD5muC@uʼÐ!cLu8%峐k9ҢūkA?u})% \yyOcߟ)ŅqVe;Q1Q6,Xcj^#^ <эZJ*umg&9s uz. R)@n x}Pr-%_j %9l^Ǹ3_&,K y:q_Хsn{] /!OpR/,z*fJ]OOS364u%"X=7?n%hս-z_\45D3@` ui]F4 @dpxAXH/?f,Fj,Y34Ɋ渝~`=;v[F2^Rjҷ`zwr!7=o^`,֔P渌VxM b :\HOW03@胠 !4$>d3M$fi MПIDUSE8>ހF^-MkMms]w!;059(LPXdbkokϦy#q(g_ke˙Dݿ K@Pwrv x0[чa%X}uc3|Pk(lϥq__$k X/05:AVVu[exE=>:p^9St;DHU MWpיgSن/^ 觼 c?E;~ (cni m6aW_]^v5q5vw AA=qװ:A?,c!OE+ے w*h2` [^ݎy8 2kO^16Gy* h=0ۋŋ18:w0w3 ϙ; }avy%d)hʯ%bxL')l2#ǴǽϽ;!b|hT'-G 30+K ny謤$2n*^A ~醘RAd;C ^!#T9ïH Bdj1XbZg&_#ŴcK t=b8"@Mw T *瑄2RV뻀KR¿j%͠(ԓd_ 5>C g,각x=f^̸{} "$%_lZb;֬yXnF w D`K4nZ?נ딓u":Rh,S0)۠1XBqxXlIԵ;H*8̚eE@U#;8_;}5߈;I5%-QWaTO)A͉*2ݝtn >b{&?V"oxqTPڼW,ڕsڟ$Y ߬f&_;zN <l=D =t9" 6sDbZ2Ly:#Do:U\VUʿ {V9hֵ/*k=!gD>S¾JIuQ R'8YSz݋'4 ѕӎ0q#?&z[9m\l!LV(K)8VY&WgC}O')x6LsVғ]` fll[ѨXGas&pz89'qC ĉi7Wo>.L^>-o F?d^{!,:q7xBه