SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  {=rTdD ]S]HOL-Nonstandard_Analysis:threads=6elapsed=6.884cpu=30.948gc=1.5127zXZִF! r$]ŗXiɟH)0%oaPXQiH=^Mh[iO[}C}/VM|Ep%E~6(5ah+fߥɤ`s4 |SoSXZ]}ڌ\tQeQ>N}@j:2X*xbjU ++4~}dͧPeUn9Ȇk41gd/ӽJjUJTUBf昁A?j2mEQҕ'w~8rPX1vR fps㐛c\_M` j;ά2*\fHkMGǕ Hr&X]0-I`o[BҘ`i~]7 fEV"ز9RGKma 嵐Tqݼ3^}yr4E̢}~W$1p"wN؈ٕ$ ?Q "i#eG ̥^pYtRcPf]\j>=N([ҿ25Z}^xP{onVf"?>R.(~ȗ{gh+w$j`YcE J89# 4jp]l f>^<5?.9{I<`\3A{=cmc+x ;xu[lAAײoܰ8p8px-W*$2d4hκ?O$j2jO`t=8f"f3!;6X!́";SN#3zruᵨo@G+X]$B8!&=?X,.Ty)W1r!*-uP5Zϙ q Cc&)-м2&u)AsbS.(13A0}f¶&Xlj8ʅgT/` gԡqQaz{̳)n Cd1'{f XWg%QY`mٙڨ x/pAAvF4ȼБsRS,^47Q҃/a/vuwbKd}PY'%F7T9旺n!n,RܰDvb>QҗjrAH/\1ۑpò (mhto64?P2-#7 g[\\r;(M1$ŧ⯶jBXeim'\r ?jO?4邝F}@J䲳yhXR>cOdv.b{-P[# KJjA94wWaWercࣞhy]c1 u^xX auk6W.%K:7mphV=M*$#%c* amMu:K,\9sPV}tI45F xj[P+YGаq" Qy"m&?@* *vխl.дSUFO#R vM06{K͉ܥtRRsYGU6?{cE0=}W`=r{9{&Azay+@S'>$~eJzpuF|L㋏*Gf)߷BDg$$${Ww$s?3Tk._rB{11Ssh/,+52$Xzs HܯYf$bE&Ŧ üW8 AqVV*w(tŁӖMqh+H5 ]AY6_- k0(=bM&+KvMzDl g_ KUR#Ct2u=ft6Fϸ4;ȕ:ѕY&ZCCĽC}`.ON![ jqc'!lw=s ?=Nƈ H[$,#}ߓ6xd L&k8pEYZggHc*,mx[%*o U0#TTF I3: 2S^K_t8==ʝ>'ղx)ح)܊X[&kzY泰7|Mc>[8B5M0o!Hke]azp=h&1#m.{HGYHmz*}~Rp{Ԉ&ΒWR6Gm0{ė՝r-Bd_I7m)GXCoLjDgavxU2;Mm'_H-Vzz,#@n*8~M/ZfsWK_4Κا]7ʱB |D|YS;.U9nɁ>?k<+Mu9ApS,'o1" tXځR#7x<$8k4 oqI"99=ypT R 7shZ7r\X01 B|7f_jĄ?ܡX:HGJU0iړ&羡tL msGfuÏ;Ձ)&TY0ۗ ěl.97.w^BvAz\M±Ӧ={b:&R؝vl] ث x zT֐<8PbUD4fjtG"x1~ͻ$գng8"{S->V M6ï2 Dz6F )'-l'ߓQ0Ikܘ0BX8xN/B-JaΛgOK(%h$CC#X W?.U\ilBdu O'd!\ȟ-:Q–rJ >%Iu6M''kXOog j .={UyG+XTP" 57 Gf\H#:Ik' *OB)7hʠYI;sIp ar_+hY::*ATNي2i1/7:{C|"J>^һ%QV5خ7.`S&C4q|CFf<07I &;MIqg+WViqKX'1~L9Ͳ(Η/Ik r*W! Ju )ܱ,Ah>|i9\2:,_OPE| dFI>%*&ΩVFvONu<ǒom3CF&^;(clM%x#59/`@CKJ-m& 3LY"Ypbf: j;4!2ڛ{`]If>PLiR΁3քYϠ>Օj74Jbs_|W,wtFBv7&ӊ/C3Sy:^̩ 5rj#"tgTRwt!R5/L/|B涩7*jX^pkV}IK,4=($-Ķ|P<|#wla7Vκ86nXMNoWW[tB~J!a$F/֎kh^pm썿35gtEhO@5>w ˷պ[ )O|.|i]AG!rYUxٛW NVI.=o*ŠdH 0V5l&5I!m}=. es (zoLbWW 0BF=+eǃxT.>-$zGA=6٤ "8zy|7[>Eue`\T9Q@928 r:Қero;)%`nl $qPAK3Cn 3˜%}WEJQIKU#JeG>A}%rjx)|c9$ZL%0H̉ [rV PvRr%t\%/YP( fcdUUGjS6*>@{?Ӕ0d߰ke@ w4y`]PpG0*ߗr J/QB,~ Ϛ3+F-HσKPhoi;vUn2^C2 2tHqZ匍C\Oް= '|H MfʎQ V/-UJ=LsJ2#%`>6мQs^тxB J )2:YC=@3I5}z]$̓rtm◙o'աJ(ž(?$7/GIksnHFC$nj̸ -,)JQ*[N7:vU.^uR!u/~|7^X&Cד> B| 1$1 4pڬ+xj8c$,ǯ\"P7LH~td[ޒ'9\p'LSzl {LDŽ]JL>TIJGh#۝xN)4y,Jsg-98eOq43{ipL8 _{$2<#6`kF8bpb{0l0#UyOgg3d#t'ⷎm;\<W`,(<}%A5sYG@8@p#>wwE`x b"JP=pk=ew@$*nRa3bՕŧ0-z98(o,/ggѴҐ;E^ pNE&Nc\'a*776k | šL7 `Nh\ $)/J}E TB7" DSɉ|Bm:˰* AޤhGG k;X}KAb8_0 >tgGauڽ#2[oB++y2|0[l 1MKA#kث=v5sq8m^{1xCg}OznsxpOdՙ XF1aeOr}B{U|fdHN| qct+y(8'2\.,=4*Bq*ɤzm?#eO,׭dΓW*{ mt/@4͡Dqv(! q^v?x20ں 竫%x>7H!%B[?ؘrowh q ȓ\*]׏ ̗dtb0 \}nh׆R%kC1副Y?̗vW5 tvfhZۊW}t[OI~ SI:$*r_B찫ZY.Bp#DQi}RFϯKCYWs^5U|;qHt8y^oXB/ )u/jϊlFqNu/~},nź-2TVQ-=eDZg R9ħ݅j48/@[L5`g"--lʡ]X;R'2sF 7Fwn֞Tk ]*{TZv*s7A-+Ba "Xx&7HL~rFp$^X X[٥dVV_G k)ֈN|KV^v{rdc,yiܕ,]~V1R-|͛ľEd|"+'$[zȓ$Ф)1L8yUoH_:N~P%vzYk[]!ӹp$IW7d){*իsU"qtk*jBV{&cr41hcḆ.6q((:8P|/W Ft[A}q-X8ګGFQ`|tXwL@Gɏ1|WCjKńāߨZ$K`@` 7@j!̼2 =Ϳ G#Qr17Bj3' j\ШPKM`;a[/3JgdVFAHr/=YMp6EZ2YUM;dw(Iϝ1_>,YmϢ,{Ѽ_ PvѲ(nܭ_=z|ԐHyuv&(.d$B!:ۺÈd9xdlT{w$KΌ=qiyùWDފ.UEMZn1  oQGckK '6:pNA7Tk O WxEUg0N$\ӑ(I\4jЈT=j~i8qۿc`AYybOa+GF#ԦX4ƭ;uX372R<,gVE;j6I Iv~.'Fh1lx $4V!o黮L5DyXd Kj+M=)f W+0)pm) PA>VZP;os,q_ыB x[/sB0Z:GaM8 =Wv.!!S஻.oMzgj._2?RC-uN P0@5h^Avg*g6o[~ʞj?~.V>1=J ȤfoYnUҚ:R`;$M3~>{(C/Yk ZQƋsC.rD@UfʯC#欋T|:sO}zDVVgs(8dt\:;@)Sܺ"Du[f'3%dШrA,G$L&4᳸.KӝOTQʺ8 B*:^9UߦXDiG~EC;暌&h-!%+&=3#a;ٰk0#K?FƬl|H=o[ap*3@*7jݗ;_0=avlk;.N] ҇ =a^Aж(/`L(A`P*AZ3io`0u.c->C*U^0OW6NA8""`qQ=L"G `"ǁ6M#x#O^~K$Pe$q-_uI>ַ<> kY 7Y@H4e?ɨAlz+` &~+(q"8EFuɽw0OzC ![B KY[5Yr垨9ˇ7pq6R3\Vu[g4bPD6+4"YDgI ~(ivbKJNJn"onB9*"{qt8sp:j twĨkh XD݄4r)wfe*D7%ܤs_OT-,L`l/B#(AQ O%G%OhԒzK!=1J>+c2qfh~ll™ ӣºSsvX1,6& ]h՜ $uZj~mbvK,M0Y1v jգ9fAɃh<O|,0K(opcsSzpLoolZx8/x#$9X N#J}?G'Y= p+Wt'zMܦ'QdF尕++"9$`n~T!%w D>@JY,6& Os d8p{srtI%sk"+xE56HFxef!|T:ě2n|~I#G؆Ek{(^v [<N9'Eb#gJʍEL5ۭbj.SżP{[ oZo[Tmzm(x Ê-ΤFaїo27|6'ƫ+԰?hjWXQ4f^ĝK?jov%uX=Zjs(+?1JT X3Y?Dv%,;f,J T#ʓ݇QUy(Q+ukkakK.7T+G)pV5Xd^ˉ֯އ;(τH2n >!Et&dǎ䊄, *L{mϫGf#*QOYO1+Ɇv+9$c f_K0en hK ~ F?!<7.PF?ޮWUAb aͦV6qF4^OVu&+  !T52ns,/ԙ~0k5+>g9J2JC=S=`7yzx-C55} W:`'AR7G-ͱm35,\T,uvS($G_[,0]/-L-t1g@` xyCD_'h#S׶'IX ?V-Es*S8ۭƺS)zQG0rh> :)0']r AD8RWS'>W/Y],?@1TD-=[&A)47 - D^)m.\/r 3l~FbVރ8q pf kX.^WP_%~Iw1M>D'ҕՒ5KN.>*0\Cj㙔 di0~%CMYϭؑ+[8׳kzKMRTZlJy#"Q~=֙LUeкFx͉J!Ԙ8]L!ŋL|ܦ~_-j;]EGu^$12F+͎F'.r0;ۦHOU' Ovh㖆OҼ"KlfX{nu'+ iUퟖO'0I@-7$jB|FiBz!z`M+٫wWp#AmSRH Áol,<&\#M2 H~zHm7tW[ hU:A:N AUmpQP?,?7!'Y5xg*6ά͟2gD-M~n@M}EdaCN":\rp,6IX6'M6p}0WBx97 7*KYڳiAGV5h$w0ֵy8IۑաXm>.c )`[6R)$86mw l0.e c|&(GV5QYex |xĩ|8l%Y^f_/.8 f\=474 x'<#-$W+0-(4]封#6. L  ~Nۀ}d}A(;i<D>u@]}hN^&t8GmHXgOI(٤uK| E:6,NQ¶uyrݍD 8ihY7 jTn>b(đJc[?QճtQs-_RLq+.s:]Śx6!8qL.-e4S5vb *1 #ż0Xly=EoO-rύ -7ړ9"3M@m0J*qsړ9iLŷPB)i9֜ҀZ`~:efeU(1D/[P~28Skwl.~A] S^x{wr[ǁ퀂Zx`͠'Ͱ'\d*%`KʀZp 1CС<8kG^kCS*es=jԊ~ бxvA0nY˓WR6؄TM<&+TWcF6$igеЭmb]m [(=P$]R9h7bDۚQ*Bm{? 9?Çv񽪄c,LK0 "v |fC4Pi.qcoc.J.K_R{Sk:OjH-j=)lډYwlIq~RU怦BKf`0 gUtVQ׬G#$*W&@+wE௕b՝8mo#4ٓw`nS`UkT^,x{P'RƼc~{gb.{J@9-K}EhvRA=?Y"y-Z/Z_Fl۔?L&GGTi+Ka&X+ps\^ C ]]|*WFB Gy ӫ*J)j7S޲_Qybn5yO>`.vރ8媎}+W_R s&Ka<ЕAW`a旺rh@D9+\6۟=A]y (w$_^a -3{Bu1Jpd$C66 (dƟu:B(@ Wte]#ge,NE: N.Iu*bQD9Fq!jWW^G!'?uZ<|Mn@L[&LJĘO6X„NUQKRg?ȜYe+DǾ~y Ș'"5~HR7-a9Gs-_X5{0%a:O]vj&\Pt]tӚ/EAk9apI\o57$0V8`=l9v {hmRDk0 f_EԹi(NGׅ181\Igj)e[5/>ؽWBv%<[H+c#1}Yb©x7/Sj?!R5VHƒ34RRAH̒ BoTRUb0jKGAFEDGjQ^5jYM Я-D3ZLR=3- E00N4t# ۺҷYT.c[!,ϿHnf\ʼ3syŊ&3CDю{iXķxgitT?XoƢ.7]ӑfnf7麟?|IeI0ÚfݲA|a>ciURd7a1fNg=ESa".[]À1*[ Ux?/AR9R?a!v[-k\ xv#:M*ڭœ;G:e-vN aZmS?2hۯU,4[< kp`/fabIp=+Q? " !!aW>3hj)Nگj93d ᶺii^|ߩI7)O_O}3Йoq̼j ">D/2[\ߔqz@ Zp܆E8>Է[Z>B o"U0n,'KwҡQ(OhsZջ$p/nD]90;?as([uۉ=v Y/'ڳ;+󾁡r$nu:CO%\"%cRsG]0 1Ew Y-k_<" L?&f+^֌밻?5+PB YZˇ2m`[L9_X5,'.죍"J=Cg򒛢szMa#HIͅ#,M:W7߯WuӭwFR!#rSfD ՚W5p҄Db!U֍^wOzU /mC$SJ˂W/0xo u}+35X[)NcC}zG7{5ߚ%3, `ʴ?QvL{єgL C;6 2n 88P -DzrBJ>}[N3=TdahJIMqbBQIZ5ɾ?"7y7;puBh<\SMg(GT8A5j;}*>@&AO`rqʛ aX _-i*Pf޾ 4800i,BA*Ϗ>u۰Ysk1xYi835FgJ$6'̏̎&r~g5S0z; 5gn>/Or3 H5M=7jҁ7wHkF,l#uS S:W_~FΉ'E4 &׳n|t6ARk!BVMטwRN+Ap:[5;GEdGʳ^T%1 #/爝<>`, cyA4{SVSZp1Z `'.Y,Ewgm'ޅ+n0%E@Cy}Vw+t :&b;MiEN5eavD W@d?!d6|Cu')XU燞rP3R XVYۀ2kƺvӂ'YT7m- u*tx|dCsHgm{xP\3A긥^5X#qǖ9-vp8PhDnw\әc)WB٪"Ǚ<%p7\qseTlJ?E75,?K\z9*YDкF)7yK6Cxd_'spK%TpRgӂ|Lk+KCPBEiЭY~c&@-C@ đNʟH%H85R[7iw"|مVRD-G;4LL&|/ IPQ 8H^U_f'CfOUfЄ*+q_}L WIn%Ve5Gc( .xxΩ#:J\ %5`-C"¸|B\k(ࣾ63̘'>*Ve"p\:M2'~eɡ xݾ8CZSu咤f(Ȩ={]Hs8ۿ\v]JqVS,WOJ_ >_[DEJY5w%%8 z!'O=Jާq%=/"K)8T^]P| 2u60漁^F:NK͏ $ʪq yxfF|Ntg[ïz۹7~.fZ3۱H,) ợE*AլyΡ&Ɖ47)U7c J?*"g[A)י0eSZIQwߗ宧?zQl-Z.I+_0L ન̦N8gG2 +vWZ8~lgϑ&- JGFkM##0PEs('+h݉0تՍ&33q= q[bh,m& J@ ',J"quP-Y UI[`V"·X2,KH..D=&1Wؓ4rFȓH.<_y>vyp-c}m "\oZ;g3T5X& u[-{+x&<^*H^ =:%'G}~.Ta.$$#PH{ƑK[Ym8F}~ZъySؗ{ Q&pFOMI `ԭһWWבiq'i;B._6oj!q&ȋ̿4uT*{v~G8Qʲ3U2V}-dH\#H]eݐ.DPfe!u?#>mᢖ%єN8*h0<.#яJ CkG 6/SLe\I Zw>v@az#;/7]m/^64}#=_wKv+k3BQQEŲ8(H_k'MGt܂2 K*j*P?>U~N[3>T׭ޛ| ؛Wդ9Ψ0ȓNI2.= W]%[/er6#1ɰ!@Is:kGw#a<Dz&OY|+_`(Ds GwME@ɨQO5,@Nc{ai'S^ '/aC&,/ ,O뜋UXjش͸vCZ>V$w]aE3l#~`m 6ȡ#TnmBzhl[}7Cd! ;O =w"_O)z`.Vc+GRkInIrk dMY_'7Je0cxJ"@j|ͶU/6W*R[7ke|nwoNgX)^֌EIRN*`L-"'Mt}%GK_c"(rjYC7{Wkn'Sߝhꙃ9aCLEǹdQ}mq~Cs y˓0z=3ƒm׏)ptǑ!6V+l֣&iaqz?퇖 B2,_ O4l]1~!s¼~CӜn$L[& N[y5 3=c_\1,z.D8νƛ*󷮳wvB'yINI։[сϒ Z*4|t%S6我:"TOB&ήHj=|g2ϳ++A 5 wΡgi1"8aGbgN&.()WR[sʻNcpǵ$)wV⯤V`3:6-,BU#2XsыP.m+eQ>+sR[.D= +ygp8m{CQϊk ۍk,bܩQhln⽖eV$E! y"))_mݙ%d>$XJ$Aj/TtJ7Hivź>Bi> ]7Wej܋e ic K1o彌r6jY#[7*u%~>GCU}31yhL6\{ro`o.x1Ktur7#DC^e,iap&Ő"E%pSߘm%xQ4qQE*:sWP?4#-'gUj=Ѓd#;ǵ 2w:gx&d}~0nD.4ȹ΂ I8:sIM=m:eVZvd^?Le? ]nm*|l ә>UDTWkcW,qx~ݺYvNwUXާAxg!6g c|™N7kL,Aݣ7QhfʵM^Orr bUm"nS/*I2ofsB9XzG<s1V2Kn!f><^ H1u ҷ'+XmE!^ɉCq6k >ញG$*>ɻ4|ETku.K{B\5>T|a&^՛ҝג*) 1Qm.2sU#"DVcBM#9V`XG|V:9֛c,9+aUy<q cO8bYXu1'$2@K}!`( 3~8DFVWz_Z ݂,ri,U`Բ_zO#lzi~U^>U?bo^{quM /qۋX*}+oiov #ڃ .9M#ʖU(0-(ۤ  VF[*AwWݏŻP B &))BŲ;{by_6/Xwk_RׁF|;eE&P69xx2YM4` *saPhבeHM9QJ_>|(/ QiG6[y*?UrDG!$dfK]=]io-4AAC';fgH%ud-MMeAs_)87M&@'.1m7}aHV/_[ 6:F5EP Ѩ#H쨽L0 p~z%U xgmoeHpl«LcekAR12MjwBVzMYu 1ێӘ8";SqILJP2r?Q!1b[=uT[U*rzdI3-f;EܥnoͣO܋i)es9azVˠc :U{%/Bں)?ߡ;1B@g<%kE>yM]aa1>!HP[+5gc7rۧong7i*|&f_ 78>+r:=j&`܉gc64ߝi@vY Kp;np3 9k'r~^k NCWU`7,nlt( ySEP3ٺ寳X)l)!&i?%H%%0D4S2ߡ~Nܖ }35:vB6H0pZ!y9CiV_ -橭b@jy-SVH =6q; @QB~i e)0˺0 Wu)&C[JC'rhl>Af 0PR:(7xb"V>f3H1\tm5ʐvS o h@HfҖHfu*a`R<6o j6^+B#hrz,_:؁ν%>M ^de_NC40ߣvIƿ1?aː7Uz(m3Z,/H_theځ03cUt>\gDJ׮/A} !LKKrE.v OTfb_:h!z#ܴT|S 8^6mӭ1y qEa.P#շ&3IQ]*~3"(dz²3x_@P (!7>CfԿ iWagݑJJ uDG}ͳݜm u<UŠbJ# α./X%&蕊3:KhzءA߳kݤF^{"<88`Y)@J aGP2Kޖ>p0A w lBsI|y{ވEJ"n<Ot.2,fX[ZQf,)$)p^>HM6):dY)̥BovA(ڧ¢O(Pxi6&d@. j8=L>MZhv=:/nZ6=0 xj4SO߿ӈ*)+Zz :o: (ZcDi>/N_gkKfdP qg] gC^BJx%nZ\@ o0H|C4i{v"vrX[:ZW,RRV= H 8kQ`G9(DFƜeu|>?QR""&{GoWLWT92%V]V ]^#r^>>ocz2R8GiJ ˤ+.rF"V -&= #)UOs &#jbkkY=VO+Rظ1")e|S'dŁꄯcqq& ,`A6 qJZџqig gBL4o}}EzX#%)x+cXTrl@ʕg<i͏.dq;DQm+&=[@ x TMnqs#R|ސ.,zsx4˜8X r-uby,+{z.*D^|q{I&&&ؔCy7Pb"I.1)\t$t= AZ֜#|FRV~䏗Pruy{b;9lMfk9T)ԏMy>fnSDzFbifV~zFGajRWƂuQ`!HL7oi^ZxX;At"@.B*mo^^K >0xX@nSm{QjzEjǩ)/@~&]<"U']X%h35~|2J:筴Ҝt.l !Ctd%3>Ǯw.n[*Gو0rg'}3ACrUѶe)D5iUT? ?ah=2!p^^ZJ'Fḍvgܘ$ _E/ht-*ՙ ^ie_^d%Jf$gO-ٝBsMB}-@ k'a #/د(^I҅OZ]/Q;U.=nZ_rdG §zΚ0ړa p 8@cdQZrf=aPSV ۗZ ϊNef!W 6xc?'r3N\+L.A~BQM\ :+fuЙW+X xׅT&q2ZnI⡒ԏ4tߧΛ{Bdujl G3hOdػ>B~E]zY[[&G9Ƭ0 ^ݍ ڊ0l>ia74 l4׏x~g'&#5ZD>[o0Ay?llGOi+'IJaep۽l:G7 b _`=}n/F\L2ds& $E U [l: A"XV,3g6](HԀ~ 'oc:`Ib3iWIS0k:rXsۨ5=hԎh7!ܮ47WƑTOR-J56CEQr|#5?TI僵xaR`*Ɨt7g"snas;0v-t d ߔS95̀=eJz5ÔR`υgq@'jxO|0E ًq-_ftȌAި{8;@-nk!7 *ݔHmoY&@E+~wEkA"V[f֭/ke+аDͭMJ0)NI5>@ Aerl*}yr^n˓*hiα.ˆ8uA{J f);x+|ԙCոVâONĐV%/6v%v&^5 ]_0cN|ֳ;jZ8Ehbɓ4t CIbR[UBh OV+3~=i٨G}׋R?6_WDK-LhBOI$׮*//'S@-˷ Jj+ZJnY@Eq|pK]8z$N" ^:)*wGxf~4>.B[I 7&bgV.±ip-{D-ez+aƉ̼Dž0Xkkԧڿ H#f ̥˿'@A~ZaTeP-CҌG|,یP;T w>u>#1ユ+]cRj; gSrhfG2a/'ne1ߞI4;nkpDꖅ}kPmɝδ^+v1mR|N۟H63!rWXF2FcPޙV/ x*KZ2fI#"Mv=қ{y0C9ujN4z:w떄tkv =~ILNsZ=f^$=5vCO@WƖM _2 yhNc{_LF$hϰ縹) !MƔlx"̦eAts\p]3w[*YlQt31i < L0r>>N ki5%HE/#M4 *e=jgcn2Rp Zq4ONקR%Buc]<s/,0}w۸|̯ 9 lΓDIŭҴbXd]T}f[5]ik@ݬ &Q]p @uNΎ+5U#N~i7XAы"R-z93lq=|z^`"Gt3ԏ{AMJ>X(sqvvP6'' &,H5fGzM*"XE{:QEe9))"HЫ8ʽVss4)gQ?`-?kep:vW$hn=7pcyx]Ap]y <=BJw%q,&2KCW[`9tn\j4cP2}=[|b_Di9O6=A;  :!Yd`%Fc|t7MYIdOva]()yËRLڹ%UjJ ?Lp6a q\=ynX{C|?ܽXmv`w_賚=Kk$Y e܂; 6:y30C/cceǚZa@6SF4xp:( oe3̆ڍ༘LT L l(io6=?C*|]Al Q9x <Z?㗃^Wug~hb~'Vn" zw25=#Fw DHK3`_eܚnĶʹ! z@yoO=&:_ȍⱽRʦK  p52Vڷ^3W31V Ǥ1dTbؠd˂a{QMWB*.?Y`$[5`|Bʉ6vZFM[Y_:{vN0UNrDl>dkQ=I4cbňFbCs+LIF {eB*1xc.dջ5'$qgxKz;CV!鈝W's۳ڊWQ}0=903œ/]H'eS,y| =4!)GoOH򿊮qMA)i2$@'Ϡb7&q=B+%;sjRƍxɬo1&xDIJNw\G9n@GaP4ɃrEy>uv'b?OiddON6P rݚQxwA?Z8^obe#B p*KvQ1E)_A/+ "')#+oYy0q q2̸/gL̗PINΜz2U,W^CwFo=ˑ >\ghEWޅD}Ldض_,Zh fc?q,yfo,+`Gl䪇DEvפpn b+kA#{P"/$1vsnfЉIF$3~~ڱGVRIh K`z^zT,Wv'퉦t*.릳L@3u uY$9N;YEQ[6ٍ۳G;z) Dz}3c[Bo"Ff+$|;g|߄&oi*/P%D8AnuXHUqCk>w#\\ J]b( QCN. O]HmjX ^N"zcVBN#>)i>cDk3/gmn8ҳYig" UO, b϶jf#{݊ߊE4Rk?󪗫}j檤j['Vgr\.4A~k3T;—{I 7]ZDͭ0Tk2$) @ߺtV@mLLpi6'w?2bO$k15ty:5 IflK)T`ȕnaeJ"`T*iD;ezݥfv/⊵Ζ@KDdzG@c:%%h;zӔ"!חp묥#psO־fV:(Va&ƼxT υRYfܢ6 Kg|x /gi_~Z7 /ie'?st$`1֗DE`}5!٬8w5A nr_~7abpTHU8ěHp4DLo]q] dQrz`W~ob>$sz9' LHOE|$9yYaBpK5KRUyV]t\Sň3y+ ִ, _zq^‚J;rrd0 <# 99*6zx{އmBI 3 n*@YRIo-9*XcJa +!ި GY!:o:+|HjM+id`BuɻX/K|9WĢSPKz־ !\s7Q0"Xa)ꀏV9* lv_.ho޸D+/w#7ѧ(QDU,:Pd>ZUs8hx0}r 4l~'aCsp'-,Pˎ|~v.n!4+u dW)CYL*~|bs.ӆปv:G?H0]tͲ/!Bj)'&tKF8a~i0hP{ %!k%YI]Fe5Ff=?:&T"1;79`pY>FP֟X_@I`uϛNqL R}_AR8O4ňmx^Lhq?m?C ':="Wv p͕9 A abסkQѯF|X:љݴ,x;hO57\:RYf>i:!М),IcvEW b$zjC0$T[v9ӑHϡnG"IwD0xm/6G2c_71jkYa@XVOpNwPJEl8#w)cMEtmELhP/eYS?E w-mD<~1mMx -MǘV&3ZbVy2o^*)JaIE\t\~V#uF=aOͶH>VxXx"V>>P֫j`t%jzVڄ{/ahNz̿K+:А.S@QW8NKF#ZQF^wH嗀*D`]ǩu^~&gŞ~ߕQ(Sh:Y;cӋ'ՏO,1N4MZi8| u#JސؽYAI%=8Ԗ*Q[7;}o|itSw-%@ѮS,~EeCsp2n Y>l z:v vd>atD5̵CIfdu UM➹wӝi ?iKS4\Go%dyl:_nZ7İw6sأhC*vrBLwk`ԫEb b6oQL3qdkn"u!Т,Qq,5P9WS- ިƟXf&}U轥#˹&`TcM2wm8dI&Ut>Q0RE#Ն0*jެ`E(,V fr|أ}bD#oKdOq{߄I|R27_*n;sdENۦwx]7Ȍ_y4Ƌ^%mIYcxlCm.;qIIN*x?e[Bc<\wE;ZGʦMnf/S4(Xg*̆m"EQ]kXeT3E(cz-L"'q[d E![SXV **=O٘ELGNgRPbc,C+yk؇#boɦ.Vvck.H-Ð_,%w"Sڴ)ŽF9Km-]?-6#OyTpӽrbF̐*zk[1vEܲ^ QTUBg|M=xVH LD_[ūv<,-ՋyW΋ C K+_o4)s&d^'||`X/˄ins^)/c븣 $huMߢrpT 크Tt]I4UoB=;bk %{u%|u̱;9ڙЦROl}H}7xfj^H؊F7'7t&"W PNmg:ژ Zu-B5 ԻkԞ(PHl*_-/JkGɰEbTqfkS6p?E@W|,YpR^ wy_HeAJú/[ ޗhj} Zԝn2*)Gd\m4?S*diSoh#(CJ3ٔ(qHSOA׫W1( *$6jPn_WGURtTѾ>>3CߣEGe1gG2Nr&҆%ˣ+qLAy=Xx斠CeQ 7/{Q{ǰA~"附KF7Y1Բ\ڤVY4$F:oUhfeOCSr$i&{~okJf"A BJej5UC9CYiWMB =$lF%@$x|Z^Ve DٍhW'D JFGgf CS1k'_S(e仪+*h^f9KF2+"`s=D(¥a8:F}Ш247jYj!R9/KCu,vXDܠArsNKj2HZc9];]O"(HכtFeP #t@mtB@;"F|xW@$fڰzr5xYQg?6"Ө/Oż Kq~n|ԗc̄`Ґ=XTNaOL#)^G 7@m$ Ͱz.a=xxysRvH/$ ['ߓc&ҽQ4ΨAugɈ/qez%>B$Dur@;76l6k,!aC2IwLȓ }eI1_;vA-ctFH#ߏܞW?-Ą%\,c:&e <]@p[cXd6ؔRUi$aF|Z-{JK75_-0xwa[s"h{5Iy6h-"*vI@!{h^TRlEDzXCWĝF%`x'niv!CwV,xJZ&8r5 lf dXJU)vԳh\q)h? H݈};đ>-ZMYhQk@P:\s$a1̭}N埧ԈJZ ^B}do|IEύEl[(G .^>TA{wPu~"2!dnZYF vz<쿮J.u:L#÷%6G$6\5HR})@ ܶa$T2eep@' o 8HrIm@x8SMF6fT@VZˆz0lzZ.rUÚTXST mYLU0_wnu#Ytw N>yuZfe 0`l_ )"8Z. fbR 0fk5J'+$"@f"2gE&3ڜR)۲ ;ۢ`9VM_>TsAn0X7:` {^'Vx(*@'F 㷾$F!⤙*M<[P[+JRw} q/@HX5دknEN_*gjB&_V&Ω{@R5&٪{{Krꕇ@k9CU,`m,ۼ>0&GۈzVV4@}[K ;@{ FqjI_*mGL i"{| O;7l͸>]M#?D0*\=w\4H,U'/`e0οa%Ypux`+!GD09oKd[RZ$i v>}^ՠaZ HBx9C0꼱-SD*fuHL]CVp.8.,XSbA1’vӥ=S٪E(eIW[hxiM3Xi@53ӞT>I|I)/P Q֍8ixkarq% {`d9wMfb#R6K*y\t RC3|+ vt}M~ge}q%.OI&C Ԥn =@Ceh#DWe%|uju/SξE{Ak\=z?7$7x0_jnbwU6Vڹ5ьT)*v+@fܘ8E)4Re"֦$H8M[5?y\&EfhFz6=oY;5 /=U1S?a w_ Rz5uӸЀӞ d<׃lT3Mt JI9XnA8Pn)8d. {ĨPSx o NT8lE#6B4bȞidb˝h4*є,)}\t-Zg~ag0|$heRE:<} wP!13JjsJ7!DUa{1c6 mZ(`SrX592B9d9D{oDz}A0E_3!6%ܻ7g>BU[Pȉn&6Ll /NG5MW~ʌ^sB6]2cm*2m_M/D`SǻAxj(-̲X|"RԮ47a%+l]^sĂ}%me 4ig*%8=DZԠ ӎ0T(f1 0ׅ&yq5yNqڂ ʖR1!>stslyZx!.&`rE!b^^yv;tQD6oQ?j0f7{ W6xJ\^j@9*j1ToshX HZynZxqۢ' 5nŔ0Ise<{k4J1TZ6ꖥ]Gvt)&c]zr@o Ǥ))jnY3@1w>V䠤aߖDqShZZLs| c,;cJG'6#Li8]vIx7ӣ5 ;4( ,#6 `P&&k>Ąڪ/Wjsx7 v"]˵'psFp hr\i E9xZK._>aQS"eޫДR~qƙdo+g_e"׸Cn =~.PyYUw9 -`% 9SdjTIBqb}zg>KĦ/$ӸZqA^~9P<蕒,u`,5a3I*~ew ܛ L$E,n'C{1ŶD1 ".`? ^w wb `(d S+#(,]\?nd*-Еx?S:ăPȉTe< pcAVc6R-if@G*ٳ_"uy2!!.I#D33GFAɶv f1֊!]ggƐɅp,3 ^>GDعBdp0BS3u;qYj/4n(UqN%6+ktM@G2ze$ߣPPp'iRQVФm"vCkk84Ie&&u@sŲ -ЈQ1["80psuGmq-D:/ݞ2lNp~("4Nm00n \C )\zN{lHr+@Ul?GE+lܞYV̂!*×*_͹TWD}d/m l|m{wVu&foص^p9|!˘x3:ȆA/B5!ozuA] 4hỗ'sNNfQ.'6FBt;+!TˇZB0ж&G/z0aF>[a?yצTf:'B2ՔZ3cR*i#]֑zٱmڿ]IzSdeEGr2?Y!e`pM8>n;Jt}[ڻ \ki )(s&;o1狿`w *JIswbvP}"J^/pRw "]C99pF 8O<dyb}Ojm9|lH9^tSjol;𬧞vìY}F*j]戥WGzPϠ#tJ{?d\e(^+Β/pIA GY|>ɥG3ҙT" -.pvq9W :cghUX4g3'zrGB%i*<wӉ]eiP Falݮ#A*&n N?R&)69?C)a 'SBčSNp31pcF\B9 5"R# @-@y`YdNqIv5(OYLw #{1\N/G˝>fCOmj po~ p:mӾlv=y_b SBAykUx8 F`{#~x\ٝ'*j烃hXojP󛇏V*ay'~s(;Oi[9<[4yzzw[#Z=.^V0jƶRFgMq:_qJ=MCqf&'_- r"thYWy]>bÇuZw/ѤnR%^"8EjH/ڊ#l.Uюq˯9SCM>kK 41e؝ ?4~N-gĖY^>UD? 3 įWqEhJ}a87c=VoEm%;c'0问wmߘ@m\?UFӨ63Phu79 hۖSŲiL~L12. ?D@p !2ٌNbSx+Jx^[:r͕HEsZSI5:25n˅-bdQz, Hn+%m$4V>LT"߾x0 Hi1'JȪQ^Bl5/dټf D'Nk=9KC?rς#UG'O1vTb0CJdsfdI Ce*J(  e}95- /$"xO˻$JBJRY~Ӕ+ɺbwX[՚H/D R4nN*_Za%Nz ƃ)S?茐OuZ]GYݐ.a[,ɋYm>Fj2jaPH܀nhRs\ 0Xg0F3CdɂlM '鸱4 aT -J ĞqA)uLx/t-3 <20zOE_[_`׷xrGJGx fİ]axȄmU@]sI$4)llP(i8xz#/2QZJfA-ׇy?LxͤŃ(x;Oٟ#:Z|u񓈒D~@ehFQ]jj6_'+ ed:}27*UK" HG젾)}5Oՙ.@춪[1)o-R\]ݔ ,B!Y4V)^ը>h$=k)DXjfg'cO jq>` e"O]Qam<;Hi _%,ՐaS^f}pjш#+C %㴩Ĭ̿obCO&>0 G鋏yIqc^ Kd\5:^4EF:,X nߦ57\:wP\2؛cv kǠPP?~|?IXQۡaOjGUt֚]^hIw{Z\A@ x} "]{LÉ0l w-z[Y^2gZm9D5 5`4%llx[=8x8~dUVLdY'QF. rbe/E\"عѣ!(.itfp2{ngBY}=Le[6xɍ'[сt ,S1 *O'tmʰ=*9e91omVSUa5Nv 8{Ic%?/+VLaBVYR FNtb( }֢:_YSl% >VöJ!G;^=)ބkec-$ `Џg F$)JS g" n)]5PvRӧȮW?-2Q?b&j4il#KZ#WyO<&)LFg6okVw`FjkR ^CM/'iafv: '-7mȠV"I]VbLM)ayZe,'!Q8!s\1KjL)hT~|20i=$4]eЍEEr t]d̎g<8i +c{O/aKi6upqS7ƑK؝]+m*vmhXwoFa`d[^W@Mz*m1Z9,Rh˒O0we *ϭؑ@۱-ׅQ"Cy;n2\ ci)Kw꣐/)O;Da) cAh&[&g" D]SB4e|R:oSQI.ͨ(ѭ"+71nw ,0̒9V V4H>(pOraB;G^1zT#N v>IP~pz?f2Μ*]/uY}.͗w#M%v` .Ϸ~FbuIg њfi/>X*{z<_?j_dYzM { e yM;|Q>W`=jd!E*UR};f@-tPj5^dˋ՞3 B,n7.N \;IB/Ž[> Z1*XVF_ԍCo3D/yw䝆O{<}璕E`wS@[4t[^wanD~}CJY;Fe R 5+в,[^=S%hU9\ ̈K,vwP8MjD޹!b*q6 Tp!^(Υd*#"0sxQ\cWc? [.)硟J}HZm c|aHl;L2E,BDFYrx$obhkC>*ĆACa%g7C&G:_͵쵁8+ؠ8e`.e~K1DG1Pg ATE^\ޟRn\ztk~i3ҏIgnNi~WUBVDIyBvD,wcYmY-uLMSDfxh/8^P{Wki';[f"Ct++&\I#sylQ&]DAՐ='6`@H~G%\TAکN:,o{5'eQxŷE.):MdfwmuF+hsqst't"סx˽̧fm6GB؋tzh  ]y˽>:#PldY#2@XanWm7IF75~&b惮Xf#/G_1#nuNpcR$>EkeT;eэ!CV+CckeTKRgUZu2TO.Ly^W;շ\(fhTdADl\*سc ,՚پ( ͖qt|6XhVOq܃{տ/U`bs905L<.tH|EO]2w* ֧GN=oj̛-eEW!RPM=Vdt@K4#qpWE kv>5Ϫd8 ϽJnrnie#rS̰U$%CoZAѬ\;ix#2OjZ$ZBМoߋ,O^|S/fE<9Ȯj$={ԜݻXAz(T (;q5&&)Z%rY!h*'% ̈~(//>l&W=6DbR>'H 4 {c"mv+ 4@A6"t4˱ѯ3WFm"b*!֏ڻ"qs Hc(%ߪ.}"ﵵj DeVn' }݃ĆZfEsha~!0eoRsڬ7.L]d|qbyώ{j Q0%aW813}_ to_ugi@ `hJaD$^D ~WÙÉn(F3LyڗdMScu#n9O SV(p{~U-ǏtվӪ/[H"7Ri2[8sڵO6!#SXDAhM |ύ VZB,lz~,M?J&(#;lKUu#?4җv?N) lBgQ'e3:\܇qnm &%=[xʕH5I㒗Fx FV[of%OEBDryx u*e1q2 l#"*uXaײyP6 QxK.nFf;gt|&h IgF VֱgYZ7zXZִF! &Z]ŗXi%L#O{1Q߲h?C `[Qhͣ !~ةu# tZoKđ@iGzז:h%N-=HWMVB:KbJJS "KQJj$l|P[E'gf=`)'o?O4a*u8a~td6H/|%hJ@R3F<-hb0uH`wKZ: Hp *KzS0AeR$>}&9!qjy8[ )=J :)֍%fBHHm̨42)uxY,~쨿wa޶;I+g}AI',r{+#qcx0?!}^f3yįⲑ.RXl$|pǩ-%9b{d\24L)W7VL{H,CsE'oP+VG(4@49<,b>uP9y*GU<Ӭ2d6">"5i1\NeFqRսWX6, MQZOTUJO\3yob7B} N̸#IG/ ; "Kc\}gOyu}wZg $$<D(W hP;9s%͇Iu6V 2H4OS3[.>2(;7ϸb3W73fc7pބm쮛Ҿncׁl|n̊.#:f"Z'YAڬēU+c>FaLNN~!W@ƛ%