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 XX|!td ]]]HOL-Proofs:threads=6elapsed=629.280cpu=1527.740gc=254.932factor=2.437zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb^  7ЇEZeA_,t5,~ęoyZŻAऌ'?a>O#o#/[;'퐻SL@#WnsD+[2EzYu[k SxC][LBn(x-mD*~P /U.GV)TꭆqbZ [x/hqxFYCt29ylq,dPF8 BGhUi?˜CBG;{JE_O11m|H4Vn6K6MPX-g5ld~PxmY,4Y hHMMgqsBsda(7,b?MT5-8<9]^ aIBX+0Σ+Ƞtͺt^&XvE{.A0gA ~d[9=CfZ >r<9Ą|YiǸK_uU9"Sb| C"y^i*[8ڵf sXҥ@AfΪB:ʉW$NTY&kW(Ӕ"`ҳ 8[[NՅ]z },b% k7K5᪮)^x#PZAIf#^.UQ[!lu.\NS>M[ME}嶛yJU#H[˝QR^" MA\%:Z|l^33nwX;2eTzILMHQ8U.bw2矵z/-840,g+'ק澚޽-o"{OahC!goAA5QyP!*Y:k- Q^V]/ ,hxtjbQq+:$vxiՕ)Xx㝷V}t Ko;Hq2ƣ8j@:b()UцnAVvNINRP^Nhewx >duqokrQw$6^sZ*u<_|-nyc*B:&p]DUZq-e3 &Wѯ"q;;Whk'5Ixb1xoh& }=}ׁ`OL: !:4 I)81J=7!,&%ykk9&TƸ 5+R `-?Z$vt\Nǰ͟-hDt^y"m%",O-;|mX#56WeL~ n|!/5<XrT/p\s1Z3}ȇ}'ݞk#LνhVGz_eP}Ga#…>f/"xO쐷MD77ݰH)%-ߴi(!i  7`A/x6CPDc,Z &u|2jD {b"m, gnJoM@8(6VS6()Y H/ivq$;E!*lv;5au;Zg g;1$ eBb[2킙 ӎ2.6VD.I(ʴ [ ?gTB(aDI=/%✓!<&f=fV1ɤ=Bߜ^r(0@؞:LGTS}o1l7 U[&@l؀Gm^`2M(vK8|Ѣi"0B]MBO"X@ehx(=Z r"R yh?aYu1in?_HTk;In K "8'ʜY*ZPM0.YO%+QUu^רK;L)Q\D_'&x8ݜ.* 6voZN%hVR(:;1LA!D֋=am;b(z(VH Svh:F%aMٽ_5[+{8аT/ChP.kF,NĀ]wS"Fy2ӢƻLVG h}gCԸ"qڀl`vsiS+-dT(Dy-̀Iom.;_<:T0DaqsqJx"ԭ R3Te9K.itD 7٤cD1}HKžLFN&rs#B4 lRNL/$yIJxރ3ڏ R3>Cњڃ2eS:w5Z:e׏퀦>Tl"EFĨ8#m\Ƒ,Ө3XA#]P# PI1}(O-рf{S:\Is0<B >.|2*m]d#s>i֑$޷V(rZXF9%TtL z: 4Dz1glS -8qٿSR>v(w֪4IN-)iaO7 D7ӊ`*L x!! ˨|/荖9ȧ>čuraOgt _E_H'(wckN[t7/{ rGdH5YRTMp3{R_"m^ApxodtAJa bs Rc .U7*nyKvk(9c[լ5}s/qD^Bvl>Hw2(8[01w*)Pr1~䫣) OO:8ۛ|{'-{23 fpbH# /ld]kGuVnf$A//dtpD^QY#%:CݷWC 1SU* 8 fEͦZ>1[Zk[R{ԝTҾM[Vb"aa x _M*وtTwa%yTEts llk-]vAGb_܃%o;h*1SS;-z@`Q(>G=LWi<]+z[opk0Icø!\rB˕c@LpJn0cj<sɨeI1 DlrR?ʨ##- 2C0qjI#dk T=UI 5F SbUGyoTKq5OnG]zX|z7^^@[ 47lgYZ7zXZִF! m]ŗXiɟ29aoʼz[%U>EM!!BA'H-/#P7'9y3EBa0q'(]GjpoA^$^m|/R 8Tw7d{1>Ӎ {ns2Iy85۪7JtPA"-TQQb O|cSZ(7\A ?X[{G'ӆCJ}hTz|Q6H渒`@[f)ܽb3wBMR8>ٍвqk [.DTDb*r_rWKY5 :}7X ƞLR GUCI;5uc1̈϶ t3׶2}L[|IR>%,J}Zm/Cm3kb&O!yyt9#gFrXPhy܆ OK| [wWqo2*LF'.zvsP QiFDi2Zȣ*hPo} &%Zq9!J n Ć  o} ^lbg*hsUssn7|y܀ZPm%w!+g$s_ŀ^ WĆx"vo +<4nɜyM2imC/_;H[YJio:>O'9e5/G-_DY)~5aD#}ɴ$Lê*L82d/\KįS!9os/@\k~+$^btAbZGg;e6>WJo z{voRrgoLEbq[ h Cצ/DQw?V|P#a^i03lgy~O]I?<FX&-JImSTP[rwDz#5L$v|Gg*WP9n?\bQ\P\52BW3xŚed|A ^Q]4Ԇ|0yÚC|'1Ee噔X:KOWfͦ98]{@[  eW;XqOn0i YNeԾߠ~M}vOג%G-)|tP6?!.W/2*ԋi_wA}y#/‘"97*`^o8c_Ռg- CLӞT&""Q5g;-5i>ER&b{ܭ`b5(R8A$9p dGJ%6[9j%'Tgש/tXNJ ;Isϡg/ B5)XLϕ=!~)|uL設B#{MABP !$ 1߼karNxIT6]opM=~1 Xro+\ȵV92'mdy<<.k?u ndI+<'ddh-ۓ?,0楢;QD5HuN6.dtcQk3s%"^$ǻ_r0v dA?r>D 7 kzΒC^|FI 09F;%ZD):ڬ! % 5񞩉usOQĹ5DƸsE 'JЉ).gpϚWQ!N IA VG. VDnfItS*tVT[r-axz2ed r6ksoNK IJvX ]IG֨rʞ6&q|`{iYT(SDΖQ\SOKO٨J 3\#yTH Ff'"$4= BkZ\~Z:HR4/$kve崳's譍Q\φݬDJa#A_8/Nhlp౵ 5^>@ZPhڛ3GU@e"xdͣť@,-~wZ/r!<bt+)6\bN*@?+gr^Q4"qRS+O{)GkૺQ::>LĴ9(&7& %錁JT=u5)e 38M,v d@ju  'ŏOb*WwIMҰ}]w)F=+BR:(ѕS,_65 -fXSq粓5+wK8geCO%rZ P\U1Dxm3L/Hs_~Mb."gw$%΁Pr,ޢʡ `ZzU~9 P=MjǥLB)sPD>np ,w#EerVz@ l Xfȕ+{RlsLKԴ+VEBĹ.7?_rgcFMටl3 }[ yb3Y!-#MDR@_CdN8ҁLsm#3m]*haPעHF x%;au&."!KϦzc4>kuS,>o{y5B3^$1V^8ǟ XDM8?hCyۥ+*[kHghe!,eH լǮ'&!՞ 0[ٞk|䝊t}t@ \s=t kA(TKiI3W}~.w kKmjr\1}HHOHN v'@7 '&mI, O(XkK~Jq޽y 4ȆKt:~|&$NMTyKr jHhen]Yc];YLGeҶYh/$JD|Z-;jbRm`6hH* DE^ovNevKKd_ga!=F_EI;le bvy%e2坰n+}v"3EjxhŻg`dPۆLPt9d?m:c2>b8E<8>@kw6L:B Bqb5MEJ^׹V+k8" $K\#}X;;:qzg`b/]g`ڍ ]س#x*o-I>V@A`[Qo@'LuVz咼NRH[2tWn+ hxU}jɡPTP޷??BWd: G/,c7O2x@ ̹!66yQ*OFkO9!ܥ[,31rM򬨞)䫕Q.2Ν>\;nh4ayqMC[_J%hxZgxjvf۰g/Υ?gC+ٷ2EZƅ@}E1bGr_>]/l8[U,`aÈMJ0lL5DSaxA 2R KB1bŇ,g*a:zPqvy Cfow1)ޑPԒ> 0ҴʤUE%.?aK|BrhetC6wEoTǵ{IVp#X1*G c[Z49 CNr|7YOCԮKJAGނ[ P?.h,s[;Cv_׽AVWҺ@51wnd(MRmRqAVwV#ہ뽢Ag}#qHĤ ))A<\CߘW=Bh%F7ȷ[XZh?ShN9SS@fUGvt9L](`uҙV:͆\vms1D)rrج,=Ѡ2a8k>Q~닸q*1w$Q^;.ѩ9(QVgE)[7YxOA@baɄ33]̠<9rb1?\v 9wfs}6" 4f,J\pdx<{ WpIEM\HI^qvg8 o#kuT2}r}"'C,|f25&4hBctFϋ6\C>} %va}IT6UQ͸sW#0+Fb㻫J4-z݃H ~EXe9T\&bƣ?yFI4roZA'5妨;0.9RL sa.$#z{-"߹kP6BeJCٌ:Y'zif+l-FIzɳ(cηu̗mU`SC_]q6Oۏjd ^M G[%l"ɟJi&Qn nQP _DF72+M2HmFg1tI3s>~ǖ!9_ʹ7QIe4sJRD ViE/yZ:siؾrs?wX_3dlg̊S:m. (QJa9`0Y@סrg0?th|臛U7=V!ՅzKo*E16洙%naG2bԺ8y4F;科ǓQA}74SG}wPyӨ=Z{^Ű;gL|j/\PߵDc (7DѻDNxRR_Nu~uIP,Cph+C2& .I4mE{  rggGS5X@wG1 LveJ򴼡7{ DmT,Չ7|#zm!˴lzF@7mc M-ϻK HcؐgBuG(C|ԝ’%B_`ĩ;>}̉KRI3)b&2B{FzitWfI"dtŒs@|+a-t `\}e):ڇ 9Ƨɜ4T>\n|O2^,C(3a0_Km7&.f6 LzEQF?AJz|5-oW6E7-הk$ 12O'4`1%q}`>OSv0GyDK}w I=?M*b_Y|:“j0Gdm[u/:SRV&[T5P>7i߷^Wt\mptrާ{[q9;xpZyKy maf! JU+j')=w{o D-I11l;߰А$VYylMXJz\(ߓ~2o[c.<{wq;rÍ.rHx?A+W{S%)~E^Ih|AWcKׯ'V!"K1,$hZSǑ8̡B#J (&{3H>EECC,)N?^:l3y0F/o5/1 YqBmubȍJ$qRU-q,3CC&SVQ'S7߅Ԡ7CӴ[IrY!!f"ocLxQ;e0Q;k&ybO{C+>t) ӻKRZܼ y#*wrؼϵd߰.X'ASԕnI1F ۆʃJ{ X?#gc/+~KАiԧjSNӅP]U Zqul -A#])?TteߣGY0^/ cdZݬ7ci`/0j+SoF&^rCgWwh._'q2 "E?Ы+|a)áۭ`]JB5Ak Уp`pZ( mNzdULyxP,|}D) _ dbb_!qO?,-ya5Jq㟪@'R9ئn{[ ,VY(7zw+DԎDY-Ca0oHxA|/Z TKңBs=j siE|2^  bw)m'+Ykm>[l!iQ'8* ubAXvazMcDswk lX"!`&w'1 ~WFB, :!6l38^DOwH*{S:) 8rم&>kYt;iouu} /^`K$f5TLT>:_Gpnsvi̖>W:=9F/ߩi[$/5+b~~McėYggKD3,>x񲸿C<~ ST6 mc,]9p8W~ű f.Iƿ:A䶙VaɁ]Z#v}ID?jo1kG*W(niE:3 jyky**eAJyH.X[Mo1>p`Y"S%R3[|_- ON%Av]He ܬC'qXPjB^$˙LC%Ql&e^FA E6^䒵 ꊿXp4m۷tl@*BVpwV˔-oϏ.fȻnQS2djN%cqy%peE>`d딸oݚxGU;3tdӑ)u²iY $jGqomCfR_wSL[~_o,&n8ghS{d ~c\)лFILkP8kJQs޷t< m~R~u0KRKC*EH&D˟;9bVHE,j}Zz8=9GRXV@1w=|_#F`Kx]y\|Zk{L<*/mI_r5}P6n.Mc漠0jNApj']it1TPlJn(upIMkDy %vB(j׎@3 aqD6׸^޶"5==g9}t224̷6/Znc)T&3Rrx440V%q,|vc'}fd!.]IJfX =r3_=3;ϥ<0A6Mm ]MS.S|ZG# =-9 pK =+$ %eH@2BnL'n6L >ig@bF_L? A2/`p]ǐ~W:0tm l)ML=W1ݜ4Z4\A N̕"DG+ʖ"0zqӌn+PEDm 4nNSW26ˑTye>ss˼2Q]Z~\VT9{J 8zBd]P-m(Guj+?MQ+\=w{/>%g۩o-~"L~V;%f,y[U! z2 ӝo!ů  Zv|?gucv&!aY>߇): !eWZh!Po'`S/. Ȅ̦!% ;b=QRq*0ddr46#SF4`$Nu rś1lXx ^<%J0=.% XK3c?8lh]U|kE hf2*f-`R^ҬyAn-Ń N]#(">H*#'i]оX׻# ؟R6'۞PxI^3MfsDc㶡_n|7(KSB`J+FsB0y.tɤ'5)*ul+!\:cR0g'2O-M.G؟qfs.?ôhLNd6Buh137W,r%HJ;P ]ڸFdEoiLG<7d;>jy۹n3.C͍Ls$d m A!g ^ "[?>n$aR7}FL[Nfmx>ЛҠGI%1N;ٴw38ƫs)X\`wqf_ė,]uEf!as hH#sݽ@?b!aˋMh?lN$4ZW\APSv WV0{2ނǁM[A%F @te=I@g)R\:&0VK@^iH:E̪`BS"a<2= +*|MyXXO`1ܔ2J̽*C˕/,Z]-F,k`44Q5'Lӷ۷}i/n$> r]DyoBxYOgưuV" D}UP 2>HLވ*+7_%| f~6Ck/\ken#p!ðԡ8r0BD#p'?*NZ OX 7}18*CTk q@Lua=u(Uj9Iz~ xSjI.vi΋Z@T UGIji(gd\~*܅(k@9[a`"6܆{I_I*c=nq pUņ֭:ֲ?Gz bBхAh,D zGѣ3c-J/ BwøX7#TYI\:8} =H>l$C*sҙOg.~p>NLc( 90T͠uo_?%Ro,: }߹nK9ئ YT;cϳ -Nًפo{X^I\xh00Q^In1ޯ|I;+bh[;z4GO6"muRU+LP;!h!%|$RiN^+)oԦDJ-t|-̯^:͕93u=AC hH~`ffPN{~QC3m]Abe;A0{ $"T?P(43[-{KWS-7Тtjs1KG#/'^D+2MV 0)=<KpWSUp4jE֬rNPNzbA9ilf? /C|E}PO}ϽW`)=3vі?U|y~n+"{xzZDw"I.yLhАd@l \W^a5d(. 8W\)F"_xwvDS?קpjLX7s+ ĭ"Z\!-zrB3'}ڟihqܙ9&LeHYſB|:{ػaı,N"8=sނɕ_wᏙHgY^֔{VOB\ &F +}P%hc8,^mdڰ, vؗhYjeQ eu?I;[u/g8ݥ:nS v80KV^kR:CUHmniu{qpк6CחVaxC|ڼ ZfˈLG%{zՖL Z}!E;C+[HBxhL.-+ ns >9@;,cDcS;875|$0J>zάYF\v&" {Q3LAPZER> .־h񑘴.B^{O}Yog9ojl˩xSH~-PV掌tP: Gʗs > ( ͂0Ar=ڙ) 1PmiHX;?aFM4 :=cDvj]h_@"**vDk0{ s~ONh^KeԜӥ\衶n6\dg}E=SC=/N$2 ZZ̻ =JdAk6եYdmps{SccāqPeԫjH6|N>HC9N !a7=, kMam"ώa(9lTM7:c_gm{ pq^m0fa'RFϼthGZ; "c)G X $& 9ĔW Qnp4Ivjj@fH69\E@yvhK@o擈ZБ2C2ZkuFfK~mCt/$00HqEIb=O .<.r*\A]Ud{Z2LEbWXrÃISB["Jx mE:,>®IXeI~ }xnjZh C"e9l8xc8JhBGa)dj(@"™biax<15؝a5fh>8c9EޔnmB RE"ʹ]|3 tc< [?/上%ޞԇ] V~&׺BaQ]ͰMq'4 8>T%' 8HЋ]If}`j,d<&EX6 m:v!Wgۛ?jjWKü$U1].ㅥ6v߁JoD%Ks#.{l&f?PJpzR'y];{۔\*l RBϖIkef:;mӟU`B! ^us]S9尲 Q7B{|lU ;?HFwf׀=1R$%MǃHjnu3|RKtΠ^vܭo,S!W'+,I#ݛ֞'^:4Gn."qlγI LW]$Qм7zKzէWN4 E;g2klH1>1N2(yOVi&yiO=x`X{if:?b΢Xӭ^i}`])W˓R?.LF_ԛ#Wwl}ge{"Ȳsce2.D($2FC)MZ{/fw3{3zY-O2)'f{)+ajBϏ_yɸ|yaw^Qqh5rʐki@[wo+[c8%"hsv'MдS߫M6y Zm6ؗ @"bص#?ŝiFThc2JH+(~:Уgɏ gvq.u\%"i.aIw4Ữb&K4)|p;q{'RבynayJ0y6?!T׬}g7L}DzUk@FB#֪ w?|O/7,3XU>p21s9ދ3B|WZB$q 8Oϛm0Kepj*d츨1t;z7s)!{\SB!"NM|F&SZ_œRӭmc>JGOzSh'<\,"'v\ÔMX wЖ{^E ';КchS[<' 7 eTu3#h{;OOc-V` 9“V#┋TbL%|jH<:0Θ[J%@b8lnOe} ܇ &,,S;ҌRVQP7%Y,1ƭ+ `-G؇Յ6!1]6QϿ {%epl /0^~)CSXVdakӺ>'毉\nmJfL| , do0EaGU;_9[\Z-gdx{=I1l&VkGي`SO9HpO)SEoV>E>OSǀ`ig y>&S .po0dNv6TZH1jjǟ%W;Rf X\f͹h7+ՉVPydRVH[Vs \IpN3^ez*{G1AE ӓ0\1Ub=&ǖ'e:r0^iI<#MR72<'NקMF]])٦ezPnNLլ%܉Na{ĭҒu̇յ)@4MJCA +W12YzTU >KC-t{10{xb&5uخ[I - 8c=X;,jiєP ]̤jj@CzPb7K)q"aum(kdnN2T:ix;5iU(H `Ely@՝LX5jQ]eCpROwIcŝcpW]l6هmT80jN'I?dx3ͮ"?bM?$"G!.J 9Gh4)ZF_}Z"ŗdB0: ?u8d9CӜCf@[4x, E_ugw+Cؿ7U)+t-(HX {A,**6 TRbWy׊JĢғH"'z2ߑ*@ YUxjclVۧW9)9Y߉ʻ>g GDex*26xKu@sS50צ8L Nȼ> ]pH`g 'νX^gx>/OE۱f|x? R9@(?ᆱLXwHy|/mKGbJ1UC Php%E /+q RƷ<ݭ,c[Հ bgZL"N@F@AθZx~rXB;zFTwDj[`'aCW8-N _w3,'5 ɇCcY%R Ou\K4YY4[x>ͰLYl}O{j5xoF #K#.)ׂ Ug#~xRO=:90\y +TO1\A*A;{) 'H@+4-7 [WHZ=Z">A<^\ZfDG/`lHۦ`Ѝ~*"/MK[隸c`5;gm|dhUc8ZEc  QILcZ-Ɠkڕ"[ҐenX*ܽ!F> #0ߪHƸ`Zi< u i(~Yظc%(RX_n7`ç ӭua-osX1[& 끄!^b3䲅Uw#n"zo-dW)cfkUL=*k;t"ػ:ҟ -ξCbxiт\# QYc~h?O1 W'շ[qbְͩއx(B%뼎 8!VywvZNTnbfbI`Qat-/l,7*X}b Lbvt\-34?[) 1F?,Tͱx39"-?g&$YF]jrE1}Xh}D$|Ј # x-]kH۶_+V@o9/=ߎkBoޑ`n_c@̙B:b BשJXޥY̍{ฉ")~ $ ,z]>؛lIJb8cuK.x3?#5{M[ GJ9"ʙN*@@4H;; [(Q_X[rBSY9SiMOҗ,B?8>d#m?vb\}\Q*ܰiAu{-sոġ=*HB3Νe>V9F:P}jG5MZ3|Y↱mBt%hvoɁFq\71s#I7vh࿥,$IGPp2OW ,j ElUİ~@*5k݆sBwqSfg^fk}nR(A Y%_ϼOXSbU_Z$Hū tޥh[_U;JkOHpf ݫ:8Z58AMO[MRAxyP1Mms!UCy}D:6SZ=pc$ca7Ja~z;aC"; x@q]}e1d B םG % pwVF /yŅBxh9ro 6Y::4t .diOJֲjU@'y.W~`"eI\~{ l&gCRZkY?WT<,YbƄQp:^1-O1cnsi&ōm^ӟ`y3>У7,cC"@_a~YWdiIf31k`qH@`@QS^Ӗf rޯn̉Bevb)&8 "ڲw\A6Yo6n6if&$nulsZPT,i J^o ̗kG|`.w257ܙu+U=Ė|ȣpZr[(aM-h!%٨v+$.0+.˓y\p3lj+7)@3N\]HЄ3 "?O !! {ȯD&c{c$>75=|[._Iq[ڃk+~v-bY&N_  p ΖÎe6WPlj 9 @TKi,]Um`-ΊDCl]̬u.bʯ|%"`vb $W!ԭýfhMVoy]F#~n^IX{XĤ)}Q~0ijyD$E ;\$aJsԟՋk.uaq<08v$pCf;UrSmuڵze3ev7 $b'_ݮ8sr:apO JEj:&'OkqWg}~ `b8 7K0G f]`{"iJq ?Ӡi ΒrDoF--В/H, qP إaj3 p{IT&T7__`]dK@`;HhƆ_u 5HgDhy`tL9B+([͸j1GK^q&vaݖO`in$2wypo(*-Ly61ɴ s rԼ;a R`ĺdTxN[,¡8΃<nH4 aBA|˕"{s+ oM,=-bRw6sv8N 2V2Rq1wr8xmcKn(}v"|kj?v6'h~]گ@ßغx:3LaXm+[!$CxR!z^QS, ڊ@ 71o%h`!?NLF}M>\bq!zMGnMk8e6Ԝs:'.G##;cF=:y L[Y٘Qn@5MI9A`@FO0Ju{3^M/ 4N/hTASB9No|P:32( YXGg̜_ dXwEq?"e* %eס%F_"y4<)=/%[)@ 8@ؗ9[X\ m<{a,P3c h, J(vSWDMe#DxѮooo|_S¼9j?[1B,NOrOw Ӻ" @̅a l\^ 35qٞ3`Ct"7j@2kDPbV7odsS)aJbrk,D̀>C ?}JRE-bX ^DN矋7E1\G'}ҧ]Uꨶ+?u~; u /(Ύ-z1ҦvLmv@|ە'ʣ 葆iJs⊍ ^S#π?nfբZ,.,]6ZedvBh57H}]_cK7J'07ڱCce0,ڮ٠-hjUYy~g?ZXy؃&s0.i.]͗@+~NztC$L% |"oɓlt ҃f?JC-/e Idhi|+01KĚ[ME*"Tn_%8$;2^mg`[`H/XoQpg/o Nvr!%B *ڋ'슕2띁ڳ>=efC=؂/QYώq (DO঵uvo-V0v$($%_Z3@*xpZ?y&@uϨ8~~hh_b :zFOc5 ϥ{#C(ď6MFr/p;ƺJ?j3z,N"nGFyEO&!4fwҋd5:{En< + @ _+h71Y#ZCf)^7Ƃs L ::_'GCjeԳDjW-AhNt,HM(V2mr&)%D/"1,H|`?0wuydΊY17lMώ(=[ QCēvF-nHTz'͖McT6#h \%ಂ_O T5PtT$F-BUkGp:qIksp<:)pL!hvC 䘛)tWiO %c?pE1y{1Dq<ڛoןzm0.rH)b_^4QYVqs @L)ں|O{o ?aD1jgcJBr[*r/k=A-GK߸#L 89}p-SC|RQmn4|s#I:s6F*8E &1fU[IϭzTF:a6|4's4CjļmhRkE<,|n]:^B݀gY5:دwc `NWQ+{=̟sapٟ:/dbVU9!0>r++ʪa\gt7,zi>DC=/K}ؕRR:{/K1kgO>X ܬ)Bs؞1-J$r7\,M x3i{Mpw:_P>ҟ 0mi 9Z9,LJ<ʞrMsY}WKwqL @ޥ rX m<2§gY(q֝|rơ떈X+y9{6RKFCt20 Zщiu{C7Sxb`,xZXS{(T 6ZZ6j6FPSD%fmF5(bu0CJD?9A6;TL7yHB2]E55/4$TjyBiƍйIP!m`}F4`BD6:+FnmepU@SДrV%~ Ƥ R}Lv;Xl>A(Wmh_൩=6'p RWG4'Hf Y"B9 K!dYO;:^8`K'/p)cajZׁ֥&l׿F`!M],zH:9tӕf/7y^e5Q)icXZO+Bevj ޡW9u&`&;tfV#QLVB^F 1k^vf LD{E<"N/ YvHǔ*P qDi>7c̵3`4h.V>g%w_]n zާ1^ >Txrȣ!즘z.6 z *6* D RoL֖B#=^d%x.%V c/[fw?3/f\hqu2~6Cִw|-*&|#۔llc.c)Y[?@*ɧ֪zӆhxoYU%q5F*2n_ˋą3'V9y|ⴇ^4%y_y1B87 7`!1"<,ۤwŐvZ6zţћ pLU/bui|Z"eܾ"ݠ= v0-C$ k0ǐQ/97=<]oMH7ZB udP=I e=Ȭd"^hjVDoҙk3P\g8w݋لWvI+X"*cH58 *%tjɈu!_@ <94n~veQ 崤 r $<+s=6s}OT7Uc lROdcEPQAd Ad?U dRA  ][Ji}*WV+[ 0_L!FPw_rlUS:9Tdůpx2€ [tܚWNImq'^4tcl+ޢ`$L:1!k UݶjXk6,``b`.2 i9ߥU>0-x >}o+ɒygJY7h4}! ]A/Mu|23> Zt&pa(6qeԄH׉o$ݳ"?dmŤLEXi@Vs0{yn#h<=8)E|cL7};;3⹠sTdJ+g“k)&侍xs+aV~fZq:/e#^hЗ; ruaM 瞅|f .MۚX{aR_WAQESR =dWwm|S>T Up?;0dgѣSa8Mufj!؈"o#d6,b˳+A!n0TD h$NMxUD`W{#uV+GֵS+iR6GRAO^_ox{7Jm7. V]COyU;A\A9Xes2_FWgZ)J I>!YUv6.@0$z78s*&f%/{~T*+V4nnf8G3r .W$whN_GʷNlDRsخ2Tmk6ϲd"hgр/sE?@k[\"Rzۄ 澭7a w ^EY#-tf,etnC&o%M%fE+Cf$BAONx_H渍$8T>/҃*:Q׸RΤ{vxV;$24U)I.(^&cpcB w T}wྜ;^^鍢ڜors,9#mTaM , ƻdq>}NTRzI |w`M>NEeKOnL/%wzJod㽨HFtΏ>))4J S@UûSϪ])dbǵ4}*haz{MiH(P2z ^_T3UɵI\$xW=阻'T$6AD=ABoH|3.YVT8AGVG&U9Qr;Fb0M)Y9!^҇ht're?ygOD%1x$,Z !9CdN!uQĕxD6j"""n[r6 ¢tkr` ]<@OneJ[ؙ<@"o&V: j|'sˬKe60NlUc>7 ' k.)rHq](+/kl"S]6S**m1yț&py;Քi1yIeե'yɞN I:N4\զ(gVOePs !+?b~͏23R1+~^@Kn\ĉ3#]uaߡ$U?t#|~GOq>su\]%>4#+x?~ʉɖxɒ dg3?U5,;1"LE8Ptg0r!k.95Y`Xʍ}QD,ZGFv:%.lf^ެJXnׄU.^D@ŀ#e2ⲿcJ;ՋICk@\hH3 Fg؀g04_xYc eA=}[Qb03>+p!cQ. gzgMSV@: CNYZrO9~Nt'}jM ?yD(߄ 'yAYey2,8~fpښUc`^?v|'BncVSᘑc4ƽϑ4r.WI#qS`?bgC@܉ʭQM$I#T qʆŊ>(.hQE]F P7Y(ML R1f4}?K*IkիģmEEYwp4`@Gaf'ԲT; I!xJ}kᕬ kqtx1) =9P8 G Oaʙ/aݨPc/rn*`׽jr&k0Kl#ޑQ*jՋSD*PDz~cG ?KF;hߜ0d%? ,}[KCUpUaFi]r'kMGHt_Xs j8\՟٤s7= nn믍kZflYwQ[7|)t$%9zN2Υ~.`{c>ˡ~=jen 5S2-6I(K=%[fapI`n |o~q0\ZWZO-t<"NE*a?7e4[y#GP`3x|m'+j,*j\AX!o4Q:X6XS5fCHb=ާdy0ӼTgWQdlIҰn"qOz`ZSq#{ᰌul?Wf  wcG= Y^#SƔ1MZ/moY@D7@"LP_ |m\-7E&?q='0y^G܁(Ǜ8Z?sIKL_C#L5hwVmuF<~ëcgweqzH>I(3/ o QL]d;iZ0Vg Xhl߉-7 a2 d%y LC9&(+TYFZ]_bsI:}'z"GFF_gE` z!*&8kRX5,{p0f<&8sr{hLeHXDo"2G;+\\_E ;FQS9TSQ֬F";/\,ܡΟVֳ$n>~$زQ;7*l8y;4y D!`E^w#!39H#;6TfXR pI׶C_[WyJP/M G-RpV:PŝRqF`vD,&C,耘Rȏ^\  Ȗ_~[3 {\ĢYwc q3Ϛ]jjEWwæ mz,3' ( b[nWؕAǬ˦]9! ƥo |/|tNȭQYjf.N{ӷ[(vr+dEl8Ʋ F&NҋC<[e } SFv Qr[ZihW;- ۅc[c9[OFg~{Y 3ʥv h$f$$}&a. 5U%8ݒ4nаcA4 (|!o?9:㺋nO1 c)\LC3<<(ο ʬT al"u29Nw۽lDcg}B5/6 _1b6ҠԽH$\줠J] 6. KRgbiES)0`l@78{`8 T +o+]\]CuZ]c;]eL1y}Y }ךQMQoFq.6_ɮwRik\|VRIS `.w'w Qڰ~h{ 3Y ›CC>56q}~uNsZx_ǰys0dGGqpQhWT&0, !3~רß2z~;z4#韛hGkkqRLU1.zۏ.YOl`:Wo+J ~Uh)gQ 4KvAG7Q4cx7#zU}I $[6Y"0w+ poG=qkQwbYϷ˝RKj%!o9bڛ+NϺ@ĝcd8ojl]]QF#<}T(j/\  4W<Gp3wiQ`8W)-),Oz/rij#YLw=;nN">͕f|-=,aUf8QD?'Յ*Wlǐ`ċM3jȷAJz'R7!đCg%'T_!nwi&S0{12 vpyF -; YCz3Ax@6> :l|ڗU)+ y#7O75[IrF[ j2ʽVi?6`LoUGy$8o3xgܲ3v!w<uClg\9kFL>t5h8+bݩoh'CxJ 虋ca1Ɣ Ɲ<[v:Ո<>CՋN&9#(- h3{S\ V\~A Kmޕyܑ=a24бa8A<P v]4\nȔ|ԆxvsZ*_GٲF>I R (LhdrWb~ɾ yVc>L,sNoi%~@aU-{UC~ \{u:@'!6=iʮU~ByΙOܧTW:ST|WI] _N&8ɠDi_.4DϝWgW'p< ZԆz)},d'%Lؒ.{Zv\ۧ!~)]o!4"bp(,uAZ<'dGg"\pf{i 69q)q&zdP걖c}?2jQ kD8U=++&\3]"p_O