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  & &&5T ]S HOL-Nominal-Examples:threads=2elapsed=685.133cpu=1232.472gc=132.940factor=1.807zXZִF! !]ŗXf1-q恈ބԍW_8FW'<㺊PQgdj#\,5e$u$I&AXxl S˾yGRbnZ[ ) 5fm#?aqyP`n BRdh~ZR 8ݧ ubku<$?&GDv@5m%6M.ߑ408&.1Tič*?Wgi-[Dࠣm^q?*LtX9 +;um`|[5.k:%_Fe#Vk{3^&/v{\լNG q4Oj U EꗱfQw>u6=X֒]cU q??Pm϶d͏rYv`z .asTrE/y.%*T h0gBV z3nqDה.e󺍯8( T=Ǟ +؇{ͺ? ZήW2Rjg¼if$]IESɏݮGz8x6RWw$B,fG'M_) JVJFw;nHV9+j;Zn}w Fe%Q\0T&Vl<;v#,`l.97~j6 Ly:,D6c3vk-Fi[K@/; ӛ_ã׷&^^3On=rel[# ](0*1mw(eDM>)MbpEф}סk_N2[>@ E۽׫kXMՑmNzCǡ+G9׫CAw懬fl_HUpr}{=Y{ʬ˼"K;g{@80p }mO;:HHI:[Q|ZP1Դ8&Ox%Ȅa`O-k%D#r WV[4yũ``A,d$hy^܍af7)`vvL 3ol$ҝp(.ZHe}6~_`R܀+H61ų7%hIgͷqY+p`~68 #iǚǧF3m"Fob-( V@hȷ=u8%aXңO|LRd㷭$a\f/t ccA VL`0msz!4"s'6.%K(ѷk)hyRne؄)y%$ uLxٽRMk]a6ј_xdO4}Ʋ7v+:\"fMCR\h Xqj ؁PHP⦴(<7mv&:JHyL$yE zfausyJHV`sꕲj!½u6-AŰѧ#r;+dA/y`nnK.o -! Pj\:$8n'?y?&1 !$ =x8bf״3^ȫʠ͟Z͘,*/X$&|w7!(Tύe/NaCel`R*# '}6˜+9-(`84s6cֳ͟Qb '?ͬ=-rfq[SOR{6w@ܟO+XYq@_b3Xndnܐ\h7) jOWrSYk#~%z_g<)bEQj!)Hg#e3LwX`0 ୋc>.bS;u;`tNnN'd/=$e*i#j͇7?~FU*Vfb#!uߜu(Ha >$in =;%/%b'J+$LMڍ0wXCT" -Щ<*]$HZW"iF Kؙ=yIۨV93^y|eQk[߳GFl&^T PLtNGM2M:Y#x{G9\okvݩdG7.}bLejjbDQ5oXB_տCN۠wϧaK:eF"nL/J]Wre䏶e\4DJ5ZTnpYpSu7CjG2<EjV~Hx;IXDaeJDMdyMUFu`ƁNxI7*- ` lg"OZ8¸z03O7+RylZ{!wm I3W@ L,0nD-%dyɂo=Z^ 7D A{;p捅>'ٝ3>)%zc{A£nƄX+g}3GϝLrИW%p{nީ2 3 YCLs l!ښϙNAr}> UDI uZ^R3Ԡ- CN ~eoV9j'}иx*G}>I. !rdlq/Us䷓0!8?Fop`k#]̧Ht^m<=:sz~%Cg1&2PL[_~gelIo+Ca2l.pz5 ¶eIA讹Ol|TGwT~552ߩ)Wcͅ.KeAMZU04I|L}ш!h\O"ޭMqBѢP8 `QWdܩC1/`MDC?Qqd#+)y+HOf9=ufA*Ι: E<ܭKc%S҂.W{*FI\1z0n1=6f &E rz_Acr w>P,V58C0~d+bԿNjUpfz7!D d@WX2T [杩0'#wABQ&VL6|X@ kSɍeao9 85@%.3Q[6*",ACO 5E"R,c@0O}gWEAw@ը^[ +*vNnڎP(fj`ܳ-T>䵳! wmn`iC۷m+H1J#^q&0T1p|ru=/# ߒh H`/:ls_x:YnSHY|ц&X2[t~sgUEֵ?2Sׁ]Ӱ$x~*UiLmk Pp|P x)H)]D(uq嗲LI@nI{+˅V-mno|"/N>t|.dhl$y휪UcVwBWͽ+R ۜGIvfIl/N[z칹ٽ+`9֏0MD;IEe+#9ug1sk+|&Ű:7;=;/XGv,ۆgp/pW_cZӎiK_Z2?6xwjPǗ=el02FdΏl {sNӚ-5oTwd>N 2odGFe Lg= Mᆽ` s8_x,e^D ?4L-$_ ϲ)zy$蠞vmwhP[?mr1fxЬYXkU`%V@`F3ǂrRwti@E%{vRvHv:^VDW[//JE)>.I=UnJBK Yl2ڐ%} [a`*xECއC4tRv Đ.3"W"Sb$<YM +kcBك ?.rS7p kfh'xB4*_IAy0ש6C rtDbޖf^] @lP0?rV͍S욥P{'mmy&dz6Mȅdq rW%@C(̘JŶ>ru!  R+|#1pWu%0¯3{F:l>p6 YgYZ7zXZִF! d]ŗXiɟ1ʹ l93攀Lx3 a{ EpTpodvhnhR l2Liٛpti[r4϶7ĽS(ùc5gEIEz-7H )@)nxSNwNblG:]ƻ9>.pt\c5<9yR(lP@>5=4zu`9,ϿQ!֮mlvLbic8k ȼM4-vr9wOܮu֝/]N 8IB,e!~Q5G/-kɹ)uڡ·oȗreH+ګ}F;/gY_fI c\)eG t9zMx懠Tnjn~} dh[@3P"/ZX̨^u4U&G%m#ƫB]TAǮK,٤&yĀd^>gYZ7zXZִF! ]ŗXi%;3$< )u`]+OA׉a[d^"nQݲɂﱮXy\5n{0MULwW_8-a%e}܌B0啫_iZ];,A/) -~`TևiK8",{g{6\bƭ)5!G]/m[[j;@][`ѻvԪz)n2z,i_EEģC<ܱo-L? e?]::I^LGd6KnCKy#gl]j 7x(Z8UNZ9?ts~78upK oE-h}kNc!80j|爥FSW w q%$ G' .bf V;"_G:4ͻs$?rswfpvM]oVh_DF͍1| 8Wv1W&>3D3A zs"cV< [ -oba[bK[#үwb9!+ɨe&V$N94zi<vS ט]Tќ*:[P}cK8jHSz"\XAC3(;o wSz&X m52R{Q$]O)e`Vfekڬ$p"EӀ1 _獟:4Plf$]ZF&cHOת*ƞ;{~+&|p-'l*Rڲ}!-ё&0JOJ-.LC?br;:QF$Kbl|YCyGo4lO29@,N5ZZ^ ZODײRAu%iqIՒ;7>7ih_pݦOѴ|(6I գ!9\jAB:M䓌jQ7|Am;F֋4xb!"-NyDg>q+(|g!D.2v0a}z!9 0 "]hHgOA ~^BE@V%R=@G+)ےbC1}w\b8;~'J:/G.oXy{]>[,gIn7(nzl C&Li5".0ᐖh3Q\D0<|CFҗ-CB2It,$"_])tQMca.njUx);w b9}e,F69=s=͛b}l_c0laĚ .lQ\M;ue\C0'! )u|luX AٓCf]Rpe;PRMsHEp5볥.&*b ^ tf#[{3!ޡj ߷Fa_(d4ej+L. Y150ki$}܉<gky%cT\ߔ4fmgb% ΛuBF{d >nm ON֑F j%K .S^5 nP-ЋWofކs_܎G@)9^`9JAIDrOR՘?A_`1#̙X$r\|ѥ_y?XNF&x)vô3TKWD-ڄJwiDv6|V jxP6}.իQˆwP̨AaX5B { ȯuMUwlJWvdf0hQdory5`WZlETƾoWeQ /Yxoqzb~jg3I_YrѰFUI BfYYt.&7psR~&T;n!/z-rHHs{G \Z{TJ ܒNy G/ژِk&r>ئ`$8191J fniaR{f*]IK rF~6k|f.*b=c+QKHrbϱ;eoA_vC;Nj[F彁9:wy0?GCAE?{yl\#&YiU8JQ\Nh8x͢{Vuj AZƾhGpԿ&mq#vG1Jnu9,+ɍV} K(2 a_ ͵ j\Gj,t(xE91~y9JeEBS<#*Eйyv&YWu/ifU$̮A%_3!TLs&VcΚf?fd M G 8_Oa8;Gw~Qr~V8i@% s i`wSORKA4baa6mXT|#ێ6pXf \lSO#RVe'@s;o 0n)q2A̓.ԏʝe$;.yBԺ[Z-5nA_.Dl+ UwlCowJ2ڙD*7aΆqi9i+)~ǒwhU8&ºŮla7F 2"f{ZOC*L9̍ߵxi/9_C,^)HzW' Ò ~g4?ݵIS$orB!*uS R wfX+lMU<$f_1󁸜ˡy{ڥM|'^^}$w\R!6qgMVsQ&QQݟ0D ̾} lp)dC5&k2`ě,Ng̈򟐰\ґpQ]x$o*?T)~|ߡ =+Xiзm_9z:R\_~ V'T/t d>}?6Z%ڎaQ=I;dF<}|wjE2&Rc0m`[McQ/+ӹ08l!Zی D 0^9W)*ˇۛ3U}v_q= >̍\Gv,ɋp7 ,Vښ! k{b;h5 56{9m:ɚ(@mAVy`S) $~t@ԃcBJLZbҚ vw复oiH92 Ti Fw앆WCמ9Ogε6qŜWҦx9AZi60errPDs1q*C&Y1у"|UwFS7q #lldZRzeM(4mYn%s*Pmfo)=J)KѤ-_QIo_-{sT j!LQ~34Ӓ]dUVSe;[6`Ta>eK҄^h_;ے @}{c|wl2N7brO-&Gert 3e$}rfӒ_8-/5>i/j)tD$;1[bf^W%MS͟C͐%\jڎ $Is% Jex:[)& YP5#V)# YTQATdz!~O㲣0)F#l¿$%l]w tjІ1)297 v18x\2[&!@PSWpmp{o0u܆JdbF4/Rhpt &%!3t!"- pMV++^\ۙ!KqOjZsZ9%'1p>rJ}1Ԋޔt$@?rh;sMFv%*aݩ{ ?P ?X&0]ں֎c]dNb#Sf0T&1,=e(?dVf3М~qO#5_'d Qqz wo=ĉI+1aL'IAr<Μ7>ޣpo &f 2W 9HcWRy1gF.0y{~IM \4P@cps0 t" Qհv 6DM;H&"V 0i#NڿJbnn`` ЃA%zDh+Eۭa1>ADž8e?Q<x?T0%S>h͉y`*2wF˦Xp0֣زcw:`EH PߧeFlCNM#H0Fh7ݐx1-Mȅ"jC ,]_ :Z>e>luCeR b:g99gY}6{5@y*ɶ}~ V,# qʵmwMJ#~*( kj%\iwtIj9dQ!EG)f"`Wh6K;!T?0%80>Z8AM ` i}]3`qmYX ⒉`t\눘q(05Ҵa-ymGb&u+:ZMֆ7;^SDA&k=3'S5 JI&5ɳ?w[=2cϨY͔ nuKHs}HGztbp'km=.# VZo Y;Lz$N~_lSr@l!ND@{Rk `)&5!%K2zw uS%Y/Nn-߲kw -&DR2|4!{DEO٬ѯrM M ON~a6ޡ eJK lyC1]s[߉A %%a&v9x4 W囐ɐJ"ZM%(gnT?[O 2^l}(<2V/LL L$*g>ukm[3VB `KwAV`7 *P Cǁm.d*f_K}.]#?)vu zl ?u S.Z|/:UbHҴ ga< C9'j+ٝB(0/sUt_*__9/ @ M qZ+ ke_5=ƌcNL 8SQb>K7)%*c?bbJ d|0RA̹羾N:FC$ELЖBK?Vԙӵ^ر5Ψɓ ?(hc^\i5Y~e~X?2 _DŽx6s`>x˙^LZLKP/ >XFh:"x >#`Ԃ]7㦜Ť8{7A H`;u ;3gb#iC]#OL*b :D*QlJ[JrZ($6*Ƞg?U5~@AiXf>b#P!{MO Q6UGoI nӇozDrMB2Hs;N K/&>~ǐBhʎt^g>]X 5HvX%rj. %<ܜlr-CCpH_"[Z""v V壿k| DK7uhN$"!+:2m4 %H?5&J-w!)x_ƶе2p:5W?_ ܒ9hYݿhǓX8 /]e~Itݩu9%$)ىd>x [R/&65H|z]ܲ@ɈP)ɝ 8G^;ۈl>ߢ.bj<ЯأUM7:ǝ{VNރ1cM'8~W9G974î!ب;Qp2KV vJ5R`lj(e(YeAKJ˗Y*VhrJg 1j8-"%' ۨ~Nɳ$')LaOnu7tkEL`c``@5o])؜5ҍd)M~UeHC4pEiYtvO{q~| AZi!@eOCCR.2(B_#E*'GH`t`hB#4,n>VP~)2Ak8VCJ Lx7K?p 3Ll5 sC8c-nAd_z]}?}'A4$ERXұiUif#: ֳ֧/ڌ, 25Rnq4L aU6PsU!:uNjO}wGS(o;xwg2fs+.g}Q$ n33eg6%jU:ҞާW0J9wh%%kq_  2q-fz3VPbuJnXRMxkL"C8JH˿̢LpT:HC"j'B XQ_: N{pr<kFȦh`? 640q'' _cflPRbRfh"6ϭJyHO9߹J tvX2-W%C5!Bi S%0(nҕI&&u = N%2\6G*6[~gρOڹ^.Lbv8~e7T@4<Ѫy~38 ӓ2R`f*bNW|,d$%WX} RvEE@#vz rUi$&{B"nxΚ233d] *z`ev*@ Xh>yӝou,p4MZWIP,Tq9ƭm!gF]]v,6,f7i :ŏz- 'i+lFT3ۢS lFq 1= ;/G/ż$L? t$1-}jzXAɕbvՎV t뢤zkJ,1:rÿ^AU#<%MkM7ʕ'n1zUzhg:Ysb?Rkh;[n7Z=} ҏIVo5أ@ ev~B2Wio'A92Y#o*9!dZWJȆ¶RI` 4Db=…l:xj&ܠe%Nl%Rm{RiD`S Ԥ ~Z!11x.bՆBȶ ipέ\P;RDaHG+%(_}[=YXTcín# ZZv nΑԜ0n-`E)&zD`={u.YAo[(1FE%X*x F Vb2|r=+6C&(bj^[c8ĺFykr *NR!.p3I` >" i'ŸN%6O9yW=hPOYl vzN~'v7b;oՕ}1?W'΍WS0Lq΄ }s0hl,QֵDi?qi+[AC ,B-71wi[:O'AB+Ggtp8WG-vƏOJҫ Ǟ6,"=l$ٟouz`A5ܐ%uJӽ/Wcˇ;r5F)tA;-Ȥ6"ڧWo.=K J3,o=3v1BgjDT;FE(@ݢB/) k9ڤѵxN3_GRLPi>[^I5'RsbTȨu@G_ %Q7w7'|)󧆧 R6fNS SɃQJ^" 9_$`hųZuəq4@ߌ2z/u`~U1 3fqB 2'dE"N,\hw? ym*\wzM}jP"gi&!n;#8*Y Oqyx> e v<컛[8~``dE;}? 9=%[ŋI3/)̺ꙚNǑh{.8ώ0].C!֑Cw)M!@v-]c= cP )u$QFBElJRȄ/-ņ,yGtG;JQ(0wuP{`W/ݧ%VV=qF +id@隷4̎ 'J%(r3[@AX2Źb_[6J" x zc̨KKj5m4Ur0 a%(J\@AC ƹ; B^a $M ĵm&)jM Vjs|jh1]Dʼo/`F~=R&lvJ KVG3" N (Pz8"Bi >I7 Ìbୋ^E,VpqqӸ t#st{Cҽw$W:C3HiDҍxC>?7K3?(@/! ocOŭ}ɗrt-.SS i#079hNQoث98AFJ\FU0ȏͺ863-^lV'<o(v~R!E| ٦%vT*#lە I1߈wk ؉%Eؙ0z( SC EO [ݜ;yuCnݯP*^:LkNY *jfPva+I+Qp;x[1Lj}hW)s@Wʵ MDJXLnޛWF@o\uLv$X[h(9/لB p,9o3&ڇ4n䷸Gb^o0A}~zI4(R-eB4\DD;'FT`H?#J/[k7saĩ Y;8_e,D}1͋_\h7+i 13\b WQdL@QnOփ!CǚA:nX0D,W %{Ȼd +2X!r3z6|VgF4P- 3r@u(mmoV7-v یd /43UjLo$?uBY nu2&B(W,A/eki M%CܶdäRoj걡|fޡ@Kh (6z!i1[7!iHZEkw_,dџUR o\s0zڧC%L!;:nXf#CQhMEVKo"Rѭ+]6o'FFcەĶ U6~uJ[~%SprYBSo ] nUCc[K@ۏAx7鋰%OǥLBGr*cN0ˡ˓iLoE"C[EyVg{IOh_al#&0Dh LUO0S\n^G27gj3n,qd:DְV.#=]2 :'3*t52&M ;N_"w[0u[ vgo +L@sX.b~yrg>irS4X,-iDߘ8miAcAOe+qJØRYŚ011H ?ۡ𗟋שmLt?8<);$co%{)4p>M-M=-8i")80}.d* Y5v$ejkAH-*U|RaP 6 FyvT@ԪUn@B˹̍OLwGGA1Ue:n ), 't̐!,"S2ӸG53Df><2QB}e/OdvgI|v")' s,ezkQ#!PQE˻8ZX`ĿP<3'j܎D@s6gF?x)l>C /q,O ̮lb6/SR0:3JBg!h&KA cqȔA F2/kyYLsZTHTA{^=Dz me 9j[&AU5|ᐣf\n3:voGerB-j`.Q堗v:HH׾®iearG+^lۙμ#)ڋRk*NTܢcbLpxFđ|:lCd߅ޫQ4]m}[ $ԧ7?)Ʒhn<a1`N΃ $ Ǜ.#cɷδ+ƒs4 qCџ +ZqI5$&9'n =JcQIQ!?`{淐 "Znqݸ1$7ĩd3t5xQbVݵlRr`PI?p\i7 -B=t[ ?d)BL,ALCNڑD eM-EuZk@I7^PZZe'Opm5,xj?~RA ^x1|5y @c& ϫ4<> *[}WL) ]PK> ]*eecR\+ybĂ:pFZU50H@~Mu(=Kֹ#! ,8@ }uط7JŐ;%Z|+'K)k[ T'SPMxsRĄ3;\z>. ɯS K7$nvH+CPU5&h MW0ɽBĽ`ZѾ|LxB\DZGG-U=VS42ʁŴ-7g Īۡ0Lv{kڌ6:~=5^Q^$)yApzE& "r3j%~xA%D4pSԟ}Czhbw #,UUͭqq{1cLa @LCMQ(WW?gѤ #£Jr";?7&2|b ̚.CM-^T"_Dl* <bd=NRaX6R> 8oBKnP < M(O1֍WecfZ/ƒzU:(աpATݶ}nP 8]vAcFi}0j;FtHNRrOJi)6 46\F~H.5\ƶ@@Άs u:j3DСIY"!L%:?R<`t!ᝠUAwVe"~nrFTk3&8CǢ"n2Qy'Xg/a:7cq-5]s@@ED *Z>yK(ns-5*ߟJ5OMt'1/}ɕ5tIJYxXR%Xa<5 Ƹ`FM& E%ُƳ xޛT" pF+㽞7ͻT=oBلao日g=N}+ i)諉Ur)AYoЛޔ9z)4G+|jy/Og=szFFR1f<U{j~F$v/F0X+?Jc^q-B Hu-@~d@&5H\eY]yÐ uhSdF\{]Q ͖ 9M?'tքOxe|MBy_& h<)'%6q #OdM>4bEBUy ЈPq(i~\xHL()>edycA=Y>dzMYi/jÆvx4waxHz xX{Rܴz 8{r|îvr:7A7o$eISd2gQ,"d qɶ 7z*d4&+A-^No/`Gcَ>Fwm {gxlqu3Cu"?e'"~iGw9dgeZ{n`oW+>zɎ )3A@%-{TvE\~E)y'8 ^Q+Մ"F{(j$~ L'k>UH cd}$#Rxs\[p'Ϙ_պ]6R,1-x3%pbA1[l fDSa-vx?NT 0Z?JS{x{|{eڑɷUx64 m7 Zn]-$p5JP5ӛH%^nTрI; m˲[o .?=g0_ 6e$z3ɫҋ>?wK Ǧ =%Ok:\ kFty/3vWȚRëF݄?-} '  T D,(O9u-nqfV.v ĐL4v@h(L_?e@2]Ռ)?M u\wO}DL479K >Tȶ(szK>O20XIzJig~*!"}96kP]lz7m8]ÝDYcgM0*`=<N^n0F7~0M,@:`?]:U9kʂk;,[vYQ= #ajJ5w<09$%?^9۟F&] ;%[ȡK 祊aKe 3hH'*,@Vlo HX24V+k w}3XqF:L֪L|f/[-E&0 v7V L"ĮG|!p@FH(#qJ,RU8-EIY鋥cŌJO`3bT-(UNtY^nrd?ْ*W-3l8 `HZ$*\' WTI3exx0ZkdѪcYfMٸTH:$ZQǥL@h_̪YrOĸjhe@IM y.^`H:_TȫY95lBn]_]TKg駖XciKೌDzx5Ks~@.U M\͖gT @땽% -nʙR .Ӧ2 D"}h`֔3DH6|j=cݘ"͑gKۙо\E}$"ȵGb10B77} BV+bj"9$Qчٌ}imތulRjf|@uD[p}#J0``@o XBLYщtV r7"qZןoEϑ8aysɶC-1E*% Y³Ŋ{a qH]_#i%fWGtYFzd\/^9Y"IÙ샊@"Pʼn倲j T@^8\}O8 ¯R#c Dߡ:]2]i7Ret 90S@K±`VoM~rT~ lzI~ *  ]E9l6j%,$JІ-DG%3t15l7BCr m;1>:T:IO1!@$< v7KU+$aKLhhLniTJ<2N3 &ul ?y|!؛ VMT"-xz|v߁Őv'2&n(N]Qf(+R1j=Aۣ!6}-~U `y-U!DEJInHU7W!-O iuV0e///VPϪ[BV)I+d޲pzȄRN\șSd%Vۢşſ"[F7 .24V ^#c&d&ZD6N%V]'k-܀ɓRo7XhCU1|K8 G)e{ ?-h=%в)S &)pTe\vpW} ~p"& 4JVPPR)@+qOwN&2jUxlgvyaSQ3{I6 i?Xlf g|j]@Lm\Q> .'i=n15Л7CH6^)%ۘ']i~wfpyn s=gr}߳r/Zb) 5nXxUɀ+wE`n16hiΑzFkq$Nɹ5Px̗2ݡ) .EfWVZ=|ŸMb%DmoF}Q^wH{MUXfepfP *ED)+?ʨԒ$Ca8f4=DO ?PN dP "x7MK y{Ya(d:JC*ćMGF<8L3$@.q+lmJ;oW/r#MQ{,,?0\qp}bIK 8,xi{g &YGiA" Q̥)[E]=O\3׮eFRjRYɚh%Y[klՐi>;1ĩ@XA4E\~onh,HȺEFQBb6t=ţ\8|wJ $vׂVڎ>j #d3:uY-d"\%>Ӂ}e&Z.lZՔ}Ga̅na0rlcI{JՂ$!Oz#Rѻ (0jeLީIuLL5mȞPzŸǭ"j:ifcE,HL3LR~ lmlځ2+uZVuK ߄iF^X0 \˳1U{Ý^[[U rb 2K(|b9؉5ʡS- ؿ[f*D`Q (Z.Et1р6Q\jJYB]$>+6ƙȨPW^L~bZ:]h_hS2qŃǯ2(=1ASyy6 {طA_5IJȦ ALH_eG 3#SYdV.ė치RFъfbgSy{ӣ%.bR5͡TFQI6kt#M@~~Yj Z儛ݧV0]W 35ʕ[ f:`6OLOr(`vNg骉Mop׌QF!t5\̹n ѹ-i@ :Vl!:05񎺁 n=deZ\lU,"('iZq?Ay&~"mRYs1`AKdooL->J2f:J`WhLZBWV_(WF-(°u~U¶KXqd%ptv#r*[Բ湆zTBC1w6!i63?#>4=cϲNqڝ}lK)ِo{oYæ-+W nkE/!;}K$l#'zlh&ԦI&=O4wJ` ?$, +)N3~qnNyhY~eE4f}#{7ɻUk6e/;~OWIsIƒN-.ElpBNdx2hqEerSɢߓhG|õX":uPG1]g9.P`` vkkln=:tőtyCyqHnNO/}$Ki{_᫹dCF4/ɒ]L*8!¶Alm,Opܣ[:dyk: sv+J "Ft@>ioҭ f{"sHorb*avډ{HItL-r6ixTt'/@nkȅF?a5e1($ܯ;^<œz ']2\o h .8 6(3yjo:|UsM9ȼ$]\V*b)_eȽ1Ű+N\$gxscbg'L6R%n8Ľ9B&H8J%OwJ׈}k/ldt2Ji>6jNj.- .c¦Ep B;4{l o @Maj$KkHhtI9zcL݃&k%"4@pOJȮ0骬j? jk >{2&Y ! -Uֆ{עs<lJTVތ;enfx/0Amo%qnr=-0X@.p"ZJLM*b^ev"~ͲU_^]@EȰU0G>fRkA+p@'{FZK(7,H4 +62ǚV55V ڇpCMGPނw3#GL tkM4<ˀHgM3З{Zk@htC9H?0. ?MjBl$zt p"ȍa3:V}ޙ$㼓`=s&⃳vΕ}/I6L8$<k)("KU῎"AAgD;W ]j3(m2\ 9*^!!*$3XkSTM.;8. 2L˳t0Tԧ*@\hQ8?8>%>f}lQy90@1frW.I3i&9.PŰM<_m{lUkC>-^ve}o$?>ιlX- dNQxXZ7)2w*2.Gk*o=s#kTґgݞmH>zG9Ml1|MN& ¤r/~*:e\ab暡šw60"5Q8+PAAd(bLWy]dM"˓yQP&KVz uUBvd)p"ĕaHu7ؘ!)%#CaK25NY5 yMڠJ, p`m` l 2RT=)Zwl6fi/ 9tAΧ MCi|yCk#Θ4uEZ[uƸ[7" vm0jKyݫ ISu7y2PbT3]T]xJX8eYN6nZjQQZiGH9)r#" f'4w:'2 P:pD<5)^x> &n+ jߵώGHߓ$0{Ol>,ƭYcڽK؈U6 mg j|5Q{\ֻeQ L`SQluq=Se[CUT™ɇZ3JBy\p@cO mM$&vho$%vbŵ uv}8`(;.(lxUyYga \K@lOؗ,K8I.ȿzdq0 `X}`kvW!23avnK#jhdVey^yW?' 9ρq=Pu+)q\VY}Y7~9(b aJ1Va㴾i?8@DcQτEέu[I!T`&Sj(9)y2l8d_ kNgbK6!8N/_̾$2-=գ[: I7[;Vw 1-[D&*5/} 'NCL ~1QO)(wd@ZhͥQB, X.:t5dUixaH3/1~LJ]?uVo3ֿ9k:# j$bN6VS1O|H6~4g[rwDþ^g)5!XBQ,=ۯR5L 8N[xmr2#df.p 1)>|vF;4eUB5Sh!̄] \> (?<ћirw|z^8|&0w Eb ,Z4:J+E WTvw&}{6VXfߥ"pW]%K&%g87$;c͇.F9 #GL{,8|u[hs]Mdw3`:fyF/vbÜf0Nzh!H*Mp5TD";yW{x XGP=!Vlp$3D'g{d[ʾ[SZG*ҺߖNq`>j+ ":{? T1Dņz6ZnP^ :Vx6? ٦A ķ$1☡u HX!)[8-ZηkcU[~D g~z rszx$'.fЋ27zʅ+:-+`~웜 aju6 Bk.)E~9;NI=ʎa h/b{ѝr=k)8_T%w*4 o Uap]Ǟ3C@cw (? >d$9eV|*W~p-0暃,yw?Z;Nd3Y[@% ֝[v"=yti@&<7iN'ARG# e{ ܨ5++$^%Eq<h=C߼Vh/U:R+a5j.Ok.ya2 ^k)6E/)Pc{66$oND y U=S'|1Z)v 4]@~pRw^޹8bF"XDHPZZry$#L*:Jk^RHIF- tȗ>ϯ^_$1۹~R.6ja>0Z?6~%5 X%'6'VX4`q;eņ4?V!}q~FhJ;4h,7=I0qt).ɕ&)P|pq?"bWWj 5 \<5&jk$lm)}+T(wHޥt=~qCN=6$v~60J*>MȀM6 MD{f)>k؇9DkX+Z.͝]A6#ʗ6~-~rTѻqif7dU?]f'UxNseX%TK2gD]NLA"!K?9zoi?Ӣ,ބ`,}?t7aeD/ 1Lll]ʀ}4?FCƹ\Y4TKrpBQ:G5t1 Jd4o 4ca#ػ>q/;-4U{faVVk_ M#FZ'۬tsSmfիR h 4\O'I?56ն=zq:O|)_ҪLxOfY& ._VN$k(C7j6qbȕ"oX/"^BTzT^ΡݏZTH[-S3M)Ɍ?ZƵ@U8C%fٕ{^u&c{P_#3r.݈" Yo/S]mS0+R*4 _ Kњ(b3vEaЫx)~ߝI(e7cXrdރJC9b"8@5߃l?CQDgܸ:F|3c+Oz5lޘK>TP=Hu}Q;z+!n YvCT)ҥr tG7s]7>v젡}u{Ku"lB`{wA, !wb 3Ya4oM% ׄeL6}O9ϊivU Vp]*g jspӜ`"MWkdzRa[8 C5Ob3 d0cپ3.b#v|zD{Ykg l FBu9#s#n`[}0:/a!蔟j/jw,I;AIY*/Y9JQ>OԜb㏥Qd8Cv.b=+t&wo \ \¹\":Ŝu"d-zA{&`4oti]mHT7ms9Χn nwP.jl&BvjZ/Yt"Ґ/εs H\LΏЗfy4"A$F~sM= lI~/;I&"~ 6. *LՌvϐMy ܔc`-)p:ݲg OYJLx9d#p,*,aQykNt$[Btyq M"ޥa4|M?T$ɞl˖nc-@Y0C.&\/yMMt(0쐅4CzbE"1qt#SAzؘafLY_l jO%a#"aJ4_y|9BrYy\1 = :zsG @-̨,E㞴785]7bYZ7/ٵfxI<\w'Sf`k>2܀O,w=K&B'J&*bKSzF7%(@'Fyz_D,փMx]ȱ б+jx>~LMkg.@n 7Ę;DHW&(6RIPQB );/ bI0CWA:y_x6ue*Z|cK:%~i!piJHoZДDYٕd={0}StNZfZs¿˞>Q)N\אi 9$;y\eu0]LI"يRճ/_&w -}pEvL&L%grE 㵮 Xoʼ׮j=n? ?WѨHv,5iSh_M /F)LR/?yf.NMBǣA/v*ZVC9.x*G~j_E>Z,y~/nWj.X>S2RԨT>6|+ pW^0v P#!16S_jf,\ {ԏI{Ͻ%l3=EjWeglPJ/Dn^qNiyZ`ɕdbt棵J!i쟡Yz2GKP&i |*u5U*I0欄rsE G)Tw Z2[]Omw5P6$8=ɥHqzـiĐ!tL ^PRM,50΅^W?Rij}Y Rx P_] %?bAm JӉ'kK_Sd#,bكᑜWF2]L`rj$Ұv;$䣃>;JӐIe:78N{b!d[=5|FKLX4o;;r3}E"dMK9-9F8|mO :苖`W(iX;H:D`@opݜ%&D ŒlZ/ҫQ¡OCK¡[[}PV`lCNʩxsGݱK 琙ozc?!(.K7NŴ %ǁ]w ĤxQ,(=QNG&coFf&comX1uSr  ^> SEjIbUwxc$q,ˊܕ'r+F6?FQsr:g |Y /Gpx@=|Љlfh V  7!weĶ29R\\,GUB˲I6u6HP暵W6 7)pֿ#rHP>OD_PFs.9K/!q]܏kP};J|e6e]㑪՝eygi|1ScT8*6s}8"iZ xi@ oY=U:h^#"˻>̝eVZ{cGu v3w)R;Cp(*.r<6W4ṡٍfJax?;p;}R%AWoXRPNqot0l*8͇ݸ<@vG[NL.(:ZaSR\> uSj"}ߞ|Fve % O7ax%}~Si44RO Ҫ Nt@v 3 Nͬm+ 2Ye~n})rJ}G9KO݃ ~bPMDo̪Tn/XA"89kRHZ][BhrXz' 88)hA'Q}^Ps0[y$+ [Ɯr,2`DcLqvU2Fgxԯc\gY`Æ\+ePZT,+lClKz PCgJԋ DzK+fMW>/#Hh/SD:}U$}Ic{Yz!ȣRrRXC'hH[*> ,䘷pvkx>;ƪ޴#c.X70W e&1G)1h@:3`̫td_]+jn|)^ګ8L.Y9Ş] A "vtX3ۯ*?10wϢ1a-G# Kaǝ;t*Rl 23ہ C?Y>ڕmC2㮰@(=1±^I!l*-l& s1[v\6jϒJw <#b@"Z ^GN/Cv8s~ $u툻wQF;Ǡ폇+Sr%^TN^;5t Jj$,à tj`B_B!Yl[a#I4~O'D9逾y,w-. ^J:m؀j !J/R>lalJSȣN|Y)]S`t y4+xhp;\96 7J.5ߤ29:n$D;ѳ1^u?Zvæa"R}AW f㟤Y4n/<;]җ&uWҵ$8/thp㕣g%؋' 5W2Oth(x̃ ׏vvMnr&X ͐bu 47.' ƎF=E]J!a gx7lJP3~O~sZz^1;d 'pFF6DByҕN"i51C;:vtzj%\'d$<[5?vUbVqҭLY< N[.%4~F{!]̖ '>]-\kn8Qw f˰@ZB8M·7'aFX4ԝu; ڰqH:\>g/2Wa>mT}1 ¸(4(<äS7"D Rqsb3Ҷ+E:|hOdqQ":+ b6pA_Tv#*[3yWV.exǒtm7x$L8G񆤃dz۵`V pPum~6$*$n>,MjSU3ZH~G&߾ `t@bkܰK\c,^V]|Oelu'kIR%n&:U;wn"[g}4 42ΖG fJ`.l##z)oz꺨-iNQW>/\H,,.#fJ /]v:fS?>"jYt5m/pN\-臊&~8.*Iwe% VGy}[?ش2ʤUU{@EȶȃvM$іqSl!, )"9v\"m6)`kDIסQoYL* tQ84_Aq1a48F#מ9XQ!¹@_XWҴKySy*ֺM}5+8^B!2#HQU0jSfLNJH  UjE\F%cr9_Tg6;ύYkYo86JabZChj۾۾kR\XqP _PF\\&9CAoV CbL_Vgo5Ӈ>?tgr@hMAP8ix&e[;FLD^@![=q 6qyR s^9l8]L4#_j0Y@,$4i; !x<% JJvo+@EG[uwE<_}6Qs3- :+&8L~yh!j{-b]Y\h@>(E {:$B}e.p9OP#{)ofd´"N@@l]+Y`