SQLite format 3@ . BBh77otableisabelle_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 ?? !ld4 ]]]HOL-Proofs:threads=2elapsed=1083.408cpu=1845.856gc=353.280factor=1.707zXZִF! X0]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb,+[._:3դhmX[&, (ݺKuq\tTA%̥U ^LtN\{)qBPi]_CV\r}LX^9{} .YӒ%9i YvPJ}Wo㞶Cbnn K&2 i Uy16aq,}:Ԩo!Ak|]F2 NdޑڊJ%E3> of8v\s&%M5| ^]}6]J̫CD%^Kռ7 RqG+cvhR˿4*DC\8-`a4*ަ/+]v ]dGxKxAXQE> E OI"71D={;\dljGƏh|]B&\a%&q9jIC}],5|)^9^7fGਃFDV2}}˷Yh܊d Ãtdg9!ΑOm20gjC.B@.L0iz*%|ɴI(oB&& AY'&FTvHnZ\Uİn 0+X[V7Eu6d~dㅞ{a c/V /gE4JޔY7#TfuY|/Rd\(-V8`,<:m7tDs\9rm(5:!,t;yk#Gu2Ő})\޳}zL4KSvUs_\ik;R̿m`^0;Ffg=P$xL|-nzDVDU~2P-ݚ"ݨ'ߊm* 롖·uK?9~3UK9Kh  =wuһ7%HޥO'L#0µf"BIĉ_]h}vĆaE%@-0(Ha#֗C{\^E'oh%`$8pEo,HEQjDg.2w/+0[,pS3hwoDvb^f;OF[#}&j_uZ:7A$& )Al8ͥaݙ|3qHuutm/3 M|>co{/l;{Tǀ_g ;I^zzpuS T{.vѪlTA$`Hg "øI\A{&v |矹LO $2Z5֝LM}6ڊTN+nJ {+3#:Sh(Sq |nGIO.Lyzaxƶ4Mpuդ|8[MQ 5re"=G2Sv\OU1E7W|3~r-EWWXRC]<\i3r+z${Ĩ!Z &s;9뻦 e+1ыhռ5^A/fSi "~f`IkTh(ՅO츤qq`c>ʜUDezzo{6mQ>`l?}V3idu %Řtdc C 'P {MFo>Ti)TA id^^5!Ş@H3/:χSP9ev^SD@1Sӕ[?X%ƍUX >>:Gg.xY<3" 2^B\`%ֵ&{iF-HqͲE]q=yT[{n}͗S[c;1jPŝ !H-k@ 'Gj+/1(h.Qqr8QJm|ow=Dg:uB%8d3qKWZ*e6x%1yf=mv[A6ʣ.A_J53K'yW MwVv쀷"t5V .,r}*luQXzWȈCaUn\ ,gMM,++q_$F+'bT`dz]ut9ZB7'ͯam!a ݘ1Kťf[ OMZ?Zܕz0IoLYU#'1Hfle݊wj0UsLWV"rr;Hk+dU9+3,cU8v.&YN9O.+.ۛa/: B!Pb4mJݙB13%[[sT%( bܴjꕄ=(n%=fA";7vN[ P2Aȧ/E 0 zNZ#LL3K! ͞! AӄuEsvxähx2=•H"&VqZ%0?˪ׄqf}ѠnAHϒzpXj[&pƨXƉd _Gd1mKE2byz. ',̉aDm8ky4 - F=)J*؈ *vccW]u%XaigZbZXn t%vobi`tkxGvwkB ./wqB9e,^n\x&* Ŗ/  ;=[4}J#JN>#[Mo}B|;Xvs]d'=z\{F֢ RH7&boK|2z:ş )&!~Kx1b|7Mp7? /;w~)@Qj`Ms؟OE۷|7z8IHE",CT+ъ~0ki}=L $XC֮CqȸNCD̀X,_ q * !os'ޑ8_Fhm\6v*K  5U.RL ҏ8" }aS[#cJe^gr5aѪ؅D<*՛EI0Km>DfQ6KZZ);a5% `wMiBv R_&9;h-(DgCھTF-[zQm5И.9p/9?g_DJ^  ! HOL-Proofs~(W_1D,{ 1k@!{n&͌rbTQkhr4Z Rq;޷M'NnziIڔѱ~"-na)e7)E1\f+e+d]I05h!MEjQ.CکaJv1frc)kawJ&jS/CbJ9r%U+QSϟ6#k<IJ8a_,%fcN\)AWGRmA[(/YBKBِ0\3@#5L{6I.~%u7Ďn-nhSL@+,cz0vjEp4iL F"8SGa-L/Ѧ&q<Y])he%Uq0@9/ P]}DbVE2Od s:}' Zu[4)'PZw0ՎMGH`j)Hp9vƯ;a/+wFשםƸJ~)󕧬,OCr4qNj l9E 8HMŇWO܍6_fQf15e]7gȯS |k`,,;`R1Go&^a-5%zVf0H,6)abT{:GpIv34 9ProTX%s5B%t>  *FN=o@f]XE}Wͯ:x50c,S/1Nn.-urgk:Brtnk*M] ^V*+W1x[8esMW2 o/+qX<qG֬r-ag! |GMrg`(G%ǬM!pB%Dr{vM1c%{[V?WU Ӕgm Ԓ˶ۏ 4Xգ\Ǎ 6t'W:DKZ0%؉b/g ~1x"T; m̎yp72%j&9rFYzZ5.\aELλ8ݥǿ\wrvZ o6e`2H64D]himo!)&Mx&cq7S;',O@A{Lm'x k ? f})u-VFp9[;~IoumdazlҡcE7 :M3ޯI 7,x9Xe;lXdװS༸3c ҽ&ڹn[-%m>4ۛWM9j陌pwbp@,gQ@x>ʣ+ n)laP bٰ;qDW%_#_+tqA"C"p?ݸ5VN}Bk!2#A媳tyâ d6{{O']荤C]9Qp#7}1q`B?b9=9Ղ9\FFwHjː0FB2 vuv-Ax@uʈ^~z+_2 D4!҄/ J8;"ߒ-uggźu)_IJ,׎.$6NQ FrvQ2y{p͘ń nuU"S@3ЅIe~.< sÍ11sDMa9Λ$9֟ ^ѝV9"G9;VEM!!*W!]bD:jӞq}݋6ԛh&?,zƎD0N FRآ ɜ<'BXGmuZ ItXwQ9+>6?d4 80AGLI/ "^Ѿܨnߋ E ^L-pϋE3"1]-R$\W V;n.h}348f'l=y 'tIL+.+R\r{F ):tE *]B,g\1!nf,)`IwOM BQQh>o ~PyK@خjA ڏ$ZH_w(K*uV=?1ᩑC9n L)Dא-='vB sV-Asbg`t-(L!,u*~rBp'-ecKO^n$s}d&5@\=z'5k.Q6} k> ּ®yaTOFlAЀJ9'[3imz/(&lRkfc*bU,lYJ&ʛ fWS nqzD@@Q;IϷ48)#{5\s$otU@Lx988o z7fLI,ymda-ԅ Y6ki0=&mߛIESI]Ϭntnoo׺;jߏ6^a'f@|Ȟ&u~$)Ύ}`YX,Fmv z@?!Vԏ-_1BզNAt= }^WTM r I@C.Jra/"#4:xQ$EiOr4b")T)5kyu )|AyUKd*CôL=CF\7ɷg KC~{sT2w*[̣BXY=ֆᄏYv]Xq|W>vtGpDtQI~j %cyK}kDN[Cjܜul}_iTR#ϕ]Ӄnm\XHP~LEhܯrʚ %Uэl2595F}eM6)v09,z?wZh6@*%cuuYåCh:+9~x"bHz "M[ θzlxi_zdͭlȪt7ϥGL PsܐhmO~Bcl^Mgvtl0q5I/e937̤T@ÑJK<8&~_K')|9b"lzb"%[|q_q"7%#}\ 26gYZ7zXZִF! W]ŗXi%96BR%*=a?h\/.APmob%i$ri1:៵'f{q@-(7;-96XXc0[{,K@qWH F?5λDqFXWZ,QDꏐҵrL-%8[ xQcOEJ(PqZOB^,:{+qb#&qA@Vw2 G;({ۀ7bՂ6lz1(pjLOwK`wf; 'rHyGI$%2@ fiX k.\bxbN>TY|SF]\),#sRc OE:%tPhNHUhpm bh¶fLf vC_APdK@l{$qM`~S{Pj^o^ڧs'c?t4/ 7[.dup8omUblOZ8VC֪ P+šۀug\5T{aQ[ELB],+Ҿ;Ě eɬ '"4ʴCNybx~`^Ru2m_b|N`1SGFa=>~#2n8:f! 3Ww  lZ$t5g"XOx&ۮ @gԮz$25 _ALi>ʻ9Ak-zi`%&Km/;BPn^Gfr _YUy%I9I UDW3ȠH'|xP0oZ ]rږ6v4!mκ^r*K!%V\cf"(ͷm44ZD;˜ #0yBu'Y7V4,V-0J$Hoxp 톏Fk)ծ?u$ ӛG>bfB@mߘ3}Ix~0$Mq򣎏ǏY)L~D3pzxz8펑uß Y`Z< =dg.K{6$jIb LnHN$}E 6<{`$BEy S"oLU!g"P=s 8Ж߫`lL_5v/J8|jpu3BV*TE`B85+_ewl'J2dLB~r-o K06Q^2V,ov!_פKGŔz J##Qrw`/mJw%x%1Fo3|%dRsZRx9GL$eI/'Ӳb{W}Q}~[AWqxp^c5M,cGa=ަz;n%*-_L:y،pK? :q:Ψ(bQak"F!Rpl>~J H"Gy-q=6,j'TN(3O^ݓ$=-$P3U{zb˺]DL((\QFQ:vIjUyr>/18L^UiH{,Xu&tUvqNV:S;:ɛ &r"';#P*76t 1GkNVvwiw99I*R-SerT-iIÁq㙸6 Nx!+QEX;{hh9x!4m'eJg'w #V~t%/#-0 r(cBJ-\S ]Ejցo| -~y~|Od'F&Y' eăMƒ%sɋ03袖6Nâ;U"SFR%R.dJ:X7PJp Ƀl"0 04ǥ~U>`SU3[ NjDE6B{Q$6Wfp8z5ض @ k cj6n\&oUZ!BJ .W 3(U/Eqe<6@ \9R7ѧ8ʜD#HBڶnP3QCa<@[/HWr-11@`T yǟ1399#Ĝ!2]QN7|0KYlP{l}<"vg7ۓv_%ר[ FR|mipX2Y"8/oV L!ij* ڴQJHz/`F∽5JtHoɥbF*BCSvuқbt9ݍ^/kB y]C2 I @;M?`{YjLQpJ/#%^{D jbOdk}:j2ŀ3gYdt2&')dPyjHa<;nhHl(8#et8 $505kK)^6Td˔ԩ@b<ߊe!!򕸞^ ='Yf&閮.I}U̸j 02f^cTt*ts5Uߢush)^ȟTAqS?n>pכ/xIYcH o{~+ѽ| zN?57|Usr,sj)W>rFu.ӦckhrmYk+%bL4Tde âFM/肿2E8"Ȑ6.+ d1˗,G&lXH%c60_ͽ{Q.L11uk+t_Fİ6xcYqVc>ս9w`G'YưB-(gQ{E.>`3Lhओg-D_a2sI^8̾/uREeX]NYϩE@nҏuA%F ٓɿMXl.d-u9N,KG&R;DSuF/FRd\ċy?W.^_hD54R۵pP֩? mJtwv{U6YHLJD2J:tg$JϳA)x4` Z~М;1u4ޣݽ4ф~Ŕ>[rb܆ #BY$e)d*qsh!s" R 3Z꿢f)+xr*9#ԂUSԄA m5r#l~W1>R,?r[/ ]8rk]Cz1HG%=0\b qS;2ORC= =dpNYNDLIZ3jRlh*]kLy䕂'3L!oQ% ݆uw(ybќ9vQ+lOU,/ByP H9ɜfVQYV^\_mҵ^*NoЇ*mUQl/oUa"QGu!/ϐ u0Cn-;7tٸtNgH|+ O&c!-7b^0Lv_6Kq(E}{ݴ$f5Z V[5I6ucQv.kJl`7n漲Zd\KT⒈Zd Ev"Q{3!rSφ+}Z"VvF{64tj'/i1D".;#5L@} J1 $F͛,gںCaՉzw/LS\"yQNf4&?kc.irjFzB"Ҳ q Fš=ːe󆭫'RgSn1٘bn4qzk.sȗDp9Gt>*Qûʁ+m,BB}gsߕ%u><1 CW%Ԟn&ީ1\M|Q-VC1_א%憐c+j?ɦU ;q(> rh,wExH(|ߴ1 KW'޸a#G+{Eַ_]3 aC8A)m)&3h wUf9%{?[w˴xguG?]eBڔ9/kؕȋ&_' x~冠 8c^⾧e$ǟJl&V;K(r2&egkRA˵3ȁND(@^Wq-8u\*ham4|Zއڐ4u7Ӡ- $,uC7%|W\M\Tt6X/=(x0o *u8qw~ 0NApJ#L:)lߞWgt8 HPQ#<3F S[3usIUi @q(ژT͂L=-[a7;;Q)䨟W2OלQ'7 W^nsZپKg>2~ Wr_Dڌbi=CG˳$H JDR6ofݞ86b HI:aqU@\A󣿼dG 8ڗrԟeNn~~d~ጺ ,P@v ӺN}Q=}p>j ZM7¢C̲k H[lau$D+l'wՓ=eYKMkV<\@hmS>1^T'8كC D0d̀wo@Y@ Uה(8#{Zۧy9p) c4¶BP͖̊7GW{iJREmbp@)pKsBFŌf䌵Za'9d^sBp f] @MOV㐻ӆ2M<7aRf}[r˅(d7-C> 35>=հX!9jWm qyuUw9ymUvģVh 4re){9W޼(?ᾩ&XXb ش)]zv&Tljj|@PGw7iJe<@yD%#달r-P+\ґWIL>bllͨ8Tj rQ:Sx9dΗ6ݙ+,') ;CdzNWfܚIz~~}'d3'X#Y#I0B/DtҌ3QkB7ƻ#흴aMƍ*hPQ#0FJ1cvG rQHoPPs_םE؉>N9 VL)T܂ːL_ g6yV^ӽD#?-+i]CADBhr.tfaC CM /W &mBK3FS|4H qdܙ\6Ӡ>v ޜPsG䪐$pxwqqz#&^T˲O@ ]Ytſ "]OdR܅6FH87'+9|.W6DFywfx_z,C(ͷfwIw&u^P4{']Kc7$Ա|__X;/ ]d}>$^M5Yl(>Ni>ע6żLYR Ad!LR!66ʶ?F,ykdtۅ2p  tEG/ۡΠf|gT:pzޠQe7l箧>]D ɡjduG}'ؐߒ'F@l25@ަM"&5pN1aQBiD^&im0X&6FE?2\٪Oo60=@qg{ly(y>wֶݶx*r}s5[|k=Rd KBbsi8aT)4b;u-M&@>Fْ*jIpQ ن*Y&yr5Nj9ς/_B_%zy]R*)R'Pjd@XU9B7 XXqL$ fw@Ƙ )@@[[3YMsΛL6Ds9PDaSז}Pd(}5|y `VYp7|,yַhfi>/"g7hbnE|PnRC=tKV%;)yEG)V/&$v#uXU~ar%2BhIaaJ.r4Ȼ ո֩~W A0xh?Gc7;5i(KK4v^hjI᪀@?g ;g,*YVB\^^#>[~/ꄎ. [0]QHfvMysMxbYo0DEUD!p1-K(㚠A⾉~Tt aBnH|#Kh%-)+5n78nF|& Y kZAOB?x E25{n(J9k@=SQPNf&StX+ޔj,)Xr9b:a}9p:0=@{ae-¾iMjm)DQ8>,u)+2Hݨyv' (:?x_ M=R<&>uQw+HNќÑϴW:{șeR9Oyz%TsU#]Ib8Au+>)t8ӉVPɶ"-s5vĵK i?s *菚*&=uU0%1Q^1A%b! 5[ [QG.oq =z:'`8wzE.o!s͓Tnm%s!bC OfNkdZlH{ORx9: 3+4}ץVGHfP-&Yj56ު&ZBuH `9aCSd6hy*i=!  hx=f,7֠9Dhy:*UBQΗr &$)My3cX&'Ɔ۴!['b1Zoδ[kp?"cL"vs% baƗ?5S*`* 9݇ywEvsİ p'X^׃:yRkǭVc %f35*Vr{9{ɝ^w{}NѦ|$ɉ+RB28OT\ε+ դa Ҏ&O+zGb!/MB(4J Q:q4$Ѽ.+֫덠6S(aS o_V xؙ%JΧ"g:{N"\-p5Пfꉴ'_ɟQ>Pwu02i(5ij[\Ҝ!0PX1ףJxF-ױ;I2:m980ps C:,Cc2@'O'=nmJsM}?cbVD1D)0u23 ;5 zl-A5iM:QeS0T ;P@;'="ko+0Q>@m[4nq,Տ+H-[#;[Z*P0cðF7 ]5s[c桍Nz`4)Q9Mҫ"G)hX?crtЙ0BLӴ,hgy۷u &R)$SN3/bHzHRQX|h<̭ˑ@ Ү: `1$žDuNz$! (ltBy-{^7ւT,0 d^#r=/=uyUz %zZт]G5UhTOETrIK 6/t#Ziv:āK8.!*%FSuh8<9bu|L=?7G#(\h% q4kVA}%hXmKeR.|fOLnXh} gɎҩKSxN@wNWFbnu%+!Bv^Kgrt[Փ+@͠}F ϙYbPy,"v9[8\/6Q|K=~L.;iZOf{$e'uqm*@Zr-pXtrD"|!&g vzRNHXK6+7L¨=mM?` x5XRZm e`%`"}4N焈8. . ksa){DS*3MUY ^TgE|@չ;#thnsU+pXYIܴKgQ9_Ծm;A]=Ԅ2ƾK?Kj`PTf>SgNC,}Dsr!Aۤ3'?|^ MCh.Ý He%;f:-k3DqB;;Iƻ ?ĊJ7y!> BY0'u'|u'AΘ/.k:ti[C,8h=?UNi9/%08vX]A"xV]ʇ6~4 (@Y8Md #}whuk>׈`VFnVsqWJle?V:`NSW?e*ia@"8<+C3ٲhxܖ@@I*ŭT>?J""66-HSi7ˡ.NE '`ڀVqO˯[dݿPsdWw+zQ+S$m <LPN0*U!Dk9$o r 7yσ9⎜»v(~Ns+Xm}jD0@G] sC6.h V#yjYis6bmr_F'c(*:ӊ8УC}HA o?n (IyЩZKan9cpRbd7pqy϶=B.vN9e=RVDBQ-^]莨`qeh(~0y {P،pu@XIL2*2Dk諰̱N`B.i9T=zLf<#iƈD.Fe'MlK"=S"um,~/N]Ҕy0!I_XpTX5[9 2b2ʫV \?K ˨GoyU״ ^8EwɓDEtu%2U ÆZTGUV23ؼoɁ{zO~(4c| Wj^Whx\;nifnm::u&tFjHT FR󟾌Q[b:uC?nM vάόbAWTfP}Q7AFg-sWcl* Ne/ yVMW~v%jcXd\fA,;Wpg/Yv˕ $0 νW g?iXOVCFC'OƌsZ rWgzwO*EBCMEC$c !Arr[R^@1\#h儣`GFKnK%:7O]yTP@rUײf+8VquT{.~U[8#I y"iD_9&*Qv(Tr*}E!-X$:n@{Fcl~e{9-:(BXoua0٠-;Ĵn! ]Wl3fqJ ר_eXny&d}`։7ac0ۼ.UeKgae0y/k=:*ngM,JT?}&J֤5*ޒ<ޜ85l9]ɟɭ^Dsd55-vYR2c7jɦ[GԵES㜤@f'0{U ջj~獐T#AACr1$12nS gv/%e$W\ŹN*&Y~-wlt|{ͣ(htՇyȍks91Ք~{IHݫ%|ϋ( |J6OB[R7,gBIK=p,  \7u#D (Ԗ%Gd:Q'YD1 4Lj~ IR;}CT]RaׯX).H kMoioа*߈9<'hw:cj*nS\9Qbz5l-W52rP{1dD6aV Fln !0vb~xbӅ,6zT2H%чd"sc}mEgk8o53`mH=CƷ| }c燶->`H)" ❬dT3?ټCaXB_5$~F4+Y(PD(O/4:%oHoP7 W>P(@([ڻ߭H}t=a Q9f80X\9/ ^޿( ec ߷5 أ/InO,T(G$_oFkŞ,su`&@qgJjKcsY1zЉ n<#yV8=UFJ9be{eS(.ZS4>M8A:QN5_Yr]'}8O9Jqp/#":f1\/Fֆ]^(4xms;Me:pA:Fwf#5VOjZvwt])ïWTS#<;I;낍v ;O>B#uZ%eȆ Y@Ё+'$mKL2OWԩ{A J o]6̫ ;}#P3#oIPf_NMciyR"GDĢOTzкDz=JnbWm8%BU?% L.B"nd?)ij|H@v%f`w!YO98 uuL>KvֱT1GȄ.I zI XKi|d!AąRɅ18cѲ͖XX"LIW`2vƏ.Ag[ @$)E1ӸcqSfsC)'ͽ?Px2ѣ6iUߵz5k2`4/URiyrO3 +P ʁ "Q< C H{yl@X>-Nްz4L*'HeX prh\(OHL0b~Z9ެpκ漎*5J @f#Ī^rѕc[=WT朧i ܆~ɌYyOfI%)`*.n:AgS "0v!gE AV@msۋS̋>!2(/1A'$k_j:cIp,%tg*T(^C簎SЯ³ep膭 FbD}`,e3&c<%[yGO󪇋Χ)Qu\=R;> ~7=8M2f|FO) ꕉ:ѧVM'!}u>3r(ˮ<s$聜,u3-=lXZkg3N MuTO 0|oat-#,C&>LAEna" rz2xd}%9[<;k~Ͷ#.NO 6`j!4 4K/2}ϝ4-s5\~2@r@o+}͓!ϊts٪+3BNĴŬi/Yʟ6<걷ae}ru1 ąb*a9f; [ 8@9diX%o:%mYhQO^_k*:}-בz Ef<7k5Vp+q6~48e%m3i; o4Ez膠uK2=蚢.Nwk5A5sG9W_zax7G!??#JaRvpmb^HkrŅ7EuE(X~| zWiS޴wU ĝ=VgaZ((f(4QλJ.%Mϸ2pSm&M+Fq#~GzHlnA~Sa621 6Vl9Cߖ~$"9릜s+s6O @%DdC[*3e'|S1r7WZ@E=뎻ce#ə9qQ=cA:!1YgC\>Z\vJ={8S7RSpE]4B0 ?gX73 V*%<#Wfדӭ8[U{/̱ [eWͰ%!K qoғy[ei+yW}_1ΞZϕ xN;Dyj1̺ԯkl&m!mf=7v'sʭϽI|fpʙ7G&Uj΁.J1hK,DUf z8]D2l|] (aFiDJ$Xg-*C#p5|qnb qJaٷj`n* >èt IK\psFV> {zb( :K4SLzm糯 puMaPxGs |f2|`j'v"8S-S71\ٜOq2[TR~M_,mة0~&e0z_ɯ/(^@%|ՁiOD0nc?槚:›5!J~X&PWi#6o`ˊ:/%ʚd|ԅM(N;bzpdmU\DԨq '3 r7"v [9 ( ` $=bEe@ՌR9CyT]Atq;2\ =yd),^#)бI:ͦ!6C8]l"h X%Ȝ1@[4cLI3Ls;$qM]{o%_&>G|)lX]xɋbaFGn?D6rdV|>߫nx.40uS,Cya귫'z x'U!H|zp ̎㔐L IxPD1XE_N|#*_rBNl^韤̜͛r.l)Yl'$  VSHo䕊+vc/KMlf@\"Uv :1I_]ƕUgo* W<@3c'~iK.=3a3CBcYHs{Pף34mTPǺ@Lv Tq# hjJJk^ԥ1lǞWI}tCt23n>S5V)ƫ0=XjDx/m@M ?+ ʛ E\K{?68 ɶV8+M"C!$%1j%(V1J?Id]jaa\+q V@!eWȑPHWeNDz h,c! ̕F0L Ht^s?Ry%,'` @$G]l>n<(udyYdmGaJt\p>vUNww>O:EDR9HC%-wrq?(oJu2oM9%8!xov!rduNpzb.$AhCazkG.O9ݰ[ڞS8Y@Z0(x;3)3x a>!Bii=|@h=__9 e]aet͚Lq4#R%Ԍ~9OwGG\Zdx; Lgl2,Q܈턜opvjM_e.j#,C H?bE@0QZ=dB9G@@:~g0W0+Jju:Cpb4tϜMAXp&_3%yZ$Tz4ME AYg<iH>'d刵&8hjEĹS0m|PC;UtTFd E($~-Z՛eҝk̡|PB/41?Ar+:.Э1 1)7x[Y-F,]}>7}C}ƓݥQiUl{\Xg FofZo@4UZj-¸ԶP:WM1h 󨗘ms+DbK??g$%ag9hUJ>znaA*c5w&Әl8d<6(Mj- [ȑњ͸84 `5~s|u@~1FtЏ ى!Ƶ( OJؗD"D{1\l8>ԏ'B+w̄)8o]q:}'-tǽ AЅ%0u`Ċ[rr&pA_Wi-KU6Xz1mzQRA osS]Z_wxas֮}-Zp(0̐ ܖwdVEEWYK5Q9F+C,TYj~9G0k/&G\a8_vݩx;Qx!1H7LP `F:^P*jլ(F<_k(|آH5h5l'SjAhelp*mx(/vuOQ ڜHK R Bc+II}oD~q-?ULO>zQ:eh3%`C@@K;_LjƪQ}{F7F%|eͧaJ=mI,8')Wc\/3iNq%S=Yљ8zGž7Gi9F> _؞2ȈEޔuX6# %p~áHEIV73Jo}htXȟsȶlޣ G?|ab&;ESVI:h5+p*&-rCKYL/eb֘E1[:/MuUKqxb^+-W'C2j#z$iXkۚ&ȭ\P]Ĝ3cpg}N,yrJ/BnIkV3yymR8 N%ΒVYn<{o5M֔ũI`!L)6I'-|2ӆܝEj>Im6Ag&rgEdb"b[a[@$;`cx* B@RoLJ*#ڞ&}$y-RdY*H<Mi5E97o>>)(n$P4a6}<(7U% ME|bF63g)e0T;p1ၚL (Vb&x:4,tOڍۇ6VAxq_H.vcy17Wyuԯ0Vpvd\YLkL!v@WAf3ԇwC {qQcWe]>3XbB[5F:+yL?PfS뿽 !_^m|:{rMa-]>FhYOp`d$ Tژc„ Pӭٯ9 &دd5MIaW6N!ɐU#D]܁ @;fQ\2c^jJSBCaX3}@ayFƨ(Ȫ%xxw JFЙ3oqx#' 뽚v`gl;$*SٟwN_2Uf{0X! 嵙h\ߢj{`lZQl$~Ӭnf % FRv?_ξbZjޛW 9V)yjdeA=ͶݯI0Mh?(qO_6|PTP?K1/2ᨬ$xW)B;br+rw5O~g4OYz՟3[CH|CH- .7Tͣ˓@FjL,by1>w\+> 90J#iWxF0MTU7VW][1HWh'.nHkijqXW{4A"ȮfoD{ը0 3&Ѽ$kl]Vh2ʵgˈ/=D<$N9\3MB^CւQVxdH\,WvE_![ "_Хь*|G~(!`GkhbQ~ZA6ehfˉyҧVΧ]tx 5y6H)X ~ !sENMi{OHdO+|QvK>.+k޶t$`^r2Aܫ5 i!qHyߤrhV79Crs?lU}#Rpp Xϊ>a?Ѫ96GVtj7ܓ{kWl1?k |(# ݖF6F~F:~4zzh\#/p <>lK YaFNΝJٳ2s5A PS5ڍY>Bl Q򐬎;xzk[.I\ŐQ na?I ¯/ ML6c:8x$wBVK.'[=қv7Y#νÿQYE/_NJi=:n@ݩ7̹nZ^qfxVT,neݰ*zV 9w[ZQ5۳C4rc0}`X"dX-FNUۅ fT`g;Sw4њ+)#p6 Uޮ-_Kܖ;sK3ʸpݖxMʦB6,N]V;T?ʹn3M/m (GU̇Y_A? 2&u"ġUsi;! f>O2$+7lHl}ņY)HfU%I=)7P}m0 [&ٮuWB} S亚hP%:V r)H-Psix7E[=QRܕM+D[OBݩɑuEby?^_sQ^GZVQ-KLxl@UY|5y#+d/@C u[„R0L[,&.A=qT_VQb!ח-"q*݈?d%mg IҐ )ia|_nۃs8^6l_A>9R +l˭g ewH(NMG`LuVISK͐ݴ4Dc@l&wq 7V&skٙ bmB)W(*/jb&lB".J,Aݹ6m| )Fz95$5D8v )/ejF8"1mhx]S/-<пI@:j`܈"ȂQˤj K˄ FY>I:. Pb-, ZcRojqnmn!՜ !N\~# ʆž+pM 0Pf~ʼnb |Oc4y >;°i\, =+lTP ΗW%%a$j灴A(#/to}r P>,GD[(޾]c>n[L TvF t_5jbImLsP"N{. 1%i_+q+^srFD6VI?#X :Ⱥ¤ؕAΤGSXQ&/=#SO{C3EyzPQlWk .y*\yVީO6!8FSY3{AO?:wtDr'rrAյZoeōbRO@/j)8eC#\cn:4:ZinxsFuz{Bwtuu`ls~cݗv98W2Jfgqf)@%Kn=[>D db6 oLt%wL^Or $~Ѣi#k!3SAU#Q*(ߘmbep cyiu9=1 e_zMHxIۨEb5XĎNȾoז!˛m3gOO3V}1X 4b=oP I'E/ϯN1T^L$ UZ/>}o4 -Qo|N4 `GU44jGSC^}f\pg$%ug22"GbtdKP^j+#vŻ݁tDy CĨ { H yI_gC̛+Rq>Oh}%pT_'209QBm*_W._tWU4% "R1#&%;#wEӋ˧ϴpy;N#6H_N|GJq WM~` B\/#AUn"h{/uL'fUE[?KƜ M]ܕxB{v%elՈנ4F4UZqT ]vmbT0\㛤>&&;r85[EOPCN)NK@!aq D[lSrG>SRqiotlF<4SMK.6B9ևzĴk+~{ׂ;/ BGRZ0;)Ȣ.=iBIGt+<TK@ӾaNf'u+=yمD1gS3.M]ђ h`Sgmn#4fWӊ{f`9#f ՐwpAigl송oNyLJA6:**">[ 4WՍ1:&(^  9YU3&{P6Eܞp+f~k)pUm_΢#+k[բhMjDWF8M3gS*e8c~S6)IT&I[66=Er'yg'!xHxc CdⶱN^Ӯpf{ȎRl+W>YtJ \єYtpqWՍʮ;Nf Œ?oc|U 6f$~ɇAl-th/8Qذp aD}aSTt/ b0 Ms! /Ъ?Ջٿ7 +V_WRfiP&^ʔITq$y$XRQWw"T6 )Cg7XEI%窓Z[ Zf=_RW :Wpk~-'Y@xq鈃Kv*P 5E&'ztݛ9d8.7‘JDZ&_ͳmG]<%F9~[HaI`lc1dКUtW! ɜwY%jG"* d)<V5[o@d]@kN@$~U$L6gI(=RAـ ?OBӦ,7ģޞɞLJ eK 9s$#W%^/>3sNaOׯq#mpjd.=ҭg SUPpLjn6ݪR%EdCƵH`󺫻`S!nZC҉uAN4gUAn~fhھџ&!y721f;rʔJ8JMy\˂$מ”'N}GÏFH ЈcPW2-9YabTu>ȊCwP>CY <ɂo]N3 ƙɇ^}R,X]݊E |!!t)_QS"{n$l:@LsP{ZBQ^d-al?oA:s=t^CT8tqe[sTbV|X0t;g{PK+uR`Ϫ>QtQl&of(a!NU;Θs'Ʈ @h9,+ KHGF|Y@/mHɀ>ifGpK>(䶫20c`9{WoݟiIPg!1O6b)\,k3 'u>vHndkKVdr8 dIuZ;e PfWϲ/`):V~Kw#u {Өxye} ^2"%moz`ও@ "YY.JK|̄B<`ycP'B>PBP_ZUbRTcLqEsB98}MRC٣̛y>1+_$ QuQطm5DT3d9 D6Goݑf7e<+? ]Y\ mܥ'V3b[ )Y]N;&%O<)H@Riý}  `GSprlri) "KM}`.^%Q'\V)ii^$ĈujJ2&EgRPc |Ń{uxJ?-mx}&޹Fqχ>yAN*q!,Rvhj kGJFEz?}b$7Yo,4a!<Р2Ѭ:&/>8IѯEApncdՆq7'zIt՛ 䉖0 ЂN|9PIO_b5zX,=˖iޯRsZ}t@%\g vG.K-aAF7$+ܒke wpQdNntle'KN)Z=QOF-&:`^SREgʤ1}E'+|\Sg@٥x gkf21e5e1aLj&y/< +k[wADuEЭ`'?mr*$-m\6_/qf˓4 Q Owf\8Ro-`ZQG GT֤X4 XUl%Ry:2q=a[ [_UreH}55`e Rj[51+!ġ4{>fudgE`>f ,/fbs{'VSyD0zNSi[1--{k-gcl:ʔmj/E>nLh`P]Usxq(M&ŕN(٪ h+q_{јkv^1c琮RùGulBr;i7NؾZbH'P [g4E|IR461'8>Z8oB`q9~2ImJo}aZcEC8K m )^n9BVGaK%󪩒!  |ŕ?irwbEaߜaziCeB"l(|̔]_Rq锑} U|&l˄CQzHx;#' oq95'q¸1|-GS%;c/nJ%Qi?@ ]uE5D`Oih GQ UDA:Ŀ/|JvVR~5e"Ah?4 8q['p(1zJw{gl_+'͑rpfkDEn08Y ʂi-TqW~9CiR=Us6z96rA$3]yk) Jkqsqү<;ijvn6smxknd!ڪ^f^_x\0\\*ut})84I)XrfږY!v+eDE ybX396G!'}ϐ7%DĢ g^\ƨ::QCqG/g^nGU.\MOيF .EsD`X,m9К?'^5j"Q!G`nKu4m)fm=;jܒ3/~# "n'|7yM;3$Q8nNbƒܟUG'M}j?׏a_0`h=J]Ps]ťv$z?3naBc$.t {斝Js%M WOazL?SOJNQ;#Ѫ,=B鷇" 4hΠxq ^ 5,"CȺ`W][H +b%,(VZ=zZCщ-QriOGeEa7M!ޱwIUO>Q$ IxBVD[[ `L$M_{v WEe7dr-]ȑm:= $"$$/-xȽ`$=rS*L!9c5 gا;yE:JceD<0?}GQf{U]yIU}~GPmgՀ0A}h1h_I'yۯa-22%~ITj%)P՛^Ϛ02!#L)4kaљABŎ4qKt۫hnCrjVLf訝o& }TF\Ob-oFs~}}KFl ´#q<XME?0h6b fvC ;^T'3Nϯʅ&y 9UCBW&oޅg!ٶQaO51D\?|~S2ģlkZw !>1#A?Q> F&N%y<2#eJ|9~X>2ŐֵVbY=ĭcL~0w:ᇤNEbK6^¡E츥/ژS藻;y?S린WLf"GHhH+R"y=&CnO=M,8i @ ŋMY͓lb:>r:Ѓ[m`to]!'.kBRuxQ~Pw:GnR (_K[w,od(Fְ0hపi>x)c|%ᴞ5QHhbcPߤ>x% ̎? Tߙ}8ymHt'tJ Պ:vQ̛at:eU?7:7*Ľ(ML{ CnXN;z{/ysc-J΃g 0cG=߳T=*|le8)SS%dz*{twE %E,NƀІ99zb+/ TPyۛo}.A;VlH35\AQs?zEU)Q5h6N&'"ݏ{dh#Wf^?G{0?Dlѐ?:k|+i<1iδi*&Kda}츲z(oҞ _uU$Eme"X ?:@*"`ebhtF]fVf ߄s $:o8{ClF=ėH`QbiK-)#O|n`3&0;/ Nn~1T_ѓM"x/>@GbXsTh2xU[)<7YrQ8q6߆& pM2}2ܠʕ< sh+/hjdbH::Uಥ 0dzR m -\2T>H?DYK.qm,dܴyT2: ?7ײ,xb3Nd4 ?-yr j HE*+~ S>v饊CE^rmZs4>dJ=~@pSc9@+CWR]FGؼNg,F) PFvo,UFR~3<BnFaE2 %ÝA5~$X do4m<|HFqy+CŞ68Dn\WRa*9sb`$C.v2s54 w:oܭ GD@xB '3P@؝t7..ۢHbԾ'w m()ϝR~ JI(!)@SIp]+MOK$R$!ԵC /7C$ʌG_{EH]#%+Q̈́L35O?h#O%4@/hjq1wof1V jO'*h~eoY3Џt0yv7-ȝ5/\X jf Bۅ3TY+VN֝ae͛Rucm>%ׂs(.u|Hh Js tz@s5>IDI*%0u+n|a|V݂b_:a?C@s+idᨒב;QS0j +TTR⨏ !H-Sp7-!%oo?ڌ7&-XaxBЈOhWyəo[O}{`bij]R_ssr7} +k(EpUo_ھ [Em% #(:IA{kl,>\U 6փ`b|1Aݨz=* ``Zpiˊ9mէꙙ o;ViPjXd,.(jH}(V\$hr,pl6u/2 ylm?/ OkRá8|дDKϢS#2Hk*BuRs] 4xɧBS8DxD@O:aR]+ڝ{Zlh> 8r]}XCpE((.eE|MN" 9ri?;zR"LvQOJ{HYVФ[9,OݣH3{?Ls@˹{}-$+i)xQ2t{ؤ5dPRO)}wBهXҴiC{9QZnm(aĸYW|3vt8N~l zC&d67 kww^ B#׷ˡ>P{&c%;qxv:D|jg mRE.ی8d*Ë]*䩿I!(ߞ=.{K~R'UP49IB%g5F]QMkf Jvvx&lHvgS#{&]rCEن) Gw71^H "@D Ql+eS%pvW܀/:&&\2 GvP:#bg,X_$|G&Jւ>2 8STn`%RsBJyENV w$K`H?VKb#}Rf1(~>~Zk ,nXNثńkͷ[{(!(@u90?O:% { Kv7SʺPKWݡA 7UϠyI:r'8/grN_TS@5t.6{5* $̀e%¾6}~ϢvI`"| ;M_89 }>\lmļqZYJeqswPC_R,='r9]!1+o%WR#KZj]Ǎ4QLEΟ54FQv+^9Gwz憦ɿ УsOSUl4cm*ETJDaJq#AƞVׁ!ݏpkįz$e%BQİ,vVw񽈟`o&"`lxA`&{HFc}+Q6{ٍd1ڦ;tԛ%(e<:az%/-g>*|g;Uq@,S_|j[a 0].S#IW 1w0G5$^ HB)GEOubdq9\32,Qٯ ՝'ᒷ"46aڇx x,6b|N -k/ЋU9$]53N|@b /QDRPoBqm)R nɥVM_'%vc?^.W:EbTm`ɠŇm4hE!-vU?ʺcV  62ikCiV|y2+~ M89, M6.Q̖ pqޗLf| &BP޼T8tvDWksq"_Rպ`Yǹ՚8QxU5(åzOYbO #$u#J'X%o 1xL2 n? !Ǝ<MS^B˷("r6?*iDV1 E: VMmX|g`*rfc7y'G50󦮷!MW]VG Q$GXEh LNlNlmEעCT W9?􉒩l+ A;&=_:5U ˫ /[.9YWO).Kh V\_є*J/Tfo%JSnawȣ"u ڎ,&W§#Ulxb~_ZJ.+0<9FEA%hf(x; OLtkNy dQMRLG o#![1Nʐˢțk&ՃqFcXM.]+/}ـI#ը}br0£w׸$87v :!=2MxlɆੑ#.(73l|B&% K-$3kSề@M}i,[,K:VcSr/_8B/jUk'47q. a$Tr{;=m۝A/MAk *QS895$WKf0;ku,ey_w.[yx5'wA= P)fr,B@0!xKs2ez='Lo7D=vT0+( :A3KMde|3ӅT\wj1H 2v!{tVKcp s|5f##ȸ޾mԺlB'QHVToMѻd^&17FpWU*b٘ɹR8OByq Zi ?f9,=Pco` Ͱ{[^D_{'.wsO~7Uj\τAO!6鮯kԳN(z (5&FyHFF!Q]ihvD6M舿G ؞~ 2tK9@BkQ˩;oitF1/K"#zah w>)ouoKR{\ _HY'Pxyh}uFA5ʔ)1]ގk1#qڳ> " 0R2,-43=ōo=z+}5s=KC‰wQ۾MMԶinIpk$z5 )zeR)emY\p|"Eob{ki{0p/+G`q> =}хj{]ŠP/fmP֥sw44tT e2x"͛DK)D /6rIqeykiJ(y8b8Bq=0Oγ;0: *ue_ӑm,ƞwWMIcr[>< #2UXҸfNz"XgDuGO}c'6*v D`:q>Gu@X48#Lͩ[^S?X~ 4A.+n{ *Z*q Z6>wv4nuF u-M "0XAZa6rũHf cphV@]p}fWk N?^Ȉ= Hk͌{WH%Ven֓Z~Lep!Fwc@Y(2sB.x.`jYp &Iξg_i*g m%f=MgO1X Ek}PE )JL^LJyFc<>{P u` 73y)Z2кG]?vn Ynܣl|88j $ nĕ؈9xI?5 ]mi[,+<4 (ϽJhD4dt$#נmhsV?voΟ +ഐ6a?Y*X7Jj`{;RAOw4G3+9̝V#ڻwag[O_zt!`wMZ # Q e8iuS.܌?cVdxcp,rD;Bnω;I3ÐPyNz@Tb#^mcuu/jm(l 񲁢`ޘ(ϼ÷;,mZ Vvͭ$H?:pr9D΂ӝKtT,p;[OS&Vf^ᮥa )(;%Ӊs#hYs,Q:Wt㸟pEöt2 wQ3 UNmAT4)Rm4u2tρP{]EyA&ɡyo ;FC?*gYZe13ed4d318ae5476e6fb5a0d89cccedd6bc9e52e31bf4bac648c51f49408130bf9489829be3fa99363d51f1d2e604e283c2b1115ff86285fa295248d