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  Q14ll ]% HOL-Decision_Procs:threads=6elapsed=259.399cpu=1143.556gc=170.228factor=4.417zXZִF! -]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)"PN)#,*oY w_  bC-qX3ODNKjm.| %\}h<{Hy<f;\yk=Ԃq $#opŇ;6TpbcU87]*; 4zv]Qد|W&>ĶcO2Dϯ`w:| #XmU>'TdmƋKŀN)q}狯0ӆݔs"\fwo& zYƙ-2|7Ȍ"~3>!W7I1)Jc`eaրHCK}@DP]3pB(=p7+ F^"BO=y?T&IיvE2YX;^eV/Tz[M!8S: ju0 @_+B^`ϊ$%%2"+I- g/'_u>oB\7R#|)MlDW}Oۖ7ٱp4>sK]=A@fЄ~Iõy"\7 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 ,~^ex40R~)UV9u0OM#ZkՠV# Z$``sXydqXK%Gؖ}sɒ!wzK69H)8qTI_f=?$ 87Xb;](E3b& kCk@Hp^h4i  Gly kn7YaOB)eFNA?jG[W^G0 Lɽ.#- nW=^=/_XeS_?1l~:qs d|K$FYD(-> 3aó"A9Q$FDb("yJiy~rb?}xM;HӣQ0B9[ C{ԗe3%w^R"ͦ9@q4*NSz4a=GF~&~juSiώR挔NreLs<^/Ka)5i[T@8^_(Lq^y--~>}^ pLkI/;c'O :^9Suܵs ڴ,g6`\KݲiX (jFGѴ *:KXE,"AN)dLbDWDNo%n *{gx3JMjWժWKI!<ܔζ|D[C,= S a0Irȼj|\78.9tu zxp.͉ -FK{(_< hP;ATp/BlW}miyG).G!NvH~qJ=(óWضQ])r(=$.BP y=Ⱥ?[Ցz8 _< -PݿIcT@u_og'$k9(|S39^5pKèG3B3Ubf7&2^:K57StRkhSAңeHmnDh_PwyOza5kU2m:4s6/[ m]zuw&݈z${%-$ <gƮǎB[0UFsS`_AVWRޝ6^ "ȕv utѾT^`{M{j&hs\T2Z>\<ע#KL!4%Z3,/Ê\u2/ 7IAO ^1dW$طBrqa8%7Re]hX\]>}!c< sz6 ?3bH<\R.9og6>yn4zR\aUl'{gyo?""/{J%jvy l֣O h (Bη.z' eP6?ճ>4Ip*w^ t#dRQ,]NP).l-?_.HaA|\B=A7vB֗yo[hCX+zV57hhҮXv_bv*4sy#Aږ=hI'(YXJ# U} g?O_'7T2#ϱWgוYq4Pc1A LU[\|T TQ/&Bj4/$UQBa~<&N yS(3`COhc}MR&gL1K B- uUnJ L(_,?L/E']7οd&,U"j̅ qF#׏ifN[dt@jْJ{S A'*l}3HV"$\1՟EB*,wLT175wP;-5h=nirVy&./rJ!O 4%`Y:az^Ca<6r9Β릋K&¾M iA%̓hEgdG~&F.}`͂Q(^K GؤZ"~ | jb1iimd&ggV ǘ;Ӈ#CX*FS^ f戦T4ظqF"7-/۫Y%7rZK# \Kɿ9QM\7PvDk1|j[aLG}0nH(Q_EH1CPnZuC~=".<@lb_s)7W6k ?2&N3a eOd]£Ma0^ߡ1J`YC&!It.!Q¹.*csL4w$bT}}-kơ\֢ʄ㘥԰;sDZ1n=:]2 vg}~"UWBО.ڈ63> 4♬+3?]ZWM.BF%U O\P|$qԵVgS{U&O1XK_ V3>>&(F> fEpv+dXsE2Cz0x,K"_ZbIfO=(8$Mq밾$skZL 4g=\aXftBS0r u,!b g)n)TE̮0 (6{sj62dIh]ՒB`ΜlMXfrEB;F"M h+K扲U!}7LwH!݆xNfVҔiR D7Tl-@7l*7+D.k(<[JF)\7I<Qn&W%baԽaJ%;ڕ _%) YsۏFw;M}&pF7 |cNXⰞu+"''FjILiE9ҤY.8c6߾PYI6!WUYB4ƫ1Ե6"гqk>R ˆ! e`xȝʕ @Kr;t3mpo m6[%Z'FX*:}鷤M5ژEpGe3 aCZ/pACuҺ1U`\1u_TE8KXhD 0.51'bJ+JQuc6 :u};K2Ǘ xIyfI!e}\rJPѯ"F9@>j8b^CW!(QD"񟅭 be}qq^&?X-La)MLacX֠<떅ڼĸt<[.ФLrE{ڤʮ=/Ȋtp̙Bvhfk~ʞ\L0ٝv&#m:M="{dealyRpNuqtE" b~*M#T% 6SpXpcSЛFN9>xexp ¦Uպ8,g) [G' 48QAhѷT[C!,W C',@K$tV,UX^w-#+)},A?O7(';Ld꩚c BEG4¢$V OR& ]u}yK׹%LoG"2SJ|Ev,\*,v>2Fvp0;?mƆZT۞lxEEѤ_f%?_jCx{o`btguϪesJ?[ֹP2u k!MfٺdIćL9&3߇ֱW͸O杞\brF }/-_GNavM:bRu>wdҩJ5=;'O ̑WnD=U?g% ,+){5áxkGgfkCgo CLkpu=<9h*N6PXZMwI=dxВ78EZ'8 qn:VT#~1e>v W}ۛpmtOPFe!wKΘʇ,״\2 ̄)W _AY/HS5ֹ6ҒD^*fXcLJC e%8^\[ڸ&VF&mAt;+%qA͍F5j\dMtt1J1NtNyhI}Q 3rNgYZ7zXZִF! ;Xp]ŗXi%E\Ĺupyk`6s$+oThߑ7m EE0ˁfR<oIhfS NrO'cϊp!p2K``z ! ,p''2΢Wjڨh^xfGm.hKXR ^'ySlL[wmc=+'c}^` Ց_>Bvg-Pi:99VBy `<1ގ!=u&oٛхä@"Z٬q.C}Ҕ 8aae1:ZpF6х * wVч'GZ_|164z2myA+}9gm`I ,wb=?"woXed\^T]+t ͓_]7@jxMNؗD4>Cb4lٲqҬn{[Œ@w?8p}Hȕ&=D%suheW(ojA_H nj6&F۳U.S^^d_*I& A2T*N\q9*]JE3S ExOsϐ&-&LIδ@ji1X3bXY(c⭡P1NE&g_. $<0) (&s^C`HW"[?IxW[ S3N$\ ytdJSՠj \+҈Zj1[lA*DI.cX֪ ƭy ;Oɽkc@[NI ;Up#2:D㍎ Njpcfq-u|  3C,:wY;F>ibՐReT;xBDoZFE\ ]:Häd̙>K,1xYη A`e6%Dpo'&o3\*aujHz(vR.7o+/ ֗@@%nրL!n&C2`<;[I-TZ6{>UO$>Xᯀs1{ zP+YSOR{dJxRk, )7FSyClJ&q:s1by/!Ϙ2.8pnX8_;GD2|maI\<6]ğª;HwJ93R W4apMX}M2ԶN ݘtFe_45# "/>e{k x)g0:|cY|$o=M{ x53ӁVRfp '׈1.6i()](}yN@~!k _%0]^ݯ SdGwOLAC2If7(/S<-<&k"|| yN_42|eɈQkDk߿bl'Gg<h`Mt8_i1Z !D"gRWɈum dkVe\A P5/D]yl'dxM;1@0]{> mr1CTg&N+ T+Tt\Tџ r90;7B%tcXEc}u .$>4 -32ߴ.(Ẍ́)+v׎!">9kpqg`LmÃIcpLsA"CཆB90 WH6"~KP3֥i{jg;%rx)Xwt 0zgH'>/.ޒh3I,|PWy̔[C/`Pja5nrS#0EG|3kzᒨܴ%meYa6sC0)2':U&Qr˘ExdXE˝z}f#?B {|֏&!NSz:th.n^>B.!AUI)VcJ랢{2jJ$yN:@~A$^GTRCyb 2{)My!R=Rxci!g0VsX}nO BJ/~t-D )l?\jWJLX̞Lv d% j$UPSPdh':Ix<`'+~j^1J*fԶggV֢Z鲥i'>#_Z9`Hj]֗4 WsyC9ιJspґ.w :uNSI1&XϧLXגXF=RKi}Kޞ4TK嶪w8u&D'p !Yk},]v()^)O!:5-ԺUB~9Xrnߧ{v;fvk[j];+zRdV(w.t )q;og݄M jX) eМYjUT{U: jҾ [Ȍ +\oqw0oXTں,~XmR)ƧELJ76}#drsoR8||{fyoCjz|^̰`dL"҅D#w=a߿9,w/Md%:@%R6T`ӄ؅&Xt'iv'RI-&^DkKLyI=  9;xU€#+LK; DG E+lg(;k| 'w]$p]ÃSg.] R?Iw ]3G`DFkQCGo>R=gyqFv;_r*K/P!-.4bEgz9ܦ+DbF~şk0n(И| Re3s^+`w;@P'0Q~Gf9K{6s_~%0֨b#Ejv`7vbu @!SH(JakۚV"b,A#_ r'191T?K#q HRWjQ+W:M#vb]3zqOhi bolD̏q}Hq9|QZt]-aQv 7vM>#UVZ#:5q}5ɛ6PͱAZ.&w#uuJ ;'';F>Z C^<>N**j m/,Z1+yprޑ!hY4ireK<}yŽ{n LS@-X+lضg2Dd}^ +K3gה'.1fiSl)`-jR%~ x CXQ uc۴TZIGI͇fQ,D!l}u؀PG՘T M%o o&lp"uTفz9n╓`z?A ktj6Aғ'bZq3Y)ZqpiV/TC2R/?y9*_n f̰Ib[?X.VFT+ vG ąb.Is܆>y M(Ml#uiz<I^@aj6>}P`Dlجp$.Ge.'LJ88҆#kn&bdJ%$ZO)Vj-#u}w3%v<)Ι#xaBWBUzK*"9F2VRpxƲ+jS^x,F `ƒO4"Z0 A IV5JF&.}q6R̢g|aGm &ߋt R =)Y# giA])d9 JgVV J |N1T+B eVz8IdԄMghwì0#5qU'*yyLgҊ`/G6h&dCRZP>ߌ_K{,J҉ӈFQ#*aŽ^VJ*$cL+{pD6?OKl|\sm~C$hWh pV38gY wr ᕽT4 cVAqrqi m %vTشcQװoqe䃱6Љs-aH#C4Q*quQnh$M|-+P+I:xSE)Hb!TGȺ{6cL=]zZ;X_i]6qm K!#"~md .s:s#Gj6D,O8 -2&x& U({IO9=n!ƴ c\qJt); pfc[H~;mڛz|!TYlPy}%E z0VG5zb5b3(5ץ{w|`6l-6Im'O򾖨#.RyU^EJϩ;\[)m-m3lVhė3X瘚쎤r 5t]ջ +wD pn+E ; 5gt 907Qfx*"-^5}Su[-gaF(iv>evQ;alwlLMj c, fS\v _#SKx qٯr`Bbo}NVQl$ýZ"`z~<Gp.צGecZDl;em-N=,0D{y!ke`〘ƍed `~:eJ U/<0!14dܖJ*kdeB=_@ t1XnOB{`y3@fDQ~XB9 U6);p9¾*fnLg26*":Yۻz'eH?u4C@OXYDy8R 'H I,inLc$?ڹ`#%̫{ͧ6YVw.̹w'˅Po~nUf_ 8` Poֶ|Y &iV'Y2c1AtT+2Vc? 廭/]ÖA VZ+=3;tYjMfH>5ruJZl؋Tb)G/q 1}6d)Qe,3h -m✫ED|ǸFF !!>$XOy1p߉} >1T X9˕B +`ƨAm:ۛ5"cP{!#ڶϷ%;G5PvP6K(Z=KC5r{.6>J/)WNH½{@q2w[`11u1 ypwaU(#ʣw~`T,M9N` kgJ2@W\ Y7K4W^E> ZQ^9kGRC ) gQВe?|9٘yI v{h"{H'vB;rxuz*k#zHfaQȨ3Lii)@`qbP{ (LHyr*T͇z5go53nɆcGwLXk՟~nlR9t)ӎO-1NݪQѥa;9 =s_¤Q0?+ ;vTgɩY9c[_-:t$AxG7,w+I++'[4Ef-̈+nHeeq7CޠVӇ5*nEϯ8-%fCf3e-OgsH#IN.tMXqOSHt5,tUh3V 8UBN>!(B#],\+kzt jW^2i(AԮ/2T+9ϙK [x B[!pa cvf~oG_T ˽M&än*3#: ^@hSu 3mtxq&_o@T+thŽhByS/{6,8~͕JD.}O=ѷ KV&I:u>__TTR]4J |asduעŤG3lLb{׋knak Y'L04~Y|5}Qc>L|ԛpaZ$JEd9<Đh2Dik34Yq7{;DL6AB ⠲֞3'Aǩq?"iNtŴ3L.FA}]jnu@jI*=Qݥ<0O(aYJ|XϚ;%p]NU59B]km'a-%,k Eف@ &ՆD.km*]n ($.d)謒dRdfp9JT,#wOOjW|`>.r{h<%[CѠKH2fM!;~`B2q6G~E] ~(@ToU~ؠrQUYҪe9@nEZix~qzYfa{}plϸLBBO65Ch W,sGɨxPEIEiVwwo,^ igFq4{;JլzSP 8 =0@e-#ly)@H鏪0ņ"OU.7gZ5z1PKKakK,g<,tiLc8'7 %BKrgB+Th 7# zF}\+ iSW`«z YE묒A"Tz+4|Hi<_ݙj%fLX}6Cc-=P{y92kށ6dۍKZn`-#RJ9*9T =N64mHT}Rl'82p! z7(l+$ֻ@X'v40iWXVM6(\ڋDh thiU7A< r0dD͐B۟ &H;]#GvCoRڧ ]!ZZ倊w3E)k;upsx ]ƕןKiSZkbZ?I/QMyVE`ghQA|/§jfiUyޜDb$*8n,1(Vy}扛\tOCkD|/OhfJ֧˩.svOT/C7- nm|lH>%* k 'aa=+/Bh2J緭wcP2kv,ʪh}'F1%ysaYm`I`-6oɘ^Ϭ 0 nO+K--lg@a}IN͗8HAs)_@Z?^iJ*.v(""Y9X_+)*]k\?SGVV*q Ufk 1]Q 1)rk[Ѯ`f8QVKnkaeYPAjYy`˗6̞pOH3uGZeJD׀$f ay,DInT'ho< 0%{(u_9Xzo XJFqM<<ILFb <)p%>vf ^XޗJyB`*x@Lo3YjΟGj|:?c/Yc 5XABe SWt#S?dN`Q_]<,&//'ŠGMe=LB»zQӪ!O(9Or+44z0ACN:P^]•) $Xj}(iG-.rwzBǻPHO/ue$ FXT<mU;p.bKf#%9ְyq Ҙ>"ϨbAXnb矤JFp{~?3SqNlE]TRp-,+}jxlFЩ]$Z썋5]|gpjw<'iTGCWãԎ3BYr RYG飇?^65VJ']xS-R4} 0[&7;\rxjE T+ {!7QkIY:WLJתs=KyD[ C4wqa<h3m a? gН Y w9RZIFjs&u_D >ďuEM6}Axoym*9K?Q߬j-&ICbGr9NfA `ʥ.R&d%z>}SU#݇f뱒$߱]e;HEr guoĉڣ'%дY"9gb(#&F.)᣽ǣyQu%L*[g(n$4jl^| -L>s=:d8Yq_av.ԕ\!XsYY ҳ}!s Jɢ͍w\,wyI>6O a$Jͣa[8XGr`l8,kԛ -X:暧qȮxcͺ]2ʓr6+Og3!nMS_2 V}ȓwYgص m# Bҭ=EH /¼尝젨fs_$"P7bJ8!/ĊI_f$b3c-H:|=(_ۮRK˿G%RΏoT7A{RcP(?0`"93u?%FpQ|>78Ea>IhZXMԀrὁSjmkЧk<)XԞH= 0Rn__2b`R8 "ˈrwp7JC?|Z^(uk4l4ۙ9֬ɶ.;;#jQT["(ukaE+3-sD*_d( URCDg0Q`.h'z0 )oو@3Mt(?ʽQNvv.'ScfD!p:t$ p%W]Lyif)_eu9q>I*z+LoT_'Ko18XL5aՁ6J%(u7n~Z ;9]k.k.D9ۯlwO4A |'gݠR76_it]:08־rd2r4Yev!]ۍ7ɢ>CV}/n%C HHicT3 dz±*!uh&.y.Zɘt1yMr4%F2ܡ]Cz&F&y$Q2@[RB% -҆hFp }- &CEFW( v0*w>IyN 08v $/O,'鹇}'eBiӝ"– (άaΒR81%wF_ܹ7T1y2ð, `B ̥^GȚ+K U}O5Et3a:Dw\Ц3VXEM&pT-A8]qXt薆M;cG 2Îl)B n#;!@yǎLN`d˰6DUf 7P[E6aSGZ z<_7?^&dfa V7Ŗ!gڙ /+q˃YK)j2O>ۺ+S:o:q1nu5,P(,Uzs9jz74H-sD.+8Xa"D_;O(cwг}k"2oJV~vw5̈́(NGQ,D,%!HCa%Qg+Ay$q_.,˃ P%^]{T-~͒w@,4ܽ=pMer0QVp~ML@6Fe t02h@H+Xvd F %hqn6'IqG܅`)R^սvB:1zn1ٙVF;tNsxu+c)46pM* r%E@>^}kUɩ$>Die[P|ZG#SN`tt?&%,@k%7!"GAg+i6`}E'7~\A{b>@$taө3fyCM&4#G+eCĈ]6ޒRѾ;KB'^&N~ mHX(x-(@iD&^w ,gԴ a Uy\ g3*S 1#ޘ>`P~xm:)hN˂KNMlz`呌 E茩uiMMA]'|"J383.8XBf?/YsѬo.)a/8 _㳖ӉhkE*I6B191J^O8ٽw~O~d 4W]r]Mv܈ ZsScgZ{4Pcnb .WO nWdW$TA =mWjva֮;%&'%axQmY9)NU׷fÚqjaFǩ: ?֞zXz%I0}"(ڈ126]nZlKǹqbTl,J%$QKP5qg}ў ?+rt5> eޙK&]gl7< O__ϒ(E[fgiS*Ā6d'WӱG *qq!7p5I " ̼r,z+,g[g% RPDrʚFqFTdZ$L̶cOZ Aed>Ӣ ȷ[P ȅ7 Bs8t08%0ߗTc|fIj4> /--9`8NBd"T7ؕ-7)+O{5яQm펫ǒ5BoU_#[;]w}*uG{ ϯVi-ֹ*nOãlK4aPͅvD="4;](+56<;~>5>zX1鑛լ gEe ˘Mt 1ͮ])bf]دok]$^rhKNi+8 Q>"n8N?&s h)H<("[+nڬғA_}Nm80Ee)[6XԪi 0q`1.w]Axu3/Y^=Lu5#mHiazUfU^qH7}9u! 4;z[М2r9t .k{"JOk@A~\( r\2k4)!o\?e *UfW^0YF=OMxxZ;KI%wPoTBCoTRX P w\gKmCIq-nX|t)\oE[ !%I:8(5A !z:/Y}RҢCrs(&Y vBz&sd?*.SZy+\~b=G~˕ȧѐL@ Wv`gB?'-(5qqS?:nHMWMvՅobxT 'H`*?Ƙ2ҙ,H%PxlJUřlU)攔 C!EastKӬ t?b\%ADumu٠ߧT]y,`wMxܟ9ʳNx&9oID)$sMPGB;QdX9#"=V$Mo9[`O BE-s"Gװ!x 3MK$q ݋$g)UYHD}8OjkH-ez3aX[MI}R pEmV>.HV/+-Sv;8MO[5! !9zr&+|ݐOlJ/2՘6Bq2#ؕ+$&,"P$|E-k%+#§V#ކzO۾rvKd[IB`%YC>Gdͧ؃!E<$܂򢍧Z|WMV}aӮf_]aF 퉜u3hg3B8݆_:H‘νsE~M`qicE#J- i[mks`MR_j:s7^wѸN`Exyt J1E*wySKv.8dB/)X${6ot@섙gX7f\\du)!0␧@<BIۀv*)˜ ib \3Baoq 3XuEؘ5CԊ,TTO3>u%4\Z0n,9yhϦc$bB\OX< c16z%z8 TRB+Q2'HP*guKJ6ũ6[{4}z$Xlk8zk[^;FystymsM8?r>4w'Psq1DgL1;J{ JQDҕBc͌ڦUJ<2ҵA qF=^4HM PdwKH+ '.smp dTGYepEjU=O,XAv2Ƣ†mT<&L=#ΝPⅸ \()T%4}K\"1=[$lDcbrD:;#>᜕xWv/Cj@ȃŷjπ RB 55g]m5 eyV%:6 .ғ %*]yu@r9>ۉ`"e.lbaaT}uj6uo&i Ë^N3Y$nڸ_X}Uh7Ձo5 H_K!?T9Ch&Vlf&am2崵zh%Ygf8(DqPfs8r;]wZ&}Fƣ+3;981>'Js*,e%ٞVh8QSLJ|! f]"-!,x ryNKdIuIQ)E  xʵ{ ^CI|w\pqg)< v;poL_$<'O}J&ryɏ%qbjƾ^\';Ѣvޘqt`lχ~/_~x<5a{T? 3R+%0j-Mm_#ʼT"k/w!Ҙ7òC;VZQ| 0{WEꙶz7i|x)9Po. 7rP+sXKB'C;37gن˥ONs,h r