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  h1TT ]% HOL-Decision_Procs:threads=6elapsed=218.839cpu=1002.904gc=89.204factor=4.587zXZִF! !]ŗXf1-q恈ŕ׬[p){thyՉMx{$V;g֍SʑU1`𥛫wI=`Fk?nG˺`COk|ft2IքYrm[ X8j}ȚМ "8M,]_ï=\KہSA%2XAH)aKL14!8MD~a2q(>H᩾%38w4Tߍtz?~xNhK&зxV[)]oBSvG~ :414 ^z?Uz 8K1@WVyoqtt;<5X}IiyT3ٯ͟f[̖dM7QJ~?L!ʾ 9")?2Ä賅zHN XTq{rO#*m~ZjȇL ;q2іb*%NZCXnXdj?O+ E>FP79dy_[zẏ(g`@S!j9h{f\ſ󱝻Fp6 >SZͳsA)Ũ?)w ukk6DߞVSn6KW86HpVAZ|byc8y+bYf[I|y@ݵ+} h2<5k$Բh$ xߤDyU` ; 9ua ~8~#'/+}?/`r bw`$`&'7&)z*"| ʹh), B_"!A,13%PhL,Rs5-^8#ѢzԖ0u2c~іAB&wa0',P+]Cov"zsH-Mmpz"Fʙת+myό0%?vi*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 H$]QTI,v@ {9xj^$MpD=xowY g+H5=. $eߟqP@) W j]Tl{wiAW6 gnՂJ#|TV&i<oYÏBc;%&"!^{w)y 3t&werV5%g׷(Bݎ%0I #Y!0 tF9|?dQ]RגBM_?˫_S>T\g.Ի澓E.i5ˋx:/p)EԺhC2Qs{v="߾'*dֽ4ҿ$~V ' ͡%e$><:N4Թ[Ӝ=I|.05Q5!̈́ {s;Ƽc$ur2sYA<ƜKɵ|Ջp4.ZG|CK(Uy1E,u cwN?{hSn~(ONbi_ܾx>+ai٧Gy[c>p,wU5CډcLE+eî>prJK%ߋ En".?4㾐i?: ^ L|@*V Hhd-J/)e{@|!JqIuVQ=QA w?AK縧paGB˗o1فQ{ sx (.X4sJ8D_8`JJ9#Rz~.j9`F|uԐ\e% ޓׁ3miDv!sj ~|=Tr寮E/ϕ)V2%";W>8qhDsAˆ ~wa\mR`m.Wh3LS`>oIKLnQ4ǏSkS_u )kM?:ZMY6z |zf{%K6Je[sS˴.yd ꠸X n>V{0} eib|,8~A>0 CTuGDB@DJm17i'E-h]:F@LjwA& eMlOeY8#W 9 ^m >5 ΅˱6=2..2@$Û0ۥ=;^^ NH.YsS[F߀N\@/%tVyUU?SEIW/LQtabSNM>1ށxAB ǜ*uFeWruP̪[U/y-V4QITBI5 Ty HIW4A~߯>^@}3BӴ͏k , 4 aUW4ߐ #lֶ V_+@ 4FnmqUdjLJ{Ҧ/ @ׯŸݝXWg;K&/:˜6gp2G/zCÆcP^UxHZ\M'’,^Exclpd {khf*R gEJqh NJƑ9D(3wq]Z|`me  B}?-V͡ mK`t0y_₈4qX`@,计VeF%hDK =~ AF͔`=N4$J?mѓMqK4+OԽ- %~,Al͏O;YqSLε* 00|JD) 'wdtg 6UT^i3iPY1q%2?NXSժ0;zJW'9P]%=F*+bRooVߌ k*vJSmLXK\ԇ5ΐѼ/1lbx"iƌP:e.dÁPc/;7L같<򙩴;Vu||۵BůQ _EҊuz?v,;k\3Ȳ]FRqf7U8i}Wk˾Y6/Ȱ0 %W&AvgRR aA}|p f3p F Wgǟ“$4A!b nh`d!E MXExA\܌0Y"6u^G/Ax-\bJPji"t7<2o s-Vk~/&. Wmb_b9fR )/h,);S?a/Nc!g'Q.Mzgv v@ŧ2w;Zi+#8pJ洫#gZg{xk58z96Y&VRRA$(K*V#r)yYTSRģ ǂa“\o ^(1si ꞑ+pףzkMU q9qBK\4M %;+W D{4aHcDS^hHg,glw$=t;퐙&Njzz<b;P\fu5~ >J^&oI=L"/Uo>vm,%8TP3T_f6,<瀕䠢AImF T2qPxr]YE.zwN_Ѳ'-lUY֗4. H (/eUmI+}M n%z6m4#%=XhfEx.uIPEɖ/8zV*N~(vS΄\!'-R):i Gp2UW0a=}u jo1u/JO-72"s$tYNhE@6#gxθK2|YgW#U羺DɧJuڸGlcM &6Ćז|Pj~Vo`y-ad҅(}L̕]u%Ak_{~/*<{Ek:SrvИ/- l#ValJ/ҐzH+'=xw).KgYZ7zXZִF! Y$]ŗXiɟ17L? KxlWP8SաM~>fٺd6OƓHRi<1:^ "ҽ,ݩ1/]-Ʀ/ 6?xJbȕ.sc[4pUDa,ODҨ3?XÈgLX%nPzֺ4P5f(-BHnl "x>i.  f]j[ꖂRhZc=(#EO̢,}gf*A"MTѾFR吾ڟ% *i{HH 91 @]c862]:,) @8t ўR8QT0B_ 8:{65gǂM,t I-Y1}i4Dw^a|%Ъޝ)'V&1-[md1C(9##g`Qd.`<`>u0#H_>{;>2/7#sORׁ"t.If`}r'vb&lQT (KylM^:ut#*{۶ )'靎ßV4VL俍Ŕd W6oXA%i'!~CyaIpCN1B 9WGL1 E|[:dW^Id.׸8-p"Wc(DhK~/j-D?u>}6v٭+7a;:nc(wͱV8Vgxpq2eeIoy0HsU9lx>x 9e}d)O7 (]5}x̐9cn n[̞]J!2Yz ( mbZnׁasȺv°(prfhK& @*-s2rwո|\R˨b_4zαrm[a %[DXx]yB>NA MrK|ɘ'BǢ?0ɲ>|pKP4HQPgr}9?9Fx~_* e<M8BR.C V#.U[x{Ǭ[;ϏQxn*v`TwÈ!~:\bbfо ͮ(=)$ N P%=HK>y 9P8 QtE6D+яy*G1+:B"bj5`Y&1Yh0o$V@k"kyJyyb!suDChc@#z穌jjTH}O7G?[>!5Jb5&DqVe/I;exo­}p)agtI&(Fqȯd Q:ؑKVhNɘv4*]zeۇq?Cߎ7u-5hv\~R*ciY~ݿ,-HjLh&:C'tcp3rڙwL3 e59RXhbH8uFaQm'ꏎ# 1M1dH Q~t>lVμ'8I!(G{TQ]u87'hA\7omȢh$>A5u.Y#"K@ yxqH5i3}5I@ ^LΌ<]-erLfx&I~GN!10KO7VE:#u o%s&yUϪP#3@VOKl7Q+Se,[łW"`̴mh8H>s-sSl2`ߊecGm0wo'uk.o(lC8X]\tFB6Y;$j;G67Fj[1_ȥ6ۤnF59z`vT1 wAua9A 1*!4 #?BKi7$dG+~ILH3CzjT+}wRC_ȗл>Riv b4PGfG6O8MƝ¾R/ I4]%k) إ y#axI<\ `2#ooxb7^|75#Y aD(׉ iLk>fzg|yN m Q.<7a}qpO ,ԝ|4)zy/C$b)[MkxG\Yj|EbڑyYy,1=kM @+ՊlI3+dK!XRՉ^!*!7#jcQ)PHRש4Ah}^?)vzh&K "sF6QbmLGѸq6cNa1s]?+ >sERd>ٻT wqڊ eo^_kF= +zq=f8dCX9wND^+\{$vќ:^> KPd+$e+)<#/V9#$%4E!|Kzޫz/e!HюK}ĿkŵUJxbus?J¤S^r4G8[X0a U7z/AU+)ʣpn()='GU1R87P5A5 C£N9&^g(8KޏSeތk 兩?7@dDx"kɘ{kkAx,K>hTǎs`29Io.pܔWtV fe=rjMtLhyBqgxW: 녍Haz"&Oh5``+մ⑽88t& 侮8xd1b?;QƎ 9;Vt 䶌l0VF{GXM^ NU8AjƐCi, ";! <_v.%'I _7*G2dW J?n\Iџ!g!ߖo1g\M\SG926 5HuH,XLO6ޣ3=ÂlI@7^psZd'YSa .T"&K5zs֓+O0 23m&&62 pFP#w2zI PZN CC\V! 6Ѡ*dy[Yc=wJ'l8E܏ʸkbQ Uզ8m#'@Xf&Ϗ׫EMnO4SޙOLQW4JƜSU(M"hD-MQ|VW|Vrۼh\CyUR$^zKV9mhndLսXXE&nyqwGVǙ\!0:}3O WG'(r>#Lan1X%5sU [ ^DHC89mH?Ip5-Eʄ*Ne0|l[#/͊Wb}A?P R uԘ gph;q(OH (WW|@i#7p]$2.姶Zaf }ݞ'UmT65I4irgKNXvMN/4(ky}ȁ5#-t_Rܑ|A `ҳLMZQ7& _,p,\ImXc]a܉=՝h[8ian Y&wq19VjDqѿzj\CIPi|}ˇzWTYgv8IˑZ'꫕Q]QD"Ou _<r@mgi,Nͩ1K:Gi#~Mc^1Fm,FݙDvfCF3]k'r[j;^=mX}w?c!a0`(Cy_A|G:?Hjy<(7֒rb UB? l=Qwnu&N~ -)<:8'[LK߰7[0]GU7wI mˡa94Lz`!}U@ ikq<~{ {"u@y ɣͨaGoUTߟMukn +06=Ÿzqy jSy$U϶{L#ܠ(BF𴇄/ajAE7枆Zi޸V^ڑȚwDOv&:ofltW'xz>;Wleܨ#)YIA4jE6^eQr}_+*m7o&,(T\F 'b-F۩y6,)t:Ԏyb`?{[: ߵVv&e|R)f 8hY QjളMl~\bgDX-W}L(Ǭ\ڿ:H;QJ3$ x'KL 1gjP:÷D^b),ZG닃*E68tbp2tf2Qc"."njɚ jo1 ?&j@Efe55+d t ӰgrӾWd-Jo ^+jZ-kHW.Hwh8;KYo ',/zGWf.OV6ܨȦ8'\65N^Y 7 O@@_p8\ #sHlvaWu~QC|*ghn'Fe%e}lm܍#d95rɪD.PQk'Dī `i0|S$K}e="}8354JzDeA(ZTHksd!4ptdi;:\ 7Ct h&yu?lمQnj۴N,ٞ5mOd "o-̠I+&?bW7^KJ="_ qhMQBx=1u"O?g媹>WBm !ƴp!\~9EXQ Yg`qx2.?OP1/ˁP3QM@%g.ʁ]3 ɕUϢf%ېҢ+4 [iLFjc^@{)3ٻI*(f^Vp d !YTI_02{o?ERtkc=K ޢf-.@\,j`hK]|"ttW0C3g=;%\z9n vb)UÁO2a--H$ Cn#gA L¹;i-CPV0$Bc2N+f(]~}' )irI?Vm}>jӈf>)ZUYH}sUyzS!ja8ʺ8_7f=h]EO\f/-^afns)`}!ϩ~^#"kw:^@QA7P85B0F6Cdkz.+s'@c]bϪ:P f7zV9Y\,!pqb!{_J^EBIxb.y!Z W#]tT@!wނU"Ʈ<ڼm A \vJ$XF,t'fĽ4w6Ot~-:K~Gw.n[b"­V }+8HaO\i턭X%Tf"Dr爉 ghֻ?51,jEKb5˔Hgn7{;, $6-͠5,Q\{QۼVJ'Q5  Krq~ U؇9ȥݹ y)Ym\dL%PB؝5˦C"$>*+`) ryBo}ƲH$ 4=t>]oݤFf#5hd* =+sU%b*y|+Ȑ@RI`HCf_C(FГ7aLa:NkuE.GmnLh?6_W-b9dAqU-U(;"4r; Rzިk{VFM.mAC;?I`FlV){OJ4{6<"!<b eX?HtG[~]|G=TJ"$ .Q) QBUrjD4L?9pɚ %U`5o)HL+׋-xʉJ`2F Z5SבԿ4Ŗ'h[5UDik%Ď7rԔO mr%=[1P9a'P/7TƎEae%{ w7򐇽eB"I+-o9إ;OqKR^Yj8hPl`,% Ӛ9yz0Ti|fBV?t8ݹfJsڐK L@. 6vzќxژLpn}.rgYਘ[SOZ3puֲVwB:UxhNr#a9#w=@OYl?^,S %t VläCxN .4@amll,`DݰHSc`#l̜-NW\6(?'n_hBpM(Zfj:qA&C=G.}0ncR8az,QGjRRИRWGWYGH{2Ih?Mi,&䪅S.=h(GBc7X}+7f(Zm0y3|lCJ;edtDXt9Q "o zo+)BGa2N?=ߘb3&* ɗGa7RL*G~O :)<<$EF&; Sa%Ž 'wjK]KC~d5yԊjSөQ o{MT8#OmJ`s@g@UUe /dxj3ܕ?/9$ #)EP/rI$1ͺ8VϮ>C18qB{&:KnNgMD+_=-ǑiTe"oCwBmp3X7{0؅vxS*J(/.~Y?Ѹ<[lz_%x?")i$'('pWR~I'Ҹ2Qn>x??a BDxQ53^ .'  2#u:NO?7@z3s|6̈́$6T?0jqҴ~-&5<6:V=9I@rK 8~E0\im͛od0\+mcxUΧc~Oj-ޫ\>o׸@BPKv-`op:_µ̶v>ɹ}B5jB [uB7~ĥ5RRnj,sAh51-ײ[N8T9։^:ԭW +6ޤQN5żc2/&>(όݍVM^~p܏r9(]>G3Yd{-ղe|K<fN ԐK[jm?hd![$1CB }p~5rkj"q,!"S|i77ϜίGöWČ+6)L| PKbTgpY3,HrRkfH0~?s6a={LTUI9/O{W򁮿F-A@,Q(-b`%|PY\6c#%*ImiR "ޢ2^ȹ _ v~.RUO z ZEB'и'^91hQ`= L ߟ>rHbo!ɜT Em f-5 JVlE= rpD:š\9ugi5[pNqJ貃*U^>x\;LF WyC/f^ot6I[͍;+Í1:'؋m06U zw|x%NAQnƛ~kFui]DIԬALuGoV1k8[Unם!:}\i@jiie.7"GձAO:`1NvJ+[X0Bb}ȐN8Ël<): N@9=w4q}\v.y cĵ~`N;V$'>6 ovq7eӲyqDL>MR1#`0|_T)%DN&&)&K5hU%Q,=db?#DY/7FklN:Cvd*N;&PIk͸?=mImS+Z{n>pɚJGpD6>6Kuu跼 veKuiVu 9KW|lC"r9u(ǩ.~,^vrbซ i~e3ϋm\ut)GOg=ea>i0kӥ_5YPvJ}|oV逨|@!!Sy ڂLʨ t<2|֣-w)e%Ɓd?$wY$s uN5HE nc''`ˆlOU3Jg0;#7:~a]16.\7df1*$' sn-IFn[@Cxw GfW+z ZDޫ6VJ\0+6E%5#ء\os=}XP{rlyY(m檅$عp}L'%bP&iIt+ȝ*Q/$78UvLJ"j RC̼ܥs i@s +0@< v9(ϴWb56I.c j+=5wtwdz-'"+ Aa4dVd\?|(m![I a\eGN?*P s8ݟtqdWF>vFgamF|%bun0%S[0;- ӘK7h쯢܆T<8YᐨUWj[ !E|O +4˗S#vz(dCM5@[ҚC8 ()+_$UNl*dD<|k50Y`Ӎf6"ߎlz`ЇA+d`LǴY)NS}DՌ8cX~q>VFgpLDE(EP:ӅcZ1ۊHѾ1huAWfl}.>טV՘Pa?pi$Hmw=[qGzǽ$]o0V$ *B%YvT߃_n5Ք 5\M*.40"7ۡ(זT]J?ꏔO_1V,8h4#oхц$a3rmT˲]V߭ywTS$c~phZB)O`^>#W; 컱1 Nf1V= seP,dO $Ayy鸟rƈe9;Y G9$ςi.ave@o0R DUA0 Qnf]iz^I5WaCMP^罱Kc@0cPvYW[7(JtD]p2z_=dD=)DS$f[x0TÌ\$uKfxΜQ!`C*Vmڪyw)rQ~JzۣזpᗉT0Q)dGaDmvE xЯuc*,Z'Lqw+b1`\iKʒo/Iפ8| h>ҵJ}SΞ~l;)_R0ɰαUe,FRBH!xx;Ƕ a)Wm5m;s[A\Tg\9z_X fdOPB)AUw-n|* 1AnqɡٓDfX].S ݃z茣+ q'O]Co _n;gXa\O#2)_xk+%{}WX/gm*%S}w&OK~dPe+Qro´U$,돌%\ཞn%*#SdD=5VҗZ.'s VCT1+iGo+)>wfZy\z^fni+kAky+_%3z6u^ƀe|>0[޲KlȻ S ?' 9 ڼmX11ՒtJZӣ\]; s@X.v|COIZgVX+8{51opD=|ȩ뢐om{R':hb8dP<3a /\D(%uޮKr@-.߈Ȏ![#̬q2c@AQ?36Xs]d\%[5nZ= `/j T٪A֓=F2>] :߱n͞{)''&с< @+?1S[vc _X*W|gXv7#*gcNnV'`y`VNJXPJ\l^b#O<ݍWf(OF"rd8.[Uu$n7>^\SҧGHI/-pHt73n" d<ƛ>CM%mmi׾Psg4؂0v4vk T:h!af40#ffz1E)`(ǭbۮ8du.W-Ε_Kqn,C˳Szƣ*N@7@֘e%n:v6;9i5gQW\ 0[^AȪP>ˋ ܇|]x9cq^"mFohk6e'^R_s#&gpJd ecO OFo]SS}Eש,I|\MSCg"3OX13Z)} W.R#z2cYݶYu@[߀桵uuouC6;;+:kvdȕ_e֩acs'G6)_K7Y^UZ J_n۲W\Ait\J0FL0ß,d!״8d)hCuhʝ ͥ+)'a`jpS@<;D$% E>Z jsjBȯF^./W ˄?/ FuN6&R9;'WF"j+]D'ےCHnQ->(ңәe:2"23qJ_Q*E\:c/~Shc  -S)^l',wӘTg'][~X421km_'4K-#&;sKV@B0^;RCg],PBfSޑ7$"] MSw 厚Krߔ>=&9KS01o Y^C޵ǺoZpɄY^֋]l 28QZ{"qz̖fo KR^\,`+JcV’ p3nM7??' d<2?`\ʩ?~Ks>kk4rڮ18DM쁣Бj@s+AڗGt-XXΰ()A~{;@56ZlVȜPq2vxhR$Ie]Q| v] 2JdT$= iٰ摔vfEͮ}n;T8e?SPvɐ QN9B0JoxOpA7q ޼?]][1a- 5D,M'|f3Foa\iH*™}%MGf =2 ~