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 KK1\dL ]% HOL-Decision_Procs:threads=6elapsed=272.946cpu=1170.352gc=188.852factor=4.297zXZִF! *(]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓т/|Td`, v[+p0ctAusx:+3TmRj:R FS*<3ޔct,JVc2(+jFG~iUmDA:=>3Dո 3IJt]!9h!kdHR:hϹM(V@RGsGJtk:lL"*]ȿ}枟e~s|pʯEaa8D}k5RFo.#- 1^90Yb&!%~ '_`Wm7 z H׃CGnjބSs &Uܳ qg2x 2z+ Ijd>ok}g\ࣛ WzZEȽ595m+QsK;yQITˍ %+֝Zfȹ`3+ Zd曲.ʹ.ˇpВ~e݂:a̠ I?־;RfG6Xb_a|c^A6!~ZXQkg}s ~3k{{廐zlڄFiD"N:F=>깽5Gڶ 柷iJ+8.ktjn(BFx'$vh(apo?he(+AY[:@KtAmG2|.kkކO3nX~m ȁD= J{{RITxNR -_#nScՈEH~ܞOrkS)"ncj$z)#rd5wp(P(j<8XZ׊DD:SV77P^2aݶ߸E3oO8ȻGJjT/l~b;2&p;l'ubavLx8UכZ;FW(1Ek ?gk҇n3ʎU`zς JJ bM&UXlRVF$^vn?l0r{Bmg0mibN&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 ꬻEC6V-&!cg&m"T{rK6K?oFuf&Unp ϧR0iWWEġM%ո3չlzUkyY_Dee)c>_Y x[Ge"EYLl5r"#RU'jmxHnB:d 7cYgyPc:Y1'c{ ]g-rDR3œ-jηɏ$,\zO,B^!Ӻ8SFCA0 $6Rha҆K'NpR:/d$C_S_Uc̳֋3  V,W8z*疫@8^ si .=V`iൟ,JfWsrc v*CU6B ̓X3(pEaC[֓aPK 1W9wxKԶ[Dyis/d">Zm(уo?tȱpNqI@JzE ;d3M]s"G^Ȯ_<:Qn@0 JrL)8IwZRoe1cX)sB+} V!% NE G:ˮDe먝&P4u c:E*42;GWK)FG2d< ĐS-O} Km,E\`&RM6_(!ֱ+J!Ei@(5W7v3Kx6UWZm?V4iԱ>O1Gω~()(l]d3I}kj&]BifT*8ςeoM+5}[HlsU{єX>7VDm+7vcYoF \nmІQRݕg8q.bajZLmɖ vgSzr\ym=\%+i@D^{U+?pgRV&]NS3^lbc-S򋜒_f{;"eCߩgI3aU<`ٓWxot:)>4f,GFhM6oD ,8&Kz4?xr$"J=l}9\&\E]Dr8J;fEI:ch6&I]i-Sb#"ؘ`XkHLlOYmS9C~MeW努\GVXӃTVYu 5#pZkCUW0Kq/ zcA~wW2@Е6^2~N^.` n۵=2:aUyW2_SS}Չ8ibB bV [erQ0N_iwm !ի)@5Kڳu> MQIt{u0ht #1[2Ω[ũ(׺7%͎^}Uwk! MX>* rx=c`i4oEp+޴ƍgN]-U%yLv ኆV򱅊eѰRI\+8 )mM0*w,J{BU+JntVSOc+9(3@A sXWTe-Hmy#['+LyV_>꒫i/iI^8?n/K208.׮ZT'l0U MaVѠ^ ÊkJu~'i:_?4_{meV|h/zP>CsOUwD:7l7l$<;nŌHeZ;m5]iOt$e)ytEb @fO#W9+X1)"_7{T$K:|{b![sEC/MtAU\cŃp~62"TeZEƝW({ѹYx?P̔"²KcH.53@J j&O Xk%J~/^T&{7^7 JHu#~Nx$iƲ́~3*~G@p"^ r/G@!tחX"qj LqM[9ݝPw3QGrbb8\h+ 2?"yu#3N7Qd|:;G]wOH1&N(ٖaO\ޫ㒈-TfB@[y'˱2p>᨟@ " ʬS*d^تT15' 7 `q}!hsFp m(,PDwj3?'A!yci'dfh4T;QE_ьrtRNE / #z5  ) BVK)58l~+f7}VX|ҶU͍@Ϥjc֤u!} Ct jlXZI%qS- DZ( v"vs6)NaF䃋WïÁ2. 7Xˢ1NnE6(;]Qïǃzb+5qg!D`|^!I1G<nXXumy.^:uJb%cƅSHs/ [Y>t:22ʡNAL׸fFO.z?b'iR $q2agYZ7zXZִF! \,]ŗXiɟ17L? KxlWP8SաM~>fٺdIćOut>s KKWR"w乮/`7#ĔMqP`>6dDѭNB2HvVmeg#ċ1 &2 v\~u<2#L[3}#21?.Z5QQ؋6y$z5Xk@&#Uiܜ9د6iE+i O b$\ރ+<- iX=!OF&ۑ߯1$Yѓc_)C4 e0xDKS||*# E,\}]2 Yg/Q&TFJ)&\-],p IiDZe mViJlT:Po*ͰiJδYհA‚1bv yv3(񲤿a%1+g'$(Yc{)uÆEK-. {P`}rx͏;gYZ7zXZִF! Z ]ŗXi%GLI:!IdӽKEu֜?O# ps5H0mۀ!}zarUL|RK=Am$בֿmx4{H BIuKyw lUZU.Q*bLs\eC``87|sJq34$ʯpYu=6E,2%Y',0Ij4:ᦲ޹T{ 17v E/Uy߈Wr3Y]߾\0nY[>}ڗt?L\M~Fε Rϟ7n86#Qj<]َ \roѹѾZ?Q' .c*/G}6IY.{P~DU.|yCPhyLnh;UPR%w:z:N7W"|m#{~kc=Ftu"ԲcsdH!O.2p s dY+[^?<"w:B4!oB,][dQS1 dՆH~ */b}-U\>^VA_DpQ'A]&wG ?[OZ8#QǛZ3}B( `b@ђoFU{fr0ɏc/ۛ/7xA7 g)%gSPa4,EҪ9v_Ǧ%&m9*p/7VL,3T\ǔlJ\˃W9&'v1߲GU<`L# ;_8Hu|xlVPbevd81yrFnjRIPFژsqFezyYlgOWu4EPzj!$n~ n}iukG>BJknQ/7BWD4r,h_&9षٴ(?~ ,]*+wF,TMCß =JJK1k{|*U$e}EjcmmWFj Y!U]b+j KfY  `aû@2j(͚u#EVrMR/@z#g5 n  _}~IeAww|7t ɛW%zfI8(f6c[[O}^zi/wul/ku DV =TD1OzS|9a?o 2! TeuO"3 yxPcLP„?6R&59VVXi=̐ވ1EˏBWb,wAz 3"4`FA\t Du_W㖴7'T1,&oMOOQ;^йk!~{nhPkӃkL'FE, J[bxau9x&z=_mE)4im~;Ɯ?^ Bײ3gԕzb/Gyj ݯVN3nԩ+q;:}:?y"Wh}}F0N#ڜI="GLXtWbۣ/ s '[Mp;(^_SԇV,[J$yuPpbj}?)== ze<,9k5>K @p߷̪v 'j_vv H=p&(8rI\Bv"-27 |^L14aI?̼`/SXbE^f\Wrѓܭ[g[/(Ƥ\cA4܀W:P)vZ-Y=j{xd1.QϘ5U3pQg{6չp`Q^5f']T; B-4=\ޱxsLK\,*ה=u^8zY;:Q{dqJ S_&X\\?(`Ǖ|wsțE}_37ˏ#2)`@P ;qx=o픰4z,_'! Hjv]uk1swΖqRƘg!W783#tD8|G'J5(  pM#1}XuƻZuhf '*ZlR9r?QIgi4? EG:I\ +mYvujF_euFŋI.jwMgQi.vI!>GΦ`XLf*bv_uk6sxK ϵf@%llߠUVS't!vbtS+Zt-ON$7WJC=w'ۋ&W1F~ 2/Vx,6QZX N[3 *FnùdhnpelG,0kԓ䦽> G+ ir: h,lnZio-"rA)C$^\G{C]E\S{9ږa0uY9Un{r)uW /T|׽ʜ^s `<7C#.k1I*U##e )2ݕy! 1'&j့SG0oa{Q?!TgD$5W;Rh\dc:~EmG5boT3粧RTZbü~~۪/5e: (mcĹC$1Tm)$}}_@G{8mƅ)˺uTZ%GQ`jʚ@?  psZABl Rjˬ[ .QP<Ab<E9뼓#b{m`d۪oV!Vv8Ȗ@7BƄVwD(La1GR[Ky&Ho4P&foy-qJ_#Fk͕FTz[HC[G I'qp!e׮S01<3tb qXW8#|lR!afb݇Xe$&t=bŭdt_^E}D<ϟi.W{ujCnr.V"7b#C9,!: Lٹu;3F]FNZ^?,K0J?3lo&aQt3R!u»Bh77/)O~i$Gם[n؈$~5ԗS<[(#'`B?O;KR4ozs>ܱf3nKƅg\*h:Ajvx0ny,1 Hh!qS"ww8!P0+ gSxs {YOZ"k[r50V A@._NC?7J֬D\8{يA)PGECrCJRu]rz>nGi]@^xCmu #Kmq ɑW+Ft )ԻJ+޶,'"~X 3,6ֺc;]lef= dv.w?*L'VZYs5Ma}MGza| TG{A# z' D06g9CwN9t_iFdW$ORV-S3DAJx~d7x@u<%v񄇆AsIRc~7fJ_#Iz9U\6D3d5T1NU4j nrGQTgkmLHTDum9+nh譮Lis'N.qgTT), Vy]K_{B㶨||#%bD`D8x,c`럯NQ{[o~ޅ!Z| q:;()J$']=USh Uz=\}2`h"OB 4XBrn1n?t F<╶.acoJh hp.S,o!q^= f!2 Yt>隯Ý E"1njޱbcq:^OeGmz?!l?mJ/.C6h/o?g In-X+2P3(o=ܒ>M}WCIF9ٲ~\={?f){Rh+bԪɶĝSg{~2!KU l7ٿؒ](d @co)bI$l17cA(68;YyRl?VyOT?p'[Jb:9s0Ҹ ׬PHr@^i2oyBdH}~w M)[!=S0s*jC 80@̓P(#+*')s,FV6wn%Aes %q 4C<,~}~D?k_cgϜh5&\B_Iߟm[y^03u6k_´Xct-@652NP= hm-` |1H'(d +Hax|w^߶l PͼHʌcBf(hYNZ x ʹ:--@L]@2pyFZn^dPf% kWO (un 뾫'^έ#¡k'GS 0cyx"^(JL.qȺfB&YK2?zR͙N2 ee*Jr_q^g dD#10G&U~", ݇Ō@Ǜd ĞYY&5dEZGDRC*MSq6LO "L(sh ďCe3Lڗq)t{%#^83 6C 'dUEͤC׀M`7N?d, oqӞ|+%'P̻]o4  uSo#qFH6ʠQύD3ԍbW4]S0kZ )WIFq: SͰ.}4 *>AJ *FDtpOpZ>IxzAʃ0iHt JAPw >V.^[~Ю Cg; uȧƌKik8댟sy0#m[ *5O0*Ǧ_67*N-;/Wƾ1 hښ%}:?O&̟7\E6 &d|qM1MN>&h-ojf$y}!Kf],`4͖QTuhv$ZeTڕ:\Cpڟ0,aO,adX֘5`x~!fv/H[%p8޶7} Q)+$)),RjH|P0!ɰ:Vp ЅtYNcKQj>(56 Tp+p}5~E,xd7YS!)f ߡݟYx0E&7!Z]u"45 c٫ۃ};] -}let }!vWzx|9Iv@aƜrሜ(xSazECjQ$׫ֲޏ]N&j0 #ܓ]SW{F Q/"S@LU]f^}.kez8oC)&o Ϊ!L7U*=2v 'g~q@B~k:V7ggC"اX2`v+*6pPj\ɹ|$y짺=#ri9%-RPC%2LXmͺ3~.koSu eюU,$d@4JHn#bk9QԊ @Fi1q53> gCև{oNhŷM)7bs%8I6J 5|Y/ Um{DHbt3kV>UHSYWm ;p&zu=K 0;8oser|ᑵy }UDZc(BIsh061a%:.LW2@D"SfbZ0nR(,3Jq Mi[I% 68|_@kԞn]|xY%@R2wm pvI" >z3IsjH_))5Nw:}l3pҦn Vu/kZR(#"Ƒsf^@D7l6Ȑ[,l\jJwBvڅTGm)uUaś_ Df]DeX\Axk BԋLS;gp.|o.~fkl$:WrJ{hըhYAhIrjL^>S Hix{ɈX~}bK7sq;3o(=J@cqʑ6H j_ xCCiN\9Hqo )rcD7&k*[?Z^Zm.#|9!i%,R99J s#HlK6֏/ 3K1J ͋NY4*l[Z{t~1d Uf 6O'V"9YٵRW.'zҰK=5V k aj vmG6@6>Scm8{L"!E7SI&7Q@b!s1ff-尉:BA",8[zfީn,oU%D'.ڣs{BkM,'+oT|`d 7hBTnӈy/췊@yp@hZS|> [!5,yzIm"5xcQk"$и87kIeQ6ԜAfCEyqVt*=P%/=dm5nG3aUZsΐgMmyplLLa'u̕VڸRPuOt 8-2bɑhI_6"ذpjjY .rбg͇&QͽJ @ʷS8 !,(H1t/'ށVVI j$CJPC ]:Z^<"9B5d2jNo~ џ-%q?+R1$Œ2L"]Y';:/emu]csݙA/+. 9zE#,:ϵ=uS5sr;Rm!oB-JeECWT-;,pMe5aNz¼!@Y}}JYHI^3j& PSPbV9nWVC Ύa $4)ʤyfQC$b!Z] Hh~8KgۗT2NЌxdn\d}bo;}4pq@<µ¬fU $ uHCL1pC b'[p(Õnʒyx%yFl1Ube9&~V+')|UZpSb;IB&^mlR;^WP3L})zVθ\1Nx`]$"mƆCa}PµB+FW!kF<d:8~*tФT}]gUAћUJĩuht w0"M& 0b1*^% 2_XN4#޺CX\mEպ|F u`tLD`R-)pn ᰱzASߋMHm}pG2QK w@`0sRkN0wt./ -0$٘}@C>0*yaݨ2GݭZͯw3fH߰'(P)wh-``hsֵ2Y]2=j};<(D.S'H^2"&Wx,cH`cA  {dIvu*YY, qW:'S;a Wn1llZ ?Q:σѳ(ksK7ɿL&0PXMUD#o7 2m̟0LEWaH2N4!1ޜY_Jqa#n3BmӪH/`P>/T)y Ԩ +`2v˫zm]6p~x<_:5TD-9;Wdzzy5LT(rH*ZW,r%kV쩑.64bY,yv{ %BE+2wMBrҠ*)kO&)OŽ0~. ipx+] [dPP˵^TK=M<'o- ߗMYrxm%s=hAPŵT"hWTb+%h)k;j }o{FG&q'봍IjϔZS4`Zt L8y%kļjt(إ%uF HG~8AockT꿿>Ry3`f@h%|e 0>n!eG=GTXQKŭa4@UHNhfټ~=̊ ΆpIT{4Ml1Dy/^ ̜s9?<+֍ID\`$/k ]?yV|>,I~7\ubXG5Lp,Zrp4"@ܫwl$>ۅlǖGdw~cd @fxn"chu'B:.[E/i6Žz[tL0W>9O/jDSr vm)>ըH* t^DU4' =o3~iMwBx &E]+#IxfNx +9)&gWA EίAc!rw PS1^1e1"h#$٪՞QVv~rC'R%nݰKO'WzRX".<'1+\&?^g#Y9JdPZD-1208IS8TW4 uʉ#a JJ64D7)-J[|y[=J|te,>'sf|$l,LYk 6"ā\YjE12g˔c8"LH2|{8ƆFOY,QnRC?cdg࢔7W7Ĭ;{ ?8씊~!q30Կ xX[Vq\]*7^%v/{4H‰mjmTÊb)ɕ*+hdwAǤP#=/>,j{<<}L~O]&P$SI8١ur=*308aO"&Owj&;A V63yP l[䪖QDWER?ti~oh,*WJd|ݛ.: ۺ{ ׯ Դa/ {}{& ߴ!h>FeaPukό-@pTv7%eMk\St{3_5E8?x,b)B}ok$ ,Ʊ O*ixiG)diZũ˔G+ 6Z:=2W@P P.#8+(~ c_Y`Ezℨ:f4f*4/u0-rv]BZV6f%D:#w`mpGp"ޡ o~/ 5MJUĺY-?:ɝ, Q=5.rL?bTRy̍/7BksB-԰|B)Z@~zMDK,2WVk(lHq5ĴҺqtj{~~;&hO%NM_{ģAYo I2#B9>8Ň"Ur,,r- 5)I#}X+4V8V#\{^X|t".G҅\}U]4&TU->0Z 9{7Z+ l }xhr u;MCdJWTqXPjKvrJE24 ( (BJ޳ŴzKm+|uy*\Z.=96NҜM`ܖA^(TO2*)Nys}s s`Ϩ{f6ڈHe"Cy!WOVUC9k}CeLwla+h%Ja^$CnBQ[w!(l ʫBNxSϩulivZ um( 1$E)0{FfK^.&om 0w-^7c&!D%Bj?/νgl?fCN=3 }!.V'ɭ67#C¾/3Jhc*lwZ:L^N؛nJpKnUE*FFK\gpF wⓈYlDߒO/aE:.e}`9Z SNnvYƇ cw1QKz|.{lMdʯ w.6:H` ǹ~1Ft;&6pouQ6>,vLz0rn6dD,fO tg*ZE)]?d2ְ%4[Knߋxò˞%vIN@Qbt(.Vc4/ye 3V ,i/R#8jZD&U%S ?IX3l@~q""]>竗=Ռ{n:Ea`};_}pXa{Y3JS,3FD M#kL_'%w}WN:+U@fvꬴn"|mݫ(ucv0)v#B6-DLMI2c " |&tx6LK h&ᨆPRk/SC^;9aᇺWc $Kl' YdE3u5;RڈތinQ`7QGiƕ8or|VԔSqC//IpgK_nRn >VXi\|p38Q:gQE'ޑ90Cy0 %5Dn1.|zO6e?S?OjȚ`̽DJ0%rCFi^[k-6jHOL(_:썤+jHԅ?B` "bgm+&:"zp{{FwhJ:Ggz"k/ո!.IcC!?_7ȷ"H:%+Y Rb]"|ZJ PQ evrVdEeL\yS(ZL[v6{g /;?s@&ףZ~yȜ徱ׁôa@lĎ4Z>%-qZ4C)>$s"/}yF| 7}!6N3дeaK3d[j,f%2.ۛM8:m`k=a^ NgޤKVrCVv\i5b&L|[G%7F4a!F\u0lJk1y :tepH"ԣ**?w(6@X_3tb&JۑǢr`-EuO1o&I ?uWC !KGCX]Rkm9sxPw*V =L+xOg-Ɩ@MB*6SH GH%MM$cyOk(HcB: kXWa*r(GW"Lcqw#AD" ?21I*ZГ7hGE58$c]q מ`&\]BƠ0a)|ѝqIU$3׵9qF|v]dʈUJmHW+BrRv(jBgY@ҩΔ8khSD huRuXPQB$1E 7z_ rlgY Zߓ 񟉕D?h_ʥ|1A,W|(Z+ |@w^'(;4o$"hmE؉=uW&՞},TB0SsܲY,xּXQ NyvH/ILt?@p%>G ڭXmRt}+:T4wEhÕ|,B I~RG!Sko6K'un)Le,Ӕoa2 [} めHZ38O ށNa]n䅵Xƹ=*rݪxILK/DYs*FGbCUw㺣ؐ#Gp4|f]ezC0}9 Cyaf!G7 ԗL’>ar\AДCTE]q:&e2̎n' A:] ʲ2/ek[''6܇~,p\<,ix=z^3DvuI65AV[uGJ) _dk4Nҥ:D8™¶H!+k3-;c[9OU&aʟ5ZnttOĤPxS;?fc96';Կ~>#@B =!'tE/')\bPQ gah1Rz>)0Yt??@i'JD 6M1t=݄7SlΏ0 Ma83qLt[pj@k2W+hW-pP'6yf@jfxajd& CoPjRˋ~êt++E7 xؿ64N`" ɤZNnO έwiwWJx2/,635x@bWn+B#ݒh;[7";PMǿt7%h3EO=ehZ?w IHly`0u)E zrT xs.h 2f|ucB_IU0x$c״)dñ#jQ|@ӧ[d1C߼ǼfcPL'둭B5A/oMpNJD3ӕI,7VqIB{M FG99_j[sn('ňQ%UBN0~[ɤ_&rx)+'jz|U^5ٍ"n9T{fSVoC;GIp"9!Hҝ‘,BpTGkNePu$6 ̮9'sD T:~5}Ak03g[`rKMMһ Sc7͘3C&3yhd*2wP @IR5 WP&hsxV_΄,'e(j?XA+)2h/u\w"ki&p8Zo9U{]H).EX\[,2a8jws"6 ܚc-/IKR> \ p2V枼8&bݐXu[s8D\G\4H7ݑ#22,CY+[ohk< w7ʒen*wM 6IvPn~&B'Yt-~ӣ.g畅r xa$砥{Fy DsP$ڛ9ÁoM L&3UrDX+` btp|վ<>`m)77z,j9ܴL%ZR w4q1TfL4^_o. gByZ䳧14h%@/'FzuS=_<\ԕ`}l?t"4^㞧/ddh$AT*JHCa.hi"p /uV*(: 7-qR,m)wʮ]#AE NX\=?Mʜ4?ojZ5QW%ܾZk\gCp/~6o|rڙ+@rD#|pqfAUߟU:mMN$.REА%*oM kx!fTO@#ͻ( GE.>(UE-o>ޟ$;W^Z1ЬW%p]Z>ڿ :'|(-Y֨Y7!C+p[2Ho7 r PQ^mGRNV?[G󆴂{Pi>x#2&^=vgo׿r&N)92Wa5vK1D*:U8whD.&_*q%h Mo4Śj+xx h N5/a>xG'PboJ&AkqzVz@͋=syPq[φa+N6tu?LOrNc| IEY1 A(*OuƵظc7N7avS)$?k:ILڀ:CΡ8?_b͛`B񣁂ѶjpseN!^R0.GWA-')iUֆG?~$ 7 )بlF NX*ۖl/DeDיG\Ը*eTuQ맄QcaJ)-tKv4]yn"])aV+#5A 晸(OَYL^Ғכ]~C}cJ`5׳ !lsm  QK<953-S֟&iun LNlcl F. C/zY>>s00"pgS gP~<3*]Q!rOݓh_Gڽ҆uAdS)ͺVn`N<%W#@q04sq'-1~f{p~w@~js|u ֝1($X_@t.#{VƱt3WвA ꄬ= x-2-'t=Ry ]jmS['VܶxjM{3j磨@`1Zߪ.t\+F|PMbk!s=$}YJ_`9x N!>pd!RY-ޜA!F>SXQ!#Ty7`[BCqM^A$,yPߦ3R%x\¿g| ȺB n ;eg]B?&KٟG?Q#nQ1򎨤Au:~ql, }|u1@%H_%G8=,)hIFIUGNߎ^<4y̰g(F{'BMQUۋ~z@UzVq[Bv"ӣTbgҵڳMβԺ~JJa+<6ƺK]lζ؉ mtck^rXEU(̯2\`FL賤QL9,:Nj>ۉ8s5;7y?*O /qwF  šܑ~;?:zip|w "?vUh8RmSԪp9ZPY-Mr{h|mMSb %)j$T~zj` D[!6i!\oUĦ |-Lr^r Yk[J~DIgKU0Q"߰Y>IҋJyĎU(9jBuZ˫:&P0»,gɯFr }u8Ǎj7@ЪzgYZdce7af40dd83a0397e59d0905ea9118141d6a3dd6a0262e54d292d7ccc0eaa27252a3e70aa6b574d 0b0e30dcc9976635e2910689b3c3e0d8c0a8d955 8412a6684da0e5bd763328bd38a737ddad7ff6cb 1e1afe3ac3462addd57d66a19b0d438516ff34c0 78a46e4c651d7ae0d2fea1954b465033f7054f5d