SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  \ \x!4 ]]]HOL-Proofs:threads=6elapsed=615.080cpu=1514.304gc=287.116factor=2.467zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbZb"Bp]S*#2bSBbRԨTyfʭLz;{ %;2v1/7*~HG%XSd"Э rd%}Vox{}E~Z/̖&y9~K^V1 }Ui`/EzhpP|S[m]' S6 FQ&:<WUp? ",9[Tz 8%eEL) @Ga]75g% f!r4]%S3՞^ԃWqvuN CNC L$ =ff hZayԬ|E vsw5%JCF4~Jdh+{$6ʸ7I;`c Ia<a? K#lNıIF W$C .r?ӒlQwÙ+8UqXDϬn{/_yzUc 9f6Gj^]dWMUO4chHѥoupe'8Dk8b0Ԙ0Y\H׿}r+Įx`*#q[\b$X 6#/O@jk褐n=;jdJG_p7Fb=BT^8s<6Xi_]Y ɂkxl7|\Z  ! HOL-Proofs  Kcj|h|J$u=qaH,8AL{wSC+؟HoM0KlLiy7%^h>wVKܮsRhhQ8Lj(nӚ@PFe2M_P[ʫAt3EZ+E`HEr׀ WxM*d-'{ $ [*e7R;BQ>hiTih:V6e~I72W7w2LFmb #<|nɷWBD).l3֚hb b] MDм{7Ċ4 225ߦIe􄪭|tKϸ@zȤGh)܄?(=fdMq WZ+ ̰m>4+.K05y. U#؄*C,^ip$scr$[&ߵ/e>Y\Tt]s[gϒ; & ѵl3=x7>6V#U cm빏8Q4Mi @6h38Ye^%7?9`(D`ӸDV_=PE9IǺ>D?b5eĽ}ZmSBaJA.OK?:N~ oT)bf5ꕥ>'76&Sn$X>S}B9 lDi8kCdj[Bv;gIEXpQͩN[ⱩHP Yw]"!d:}TӶb |Z(*9DUnyt$TpzޘA*i1 n E~*6P[+%"M}b1h5zn1ŧA`kAHt0i.F 26ܑ-eE. n$HI+Ͻ4}]"d rg]FJtlirMZ%pA^Tf}PGPcܼ$}j;x+T>&8xb#x,ȌffX'%gH5TKh`[%U_#8f{;qkc@Wfnz$8DEUs x&][_(1ѥDҷ p?{b<:a 6OM 'Ω3qul"yd!K{Y.euBaphXɒQj?TR'"l=o*_8!aǰ?R˼GƷT\2OWnU(@8c^Tvt,ֲHؠ&"OCK?9-l0={r7wo U9,YZ*#ls A:S !?eU봤ep;ʣ8Ll[.^W췻qj&GVulӦS>< pF{gWHِK?A/3u5ѣmJW@)~BEz(ĉx{wARRt_N$|3@t3 c\y$*13a\֐>r|1LT:K fto1oCûHlnn/ARbIWZ`Y9< xwR3yo'Yl/1z~K~v^{g!J:UD 6N0HƧhja-waX ݰ+rTT +aSjC%6NC('T~0L p %e|Ǯ)!M[DcFS@AJpl*^F5EUH: v$(ɦ}q\7,ơY(G$" .rՐ ܩ9aj߳Gnj?nu *a$B3 @Qq߃vWytk, #^c@Vٳk;J), K6Z*3rd@afun*͡@"{T`"Ś4ztA[&l^Mb0Z>_l<gX\!ֆ2/5y|v=_Z88tT4&txPYf[/¸׃:i!8j: ʶ˶IH ΫVj %(i t8Lg'΋0I_R :(/^S_ci\^?(NH鳌H).U} -,>N5(6157/Xu<49zt*b.,0H>V5IEOr*QOs@b[S:Uh绶-x9CsLO7I%2jNO'!kdٚ)^ Iki9}c\ct++ؔwoS8r"J(jgF>npw]ԿNT3uCRuIG XUz']^;< 3N,=P W_x\> zq:̗,+Dq@l89I `d.d%N'Vt8'CmFNV#6 $czOH[RP/dʋڝ29<2]( QXkARz- P'U!YFrswM wDxlrU^ Lu,W{,!umH㣃&I%DVQC'ิ[\5Dj},uF> 9=xIB'Tv%"jFs7872z> '4_T yo8GȅPy =&*γv OsETMF uذOIƼ'Ddl X:2aS#㯷 4xpdh[3 dqVgb,yuGTg~3{VHQVUHV'^y0jۥ5/~-Kqg*CsmMD)Ŗ2x(AB4[TBu X(f7R]g'=v|CBOuD~WeMdG֒z4cQ87*b4@5|VEM!!B04-u~=`4l6xߤ@ދ{bPk$=jYة.^h̦_& @P3-l,iCHZYcVL2Wx{hW鈡tp=?8e5]1 1SYP. (8X / D0~e@_DE b NW 楇3S]#{uHJmD~Do šC"Hw9ss>&J O6%T\脂Q! rv^s(Qhӻџ/laS8Q|#IC?K+ױnVe%+oWfJs:dA+ 14)NQ0F V܃cM\or8ޯ^x,!$o ȠGT󊙨)PZ$F@MSRYEnS˦4lآ$cU24 " ǻ&.KH3`3Ҍ2MZUkwW :7Q>jZL H7d,p3N7dyݩAj|R+w}t;E\_D1ٙ<^qk8X/wE TN3i~ PyŨkv@Q8^6>XPͽ?q1ftNkcə5_h,vyF&Q϶4uSH"p$Z [;KTm1y8{}QܿVV ֘jSh77J2a9춍FZ5D ]TB {N_;H,FKUEȱ"A)U^׾Bm1:EjAؾ!Cx|ɃpwT! Qep& 5[Ǥ8Z'}=Ԝ>K H}$ x&n\*p]+Ot痏`Њw=6i;Ïrhh +A+m"I\ѴЬ4* wm4 q%va"$a!dB`%8gt+oQ mg#)45èI suzԓ$v]!(R»F4vŏ\>Ym9:H S{$x7y3Ly`!@DT2D׏6qyR<5>J>Z{8R eSP[5Ź6o{=sAr -Cw3h3kb!ۿ|w ѶxhN$ 4P^?xˮ3'Ӈl:Tq+-xX5_ĹڧWI]Qt̹eG{ؔ bKϕ~*rnئ҄XSBe(0F N{oER:NǶRzMNwo ?wz|}97wY4pƽ(\}A۽G>yzHH?C O@9AC~K]xsp6A+cx&n,U2W# 1:e se?HoVtrVpp7 2*7EgYZ7zXZִF! puE]ŗXi%>tpZ@V!Y9m<"Uhxly %1eg=W!A/y$_dA4!0u@G!)N> 9KK Њ1 +迯ArE[*>Gwy?D^!4+#_gYF|]+(Mߘ=g=R*NA@SEޫ{MvpSS3%PF5ʹ2D*\thYv?眓#@CSP/*c^HKڌ#HJG^a`EFJ[͚$0ЛG<MNoVSpLi埧sXCH^ ķfW![PEgrwD?ou@Y8N%Vtj G5`F '7EaꔂLDe}IfF͘rTRfCqow̓\`CC&(ijhn X_o}i~V -5Juu"b] FUrOF$GČT6)[xxY mЮGs,{5)_YV =cZ̐܄P\^M1&BE^F_M1YwGe #?u _d XP>l~!)7|z?U5H8%sgG|LiHWfLF\?wOҙۣ om 4*Xe<+vԸ,:jp'`Oe/P W/Tv1^= Rjd\TNs8vC1F'J.َOxdh'j*jA|Ta۬ 2 Cb&z]VFN}j=<93hZطI! Eij|y-~tA4OǗ!/fyT⋼Wy ~"iZ)EOͿ' ]ǢXr+j^#j83Ş8*fˤ&d[bR4$'<"&qeIiی*T[0,H8;Ys:ky|*N_c ~Ulw(GWYQI*Zr/q U=?[_zz9fPf@rrUT"M:6" U;2mE SP# 7 XRjzJb[ ")&:Ղ˩37^yDdBG.-K(F~>$>-׎t2B#Ů-p{߯W?/qG JRA2^^Y8Hsה|--ؾhBs,oXӸ#b2hqyuIҸCR׈OfZP:046y8眅rۃ ܚvy Η,̤62|jl\Szt#ן=tnuArqO2R7@PĭB"1&  >!}Z,Q=\Y1M=I {GPf[rq)o/]Q4+E$˙!=0:[dt9@\f}Ϲs߁ki sB͚7/E˲lO%8.) Q{3\/'{;a4g,g$&Qi!KC-AŸU J́~"OJ9N(h 5/8N۪Rp->*~`\i!rqm!=P Q\ xQO x^ ;zLP w*>Hxt7ڰYM*B@s YKM8Nȕ CDRgm1xN 4/'?cE O*5*;-}Y/h @QXƺ nCj#37 }?QKfп@==s YAy5l\?GUq_HrQ@y$_)npS)&W{mf; C&c Y _R@3P5,Mز!1 [1уIaݸ 2utqs;\O^W6>hᙼ/ GB%^K QM$b=YA}iߙb+"#BX֥>a2  jaB]ˆ֎BrgE./7S I%NO 4}Tضfw%c)eA0\/] iZ0e_IV  1UT?R?OsEW_u+u2wa`nGbfM>MZx8 t*YATOdg&  w ;qU+{nR0xPf' & ,yu 8ʺvyjhi6ZHtI$nkϋ}x`rekIB}&3ٕg9*U`kIw0r-}pqYH*CuRK 4p(ό-ߒ5EV>o0޺QCZj'GORbЙw]s7mX餖Euv=swz1$x FP&>g)bN-|#Vwp`V)TZc:z~_%Jŭ P"6\VnM.73l=c_WXRjT%omi) J|Ջ|z6(:Tk_bgҵY^cuwbW=JCȾh %9Y}g9r2::2I}b;5Ƶp{ؠA}*ߚRG3jپPԻ6fw›&+bU?Mu%PvMT|93;4 9&iw]h|TΗ'lj76?bUJCx2YI `.@kCVF B(5ई ؿ"q,8gȏ&G+ [8]}^V KjJ춵!Ėx#[eiBBcfʧN ci2,/qSDJIvf 7dƤZb/ېZW4O0t?^뗞 LH L$mR@&H6>O0OYع_ER<1*%;hf`ij\{7{qP7T\CG0?G`ErT 7xM+{p??e++8[,%Ps`M>'ђHKHF_vi-<HX-Y.<q. C~l"O<?k!CK1[hшQ9!LRѿ 7N.98Tg>mz{BjÈoaeS?x??/4Qq(77/y*^}_p!M:?2Gkv-w]#<gRD6̋q.6< <7y.TqѴPb]<@Sk( BbֈT_L&71 gbW/Vl@ p5F^KZ+wb³t.2ELt4bӹzeNp߲RcS9v1w0:N8hzNJ{|Q67ցqJ,?;!E ~o$Zn-Z.ʹ!>M0pZ+u,4j 3Hi_ky8 J `K1IW< =\N Y2<~k5<#\_k5zņqZ}Y Mbyϐ +K9o=73B7!Ӱ ^wqPQ2ndLKXsOs|?d}wp}%C-<lʣn)ZJqAMЕfa%J`+H&zs&~Nqu'T>&m0|ďbٓeXo8={Gceq6vEC -_;GqzEE(.$(Eg4 Nw}g6VSfR%Td{8GI^ V"j\ƳG}RV&`lvA(Hm\M4'B;g1M»_Z yZCRra0r`?/?$ oq7쒁 ~0 B΍`ZኦZgU.;Z]b^y9I{/ މ"|z v+z2URFb'._ W_ҕcbTvMFbpqlC+xQªN-x#~gH$-M >[08]EJCڊFj{'vuU(Ν'#6LXNF s-AxxC'0RЮ.=t@Z^̤&@ f-ٞ=J Rss,<#*&TѤbTwR7eƘmq.csy*)xt4 g6ⷈkحY*prh+ RHh!'dUGKi/7f M2#25ekڿ]c/#7эCi ٻ ZLQS7\ӠHC,Y5E!*l6i{+2;_䰡A菏쳸;j(gAfT[AڱP<e3HE,npjg-ZJbLWՒP5D/5~uu@N 3sH$D_o&W}@(}{*#;MUIc Ss^na])[5;c~ $/3mЛ+VM5*,T+zlǁ3R5ˢ%}t8,m6#, :-zܺk qKIxv(DǿS$JWQv$e\6~/wXᾶAl6Kv|+x04:pɼEfC  ԮU8^j< yBe\aMOنȁuj<9>g(Pt*ῆb359jFYW¸Xr$%H{x:VkxGV6/z)R!5$12*/h؀ lУT"ϓ9a2S˫Pحߎ%Sy+o6X " R _4r۩Yf|N[r\t'aeϖr=$>ĀEn!q>mGKlf˄&d>5S8[|x4>q`m&&T[MT M]U k;0dp>Py}>?^$qG9uE<FVvNK5sШPs 6GDRX|k>~,Ϸ _ϯcX(Fu}_:'s?S3c*"z!BƠE<(m`ϑOJ qvUbxܾzO'>ղ.oٕ⺼TyXGb(֒4 u–RTaJoAmFY5xO ?+hދeI&# gMGHF\o${-%#!W]E JH#:qƤy?he `Jg

