SQLite format 3@  .0:  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 -1tt\ ]% HOL-Decision_Procs:threads=6elapsed=225.680cpu=1076.992gc=125.436factor=4.777zXZִF! 1]ŗXf1-q恈ŕ׬[p){thyՉMx{$V;g֍SʑU1}D, ߚM@#fQKGK#-nx"&nvZXH)rgX[i/RCcJ!rV,oըEZ:PZh_) N3f* 2hn©Un!Ӄ䀋V!WCw? p%7|W ۩`>>2`Nl>TDA_?ЁQ0jGe ٦tB ,]'ru$1D^ 1 HOL-Decision_Procs l 1?= LHOL-Decision_ProcsHOL-Decision_Procs.Coopercode/cooper_procedure.ML7zXZִF! Ti)]9 ! kG GŤ٭$`_Ol5cD̳Ȧn (w1s%¶^GWQ1Z}B.Ev uW|y0l<`SuSJK~Nxǧ(4j (cr-۫ly򌙑euM UsE6.&yg@rMWXȜk2P`ey|(P.#Fᨏ T~nҖάbu^~5K틭3R ̝e2&$B@IqapF~O?(_GKlU!G-CG.*_S'5<ZH/מmp_0|Y {XZۥR>0mibN&OS>'}\% 8#+|lqo wxprg S31FrAը64wffAj.ZD$O $OXYjGHrۢbs ?DΠSvA 4D>` jtb?W$mw:kz0L] ~ Dp9Z>KF%MF`g*7hX%,99UjIWeI'l@}dQrUCϨ`_ڏ^A;ф>wW:׀Ȫ#A 0K|!zwk. $>@bBxaozDŽFb>Xogl$AoMx|'3UXVAt)>խ/&pe` Pm}DR(q޴#ԁXgqK# GWjA ?iw=YYa?o爲2j=ߍ %3D{% op!kaR@7Z;:Ӫ9LKt)'#z,Ie?<ݘ7(ģF)Ln95 i/BYüS R<]Inaڿrz qNft=9s[*d{H;tG!o)w/_K;S!B ;?^]U`Y4{n;-Ѕ۶:Y5n}cUj!L"??}#k;aGS=/V⪊NAڰބ%|eؕl+e]MYdkWڐSbjՉ-{Kmil(azs 3{v?Đ71pdƁ[phR"=皉rĘE::Q]am7%o,>1ʟ? 3*'~[zl9;E,&?Gc\X-+Wy|%.ޓni ʎLKb5Z$ SQBTUjq0ot2C*ʓ_w@Ont:YRzl'd\fL{`Cir5"q?|m (rџYP~{M7.8G2HǦtfF‘GbQUhK!T>6mX2$5i3ffK~Nj%ɧ'bBQSЄn-?d@0K@pXy Y3U9*1YF~uDV=Ny:qt:{k]+Jt;3sy; f`l@!»HYRچdfjBÍJj۶x-x;''߄;9KkJCs{<,ʀlw=ZY$ܳ%VtTkrW A[RdwRC }`F n1zb/x#͘YU.!lBoۅ6 Oḥ~o & g5?Exͻ`$`i 'ZDradL*H?@={u`/! ԬQIޟn G؆;҃}ap8ՀnP/$'ݣS)nBiJи!wQ,ailƲPVGSKrX}6#o0]JU|#՗;BkM&^Rq'+v?,BU s8[C_D 溔0li:F..&uPza+ [C0@޿NoCUr:[ xN' SDw#3a+.Kv"ܔokR|;iZVۻW)BI㚄Xʱ~8 yJrC]YOQYGϸQVԎe(\E}ԀiFk-LgJ+\@XYD^B.f IqXz{CEh|`Logisdl赮`E\!|Ĵ!oJ֝;> y=L8%TM@B7Zv+N0Yye= m=u|xRJx]ͱӏt˸iJ؈x|+LNj8gdoRE0u@7S/֟6OŁ^B]8_tup3~Գ䠇"B=Ţs.(T&#i#DJ){ŲsL(0F=J8h6(L#d&'gJ\+ŏ6_+!5@&gYQ7k~:M,1E!@g*JEkƲ=GO+&_ꬬ\ E", ]7F./Iv52@9AXl~32*UyEAuϥp\:ڷ7'Pf7פs כRe fjb%VBQjB9 8Y`6ѺG3!{m: *>RrF;Ѽ; m&of Y e'8\qWXb 5{GN㱂в, L#.b{PZy*.Ȕ,vx =%{=n^[rݖ*TjVq} NsτxSw&y5 `-^o[o`9 +m:KWC%B$ ;QlL+%s{uy$r0؉Z5ˠӭ $1Vm ܫ#WVA=[F{K=]U7wRphAn=l%T ?W*_h1JZޟ.pջQyl+p K,> |b\g #v 9ƪ,!y$f_=aNhRѰsN=ߞ21i5BaW^>JFӤcd l[ =h@D*̔>|NxNΣYlgb j"a,^eqvpPgz )ZZl5_Fq{P~)PKH]Ӑ̍So}ĪOy#f)k#[6jZ1QSC-<){Yނ!cb{ J2uՠ7rd& HQiw\`>HOXTohچ~*jRVt۞@\dzrpW뽧cm\AeDJ OV"+pqps̓~ XY@9PEFZoBLj$Z0ljvP!u4@R"ϳ.wS6OO4"!ۚaPdmcNWz{+Vl6"Z>7M E<1^AW.LDDUj(18 B R?0!I ,/Ehjj9]Tڂ$3W =R8?Y>h+ꂨ$*t|v;b C7U@ g̫*qO}P}> Ban$v^d.^{GJk@.P[:Ӱ35K8÷"69 ֋yЉ,Cx0ţ H){3䶄-rE"; GpYib6+d6߿c6ِHKgHWVIWlv"4$] Ξ5/LoB!`#qFw|9l'M]ӥ7g0`KnX"6|W({8LE92A;|xGE99L bNDAm gMl) ßi|KGQeGP>xe lNkg|?w1k ?Gϳh+]08K+sO7*E)ؠ:$Rq:%M㗰{~󞜨>BI`'Jf~Uzz&V\ty3XTt[0x]r-o({?"z̥+v,KwJou@֧n "m{[`z݆K#U7a=$xQIJęWeh}b)ouZm*g+(ퟌDl\xֻ6ǤB́ldKSqWXQܒ,I`c~1-Sj݇IB"0];8Br:w9V!g3JTre!=k &>$v' A|Xf^ Y%\Ll0(L;]^/a]h*`I@DKDKT/Ԃ$DBQMʯ z_/`[ \`,SIH^Ju-k]&芨0XhBzᬸ{o=@@C 3͢_vw "WŸkgb`gK'-vB5yB)_k >qkKJW %'$m/n>jl+uYi=!=7vm |!qM ^*'@o4qAåTR=5/zgsyb8{rf&Bj]Xdvo$()*$@=I !nql`4(mvοqy/.p@ bjU,t,UBE)כU:޹Q?@o٪B$(6zPo0r>,( BʜK ?knEK:b(qX{/3X.Turˆ6Zжvei0r_m+'q})$gt s[ѝ  4\b7>6r#>3M2AXDkˊV.#16"?,r+S9ԠL})^=-u\7O D@<fj}OD:E:O3ixGG~u[)RV%zv*0dֶ]BF 'J }Ɂ4Q0>J)]?|:sKʚ::?r5~agf̬rU)wM8>n:rgHtKҌ!hǨ%zUɝˆ ZV3ZaJ+ztPnP']Bz3oe X4ͤKg_BE!AMgG:v䃯Cl47Ȝ2MJǺ#z$//Lp,ޥ+1R-:?!#x@l(BXSO- į˛:YGK#r\'|Ĉ2)wq]qVsI`>BigmcW!U= uYQQR_:uM|Ѳ_ü5믐yr#~=h#q!]^\AOs6oVk4.ogX :-+sƸVYMkQ;ߋ&\K5!tnHB)oF$;\rdnN<fIe}9?Zc--wqϱ90'TƯ*#a p|doD6wdI῔BDtY:K` U߉iE?hW- })նUa[gxy˓!މNjɺ@ߖHnД< 9jO('^wN]\9+/kߺΓiVʠvۈN'k};˖ci&G~Dkt3C(!h&xXJQl뵋6kVrUT?ܥjIJvx&ЃSb.pl޽b:Y{!m+~L0U3%D8o0LSBVJd%ܻ[򗚤|0kC twܘ28霥q$F)z _F+.m;#"ld2S\9ދ鶺TT_b:M¡Mue"8)%J޻ۈeyŗq2` n!>ݻ9IIb@C&w6eDؿExs'p]5|n[exd҂D?*uQůb3I@wb2('CD3f2 KGwnKfpoCVb~]4iky >+ <ێ5UDtG0 mEgfGiش-thfogmIuۖx[e5nzXRAN4lwJ ;Ŷ#+h&XOt% +qT[ NfH\TU߰0;%H\E˟iSx1gYZ ezG":8NJp̈́fiDj L|:u&MW h/jXF@0iubx*A[귣\*+-/臅>#st>2r״\(r YDsyOQj|@+oWe씨%)40tY5tC1iI"ulVo?ypɬ&*̕*mb& _ņq&|g,wM`0׋VЙnzsС$RXsi/ E $_Ml|V.6SFwE&Vτ5;Zqse\P(tMYzt&?1pI4^"|`pLգ2 D"U8+pgM\hßBsOd4.v+ct(nEJ$ {F30S5)PFwJU=8!3 7S̢Ƹ}v?PhXҎ܀+9),B@,DmS%2X)]6PPJQ#}2)R+i[~[@i+߶R$1ѵ5'I|\%N,8F6k gW4Rz0ƶj{-n?@m0DhoNޥ.{Y#e΃:땼@CS LzfVm@bi'Y /h|y_nxJMۑzFx@g%WtEzkzYZ1M^Rs@6;:_)(S< Ź)Y 4=QhI'k契UP]e _u`C7,U:i T; 1<SY\zDaĤ 9(YI8yeIKq?Di8YssHȧ8Wf0Jn I;UɯZ# >DqsfUtvAiֵd| |&npT@~];QD1QƌY{{J9Q)E WkϬjы^yR'ppQ%w(yzM{ۡJp2/MK`?5kEoN3H1X`tmdwӀ=7&LV{l$%qo>5_xGoL<9> ;g4>kL7P}nZ?!NOx-{BS_f sbAsŸʹ "gBi"!*A߰l{~x77ؖ剙wqe4K8R$(IF9%4K.4bU?#E3"Z<}\.v5U3$@:{ʑ?^}_b3`ޒL ,tCLm4u|9KπA:,&R|0u6Eɜ]t{inܛQ)eg,cnf33`-Nzf%lXIr(DXs}..&%q*+3Eu= e0s"p_Bl1Q<$:ƳU#*ЫCE]HbT+4Lۉ񲩙S%!6ˡk@XNͅ{ Ӱ[ntK\$Tqq Ŧv哀^fCI-"Jτ^~_"lK0)P>hx Bed{P?컗I%dB#걗dkf_YߙL1Hn`Cg|~]#ֺi"?Ěa!|8j{5+x ]KGeSs)-d4ۈ(&3]R%]i֧/GsUV.|tns;+Z/kO+2%P*f85aoƊU$?yF>hI)݄~GcP9"UJ=p1rAwHC5Od-tZ/s]pmqG6! `F{D4k-62a| bs!D'>m. {Ewpv+;wBLm#DY>Sp6]6 R̝QtHtJg24͒Gs8Fs"u e-8m_ܓ)a]@|p!쬒$ >[e &M.iVWG 'ʇD)hj.%jgu TGjL#l)>G,n 鮁M[!ӄCަA'Zf95GY f]MYy`jt|jc.Gf-|ʙkΉa'yXchƁyʏcZ#jvdz)t"c7" })f ֪$5mϸ;t0[|;9.Yl?6Wo.\8[fKեgKS}PN@VG AisB7gHrUyArF-VC?Ed:D{ҵU3)β4m5%GO/,$jjIФX3,lvWL #{٤,/Kp,#Hsef9Aޙg[ b롧Y7&L󆉤⬼5f M;(NEbOsiS[@JN,W$}F[#شACaYXKh3?j0y(֊dty{۳8m$\pȻԈ4M,ʝ'%߿i1`Å +b7o[=iN'lTމCʛ cW7PW 6t@<~O\gLS?^g]Y<\ 9$Q%Zҷd@[u Pq7,I߶;_ dlamU N$?/hh8;X=lXzRF8f'~9 gȂ*7t 3yc_͆1G.nj;_ k_V L@"= 9ؗkKJ Vi*O$GM(Y#4˗@Db &>Y[UY텴 $m{uym]^qq^%r;,loM\ #/̍7/gXt VhG?<Oӛ4PrXJ@?!w߻h}`) -u>@4~gBg&LaYMƧN ^S"CPHH5hAK*65Cx֣۾>,< 8 lP/;QV}D+8]es> 4\^Σ JЮ ѪlęM.ᵱi_UR! =3gL :Y#7Jat$pJJ>{j399XL[KJ*R5}M2-%0Yp " Lgg(7ߩd͚]qeiJ'eRYb?D!/m gMO)'J;c,D&˝nWXg #{Vbd:r=sQ6BṪll"J#d= tafٺdHl-sXYVyxСz0z7b@J9R8ImƷgkಛcɺZK!e1$LHZqYA93'\W$dV$/?fwm\H9r[ð|5#~I镯oWgssz.Ma gXcOPʱV{S-9E>Vt[/̙eƌs}J@S:ڙ駿SxYh #ϢQ0;Abu~"6d|6FbJԥ zVTU4NxRuŀ uqҳ_甡&AKUxYg7Ȓ<`)(3>4@o.Y[7n=+MsrCrVKf1Bm6F8+\v MOƻU1LA^-"f`w@ ] Sz"8y_w+lMM3FZ|"KgYZ7zXZִF! qF']ŗXi%GQIQgw2')1&hI..V XN詶J3ݭS1݊?b(䒨>% !2ew,k$-uY@Ey^՗HcIV\'.` HBnk3# L\-n@)f<Mj=OSHş$4Q|ǔ-ŧ4ZGSHRcX"?BܝLQ0d j,gZ9MK1-&qXrϜ˫8-/P jm7jXwq슎Y$9(3^7ӎ4ԉl Rw:A3G<1'pʥ-.j *)r?Y+.?Z+^Z.d'f & ,6pwP!`ŵvxWj}=h9ш9C~PD)Ta JU7 NWA`rԎYi;[ c=xm [Bd3ٔU;A~>c\ 4z 4QǞc[=5 EKGfA/ f-s+n,yW*Oո#L%37"zO0V=n*CL /1M)ܱ;x#!b:sjY`Fϵ?m njF~5|9^Xa~BA#9=mA-a`æ8+̀4KM;ww:+:g6A0T! HG^YaD*2| мǥ8"_[!J% A0`rJUG G"WT7 ʝ=1ұ|h]W BAؘ9EЦ=(}T @T~q I s%vrFpdQQʙuE2FE{)\i`u1`OzYv'50m侮/ qFVCbZ_ ȢzwNa7Pۊ[;^p,TBb7_*z`jm]r(a@s?چr. f>W`b22yKg$I sceF=aCw`-zi!hCV,NF 6j1 El">Y fI{tP(PYs,n$7&/mQ*x5Ł䢀˱ONǮCm]WqE\`'dwA%> i&9+[ 7hk-Qv$ySt#xsfH&FȮ5%tdAAW W u}|@pU%7$i)Sfv-,$wy&-b  c+Fvcgu&}*LOV`IË O]?' pfpH@IxT Xj0V#x}N]zg",ked]:;By-*pV9ơ_i.5S"G el^ɑ(ZNϏF܄~w j$0o[z)XN#i3*?eAg^JR&y<,6l   HUu޹ >ÀCix\~ei)r3F1i,+KQ5ZFPEQ6o] ~a&/*LKi Hx+U$^who/ rw0]A`}^ +m+oW`e4cTOt]khV0Nәc An2>Ct};;Km]S"OWbUkOqBCX-5S,yHJImp{X.i? 臄pd+RnPzN{UuMMn%ܽQZʟSk {ԿA+uD_*#)t%ׯ(u GA V W0JמҁD˹fB ]>33 ?ݵVӕ:;F0rK;oB ϷP̱<_ ]{޸ÿ'/$P%M bꗓ-w9pljzDnۢ6Øj;kCU.Ϥ`ٌ v@,pk|"W!(Bś 7;x\6Rb/F>pZ|3W):[0h1@T qymBzyVLX!W`ڄt]_c25>uu*0ߠ3!mE߯sEi}82T0i*i;::<բЌ.֌P8iy5 I{yA/J8}WfTV$MSuӹ#9M [L)f__ o{!?~qqHk&~R@ٟ4Ol/kK"Fo~ KYpOuҎ4 1Ok.h4Tr >`ڟ(MOxLp6I[XzhWort'6P,v=*gѭ U/ڵܝyʥ]GF$U;XJ/ƒA/ڈMyY(j!BH`:FA'e66]~3ގpi=ZC>FLk?h;[x8#㬊Xb&W`GdY@K(2LH?{N-jx{$ʜcmlZhx\ob9iʳ*mUj]\xQUB1G0]Xv˳R5b:,;_a5m;kg% {bgBWt0}8>``G1\0 mD_yb  }񶑪&([37 KO7b5 q|Lg.&V^Gݻc= <詺Xѭ ÇWݤ=˞PpM DI$):/nDTb#GVoN-zGuI'iwa}9Ud]cGɕ/^(86AZp1̉i rtf1_pqN&;܃!\2u羯_ԭl{Q:᎒B$|=p+]Pͤ]n0 TX# ׀}N.E`]OxN עz8!lY!pav%U#) S-{h<ڒ0n0'Vĥ_ٖ\bh/We%{IqeORɔ(/:G+Bmd| q5NKI>he= B$l~6E^MW -f,3JiX7ZzO8GŔv%%F“TKJ1i!y%yʞ9HY9Xnq?N 6'swlZmo;~"V5/Rv6+m~ B<D9=#o05 f(xJ̕Cws1\M<-K$p7@:N!UQ"z|HJS9M߉eޅokTKY 23ۘ95) HuCc}F?V6˧ 0̙oI`'T57diP~]x͇_MɑD2D_T0NR z9_ I\ "MR;襋^܋LɔI1c+녽dl} ׄijӊےl8fN< +9'"r!J? `n;.%8;%R^Jg,ľ6ʜih9ZvXJJƆәJHDrT] "?VLY?Q- 98.@dY b,|UA7u w DŜs.,_!h-g.<7^VAX9c^4w` N}r[%r^ ] +5Cnb3 ZXͰHn 0}Rd}᱄/YP$A?#XBz}|Gzz ư/9gXmZ) 9RT7jRۊ5 >EڥO2!yIcuSēX}C܃7|"d3ך_)vӟ"ǫR'Y.<es;+AA} N> , x\!n<5,*oȐ4ZL4m&1gv!WL ޥ:iUH3.M<ԅ/^g#q1# HBEu)'T JbU!Fo& Š}X&%#Q?&SPtἂl5mU͵Pc~_.!'kCƅ!)P36;x2xwwh m`=*CMi`3f3Ŀ8tˉG^9+eл9>3_+v6Lۅk w=О @V(&+F9Ѡ%vաvXK!!˦/=-.xagZI;UĒAQi(9uzoz(#>0KD,I>N Hj޻\3%*[[0t(jWM:h8"5\Txg Ft*$R=23x \ Hh5X>͟I)|[rC O9ؒ4%ǢGC>DPĽ3)zp,8u\Mz1UX\B%D-g㍁p͉{CeEe3ؑ R̊go2qܦ`[jgTt/6:7JS+9zz۟0MU @8|?>'靈v=6YˌpP:</3H#LɟG7JRn^/" +(zqcrz?h֓v.hExwڗ_`#QkXbj)thHI2<=}Ŭm>`z#dy4+Bն15mYhق?ݘh.;ߢ. ;={JqM{ a" xkhFLn2Al1%pE&h WCmccOCB,JZUw}?/#Փ ?gˏcJ+R q #c?i3|sw6H ym p{i!vȻƐZYŬ]q[R -*k}>h?kfq ]f0A$ـj@BiSWqƗuW[рJ fOjZ:i>#A ^"Ŕ6H5IxP24ɜcp& TxV=tOd]+]IrrKTPpNf?VW"S| $1Ť&'Ff _IXLQy$lCYf:|slƲRZ^W geދN@i|JJFf&w;)Y_G3z3oxX WJ<{>bE2 010xy4}ܤq ݲ7Ν_-B͂-Ya5 FtTA&RGS>Д/OJ󾺧ӿj(Yiu5ˆGB5rp3]@SgiEy}Dx5dƹNx,60鎙Ԋ|AZh^7E3e \P$uÕ5Ϝah#DvǛx};F|vw6g@ޠ1`:!l00N!*x#ByDF%Mx gu*gg X|98@?Eٵ;yGõb ;.P%*K.x:3pÔW4n]R kӓ3({m!q|t #ڢ\M#d8}Z_!΁pԘvyfy5&#KXk/`|iUggbl|]QL,hf(!3; c?)yUPX̸v F'%Yu2qٯ(u)GgϞ6K(Bɩw2komZ]v%c1TACD[:-.DRW>T%WA8Qc,H]oBՎCAw2DZLj8l`[b6B2Q|'(j1W;)6&w7ۂ۱+rZ0H\& $9:2h촪;x-TX횑ܦ($!{!|2Bɪ%^Ή2fQK*HO+I^LM'5P=`&;}}sOME)Sd% 5|Ru7sQ>p̿@} 4SA/ٷ zɮxuE9lOv_&|o2'3& 1ܖƲt ~t}:PwKj@.1 ړw|r?GjV d-L{'_A-F=qD ܲY9KzE`Z+|yd|$۝wt͒ xs);(u#vq3Po=7ȝH㿆>|ጕ}\.<1!\Zbwh'&rQtx`߹꽡-ᱥLjC'e"#~2)T?k}kR8&|am-]f8:9$n8fc6O &ݜalgQvO{ҢhQc9e (y DՠWm}Icb#7 >j'ʎ}事>جY$t?=Χc9m(7uB&r:Xʍӛ:{ۺ)!t5؅xEFtsEWy5" ~h(]UA<ݷG;H8 A haS+tαWp^ n ?kmOTGbԒg(K\w}?45XД2d F`{C|BFWzXV}${?C$,Yύ3>ю2bm?L X.'{Q]<:| ^HJ\w~iz,vCR̿;i705w * E5ĻjZ&C>g-n[՘4  W&EuBlQz?!  8X1^0D#%zj\!lu9Us)Q _ d{n/҆Kz co{=Mc9c:fT XS6^LVEO\HsaJIc%?!a\-.1DbȽձhZÉ0%K+J&%UxcrqeAp,kOIa36V˩{z"m =@F"yV@T ׬&J=hhcpjw*wO v3?>[!66zFq+6I^rhG[QL4FE0ZO  !-ew hҷ4FQ!pW|qԉjV\~\sG öO[D.s9V2Al_zczHp0-w.(M9w$늗@RF뇃`{NFi$e/*EV3 P +xNL<XsHY2 Ivqh#4Riz_WƉ gEC# ghXq(Ay&`){>kJHLPw&R2U _ dOuH_j,[&6?iQ=_˝Q&h@Yrmn2(](EuÒ\@)U)ܿm6bU?f؊ .:ubAƄCc+n o1zwUDƃGBQGJ~Lz4`]lD>c d#' yeVd%d$;2(^E\q!K8;E"KYjcy7R@=bxG^5M7]_u1'4z'|L`b5(SwuV#]_sp%RiC k(cLn.26)`oe FyrW Tll3U `;^CDx[O;SJ[^_^!G;?b="=|CK541CFõzN+<2ZNl3ˆ|ݤU .ܕ ' !{T3&q욲5 #ra(Z` rI,Qi:c|1 iY؇źxk4ˬM.aPA*Ny ,/j8JIs ܇WtzBot&jvf.^;MOE+<{b"NF?dNuŃzyQ#)Ŗ|CKa`2Op"٪O{`{} E{0xN7r",wpdm뤰+N):j".(-yl#P-E..Mk'Fb)R~x_e$rH=<舢,qw~KvٟvV i5'o1:!Vp.~k=y<%SJcQdP:g+ >d}EI?a&{-k&R2˅hN'@ٝZ :1jr/^7a7 ʷ>ў{^NFO ߸"kTcDZC?/ Mu)4\ 8luC#_ M0o9n?zs!bVsaO~F-;?Pr1|2gt0`cv鎇d$69*P,CO?#W RoykgZ]ې.$PU.v #Ť((mH ɢ: "-ݒBa \~ӅFOPedc)ӐmCᖸ`dcJN?y\/#-fʳ wL/IHdYt9JÅ?P~9_j5Α2-n#C@r! ~"UOT⚲ATfr0E.]gT٨ņ^ZGTwʞه8D #Efk oD+˜/J8:qL "2< ikf%Corf2=9h0qzEHӼQ`DnBy40`g48AGikKtý bC '4Y Dyߠ_Y(M3b 7`RvCA b)5n+'<8Hɐtl^%tl 7I+1[*b!JDD]ahJؔV|D4Қk?R#%q[ Xhπ+/Pa+pbMHb‡'Fci4C#x ?@q#+UK5Z-L bI/31cA͟p}UፂTZYxz"}3^BI(<*h=1S}0#T1 |OڶL8-ql Z je w?Smfmc0s~Y]ZiASFI@b)v?yVr6Y̠ IqyR Cτ`X~͹;!Mr|-#Ma*0]B@.1ߨy/[ǘ[;[O& JU$C4V& /mѪ_uBvb?J0ʩ1ָnkc]{ -mTV _GuDGVB5wCol+A,n>61yk24o:Tx| :q/9ʄ-54kEܯ%0jKuTN ȉNU;T1s?BgևDIArc1A[Rr \M"Rq1_">Į^>i.h70 sYhp`%g) rj a fCl٫ n z~YDvLOImn:szN&;SZ]^N_,+?xsjmEu12Cey4bv$0wܞbhq*L#sY  459.&2yJ%JlV& _'`Z)SF謌|Uo'/g ұ,#2fAHhcTUqׁi ۓ됒ePCPN^3M#@K9 )䷂`Lo`e+r#jD{SJnt* ϩz~K&̀1u<ꝙm=l k/L&梄(A3C -iT[AmA0Wv{"zLmd;v ˈIOۡ\z%?w^&ISo52P#ځ" ry"a i숣BvooU@XbdwbSп^ o ߖnåFZ{@mf6Fþr~8l؀jL_ >MbCo\M8ܹE`C3 =>T<`f4\T p6CKZ F{˯)NIKJ׭yUE 25yAR8} LSwy~o[:)>L*K4ʏ5\塕N9#cpk7ۤhBE|3`!")ڳJ=14O ,DJ12rT+#Vy= i3͖$Ϝ?i)`k" kli!">j]^81iaxoq^IW 2st .lx6YhNtk`qWbCr%͹^=g(ٿ5ۡ&)ۊpBcCOn~xitK[RϝVc[k3K6O0{ (J,6FYMq˚Lj l:hD/ڐڋ&,uN[t$ KܫZj̛yIFUw |b[ y6qw O| (Lefð%&!@TM@r4nHhޣwߕu8,7j RqiJ(}[W@y"9^wsF`8ʓ<~x*te43N^]ɌfQlS7s!" mp+029rW FM!xXjF3C V#QZms @^<^,0G%û{ܳ{ۇHW2*ŖƄA/Hj?HN8Dء+耡0yl(z~t.> :0?6ڿ9mYELs}$QE6bTiF}f{ai=Zƴ$/kwRȼқRcJ #."L{ :o-i.j1,Ø00@a&DŽIq GPQYtF=M6/Aa.>y*B;A%t?|a$-iܴľ\c9D&^'#M&$Lʛ1$=每ĉi9/t}+WG=A:Fc)"\a`a hlcGigV^Udx7TcT9BUIQ f'5-SfpkS Bpl&$T^EOE 1.j%Ŏnb}Wjt1L.ƳGXWÇBl9χ\BI 7Iי 6ʂ|OQT_r+cmbwE c>wL/Z"{mrei^oő'bdn:p8[hH:!RL``LH.1'Iaꮟzhl\8ŷ 'Iq]OzaBi У#;_iَh j௘dӚlu?>ay&A-ϙ auh aUP9*tV ~ȜLY}1jӘGotûn<$!GXeǕ_FJ\Q1+[$vMHpH^drK0Nv"zm#6& WD8Nȱ˫6*5t`srWc]o_?w1SǵIn&vlGg(:;1'2?**+?;VZ.D,wlq[6_ddPo( mfDukjdBZ͑tʑ*C10$(X^nf3}U8P1Tܲׄ雑Ka{Ҷ-@U9.c Tj52f]5 Wsm86?=lڎ]!T!1ֻ>"D6;4zt7 ,t 6|}ڞ`Hm;jplÄl`%P1-?22ɟI)Q满'^˹M<0D&9ZQɔQ>(^Faʗ*7LjĨ-|,W܁= VS̬Drd-/*? bPD_ 𕬐U`DtُJtq\g_ҥFkWذm%7j5nɄ,Mo9{)RDO0re1mDr |Cf[a ԸndJ?Tz5?VxZ(sӃ+Mj D1:aNr&|&g5,{l2)SLӐBC[v5<0QF=c\j2i &io;K<*5 9T+Y;kY83o8%k0 C`tZSP}ey N..UJGw^Ã3> wk(tdãẑ]%CJKyb;Y=D@Z!WE ɾdX!uPNCu+a' ϼSi3WY_*IIlKs-"t6_!9pT6p/+#+})H AD)i "bەx$*ua7f ic;fOte