SQLite format 3@ .  YYQ77Atableisabelle_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, "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  W WeT /]]HOL:threads=6elapsed=149.293cpu=475.224gc=50.384factor=3.187zXZִF! a]ŗXf1-%˓S, z!ŧo]uA{DZX.f4vg]3K^=eӏyj?Qa7$ss]"96ojդN]5X\1{Qv Hxf s}jҝh%9 &Ɨ9јXUs"{vܺa|RpB0lv?4CظՒUK[=Y)W'iӎX2n *( GdAz.:?Xӂϼ+]4d!Hf$5Ph{l7z:Mxm) ņu/g+_vka&@ j!?.deWZp0q W-nP9 ΏX ACKΎ\Ļ-إ6֍{Y 2y u&W[7'vcP$w{jfgBCo[٣sln Vf+.oe"LZO}lďUIɱe'hm}6~AKDW[[^GFSRxi)8&;Fyd x S 4/Eq-)@Z!D UJ)c`ch_{rl/vh+C"-q*ʯc4+0~K!#P:](g?"KC3}5 0*?c .q"v7:|A[c-֑6 $zgBksQtp"S6mf\R5D"0z.!RXW8k16y YFܩ uTq;.D.u($_>ö r3iP| NnH"eR.6x1CC*i@<)DhpTA6G  HOLBd ȿ7y?r=CQHbY& vq1"< W F +"xs9+x=޿vgG@~N|ޥWy*{7ワ1%=O)ꪀH$j B\1Kd]JbrZ՜М n>LT9~$s}잔"jns,rp&OQVB6 q&r8nc%ڬ.o[ "&G3CLNnmc< "Tj }Mc]dEI43FQXJv| EKTe-xk-Ko RSqɽI7Ela,:CqwSцi5- Pz6w*$zC/ubwfً-bk/bSDUSRv^k7hم͹I- Toª@ 䞲c{luUn7Iں&~oHTO BT ZmY<0QVn%iblzQX^Ii]ݎW#Q=((K5n3jN:nV~Vɚ o7|~wlhqQO[v@|Z"iA=._9v@pe.ZܘTsA.n$OƩ4sR="ʀbc7?i%.zk6b-Mm')+ $0凑 :=XiFW7蛫>LkOӆ׌.,;ԕj嗿J6si*']& .&LulXz0 4'pp1&".s;E>|nOcs8/i. #CkO:v;0.X+5jQ y(+0 <#z+,Eـ1A06?m+8*)ӆ"B(oN{fΜ[:!Z^E(@ '_SNJ^!p@45b;jEUw'w+a=fvlͅ\zd.!Q5`ˠ^1hC/vˁrghSHl#Uő*iwHN茶ۄ8Qw+lWhkݖ磅YxNTmb).CD CR5U-I#C#BOqx X5d%7Oo^_g4#l*BHX"F L[NkJ34gWb!T,I eTQ(tycGG1z!Mls&)i45>'F`%v|dê O|Gяtl;4^di`o,?u[r]h}JVji+ۣș܌ )uQ"l\;y;զhSo{+w,tm۳*<ƴALUG]aeo@yK4DG(]5Gjb8,w)oO<X6oO_YX76)k#֜Dj9 pOã:j']ܛS"!iЫʼn=3|Kysͱ,ϑ/U| VȗՎ_L9UnW•j?R PpB.`>&mpb֓_guۙCl. 随Q]Uʗ(nC9vȬ1\agj{$ M8%?xO\xAZ rfYR//2l'{ꯖɂ%Cw~rV&%NYPׁ!,ӢOu?ZjeROAsGz=Ab? Z7?%9M$X@lѬo返~O[:蕴ùI =y5|N Pֲc}1.(nfB]z+S&8$o pW8 c0E&Z_f{`R':W:u:iKrcTޥ)~<3 ^l5bq~&FF J{lGۃ* j+(W2ŨQV~Xy߰ij6"^ؼ>3 d7攢2(P 8l4z:!WH2&'Akޜ){-J"bhBl(b`= `jUmup8G#_c/F(FAF=BT^h6*bRN~ieO3ú[dWt6ר91g2wuR}%>6mCK͍K-QzjX؜m3'ͻ ^p<#Gy =E#QNI"JȸiO&؟|IU޺E<Andv[ WH@E菋MpUM X<J'}^jEכzVI;z3sʈ)\Vww/nyo5Hs5_; yGܶS4M/ HZരme05$RcL$B|*/ZY& 0n6?dSVշW۰딞XԬ3(ɞC ƻE/2+tLVYQzWgَrP7-E%Ѻei " G- %Sfp}cLʍlIy(E5﫺)99@( m۵U|$6W{5'#h9}U^W\rەzRڎO=ܝcBMD}(#VgAQ};8GJޗH*;fԆRtI2[˝*?ץAؽig:yg;rNKS[T}"i|e\7mVrF H,W{bl+'RIDTlgXբ|"y*"(8U|N\XX kY|܏6A/?v38uV2ķs=q@+t?n.՘R'ߔAV{[ msAؽ,{~'aKd!`cT BC8Q'EZHWn3w1sLDVxTԬْٷ>>=ӡkZ_y8"4'P^NdƔѱpyB]~?:9|{9f ETC_J"ظ`m rXO8/$JNmO-Wq"s%((t[9ZL Y@IlPVPAd_9aGCvZ֤9Fx0>_@W E}H|sg3<=\JXQ 6-863&F͇>a4լB)[^[-BIIXW0TUS HbCMG֚;Ak~mm=cx0()KwW>!%"fd[ 8h}(|;8Gr=Pس[RyU44ey%h(DO 4EngkOwYs x2nr~ϴGQ!+G͂t^෫8_~FFC#?Fo_sϽpYvM؎%)Xy8C KD-@QrI=w -)v9p]js3 t#-l {Lۏph| w:c~|=[@Q}9-SүlafolH[E Bl!w =o͏Üҗ3!B>sDᓓA(ƐO6Su^ 0>LtRx~'k]%1 ߏOEi0B59=Q5;;C4[m&=avy/,><~NŘG[%3#aHRMC``vgf#(mə `)ݷ$'%R|=P:JA[ 8esؗۘ'Uq[X ԇG4&lm\sF;bB?S$Ghnp1!X؏=iO[Չ+KXoTy)ng1DV+O8 dd]u G|7-iRܶY$]Yd-PīLTFqĭ8Q# O%{^H3m~~;\Xu]@rl[WJF>< x;.Ua#tr37ztBr7sx4DL7ܜխU Dž1iSl_,Obkr~Q?J,m;i&rR!ll*$v9Aos⊙rp&MxD$5j $˫0R'_02wP DB UKw1hd}kɯRF2ĵ]zftּ 1ۓ-zyImbJ"7Qy ݭ3i4ذIB^>T㝸\1+yzaZLDa3&zX0VB8v4Gdr;4{3) Y{K%9Ox6`R4Wjo˔\ &++Dleiˁ*\Bo0\OǎootEf{e%ޥA~>bZ:! U 8RPP B_GJ,ZTJ`@hl?0y i!e|Fň|z/BQoN [A_lU~wCnmmx{q'V8͏Y o:ny4 tEOp[MjJ=g ay!~"3՝.`Xnm%B V=/~iGۃ1[o꩖%{OZMנJA j~(+{ݽS9|׼yþd]pˏ臨:!j8sbpqЧkVd,ەJ>qE@^zQX4HS;0ol]x{ Z.c*1qT*)iOOR_ÆLulRЪ*gF1!2?~gU}(ƸQ""ďV%FiF'יA#, $%B@]h\(tˌ3ʊ큼0q=*kw䈻}`G $ 9JaCl̦bAS`cσ)jd˒up0[%n$@M.nnyY q?QyJ?gnZ#-sz\=6!sraYrM6;b)JfBA_fJ|QG*[bf͏n(_eͽ/"Ɲ3P&ݚ].+eSlC=SW kAU`;O  ֽ>.q61CŜW4vUeRgfb zN]ARF +gD Nݡx/#\Vk69ivG_9jubB.͏yWM[}J{wk%hgx+d˗od?qFG~LN"b;!)aAcbĄq}h@||(dF`@YkwoY+JÙY0X/i_ j=hνCʻlA@ n N T#1֎3O;u|<5`7: qɼ`K`^؃a٦8bzw a0F BH9ZlmXy?/f ?9^*ھ{ ;glJp܅o$_$;E G1|3Sk,˧XJ&}7F_K$ ^Y6HPZF\P-ߢ9{搊Z #8w !J:i2;.K;Jhg񙭤j?t9d۵d0zy@ZMu<ovO-@$?`]Ov[RS=DDAG]U)hkCo7>XYPយed3U]jB]њ] pWRPg+E`ḿOɁ;mGْH߽D[Q}?S^ZJ%6&BcLE2*P.PVj.'IlPڼ43oRMx?Vu/~ʆcbp 9l'LK[ĥATÆl6kEM12&$R&!jE2 U&Ce4VfZ-aYe fӧ,6cqc~ӎO/8( qäf06u'*͌ lL{)R > 1<~ctK97w)@dR|Q!uRPڅB쳶G:C\+[:D qn?Jf/jP K4x;2%a ;d^! S>imysVb4qľ $%Rm~NI ;xeftU#Fzݫ8?!Q_eoX!MqZHyI:8Gb=>hu`5aE5_.4V7p-V}[O3LQawRp/ h\ RCD9+R).FA=kr_^'ҩieJٸ tr9?mOE9-sj%2 TrHݸ7fC) (JP.tOXq2u!F'XQvGe*뤑Fn|*{)]uvpO7L4mo0V 8 WRCFP/v%99InBh51ald#W^9 P{>s_5!r SD+%!l`@2 n\ "!4XPzi< qIj%o9GHT^l!y$tŻhrCLX \uR1ux^xDfIZߐ!_IFVN9&wlX~99qn7YߡoAɥ[7͍l8[6" թu=%Z~3M|ЮXlC}c8T$5F~Cg_´I ?. 0MS+7[?Dɘ0 w|@ KεR񤉻a*2t?Ӆ);-El=J1XՎo[auJ$FOpHӨTXm [W2SwU zyVC.SKFU6Hki9Hm$?싮CW-ꘈ!ZKiWDv/J`;_"4;U|H] 8cig_ .nn7pjr7=+=a},/;0h-m]GjjYkhwV-p<YGy)o:wصI5qsLO +.nzsWfJGjHti`+;EA!ݳHĿ.ՐR ``aj5hݜ!'_p'VԆz[bn{ZN_W)hY1zϭs<Iᖯ9=3nhdɛh8|)zz67HGdx5}9W=>2Z.…QkR^D *?_uǐ:Z=cmB@<8xa$tFȣpwPzr$#Ó6::Q"UfiE?|وd//</'"fOnP9c_[y8q:Z TQf֨Fx+…&1eh fG0Y2\Nu:D1kSl[J^t8RZF0(]0/VQ25x>#>Olqn}مB|VMy+: +5ːVrMc!w͓p/X5<*/)OWNO.2*% dNŽ'nT)<:[VUhJ/_&b}V8No»s#$7xՃ'LѲ%F \ ֗}~_RfAt*r#PAkwxIiy~z3P~Eh `nLf)Q|G@ĥ/`FE[2jemO}1sjE[ vP0ϔG άO 9s"/2fFO{['Bld➦&g6w޶@6#v  jS"OIEwNq>fY3*e$61=ҡ(:lʱ `^j*^Csty`PJeY2[VtGBFp3&k=Һ&imWxgTm*6u-0GL%eVW~e~P7Exrcv( h0Qɕ>Bjd>s=@a\o,AfKxV9y//oKstռSov6-[.ÏhFN8^VtRY8~ၮehu$)Q JXٕNPçY.YgvטFWZ/G,4F@3ĥ,MV@ךg,<]U`*xH"w̟wzv0A<_?ʡ툟$ *iXRXYϵH\[/3̞"Z{ NsmO6^Ny|pƞק(m4ymcl՝!+çD b;MCkaaruq)P tb*bS-8Zd\脭B1$x^|Rh4l". Q|^BhK-m2IZ5dx!C|X3@șzX?^c9 Ls=.>8,XrxG8ՎѮGCUcjzW wag潕ttzxCmx4ŒoȮpp?C RI73~mTvψ]oa!VNh(OlW% .~~:ysJ2TC?Of ߬ܽL"m*i t.Mz LW2pK2 B"ZOQbƜ- /3^49Rrl]r-<k t%8k7ltU{G/xҔci+5 䇉Y3 l&~n0;EL:bJ[yBp6aN;J_ (1 o;2@Qݰ1 'j #uG5bu&w.46<|pUPLejj!K棻 J 8g ًzlj>{:U2ąA=eo8;_5ziّ/Pp`t?Z~T$!1ATz.@׸!dJl2Dz!ޭR/ck#N3(MŽٕd` +*=C_F-L]*Xa}"C6!%AeG:l6ENyofVf\her3Yvѥl,o\H޹Ɠ3L۠ƃ,:Qc3h7uADoNN#ZX@@ekeIU$;1oGQbJN.[61)p3e:(9^{M^w5ʿAI}k@̦EΓe_F~ U$#dv_{\7PuO3 (a.TCQ&LGeSW͉Wrh\rjJ4H]zr%`hBfr %Q"tR"߽u 5;|Y@rM(EPTPI@<*"% P3U?i ǩn+_!bv `S7V"B"m Mͥ/RLP݂}FBV9ݔϦBD\3dKaNrzrdyRJS&-3W>+ !(q0OW ;Β-RKQ^ENյ1G,0`(^>G PR]Ep=3 n6GѶ 9i> λGh, nv3:['U@m=R]X _$=I`{ZH/"#!"K\R"GSĿ #sI<ߢh;lR}[b?Yu \߇&Nf[ՙT?1mы 2qjz.NFrFLszA֛'1N 0>HNmU@֐6<ެs =E#=O}.:,:i՟]_ 0 Xòj\7e1URZOVѶ )N[!BE(\ي %<ЛeT>N =5s=#r`ĝ qcJPiync9=Dtz>6qIy, wܭ\oѯAjotNT=(ቊkYΊX;}oG:Hָ}.6Q):Q0y]<6II$%y;5Z5 B H̀} C [ 5઴1.v H{vLitayY/y0P5go4Qà4Bƕ|%>P=%.;ZHf¬W !Wߔ`$igxLadҳ- xf\ܞ U*JLZgP+qɫv;lE2K41'Px@éNG\sT@Q bPY5l]ecǔ巡$] ]Kz tnFU;i"|c:jŷ)~#Gܜ%2cv@AkQC+.7ŵ[$ͤ~c|F|Ł*r-lvma03)nuԣkvF(KXc^k4].=>"GE$ӳd=V¾DGӱZJHT?f@Dxm$ SP [lۊFq gt?Oc8w[?T3HhS!Vp`T]X[+~uѓ%+Ӱ}ArhpL>XH`!ld,b )̣Mx^,pfu1~!ݯƉ$C`b[pVp;>| HnF}+LOT[UL2=F~mZ̔ 8c/\xXi<$ܤAtirJ I䱢P'Fe`c"Jdb!=Sxޕb~_3rU<5ʖS~]DK3+W1D^Lѓ:n 7:L?Byy=!Ho=l,`!m9kiˠ7C-3ϖNX6+YE~G)W4 Z\nh 0\\m I<րuh:-E<G"nh-i#g2fMWB}x)7$ p2wmpha"fXqW]ø<zpAL2iF1O 8_A$%A+HH[_қ؃3TP<~T)[w_h~krK8o@b?g٤ ƭS"B5tyfe6 ,0NtrQ' l0rMC żY";‹k&#Fr6nU#4cy͋N%Egm#DVnpQQ/NPvAyQ"vII?}hݪ{8Y-ߩP0&]K ^_YF\$&>뗈Ƚ-NQ?b ͅe+`INpI :I }H[o9+0n7J[iy$ tۿtHVK资oޛ*4Mw{;k_%\J6䱦C'{320A'В8~UTϠ_kbrKȒ+1pŢ[[_RR;M 0 W%dx1\Ci>[olAr+6( siʦ1Cg|E$ #NBe-Tۉh̀nr]B\/ aĆ' n=k"1jM>S \t&yJX] Cb'ƌz *;%%ݑH16kq7`~"N[# A1該}c忤1fx"Ӟˊ^PM;(d\$Yi:J oΝ^Y/"?s`ZTrѯ#wP4BVWpSSR'` (|@@7jJRH4k(򠑛 gŭiUK:+:bRPoƑd:? 2$7j(+_b'0l5Ru3#P>ɱ9WQC.ӖvQ9ޱq| 6\z>B#]sTy%EUޥCi`"C(K)(?Pqn͎̔~KU4ʕkˀ #y5{EOt&mH]1yA/|%=_3t;(wmfڜGg) r';:y)Y1܆Q`N$% *]0?=ӝ`wf >j˾b׌ Od5^Q?FFݙ5&ˎо_Qn3ڨ*AǙ+Xv8k_4ʬ7 n:rg9%7RWk w)L,TWHq5qGeVWj3c7G2:tkd?G|*Wܗ;7x47e aP2#B|M/ܶPrncAj뤥6Q(vS6PT6·"!2;:seO]fy[W cKCޒB}.**8T^ڰVp 蜛v~6GN.i`J)lu'@It?@)A΂ɋxX:`E{-}rhۃ]";Zb7T\\&2&~SS4(L\TW`.bаn{5^_s|NRTO .Z>h9/J I x؝"rO1t ,[5$JG ,/fddK۽Kye$4wIW倡g˥TOGk@,u%`6SHUxKUk03o:ۜ]AЕ?"3fS@-(Pa o0 Cg M.r85n;FYۘ>@#e(_w@u=F̆`#^zT-c2{trFrpA7l|jl/ۻtN\91 D8wӀ&3W%m Ѝv:RPޟiia9$vSe68V]s!^co';@=C >c..0FZ4Ȟ5a^a R\z:5t=MX 6µX).Cf#:UߥL:[kR**XHŰ0koJNsBLkE$1s-6>>7li*wEU}ʠ̨Q!'y@TUW[[ȶ4p.Z%̓PXY<[;u)ZppF _0X^'ҙz+Zf*?ȫBN3m@1 WԷz9>4!L^N+Zlv}Y6RV!1̜^LREEF6puw %O'\ Qs7%?9} ;W =4gWz}xcAvU_.Qʹ$zρ&yRٛNY?sېb]8ㇻLGWmվ^٢V a{^AmZm2YEvĚ<L6Y^,}ğri%M+0#i(~kZ TmڮUcC%1:7Y7+/zV lxњs'p9.1xyjgϏpح8gf?!n˄|C?P٢L&Pd S ^/0?D3Gf2J&$X2lBL D"1\ ULE4\ MDu)tdIA;8"#ޮ,^epQ(I,'CѠ#z|DfT$qC>m#"-a Y\<oM:͠rK} Bqh$2M}P)w"7]:Z,~ Vwm3I=e0|˝;6?0P~>8Ys8 h&_D7c?l jz1 X-Ƕ/B{q\Go>6vUD1]' G@g&?2'ğK/J[5TY 5Ѳ=@'{xr):㵁2oVW !U =Hv/~NBEw6 (-[~ʟzBcj!W\bIFXUd5!>7eZlKֺmWZC y5[9zT!]*ힽH%Ve5\ZV\ƙ&7e^2WEG5%dEbWƆ2!oJ=Q"Z!S!t=[jJKZYǡ*8'2ie/ *t ke 0ըIL&87si9$Gk,: b69!mihr,e >mӮM47J~5<2{kaaw7o(&~jOrf{#ĝXtѫ<~Pp rŴDS69WNQa106KWQiS Ix1+psNpԳO$ ɼ?yrzhM*nYɐZsU%boF8:`11KËV I{f,xyyZrvkrcF==0V"1veff'Ct§6Pv1螟a68C0N5SžB(0FdW tM;2ko/"&@IUCmsqbp}lLD_!-(M:zȭwl>3| {{TK` _1Z?y*X}E0뀵vO$-HR\@2 P'lXf\YNl+rrImQ o;yͳdR0tcvPԪV3'!5g=;`p] iN.Ή9Dpӛԁ'bLcWQ* :b5eqGwCwР4U-Rqs z?2?2nt3IqHM 1S[su;t(`mr"hX篗Kg5; ՓTSD/&쭪<=SLSwx2 kj@& C ڣЎ> [E6KMxSL7 =_)BJNϙ0%˕)&ŝ[{1A6pOUȩuZ&>KdZ򂛙^ybF9Kb.Xrᄺ:C-4}o/ZcNl?مb&#nw,9T 0v}D5C3 zeG$% :H]oifc1u7 0njom]egÖFymp_ D7YKpX쏅4x?}rị>} WXD]/ Bݽ3臵.C熲}v)FHw.R{Sec 9cYL)zd&A~&a }ʌ}+& L+|O=9tLOCћh0,@oTTg57*Yd}Ic̕w/s&;Jƚx5#փ$nƆPĆ-N,3B#Y/깐Vzs }>k+{^nCjCJiP¥M3`"Ҹ4vJqBרܞ~Mb{G:A?ct;$n0"o0Q{GۘOU9R~7&6NqӎA$gU9(U8GX=DNʲD$V 3 _9u!vdm2\ t^ QQ>"#~_ھt!v+ʼnL#.)BU0DU*2%DƿS_܏S)i >\2H8Uw-^+…=V -k` :2ax1Ao>?{CTP$O'nm.|uZ/-M.I@-N\&$vo"z a 9C>\fl?Ε!asx6ڮyV-z&Mk 'GS.ca_rI7soaUK}cҡG>HQ*ֻj9s=P6@x_D(4W9Hz. S]sUI'lkP)u9-B~g ڎl>9`k6i(hBdWQ#Di5 ]>W KYPhg8 UhZ*8>fD7$ ]pܺbsi񾪋ƚ>1P鋯q׊]: X™)w2x"š\TNx] C>ĺ!T1K$k.ojVv "lc?t_(-pٽlfw !Qa.Ҳ~lU"ⵆ|XKۦcA̩Sg8hz!V u&Og'x}C,â؛݊[B* BUU/ѓ^"Mrm$$@F)wI1~؎ ͎UK*C>Ob4#7=RuڽiYmXFxդ(mqLI N tj12[#sǍX|'vCd7=]g{K?l)ǰGz5x$ADkCx.P) |;>+eΉ0Y,\G܃(,>y&;\_$TMl͚j!p⿲wнr #Fr1tzN0CV"*aA7kḰK7}EYIk@2dK3&6\&?{7"-`,;Dg+D8I<5#K#H2fneH?%  $3:XT τbp ~ώmX)JŶ=3x2tɁhhTD"( Y-][o^(!'g9F33!99IjN%@ՁfhA-EI͊L@3li>:C_hn!y2x>_B/ny܁y|]2ş:S(+ _c AeYerKӾMw~ F?PXG6; J_ 1(Dahu<EV`siCOY SXGsԊ>g## 06b$)g߂k;f&0sAsMnmpDM]ŻAK/~@ LF>+qR\v5݋ha扯NPzƠЄƏ3Ȧ'dHzCy{IΠa__řLjЧz%Z-9APU"W݋gNu ƥwK>u&$`+f0GHE/t[ѸBfZXvϊNt {YR-bIY!O*8ĝzw<׻\?^݉&4E졈"m-G{T"d58SW4} ba;,f5+"_7 K8Tz2UI#[ +\BϜ"JTFۋW}) uI)5liQc$j&ͣG 6#nf~`~>wTFp7ܰ,?^WtV"Ok=86"o'/ULfŽGa~U\<t⴨j? bK)Ӈ.&"xr6ժyyEՓvu ?[-;rf"2h>,]f%Ŀ3_mhn8߇GdAPZ%~VS'\-aO{ǦTT~k͙tuz, \ި0nB5H4pC{!r߸9tv %D7/Tyyc8Tt=Dlk/6U0MNj-&,4O5d*Zwtnc\!]B RINgT(oC G^"՞ =߉r w/ *wt :䀹R-q0Lغq7U`w⒗U* y UtJg&-,ܞ`$wQW:0"$.FXN-'EoRɛm&7;a-RNѽ=+GQEjenI|`kv8%)>x};0uQ23";|cԯօ ^F"ąO7J-7#uw4T',1LxYJCIGr2Rt>67QU ryz06\12_0ۯH:(gv1j" "Z!hz&.B͍a db" 9(4:4:ͳKM[-3$pJvmDhJ]}P}xa~ _ʆA, ps ff]76hLc?yLH饻؂=B!/IJ$/>w#3 W<-sjX܉.򧌧buV}"9zm@m^A7xDL)<: baxܲ/@dOi;-16Z#m?zӄ4$H$JX48qJ{Ig%po@H4#ݽC;l!Y͊Eio*6Vѡe}+T.5+ε~'DZTD?\]|̔!Go*ށ4pnUb*"+vMYIGǝ Q"1XP`? jNVəN*[o/ۢǿX2aVEQ@zptrjĨ,MoLC5!4jIrB84k\g;LzPz1!HO  hcٿ^Fٚ8<9RX{%|Y#&`7 +tg7 m}`pEGНkWO9#b]%S"EQHnsߙ[:V"!S9L#Ov:lT6u-:"n,[4{f|dф*m, 5Lk;3B+3tB:GGT%Yk(wIh0잙&W־p/[EYae1 &Ƽ?^7RE*6ccپBvFD˨M3&FƧ>5(ʒcnH6ͥiCe";T͇S`b/`(B%vKڵ n8_Js24ncMWRIoq[#P+(x7jEOYdy:fi{Qs_˸.p۪НBٹ^[#c}k$k ~@x \~ (4'gwP Z1ߌWњ5o&'6oMWf*HkW["%*.zKznwu v"y]KQ;ٞ&6jp#2}cD*S F+m>t3rh WljdC-PnX# Ńr8(_buh$-M*u'](@^Ĩ8ЉD4>/:r5~=ʺi7iL˫OvzI0F8H v vX g0 ctäIVԸ_+^Kf};Z5:>E\#mW{͵ŗ>E%h5Ϛ=;Nm"en0Wd. %\fh~_!ՁXl5,feh'p٦Ω=w„,s<3pt#c eѽ7~4jhʈQ 3J-loE0RA'n5]D=v7PA}e`vP1>"5!m|!l+n+m'~ K1 hVb QTҺ2c3ilpgwjFr\h`ܟmhI٬ e3}55 .vv cƖ5t=ƬmTR uA ok>OWwdП P= Mfs&32Pzîm֣O~+>1'v6Nz&6CԌnHRMJ4@Ǥ?򮘼)IcyxxK”\=S_Io6rQT4| d{uw47)VkxkEOTZyRFKA5,-}cʫ<˚,j|zl A""EVwP9pfx?b,( iVs\>FF^_Pv?I'J&px>mGuWdyZ K5qY%`b 0L9HO48I"(Rg]HwruAܱN]_S񑲱 J֥Kz]daC-|b,V^%-*"EFYH' 3rcQұS`0C{-.!F(Nq.ًΪLG@+EHL,`$"i%n;: Z7>&4W2Frd)l~VhJc3 þLz3{!) XbRQ0vMs;<@o`*gޭƓs_|Rh:J&^Lsvr^~ f8PK."u!=$RcbD7ιuwaQw)3宽X7v.CgutT*r൳\ -C5po"r;|Ik0SGsZyj 0fLcfiME,eEp7rEl{A˜FG=߷yD+9eLFT彊ZƂAI|1K6Ƙ;l}D k1DJM.I>A`V6L: YW\ 'Y'䲨 8&?*2cϖj,c;_{bWgu|-V6@Q|Ml@YiLɜϬL­/ˋ;f9JܖDHC<QVߏ%xfq6R=7PVfztz $83V]]ɚ1R;a0NhMMvpȴ,c $W|:_iu((,wv6{FqZ|g(v5-d5u. /?—>z yO3,4`j72cy0Fzj}w嚝[]j}iv]C inb}dR\w4[(ᡦeh|'G(T`A[~,ƍ}֘AC^jC)K5Q{A5B}=<]5.1xqZߡEyHqmA .(2A\_#Fp&t5ΛO*=erX x?&к7GSE4r%/qYNⱿu(2Vla4SU8iRٞ<LY̆[j܈ .e~6 pB pO] +hIH^t=/ WF;&~ mBZOZ>6L ;'_4^GPf$c J}hLCq^nMݺM9%hB051CЊkDaݎ(y[>:cI `z9 tIh)6Gh?6dyCKeb :dHK8;o-60ɼk65oGU(㖋xbI\ef L E1 c<zUpߍ^ 󖀴D)t'>z wfpDh~.#GY,8s64OZD/[~°eTk3 Fܪ!ކvn$2\Ӯ!+zSLšsAq,C\|n4lҼEQ;]oJu\9FMRD4sĊ 9-[r KVP~PĴݿ9鮬k,3YV8eoj} NQWIRkm"*阊͇tW.ն`GWWeh3dדfòstADDgu*LHJFO74zld3&fb|{ ҝ_44.{ 57{i_Y?06hmD>kGAsSG+e#eM@ 0A Gp= L(RHH;\qLS6PM֭7f_1Q|ozfzW~{e_ǭQ޵0!d|lY,KLr&zn[WO GfUXyZQAJ! ) |k_"TQBan:d7ゝ Ą2UW-Pr'0)R5,\݀c(w|2W%P!n幘5^X/\`kp^?~XH.Y y{:%*}WPZx|in6κMVZN̽GP"մ= %,yZrn4+Wz|TSQ%Î9q-Wf6L<@ h\﷘4H- !sR/]9iZ&C< "މK_~\=:xpU)uRe;'1Z>|~m'蓴6[s#k&\BSđGW+/0-b= w~/3κd,؜(ӲNř(.z&[#EThXVF{1inuv$U ϟCYxV Aknq\ 3-qVhndk,or.:;$zK̻=iKߤ8į;\x>fg5I+mGe9#@!y h!=9 di0d:L .?6d4g`/Zfy43#rݐ[m`h0F= rJޒ\xI-\ yHt*ϝ>m+o ' P;\ V?P̻(Fwg4@.h.[wx F7a:ca2)>Ƅ'XzvȥKcJk"(;a2ܻZZq" CܝZW4ۄSm?}gKᗝ+{IC3k9LLaڪto!1EKR 8*Vb( &8d;c={53#Ԃq 2Sln48[ƷfSU"YTc: %82^@fi|NDT幠-@O8iQ.[D)4'72ti?MS/ ~REeX;"\Hkdѩ^&u$;GU~0)Y9%;h5L'QFî[=`Z}N7; ~TvFpr5'^SnWyyI&iEcwY{zƻ1'Xe?8uB\ *~E8v!VKI1Hŵ{1of}}j%^ky,DC͘οEvdq0iJضC!F)Sq߫ϊOĈ됆0/ApjCA ' F vjqSqwh%cquo(. 4COO8TȆ 1Cq@{=8M52 CGJY#Ab|GkƙNc:YY~~>q}P'H[NOT{e'|rYT{gS5fIø,?WfC7:1F]u"F^ Lɽeui9Z n\]:, \Эάzj/_uܛOFo_t=OXEo.0%!X& <Y'ZEAʏvTVFQPO] >xQX׸kTе]qېu֕8ͧ 2'wjpH98MUbGV|>a]78^C@0E®],' ;K~xWcMo!c5xʾpqېh!YRŕSrT ⶕۄHM{'IVDVZC!QQt$XD}{'Ӓq$%`JØl9]X~% ,qeA+]h*뫖c &,JpUk<|3ދ.1.s[Gd BњMz󫺔-`xNsSrI:m0.TQP i2]&RCt|N: {M$_ǨY$IECm`}?D*ٖV/ QƩg59 CE]jYý0q\ڛCe7a YbI2*Ek+=qHs$tmNRY|"^kq]sj1=EjlW`E[æ6xXGNV4݇Xnb>߅1nгl]Ta RF+BB)\FhuRN[Ǩ̟x_?] ZFTW*c{O v]ʪ)0i 9V#RE#%;geQr|uZcafMq,fYwg,~.uyڪ^'FRTKgHD18 lFwBH~]ϻ @ 1Kp JR0vG0_|/#m;/n,?aJŃ0{s  KD'dJ/IMcN15>Rgi[&g8xfSF0[}R%x^0 p\V& rI1$6:3w Du6h|:WUKKN8.6y<:kAm27,BDSI7Q >MXofMӢ[0}fAu3۠鸊*$ՅbJB1kZ|L&*26 ?pkΰ,yQ^6_3̻Y^;u$IePZMW_tP[R&b%Km7TM=yM f|ld r'ۓe /-9L%ch61$mCA8jcֳfJD}v#|x=" Ƌv 6R'旛G)'7 ar1ط]Ж*1nQ{/օעTSEMTmw/SA& (Egŝʌ&;2}wЯ6KkR|U&U66Ư Ȃf:Y=/g/pN;+;"ְ.?)*u((b9>xN;_btz5ؖ,4Ȕ}ݖAAQqUZ^S&ae^ReH I]{RU|F){qZ+i/!y&C;O읤gsܯsXa kaqhNAt*V+wGO|'n0`pQ @,BwuW9lb.E-<)uh*_ׇ) ڗG-]e!nYLnQ4ZFt'E9L's\Jf'FcQHYa;*mS:1^\fBgu ֊)Wudr^\owyIƅiKEy %Hq-e= .R-*b+ |`>-s L$] hf3/;8> L! 3Do`hMttS;/{Piat hh Nm5N7vsmLR¬ { 3`㺿9:JJvٚJouݚzޡ n2q%3lxUhWkY3AEgsF9_Z/X )TJTID߮:JQ-~hrXq2-V5o7gxfSS~(A 1URVU U3T^ADYʑDH}u!lXCdN9VwVW eW8-ja.)WQJzu#Hum!#% ZDSxlc^̧&gN?٧j&9qgr|Wa6 ]9;4v$>o?S!Ṣ j'󎢔>~oi5OH'Ńu0i\6}ovn3^:Kvzq~#|ٙFH8np&m&]> %! Q.5vkV-:ȝ [m<9| Icw:5=S!@Fy&+lْ@S!dF (s;=B8Hyw<eD'\~椾v5LJAfN@h#B0~g"(A*(m R}q80N^.j}f[$ϰc;sulA}@GҏD=^ԥ嗰?txG1u}MܡqRˏ?puRg)x9IM6>MԪ Ev u©y֮ ўK\QylF?ذI&Ք'j Ohi6?/8ϯzROe!Mc2Ajt‚me2,!CIƟ$k*yUkK(;^{՞/RT ՠ^b_>"..mu 3 T$u4EP YLxٝeE1)|<;k7y^ sEFe/Y3B/z\/Z{Ƨg3DZyV!-n;1\S#AA T>Pbsz=Z+o/^l;/w =ǧ rԦA &N(s&m=g{h}U }Q9s$! įc˨V ~7X='Gc SxF3lGsؽPAyaטcq3?a82:z{ CԪ:VXdP_XqoyKKMI!<AѫuIjAu!/?G!xG;!X'ñ7Lt ɳ™fzc4HX$aƲ$ }"̝_^͐A^3%* .r&!M'yl^ ̂;