"#H' FYKSǀxɌqв=->2!ǯIa3 2Z"h1:'~7%_pIk ;s5 '\%X'$_Qz$<5X^SxʝŗuUf&}}3@`ve4oKDrP0=NmRh2E;nU*ltH\\y^nՄ [9a+򡿵FUˇOn^T΢Upy Ob|i9Fq[@Ί)> c-jq33uQmx1h^{ S_! Mo$!}Rq(venν.1gjW>zhF3$+= }4M5JUؾT94ta& dzS=V 3; wD!S{BE?u 1ü"RjKT1u~oGPL7N($#۝.?]OԀ3"^[uNB z)aJ߸+14*dA]L`tIo 1öVI "ZR-zzea[uvCeMokY1ɵqGαRI&TFdO@t7Mȫ&G ߸hN֞U8'Y޾ @e0Qs8"KOLܜfI|s$䎈G^A̛{DXC_# 6Њ/<.e_Ɉs׋?Hb@:\ 9J0Kcfp^9sPO;7h7jɔbYgdof1zC~{f /fln/ WGb1өt!CAԂ6gjy?P7z:;*X뎟z;v`SQW 15Kps0ќ:0+'Ub*tSf[)sz4\2If9V|HU"gz@1]IuV?\檘P ۺb{BDڼNŌ"vA ;ϻY첌Gӧ-K6Z!j;wzD24+255Br]hxuQs z:'!(RV #Un*辒{0x--y\Bi1#bFḧ2M՟DczV_KA69d{ax gdEC\tdϏc:/2No- ˃1_/y$wQԘ k|dO%GLA&47H|{f*&"2:+ɈkV*~uuVΎ'ix$< C!´9l<]pf0vDc l`oJȞTe/Zx ֈd} %2QE'd/N`)> Ag`x0^+XSeã|dVX(ESb jʗW^.} y\,m)h/Ej*iPԙz2|ar-g/l.o⅙yUȓ1CNn$}7 춭5sCwɔzU3[#LP"U(Kݱܬ{ϫ': oN3 qx/0H)OeaHnrV]a z9b&R6?czͲTY$W(ںq%#]>/*Dy잂uzPg jۯ<& tkl ?Hww/Pnpfn,] E ;8Uny'8G8D<Fw/9J{C0;5n|-_7D4hiTZb$c<ہ (d[N츀}HM4^;;@"`Zq%+X9W Lir_d(CC _cgۊ?eA\_ƌyrJϔѬc7}Q\#*} ;Ç \2+h#د{0\E'sN@isqdS?L!l :_)C$+ZWsWZ7;-? XD^*T}#\XݴH#]-!"n$g@a~&Jƴe1g I%{^i_\+/,T^f긱]N0i\N'sMN n\b{AFYdHb ͪr(1 dۘ:- fQ\&(U@KA3&­uۇD>.Tww7D3лܯDp_-qNIވEk<[qK:tѷ *鉨:`UCTrF9'Lwz1Q ֥݊E H$ܦn~qIZB@kWXXA' Y "Q<[!9D9z;Lb &KaXM|cSҳU,x;WmS5S'] L=ji櫫 #T{k>0/Jx+f ;r 'wWIw ]GzVWq,K/AR F-lsS_/}qw_cPЂ܊ePuH6&zAXՃLqp%uܚ!  u >,qe^NBXf =(C?ϪcdՊe&"\gWE$x'Fٚ.iI^Ŵ/qBag]u`E;{F ٧K{31YGEIQpP* B=hrP`sKUf3c]Qyut:zndvS\h=BN*X!AlXn!i|;lrŖc\xFisOxʐ<1sQ\: ҸX 2,܋ܤXP>[ ZLDHT/HΕYp$Zl0bzNXImSΌըNԺjn:,`g2>|iLT(2a$ UՊtFs^-T=RG=| 0A $9?)2 Gpz-z21զ6P}`8U K6krJ)x< d"]r3'k,;v]80bۥۄJJ'H\֭턼tt.tV]XL)uH4; 4ʑB3ذ 퓫ũnzTA*7g3|[(yDj$8r/6# ָT aRJ<c@^)":6zqqGWVх4<=qϐ\)x䍢({Uhj:i/\sΎ&<u3Zf R,0Z*| X~Qx lOA>U -}ᜦq{!$ɡ0rh櫄Zyű7xQi?1h>2[]01mN:9'34,b1;Ԍ+FF'H`oS?TsFqvl;jpRć)|m'$=wy5BLć8k<Ѽ&Dմ.n`5V%Ȇi{; #M?`q-)#Gӟ'qVAro8~`;nRobz L L.}h-3ۻSgܢ jƍg ̺ s~gLA\@uw]f^GmVȎ, ?qVR^$NIӁ0r5V戌gsye!₌I=(DʹskGܫ^`H\0'(Z -DL]8l~B$㉰# !-"??ǵi+[qLn7&AtWHbC}( T\^i[IeŹCf"˃"qc=n!Z L'{ىVõwSv#! ;xDX[枱.EztR τb}#cy)Smz]{lEMTԢvi*&[mz` 3%L]ȗ C?㇧SQ =_kUm6YZ SNƊKWYXrb3~BgbHV%MI(AoEhZ͢7r+6rJ35ӝO䮄zRA%B?,GEom0}ˉh8 *ӽeiV4ktT%[P0"o2󈮫LCMc&+kyZ ya+JCc7 ރb]Dqmnr:O%WDSFy<_]8 )ipimk~?Q/om{3vP]ƧnQGeYK_옳ѦO,5# >9;k*\k>nyˆ5bu<ȃvì9Db},n,Nѿg{yQS\EјAj_n2Hɲ"AUDHE/rpDmd#w5SŃiZP4k{k^ 4|º_KG-|- A\pd,k.UT_>d$)GRbU^?8[ch'Qx?Or}LWDn2qhP5 kƍ(LXv KKxfJkuqB#1DCi[HK,<ТF/j!wcRZ5\a[ChY?r9YlQ8]ǟZ~suճL]#)=h›ۭ҃3U&0i.e,|{PEkgGF-`;(kT:5φqz.aezp/r F@}V ݀k,zB*?uf'Px_Jla2^XXФh KvG ,tۺ`M(;%^oS/277N!RbSŕ;4uwپIAN ;)L@> LxЇ<=<+/J`_#X*zĨ'9JRR`n-(%9VhRm r޻7/W\ӌL45%4&(QEw:CI[)ـHλI ɂvcO?Nԓ$QևHSU?.|>'$)G(MXobt&XWK3'2d"J?q _-}t=xҡ0L[c=QLT_2|Kc+og$"{{љlCKJ Xc j ^Pcr螬f.|BOHնn8xBίN4L-|6jToIN<FQɳ3f/X%2_LS~4`@) )(6zcE[}Z /aI.IoSV=5NAwPc j5`O2u|EvK/˺x'Uoqϝ8Z s·nޮW`.WZ?W0<ؐ6DySa~ j m5m=S,h# KE-N7[;٧8Sdxd,HRY}{x!w`nIh?bgX6T1_Qah(P a4Ub_(ޠ!TpB2@ @ jVee|:rdS]zTs|Y')9a7^ _D{qB)Bxeq!mF}zTIc5:SDfp}!/zK=!0;{#8ּn$qm>Ub8v-fxgԾfD.`I7Kpo.Ѝ*jr‘GD٠>[I$2 k" CCUks_m8C'Jdn@Z>W~!lU+3/vI8k$fH-` YP̫>8BEHpїڊ<2h1zq0.W[MW*~3 NV mj5p,5/S |5GT?ֱ@lXi,hptSf*zYJ,D$UalȘ*-YP!>ꡁR l-Ŕnyod$ ,,JЃͫSΗEOmyP0'H5{6oܴls.TZ/~)E߮ɼ詼"'q@ `20mtʹhpܦrɨq&GaQ6ӷpBw(Ԙ&ͬ*ʤΖѬz-}] "qqo H_zd+W, U"tR3g"tnAW*p;0a sySfMo~h+M-LW:CP4Ll| /x;kZpnbSOu@Bx !pJ]T0rv^9j!EwA[R&jg]9sꏏo 8 +(}ͮt|۔vQ>dau=:$:6Z p;Hd ՞O'N.R+ΠX Ǣܱ*C h~JH81s*Qɭ2๼ LShVXDY[a(i]*})]Ku+4(?43|&FT:e\WqSU@)4YK(n:z ˭e*V_5o4n Β4X5Q>nXt[""@X4 qgYɄ:ŀaչ[q)'C"݄,HkÍEX?Piyz *;WSּVM- C|7?q7 Tw߁~(<$~Jb]^tz UeX$,5D|mw*\!zQnu`o[<(@HC|`՗mciɍ2E8N9}7[ЀkN㍾O G.O>,.)6K%LK'JS"խ j7]}Ky<2?€&N5C|ZAmky!k$iHwDbWuGӦR 7bH-A.C Q<ąVtaA<S=E*{cW9zi^tv$gɳU(Z9ldIT8ٖUjbH]Z/~l+qؐ,0J(Qn$>'K 7'Kr EƢVgpw2]+YUV{NOaQ_#a.P޴?}ỏ9JzSU1-h5ܝoa(EmP֤NY,vRp"{ި~/h/Ko<[l,ޖR)Kna$6A&'~%ZBxz|'Q\V|_[bEU꯱<{Vlvpv-ԅ$e],@RJO]W+YHtD"5}yVW-]FQ4&ƾtOl<-XC0U„ޏ/\M5Ȅ}q@dZɈhhq/^ PxP hcNN/V5k%'rB /"7Cv@`rs[p^ʋBóB @Bғes#Vs"\d3fOwė3^{JY )͑MJYnpq{yl-CSTiMŻ2?lCE/”:^)uabY)zO}Ws "i4߇5~cqmbE1fq%U-C&"_1'v99#`9 Qckp{r@?fpu܅Ijx[{iҩ!\ EtEp-|&+d"K"g[o{n A@ [qvJbh!1N /Rr:2 & t4T2aG3[Zrm^@牤;/Mc0FUXǎXoKwW ZVz @%-C%dʤ܈3s@ۘu,WI5>U-b^[Lۧ) P:2Mӫ,pfjFbc2}!; ,ؔ aA2+}i*h<MwҔGd[H`S7r,bRIک`Π/4J` lx f u69E& 40Ym9J׌c3UW2l:;Q S :ųDJRaJ'v}&(ɋ陨7*.D|s(`ʂd3o`_?Zqq=m ]6+}U̍,i (JmEBϒܗw GJʰm@'$f)ɯ O۝!k=3Xhv("RSr:h%R[d{_VR>sOeD3!Q|t4[s]ϐ5QY{yz,15m&ರu덞: )j0ӟ'KES)ٸV{MInE J1y ?/W:QIZMCcʤV % Nzb!r_a7,;r_y7G$ݷ{usJXG |˖S œSP4TJ>gJe!Ֆ2VZ׋`"҂H~+#Ck|qiyu _@:7DU/[kVv6M||4YMh!ܶt;E ?\eb5st>r'[:*(i1 Jݚ쿮 i1uZl^SFv5RDz]VVJX ™y/o'HTF0aҨcUn$ׅ6D<8cն85׌I ;6kM>6I͹)")ڙ_ɉ1 Nz7* h&c_jT,~Ct~fŰΐ05_0E7974f9QS?1RI[-\4hj _;!\$y.D[ "<ڼ:腈wZrCH7PUO0˨Y:i8̈+_>Ñ}L<6`joe xUk^)K&/e#eC)4{,еs`<}+p}L;@c' q !H`=. .Ȱ_#<:2st2 wz~JֶF&u Jf #VJ#]LZN8VS]Ts%`ury(Ib.rpO+a+R[hO5oɐ T*ti Sh?_BEA OC>V 4Z+_3Z "SnRڣ_?m(qn0(se_WH}(R̅moTeV#&Z?P`ij=4-_k!z;ޚ{a‹hns3-TH(R 47Ydt1{q&_gv҄4)V&Lo/Y*GO(N |kXzTO'Cj;9up,?u8CA|NBfj|7<2}^wٹM| O4 !d@Yn*/G2dIɢ.7h<#1Vo 0 JSBo+u9O9os/r${L7T͙7/5,Zl7llk+9+‚xeݜҀGvL ڑO`)\q8皖XM7XA]<Ը9(X\xa zMcrxkQU8 gŰ !? 枺pU p<';;!:W֥\2H*xV3/ՂfEKֹُLk^(^Bd33K;Ft|j:jp8$ᰶnJ@FU̦$F._ mfS҃?Du1jRq7f{sv3_ ν/COe%*ꖟȽ@N>bU<)y`>M3_ǖR#_iz4v>jPh _ 3O}]P78(>71ic%߃&@Gs9'!bA~xg,}c?z#V0UΦX`!x"iư !.MyKsfa}©ݞz.Ȋ2ɞ4h^9;;sX9'*jfbHkuDaH5Cfb62m,&Dx-Hz| $8oJg Iz7"' sm1YV;q*|Fڢ@$lMջ4hXytB[Xl1^i=ǁ&;t8gt^L s=:ax 75jM!rPmrBSR6lMF҅Z;ӟqΡ3YG zu3sdScA UWzvEaL:y;@Ii5+oS@6^N*Uft.^'sM1/ &ִmFwtg_%<&},QўNU?8S%X4BQ*:*Q2$&|Lw䙡|)_&9Vޫ&Xve/{؄BQ7(%`GS<WQ%#HPW}"K}<CykZF5̅hYE&gyD:*IJ$`-~avI_1h16\j/2^w7w !5p\mH{o'B< ,f_eO[݈\6;90[ Qm:R +E(nXUPf|hxN@x>6aFˆn>t #&Bq^iȃ kaF&&]c)Y4k B s8 \QKk(R$ӷ bJAk'AǍ [8RVkDSR$$8uc@'\t9 0!+'v[]^350dm;'b&@!ʼnxR0 rw;#vl[֮z#|kgD-JSNd*N1'(I܉2rbxa x}Թ׺ZOWxBu f“+voFVp&rdr<׍y(z 5h Vp@0+ aF5ΧthJ,4<SGqVma S"?Y(ycjV)FDPzY)V"S(f,t޼ke_ݓNh9t}A;8Qd-k!9Y~z)oR(5im/(UMާ~Q8ޢV<:@ P'y)VT__p75bJ1,FpZ!FO'{ٟ. TRL0=BYhU&:ɞk;e fN)78PƆ,z˵Un&[<@3If)gѵ<1N09+ﶀx#3[T~Mz: LLxNG3Q/js3_v\"|>ٍcx7`7 uAIYxaRz|Ek3DmR.'șY. =ҕk>L{/a[j ǂP{‘]YoV Uk-p,cQCS[ R8ͭa-0BRHn=?m#lk@} ;YNG"qxg/*yW() 7Z~ݧ_lH.-arBwaCڑ,' +AqkV]Uv+  : ;YW:1:+*?@(]LvYfQ-Z1J-yY[gQGrZ&Sْ%ୃʢOոG(+Kupv]:cf{.6_oxUcP<"Pb!}p,XiOP==wBCөdSJ!1q#B|"N'bK-ctCzZ ݆D,moUhi# o@*#瀶p vEoE;׎%j]hL'CN6ܿ@@*cA= }3,Q]+lt:05Z~s۪OF3Pa*[@5NܭNg2K:z[E^H)`+Ƽ}6X~m(&ĽbCpyi6u-St>6#nk%zhe Kd$Mkj2a\-Iq-Os#dg=@2dR-ŝbknzH  Z;Pn%n` ;Ey)aœ.΂a斓s(*(o$6V3ViOK p4œg"+!fI9.}\N{^ul>;hQ rh-'a-ps"Jj?BpSp_&{6!4:TSߓͦojtUʲJ(uIMۛUa19uı qT[|NxB[rH7 YINbe:?DR\6`AҜ4oN-ƽ.~Ȭ|ϓע c?\zu>^q4mQXk\hؖ3ښ͖Np R#5M#ʦ!kKj]&~)G /EgӇz\7Z$fjo5yg<)H)++s`$=qA h]x$$>qYP} J;15S-M+Ghjq@Uu/GcHr^W2[q/Y~"QkpɎ0:}iS hvYl1Z \w1Ir'>hϮ2 ,-hdڊ "d]0u01IOrҝ|FTFfrJH ]?^~+"~4ʭձ&