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  k ku1dT ]% HOL-Decision_Procs:threads=6elapsed=228.158cpu=1075.344gc=118.428factor=4.717zXZִF! G]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓XFSo }1­g=ؠMqI rkXs|+wIz[0` -]Y)NӈAgSS5hdy,~34m]b#s\a8Fqnf3u!R@pfZO}DFBw/c"Hlí4` w3;ދPuv((`WZZ.a(a$ cm hkFXR rVu@Ae ݜ4F~/8 9 ׳f^KtG9*d!PNOYYZhzxj#I(8ٳԱ=30< 'nSEu)p$;}&5&BxHϸ,<G@V_ ۵Ldy &r\H8PJrkwj%:m$̨Hü\|(z(yd\ `wEO9T% | >۷|uڻ20d3VdEІ>é"5h"v5rVJ-=7heQI5YaS-f`-o\ z?~LfsU13FFpd 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 k %%ܪ+smB'ETg3r=<4>Һ8>Ao=鴽djCB󯗴#hhxe K-ONDB5s(+\Ӽ3-E2JT8f{ԸH\cͶݛ6p/ t] ADne[Y.q} ȥ0CrZ92>g`1qdPϨ?;4y!z{>麐į^kN%Xcy[mRy> nc(̊GG}wՄrZ*T^%uS(1jD\G_fBoO@!A7d\΅Ws50mf`6ӆ󊖳8"[~ 3se6Ϳ[ $|JӌGZ1 >_y2梵ZbLA5t8iQ}QXVy>w#2IIto` `Ykއr r3J'/=y" L߀R'CՓ,ÝI1:cѩYe.ȑ5̩qXrnq rsX"'DԊ G³L ciG,OwF p{٪ I/ ]D27&^h6ɵ7AzY3' N }MZvӸL0gBCwA5L 7o[`u;slWiZ@н_ q i9 !4 ?wV.-=j(T,Jj\n$0;_N 3P`hc7fO#y#=r (=Q$`7t#u릡)v*jfkcJLMa hDYo5>h+2u2/fZJLG*(b&rZd!|]t=m%GF橷Y ~$xĔ!ُ10;Ȁ{[^ꌭն#Ă4oXq"A/HIW t`.bÅLɆ ߇hD\ 8iA"ߡIUK-<8obo XOi j=8/|ӻPu"vfB֫% S86+4+I?RsWs@5Op vuю_)~qERTU^–Gx^ xM3qnkb$`}Z"\x$Îyu#fUg_G3r~9O:Wc1$F7 N7B,[Av<9:Ebj`]2N6iukJ^Jh# v{9c_^t#7倨A!C񥟗 ERǫPXI#+55MM_UݰS ?xELߕND0g+XO􆵬a 8>q@-8is7 ıЮmM+S$soH$O^U !uCo~~hb<^ҖSFkj =Xrqɂ~ph̊ca1{ VEhu7 ߜȼM3ٛvSlONaPag [=0aW#|Ʋ~`ӂe(AmkF񋤢'.#F/f`Ȟ6yG՗A-KރPuL( m%ojD`Af|b\bz*w݌Y[DR- ĹyL|pLD (9Vciyh|Q?Q_ ;iALP3QUDYgɭX/hLX~Gv~?텤k\N24ވ{ZZ~뼁aFG{Ѩ ۪!zEg`pfSpgML?O܊S|;7'zsaUB]k6 ZsO+JFVv"%p߿1s;YYBa&;gIh򎔎GBַE+ a@w\-6ݽ,BıO"K.$)KNI{D*{ e6ISS~.3i0 gYZ7zXZִF! [+]ŗXiɟ17L? KxlWP8SաM~>fٺd6Oj٦2(i:% &T3Z;_pS!SC_C9jXw 7"g%WO mFaz֗S=W O% ;lU.RwƿEXb52A 3aSus>s|LC.)[#$"=[T|e!A@eOT;1R~i6W+"r_VzNZVsyޮJĶeWHy{i_@ܰ ᭕N9Uӆ#P3NeT/J"&ꏴ#BG kl5饣⼯$ 2d-98ddaVYn@8qOkr4Љ BƴDm0}NZ6&K! .yicɳߚtbkvҙvJ,\QamzpB2pJ0/mie?"Jʰ`{gdA߆ }uԮ:w$\gYZ7zXZִF! 䁃I]ŗXi%IP5/ٺ逛@Pei{95F~4zSut?(NBOiQk)k\Y>p @%|VL"Un\jĐ߽oxTb9յ3Q??zhAN/#6C"a@:m,b.7"L@l7\)gs!20=kpeVPW%]@O2A!-ʗyح44;(鶋F7o*g(?X6śݏ-U7x.)].Y"9am&pCGQ6P77[`֮ hM0Km= 1/8~C r(d1.rHc,}Ut~f{]C;ͽ# d ~b6Gx=7L*Y4٘D u> 4 ɉ9nh5-d9an`%oڶlQv#C^-˭qܣdaP$swb aVVM_; ,1ZIiD;_Dfcg^*?n昍.k'z k?}d5J=&ު;T=W?T}CeZ0nY<蚪~4VE{R.Y>>&!Vk:*f =Ui5ɼiy2J0/}v$;̰8I]@TeE˥f'@Y,T¼I >rJ"(zx\WFTcC*MPDBn)0L!](GIK|֘]\_KW @ RGdV(^"ʃ:k/zUWxJ=QצӗZͿSc&]"IsZ./hQ姿; uT,`d9u%%WϨLR7n=KP'Iyfkl-^^h-9b5CS@Ģ2SP g(ըݻP#8 ^-f ࡖ(Nh'vwm)==<Ay%#BO+=V<=NJ'~r!\eڌ֮vη+\Oգ|<ȅv)S~5g1ZHD߸a Ũ[s-iIڏ$0u;ڷ`=77wnI[׽ N<纭]Nص)TO!ߺ.6`iOe$x9rofLYu (O etA*DNjXAnWUgwHr;-N&..0զR 92i] cdqҋZcqNj8,k]CsmgEχKopI^a%h^y8s8=)\m: HMy^\> ='^sf;va]omPvQS~$rX; E G*͌$R YJ3'$#. ,iM/`RZH'ƦY CLZ %J]`ShILuR@3/<q6 cm֥Ib3+I2YD4&&e|.]T^VKײqX׽>. hL LbS j$a\i2AA#E &)>#ͱġSpeg0*e ڷki ~,/\BLb$r&޸}_\MqFJu-&q@@k> _8' em D\",@-4M}7dyLa>_bV=𥌾["VN*3V:5 ss qwsP7ewp!u\Wu2`9]U) 7am;MD ! 4W %zĚTrrV0Gx]+z\`E݅i3:= ]*.~Flȯb W/ti/Hl N1IV|/a[O>?Mx@xL T}D^|x:=`HN 5vЕL&KaP~*>ч @nGž H6!i9KlOPS U!qeݳ5AmJZ P﷝hՈZ5js<fb|K֔OU~XA԰ӏG!,;uG/8W.l><Ԉ65gm ]PE]2]ꄢc{=l +D &d]_d w*SרA TM| nri|\Phn8gПz2AO p$~:L;I]=x@Cf?=De;Ɩ8glC)1 Ed}7_B~!ZmEO KoN26ƸW:jTAwP㥺H趬D}@LxCH؋me,#'7!`GbT-'rify(?YF0#6I9}@B1(z%Na!P`@Za%[AByVDz]~_8xܷVՂԕ[؉pΈÌv#c_Jix%iw)x;*@R`~+ۤD$ XxYWR [Pl8IZo|'wxo!Nw* i3kƌW0bZ=>_U $fyoSw5UjiPԍ)0S+llyI9 "C/aX>hr< _LI`ϯS\IJI㟚|Z !:ee,'wyH]#嘷u/5K7+u2Sefr1_|]zzw5FI1?`X]\ uG͔Pz<Δ=oqBxl{Q4׫Rm TDv{ZqAH$CLAl}{h#T=N7_6dj[T(Tf!(~)h[6$]m26%2'fb0Bˋ89YK:vHoqM)ևXwy!5a9B`A Bw$Ŧ^R,=a73&>JeR\*ZtzL7Ii]$Mruս[$8]1{ ١O16oA}YDz{ .5>RP%xs$π @tSD&b2XAvxffBV| dHN@PS<_| 95]NQ90lSkT[a|-#)9b'g DŽ*683 +A 76Xlt=QrhN)=Kp󟟭T7|F--G`D1ř99(b]Nխ>ZD_'=7Ef+bxFpcRzc__5*"dJc~!̎r=kLɕwX*uzt<\n{\I:/_k}|W+WrﯟX ֛ʯRٖ?[1FԬ֨Wa!G-ONe}kVH0x/d 6s6@9_qGYw7L7I?1d/-m XsDJ'Ny~k?q~9*( 燻J;QnQ,_roScޭW3mY+A#& hƥz }D`Y'T8"GNbT+,pN^_#Ǩ,YmazT˹z 2|\AGT*/?sYty)`u}ѽ@;#at›!5z+k4, wp̬ueiH1Ͼ!߰?Ʒ ϥi=yGOAY.2+øZ!uÈzدt]F5<@)nH# l?NA|Q#{ WɍW *ЛdH3X<"CTw2ъ%ͫEעLk Ep d5y(ZR$+Nӗp5[YRU*!rb+58{/aH2Q'V gQ~&({F"*sL~Q.犀I}əc iZ4sor`y ?,pXTȮLsORL'Y$6 e2GʏG.<`xk$9g=?%dq*f{(\ :loK|TK&H`*];PRGe  ƛ`s%\ C._V=N 9kqN/<@`?DҗD\kyCrSOR}A:UjjvRwJd=0:#h6z7=m {KِFXzupSf= +ۧ3RPzoLk2✋'CrmTV'D&Ť !7ǽgz'>$z͹0GSxķE} uH4/de[|2uoEӁ72 ='>I Ge3upn_ǗR8g,5 ,K>D1fLlq=;#X㵩{!Ҽb9T D-tPdmI5,&F)(Zimhc@f%^ (goZ5z2ʹ]KH-)͗_Ub[T%-W˸5\u3$DMedӇ;@W|/~N_`Y'5J12^Q@M+AXiRVXO;e5z7ñì|m^*_ eGUӇϣ|3q3/by$YfHcbm> \?o4 X|XGoV=S][SjKSf`@ ŷG(vͶvKume㔱ښܒ/b3nvU&Y,A^3KIGR]RRIĒ12VWP@ŨS ӣ?FݘV'WaNI%M9_s{^E5s 孠f[ٺ.}s ƬGճچM=r5  P9pΔB4xJԤGRfͺnmHO:ouWl*RݼwX~eq,Cp;d_txXUpHOKyҟxidٜvU7R-mLw =swT`_*v#P6k?=FQ `#&ICI A_:G3)'(F#YuyS/ZA)\L1de#}UUaA1 )XdlƘvRu,ўS.9N{zC!ν3?q8v8gUUeNх#)vPe~V&ʿC uT??OS>~@|8rɻAiMg蟷N'CWIN5)w`kX_97M[N4mh7yr%-sj<*#v}څU 95}j[=!rNd^TN*loC8]fM ^|GW*Kawz~9Iׯf~cķj? du^7g@_fF <)ŬAea׌ŴL;JT$,ՊZ19?TW$gE# x]u's[ NgK`iG'z\aS;) *uH:Uܰaܲ/*f S7K /Tw`X8{O#YR5Ԟ2b?I66 7oadweex?J2'Oʄ/\yAƐo񖡕sǏOɃ&#ڶΨdz^qFw2C2)#:(e4:!wW)۞ekD֏´+e^Qͣo(AE%XWǧz%t"EM2nk1T+{氛'N-K]sc{pmeb#g٭e$o+ԎӾ+EcfdIh5rA{+Mɣ;HuGC{ D(CBBR``l\iaZh.8џ(MF<Ke qa;wpϕʶYtfY˟XZmi^ _Ɖ# <pn ꐇW_ `q~ 07_s=Ȑ2\kOæķS#sXV\J 2ioCQ$pVsWsk+- yoy!ǘZlPno0O C9[UmTiCi).8Ia|! Q_rT[njd FRؙiBd|kg _hQ#'epL7 -+WvXSHj=ݬ,BAH zKǗhråu)(MGǫ(cf ,NEܤI ^H*q=Zl8YӏA_袠`9 ٲ"6\6jF!<4^mBB jK$B}mp eM%ztG.u1ϰt>㽚Gch6He C(F Y/䁜/'iuQCaj5_;ꋳoގwW7)H #$0 K?LPI ^:E0"5L6S\2[)wjDžs8̍m8iү{pAz"Y NLͯzjc8AIK էqt/28&WFp6U{ ůoh%r-HWX_a{h/}O1#L. {lڶCN8CJ2uBZrrchio4|qEBmu0fqzCcsWW [$و2~m,1jWU>d9 Q~m^ƏccZ `ZBm8è7͙@Gi/z[q=) ܜD8iOU17] |s#ϖ7?S$bB]iqXd؎=[ǽɎqHeXDRhC^m9 ! VdK\X(r=ȐJ\BډTMgzq7]^d(|>L@&ce?L@-ԦLSTM`5v5leZgyWgE-5.}Fj[ٔ; `RC!:!Nu 1Bod@a‹`~CulAiO%Ś 0At[><]rXC[vY{ [λo[XW/󅏗 8U}̺-^A׈Ŏ+05VϵծK-:5Y~pMܒpx'vP07OW=ԗZ*Vb4=/GZuVq$2'ZM0c Ӥx?_:$ Z/ riUCcD\ljɚz5z :77 By,0n-F/"-(l{ WLp.o)c$5<|R*L-\_yN`yxl\ͩbCPR-\^;>'sOO,G <,M#'<̩WEn k0˩0) 8D_dI }uD[#|P"ǗR^A(O7JCQX4 tO !"% athyBHEt#t&޴Z^.{X~Gf(ҫ.mUȿI Wa2:¸V[Y Cvv(@`q-t: 7T#Zm|P^=؄n*;;wVY!s?G a(?a4r AuIEa#(!>KS]f_|l8xPX!̃ÒLØ!t.YY qX$'WĉI-~V]p'~Yex8%6@QD ׯl6cJe 0xb  7O['P֪g/1DˋզH)~ᾳ \qb;ɋ)*Tv*uYow\ HitKFWE7 ލ`w 'QL4iɛ=+kmڭ7?uidFq$yT 0 jylc-+:OvE>@|뺜PD_mkGN[buВPT0x JG2R/Ȑ!N`MtC>b; - 1Z ya:txxp" <`q({(ϕAO(Ŷ`gUJz3Q}O9&MZbgǶᙵVTE` cM2O8ěy^夑 q,FJtWڳ6TǾP$N'˹4J/j4Ep̓SߚeEAuUgza^,mAp$du!TT 6;㮗z@4ɩ vl) b$edӨPgʑ4Ƣ\1@O {rXZܫX ҧјZBCH:-d)A>^{3W|u >/7ǨusyWșk9ŕl"#1ap?6۞gPnkx&@?))j[ʳ!rHi8(a^F*m;X#9urI/_?;Cv[piTG zt\&Srg-l/3*-`24Z_}&[:E#Àȅ"'y%%;ԉܻN#;2yo鰒ݣ :cٯҏ:9|<)evCj7׈WD+#lAjS0fFv1;B&'¹Ɏm6++9 4RtZ2ABNOkh tOB=.4z vZ,cղ>#SqR-E32 K"Ņ:$Di f;7D;jƠj6*sM pG ݣU#~ȑĞMoo!T{P /1 BJIFS< `WJb@8 r}[sĖWgLDDnӅ WcuͦM&n@}oߝt\w/ 8@>.+V0+b%_ܼr="գ.cROXQ@X&MY.Ot @T:2˱۞&n0kO+*NF4f 禮C,mGg"Hu[L]qAWG}h2'z:`Y cF?Dr+6<ضc LSD&F`vzٞm/}&bz]VNF  RƏxp,4R]. xk,,B8=ՀdаERBw7Aր-w &1u1}y!A0S~YM5;HSuLbۂ.Oo=BĩӚ5Q5ީG+ v n IXe9$ؚ`C)@? y uhNE6cU*9&}uZa{b`qw,|6`>*LJ1* pYQQKIf&a#aT+Ž25™h 6kp ۰=tqڐu .C1@<ݶW uj %Mwl;>i ݔ@!r,;Pqza$}xaׁ}.日ұj/{!.2l"]%mقM~6Ǹ7;M[[kq?G9SrLv΄v VC;dԻVl+~#DphN$82yx2yK~]8Ѽ,/l$nCY0!=䇟&55RyCbl[FBLmw`M.R"2aq Oxm<!W ŖXƌZȯPx-̦fhL)|g1M ͂iؠَցxg߉]90mVn25SAnHٚi&f:9 G.tidHʼnH 2lut [Rp%ۏ.9X2I/6{wHom!-$EǝCpQIa]Kn*ŴID wfny\hA6|>M}(d U'9qy(!2u o|. K?2[O<< J{]4kMuR2H|i24)Z|8>-uE9{NFt4P.x èyvXg18GcxcݞPtC.PhOGiw(J,P $AD ]H[Q=}i.P0w3ڔ&naim4AjoYـݞ?ؠGk7%8 mը=ҳk4dxw< &taʭ?=F ն`[= F *$ /2uIk'\o)ItwLz; 1nC8#:`P5_ xB g^B2I-j3Nn %Zz~[k