SQLite format 3@  .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 A#<, /]HOL-Library:threads=2elapsed=196.661cpu=369.832gc=18.900factor=1.887zXZִF! _]ŗXf1-q恈͐7ӺV )QɂIrQi7ԄU)qg8 J`ݫE]=@D)Zu# P J1Y3Nč; {> ?OKJV@g 1BDnjI4['Ӏ&ϢX^7ƅAM Rj]evm~du&1z*:,9q%j!h/+'zv:kّm0-eRQ՝fȧbZe.C5ˡ75Lw3xl)UL./;æFa"R цQ}sSfRr~T=ݟ`,Y\S]R"@ K'nA l0q'Ӗw[Kt>6ȷʴ*BLu-q0r75r(SD8TUq1 $!tXmoe=%׿U wf-cD/+=ԘXmgU{,{Ydlua`OUUܽ|)ivmIyaV qxJy%֍%Bk)-ҳY1B; ^f>57!I_!Hw:y{d.CG텵Jk6Je6j>3`#NU=P 47Uߟ?d4ؕhU*LC$ּGո?' UK^ /`mdi2eim̐JpRDNZ=OLȩA%1 H D(nLJ/nmB6'mv%zuY@%F|ߣt"IH<CVگ,"e]zfSW$ڶY *niHfN] {'j@$ΌϨ]k׷aKgXy D2n1IhavKkT.HnNy+`|)3s6 '|Y沄Wks+)K&T-/C-ձˠ)3z1M|8`~|N'F[4MQ;E+謒9?*!:ֹ!ꛠ-FӃTq~%S|;7W.'aa7nX~j=҇mNtsΉ@邱#&d['A`G6Xp+c{/ow:Dtbnd[5YGmJ4Oָz 抹)8 # HOL-Library'c_@Dj?Ҳ 0WKDfY @ObF\"$ItLXd|ŗZ="9S{Fd?C|6l3b #S}{\O^,B-r qL'Nfu+&V11N@FIfE.H hV0gu̜6!+4ɹOcpaGa/Խ{tAe|!j݆ߚ0< j^V&=2a)Ωn6 lA9lɬ;6vwz3 d ;@rjE&YqtR PvZ(#SyQ' yrk918o o9F[ s z-*Md.2oVIg{M o$R[<#5 Xl(|UIWNˈ09)aLx1N26K~;ʍMI:7vT2UXid3UgWh@[^ #(k:vf@F5QÒp\[ _T܌ C*-\:qKZ +A*šs\E逦!=[^wSh@:n)"iiNO BԞs#g'Ύ6IyгrOf5={3"ƛs830PK`;.~[G '*/$psLN|)51>tfsa 0sL#x Eߣ\YQ9+gXƷY 2V?Z;Ya# a6|1Tn&lD%9k1aAnpGwm5F/8U%&g%@֐UGJ]`Ժ#<f'"J_E.ֵԊ0@R/z\ֹgm6;Gr 3hp%bWR&J-$S7/Y'/ʮ]]ԗj[|޿B.r%NQ$]p=jd3j4kD鷵lr׎,Kb;,X'v` ZUUSrOޡ[\s?g={VQx+gRDl_/K90{'rfS=iWaim0vx9x^g8Hw#w%^R^ 1k: bflo'䩝1Rʡ,!x}.ŏ+ Ӡm BCF銛I/{1bvൢ9l2p+Ҩ; ),m9iKHU29Kb!bR1spϘh jCߵ(aǕ=Sقi.$6&au2_EŢ9Aqv1NGN뺄@SqD.DE>/%7kag8%s-~b~XΙOx\cO˸Q0ЫAv(.ÈFQoRIބ]nȅ%(Ι/ wP2'W`}3NqνdPqQV{@Qk:LbG /x3-Ee_>?Q_NJ ;uZ\&vQ]SxBVO#1[k N&9řpNvA55iJQUB N ME7hKN("[Hq. ˾#}#teQtN-LUZRL* k\4h7xu;ŗI/_#QQ^Rg%^gVqc?0;QRC"GB ' V~k'#T( ;,WR#hI&}U[폳ZwMZX>ByT0UrZ;,/lpM&U.y r#Ô*&x[u熕!ƓA6 ]`b;+!RPjMӐꔒ)/N,;m?jwqހJ*m /%Ym0eڙ!{tULp? P6mZ|۹|f{JΒocQ<(K+),IG(E( e ?t숾\Z4v^q]Dba# Lݵ?&j|Y 5CWvd@"߯{" 64by39`Sg{TVv)`OakˬU`~?gJ P_qO OD!3 .vh])[ך-M`%AA)*.{/Pe9׋C kC|ȭ;YzYe/_`n I2~U(|y$af1S?,a*ۅ!i=Go9Rv35#\W}O, 5l*R9P3U4·5e0>`jA7kjm $8*W!' FL؂oG3\* `4Y ~)ϊ_uf8mpٱe`fiӫW]V13 d@ D2RHb46-}%:h$W@H|p]8k\uv3M1f.dַ}9_x`{ ^:Rt^j)y5 .m xCLܐ8E׵;2;Cڡmcu$z KoǶ'\&]BF["0\fM)xd8{r)QdaƢh ѢaҮcj_'lCFuUz:J`5--왨A0uS8ğ&a%3ҕp}>xh ꩨ6qXpnXt3L(p=C_p!N6\qa*L)IG[t};s7ZrЊļcksSȦI|%!Zyaq~ˬRtwG鰙!5xiPxn[x1 "sC` 54h,VCjG@:t񏋴tԂ5vD!%쯾2d~HezHI h,2nh8# 9ڌNV#^?[n=k>hP֓;3\xt sytMʿ3uita"[92*an~R+@ k:&MCI܋plDb=q'FDY:tֻq ULkeus!sooOPz"!OϾ17[XʛTU-~; ,CKzx}P"c^nDsN:Ҳ2RDB媟ǔx+?ʹqlK@joW'u TrҒ~2Gف|4smgW93xvssxUyT_~ڍkEmǺ$B =E#St{)8ob,+i[)\"tY$O+!yڥk^^ 5M~ 4w H>W!ԣK q N`3"@jL7+ю,0'M}JBꙬ6%w}Jj8@& ]rDct `WylsWH"ѐu\_%іeo|'QJٮ ,|Ev*|[~4n:n,Ff h# i.+uusBۮ[MIh3q{[Ϟ |+ۘD#@ᔜ,~V%7wT_DpV-!Rd~}SR "^"{pV5`+pDYh=vQ3d}MqG1(p@@i^?5n8!𲔅50t1^,F'V cl_t"t4m+fĬCzLF)Iwv#F2r, /nxO;t2:fX>DR/֜{mK(\7N) H2sٚ) &*7w,LwNOMy)?[yg. i:aSA'-pyygKu|ǮeX.l . %MӅzEQK`Dak\%O#΃`Nna 5s0 ` .aENEk Sj04u܁u#WR7EOAbbA Ϫz5ο(,%i,:CEhGHQ /9SƓ`I|7fgdlP e;#/r-緉Tk?؄{ Հz٭`4+h@{5?@+u& iCg + 5]IB&DXШ?14@) F:>2&+:Wssq ='q/ r /#R]۸ eܾ5N;dgL ϝEIV4qst# ZG[}d.E@}VT ΤL$nB0^G(vfpYf= ղ@!WMrmylp滅cAzqDgEԗy< HKƒ!^gI7c溹ݥ搣;j*[va#w}ς0 4.vRW-bkds5F81sp \t Pa;4 Jg)L#gt<@$ߊ(fhvL zŒG) BU[S^EډnlF5O)"gzrBЫ=$}tcf&Ɓ7]G[h+y=hzqGL`[>q9.ۥAtRitfOEC@)17qGx℉YU"\-0(X3FW2ՠQS^[VwzM^{Dײ| sWmf@<#cf@Wȉ Y 0whS?W-"Xyr?Ca{I%ٻQ{jE޹'VF"pw*XDϨWЭ9 S  a 4A?{.@hn*L9 =#3'JMHOZz7;{۾f_=0򨿪UKi4ȏD5azxSٸˑd*WG41}K5\l3òp-!Dx+B5 .4j!Mb`jX2MgCf,/[@UnA $Y#rdj쇾ԯ_B6d$zC4*PZKͣ}myèZVźUyDv^1o8l=Ճ:<"00Uei!=_7ϖG7E6nE`i$^;AЊ'7T~g #h&29J!I$ࡤ?.vw\̉hj Ī2rwϓ9-g 𝍄m̖4ǹ#&өbMߤ%&I9$n{fJ q'O.G|ܯ|sY6pfKBPs;Av;ōwM!ȬmЇ& 1J0k ߼VĆX6`~ΫiҒ. #]+jq--[gU5l`-KeXӋ89s$RI7 3z{uo O1^fMK{a%+ Xxnq &r1}vY dC⿝@R~LBo~ll3$G/V.&\cW`E|H׶%{#&Cw{v@J5PW[;ĉ%˘On^ aKvVxv sQ˴#/|?C.2>8iPu<%Rm]%E[b_o@X- IC@,~z@*HU{0ph޻o&%-"^9Bk ^c t#Qȑ(}ܣ|ʴw2.m/j7'ㆉHk ^V ZX+V1q0b+^zL +wqMTbk{.iuҕɿ3ĐY=]c쓎@lD{nINtaoUD{f^d(FGHW(ӹ;x,O9oQTsziAׯ]zvY9+A=em:%b<5dd9H+Tqhi &v N^{J:&PWpB\~<שœw\¶* . V`e iJh`%9Iċ27i)cYk?궶6@։;'; \P`S6L"7.-3Mڌm4 x-#w hc^{oSt!ߒw_?ܜH}@d3^Ċ93X!VmǑ&fw7?hZw#z~Zh:%p%)*qMhP@R;ڞ xgNdI$톇{Oi:Cb+՘0Fhm?*[^H0Ro9e3]S%QTc%j"WxK~_=..U2EG[U3ЈhyGżʖ̤5Ea eux}B.cLmcUi#^L[|@Hqن(X7sro~e,8͈n--m|;xJܓqB%YE#á}S裴 %akNzT7h6<%e}q׼yJ+HO$Wh$9jgjj+Hf؋H\%DEJ3m6 sAУ싨t d^6Єsxjy-Y0)b-MRh-5~8VIN B|ufZgޒa^=! , PieDgFtA:,7\p28z]P@8!&Q9WM)rO|T~PG XǎzO DFpMvv yFC1RԦ>[p 2i4ˑEÄl;Կ@i;:$;ȑdb-dgWp_H~rQ6)4 26g[̰̅"+\tJ~6u&Zr0cMҌ vkC6H"B2X^TFwD,8bRC M  ḹ 555|4(z+5`!-%w 2A晴)/+u7!TcnW+Y_gXt%SLa#GUz*'PY}E0Y1{Me6,{e5|ek+q`CKn9-kc쨼EbF 5@@@Zjmq)4_GF#ށt5ޔ4)%{l3f`gC 2m#Wѓ,w(t 5WgIU= o}ء:{diam_l$l9rlg:qB( bИ i':CrhDtj}_ɒEic| WEz+Pɭ1gmijϤy!bvMFpӪhH+"-e^%^Ԡ6UOJQJ1iQx '{ eʋq~CM[47*"ΆK 7i; o(? Vf Q$Cҽ(~^em<92ŴΕ+ð-WVm9)Rs2ҾƷ[=@^4OWDTx%%gF}ڙw`Ws9L _d(G>!`o~47~܉ܥ .lk4qc5mNIuʓC^ ~87g f[W3Q/>ƚpVy{Q"Ͱ*{‰5]-6}ٱdHADύ,mD<2YM @p# b՜Eڏ2]TQ.MŏVvMTj[`= !";_k7>QP0lT !?(ȳK2[聶w~2y(ʹ8N5dY7"KYھE&c7O!y:fg}*Kk%9NwF}8E 1o<\*;5Ős2Wҗ1ĉ֤jĄ2aMeh䂠9CYªh2 3!K)Z\~OR{ue 7_^ꏖM95ޛ&BwgkNh#79Ai;"".x3+rd(քnZ #u !kNbK-1R9Sn/! j[~&A~jݲEW jJc/JKeH5&&b[R}ְjѳ k;95}bLugO@p6Fp̨Z4Sԓ@tX`\uG?A>?*lE,m\]/VG`gC1N<|k Fum7#I8 -G1\3M[݃PV.=5z8 ,.\L, k-ZkӠ S8L28ϝ*6K\1%N~)=Ⴡ^֧u6꟯ܐ *{9Mm@H[6P gʄtwQ<# vi8]~6IyJ"΄GۺT!ip=c@t{ nS7(W'0>o!89&H($P+`0A+CxF|Mbr# ԰lt-"]bȘY2E: r"2G]KL=#_fil/ ;lIZ}i,VUG-'uP2Tއ,B0{? " S}o(b= PMk"#M2tr_Ec|9|?ƒD;zP0wر&Rxumyw}>8#&5,&gҨ[`cR1q9eɥ >T=}2' qq^ mm~>\$bw`X(߉2ϯƂpxۃlM 4c1trp}1/=qF_\5@'= hO2@qh敶mRjAK9>#Xd "_v/gCi΁05S6'ۮABXl>j(~;pLjׅٔRI 8-3d?e 3f׺zKyM5ǒ|ʾ3'bEp:.Z{?9 |fWɬ]pg?Y~].ROt'%H aB7Qp2L yGDw3sf1—GDNŅepǿ@~IYexU|'HZH!']lodwavEksZb( ˼"W;qp T4P=l~$;e&dSo!RZ@V/:L˗GLMq>ҠKhxctTM2$]ـ ;WL9 @VC+<):3}85mT;c2~ K.•Oop8gDkY4yY@K^ ] 5R32ſRcr >"`E.eJP'9LMA4+GѳsMxx*K߈u P nʀ[+)U ` ߠk: k]W+ z}d$NB\7䓌O0{ WFu'<,j`?]|f$) nwaU X_cӘ* oR R>09PȴTԕ6k.‰Wv(D(| -O`G&fU؜X"%B(X{@1op'Uc&reNRpwݟut'U!:o5H)+0{QJh.j?>\[wäPӪnPۇǝ|ơ'^B~hG7I)ai{;< XX5P4/"`7(=^{$̾#'_sƬo6CӁZٛb2R#=p<.mO)4J|mZi9SíMr6zsKr5E1@ϫ4h3{c# ۳T0zfVX4i㒝O3[nπ^K'U8[jcGvm&.=" Buz0ۤv"ܽ{ cyuL'c7wnR?ފ":9jÀO]Ƃ敦gDŵrnP;0i'bcmjm#:Zq*>jRWSL ;[ 2_7JgΡL@=:y;MJ29SPYU4G.Wc5g7m NO"nMQ] >HQ4*x;n5fZؓ$^\)>-x3xږCߕ9_ _e^ FafA  aX },ڹXN XtU}eF]K '0gllѦ YzQO76`0Kz]&+W)Iͭ?ϦM|R,#" E|1fج)!(%rr`hO;KzbKn;^B@b܆>cL]&!ےNN (&qfntJOV-n5C/@seCÌ-`:tvCOTZ=ݸm$ݍgΓ'ު,&olڼ&K[uDRmaːDhP2 ei>Uj#=-JpaYۇI(sz pI wN# g1P\: oׯĥi7]ڊ7O.?P \oHPI d0wʄ'q@  zf7v7 '}l=${b{DszYGcXкu;$?jE/QKr|{ȤN~HfOjg/d@KjhvË?LId6ܨPŶ\b1fIVTi*$s>tז {'L,{S)ԋG>A:l:ȩB lD8̠H%`gF姺k (rAi%8+'uYRG;ɁGODZvPqk!55RRX\*,BWk 7Q؆nTŽ  p(Qc6j6bw4(9)Pa@i5[;Yh#qPߟ#H_]ˬK)h^#3uPRb+W \4*lïzFqd8AE1V׵ĜaS^&"'B]@ RwkpT\W]]7G>M7؄!@9Hӕ=e4WՂQtEpPܧ葦|'&Y-^!p8e2Q0Yymt;a5꧒tn5<^2z#${ͼ=fGb5F t -/ ^*6,ۅ#ʋ'uE:Qn A^܅jC7fVen6usѧѶVsZrVF%+J(qs0Nt_]ҍAowO̡D $XD ;s5+6nic:QٹI>D2[U<$^L 98&BbRen/\|P'Q˃`0|[T5w:+TQRo  `wf8#!II qXJ v2vEMIPPzU-od:\򐐔ʡ nEfQOnq+^c;rMb뢎["-m+@k#JtBmAT6.Q<. _\'q7;ҍhGa$S>SáfמR' Ņ7sh}U,$ ጬ*PG,{i9LIk&>'|AO]d#ރ 2< *fg4ַ0NZ tݛV.s JtlGSJ3(զ.=u%81s}; 4Fyг-=W)'{&Cz &y")Ad%<ܾZ7Fm{1f_w aT<u3df݆~'BR/l OO+&˜'ތ)ߙ|pJWQę|.f>UO!>UF](91'J%/gHGJL j LzR> 8xm|^\<8:M&~qu=Fh革̊4@R 0R&Q~]5+vV]ۂx@(&(y`b# rF,3NC/ܹAF`+xJQ7@:^qF`cvt[y{;n2}OT}*aTS] _4qyj)9Q@W~mf4_uj׌E`CFps!edSGlbjYb47zo{f1xq5z#>{EIdt3YDeZ_O5(Mm,!.UxO<`%≧wz4T߉6/ce`U4o rFk xu\ ܕne4Xަ$1`<`ncgłyWQA}x^mO/k2GW$M*Ұ_H J %2![,D|ַ8S1r5-̾Z-`E+xcrI|,dqMu[\?ؘtFz>43xeC`iFOtqL-^Ԍ% Abj/hfPdR`wEY?c.'5wRc\ҡ0|DpihZF Dx#;S10gTLeWbQpJ-UXS c"Xsoh5^z=eJtuPq#3`m k!8Y>>=پi#܈i$i2d"ކJi%=~aݓF@J8 >ejR1VhH {f[#L`M%u>ߣu(sA<6'rṋ,+, Id3*;_Íd(?, -;}y# ͫ¸A .A RM?hPy*{DORb/4 (ZWДQ&vӅ7p Mɸ`Xc-6"1zlOdA(Ƒ =vp}ՓCbǁZwO2)6ci)=1~sZ( V=}1oJ#-Ҋ]b$ z6L!06; 6ly;TizM&*A3AH˦MzPﴇQIg> "+[hɨ&Ag2b6~?BVpUzF< +8Tju_ :ͥŽlS1O-s*&7YaPra-1(y a-а9qu߀|XR6JJ3k)!Z+%Jqd<׵9Za~O 7$0O^ĹeUݞgD *OBГ JT?|+=ECoﱵr,ÓdC@J ,AXY LS2@x54' Mt>Bu’f\in u@qCn:Bl:sR81$ vKϸ Juu ނTO-mXzCL2:c%]"a ;NͳB}K@H빺s>I 34t螌ΆEDɒ?6] K2Ć|u2JKM#Q/K숁0~N'NDN'Kǥ,\4=9a/4Z@AoP}$pSaӟSw%=C*'E+ lCPP H2xFQpz@' 5$Xծk[JoiG=x*[׍ zH&~ljwngYZ7zXZִF! 4/N]ŗXi%!OYdQDbpsf[[RA) l(Ff씈~ +zF 跏t(-`1ʰvXmIƔ?^tNY,6%0TCuqI%3xPݥ`?oczQuNom0"6Q,S* aoU_tSo,9Ў{-z YB=Sqpɒpdg9џe uN1 4)rGd'̈fFݷA "  k >V] ,Ҳ+nz(IǑUG3Q/aY ƻ*ѓ>85XvyMWVrjn}Y;@Lz~1>z0J?NV+6lEߨhUfiv`08$1C8}Y?RDzmyG0Oo?M M'bܽ[sÑQJo N Re'G  I%Sv,*a.j=]s#FP] Fq]455;B 6Zs ARҡԸctk^jJⓢu̮lf[գcTPqÔ '28_3,1ByNpPRp#F9RHn n!p.VA ?^=VE+ g6zNWMSm`7ѕ(HV/=Kq=7]CsR<6o$V=g%UxgۅohKs*zMiE4<+\%%a0es ;2ѵ~(x-tESy7gj+_Ft ׹(.P:򎕞s0F`Y|%3ePv{x!yzcrPKao^B.>NVCc,P>8˙1yZR xjh ^^Vbi9moXQ[ZR}[x9ήa3,bo/we-e|+ ߹N?42?&G)(`8}T1e!h|wo{u ^ dpF[1f79W+e+2XRë"iG-0rIxcRҘl 3$>f_H/NirHPBXpiPǝ| |F>X^,{m~PoʶSŕD,59^T=jwUuVErMΆ-Q]Uz?E-*VGI4]qw o+Z " Sw0k7;DS} #U7҅/!߫[oi߈P+οDGX w4hvuyu.'ƚJ3]!u*^^•ځ勿؆Nǎqr $G{ A[z)}?p Cq\u{G:A繶.ZN[^`Y=~@Ʊ3|kLeeB"պsu1aNҢ#+/`ջ PꝻV,vI;x(JAa25/ dqc9R"s#蛱p?HX#uu+iYMqMZZ7qžۆϹS=UkìWe} `}-Ź@5SzIFѤpO%x8M!ܯG,~?E"2ܑP,aFif q6YLGX'Ǽ@;asw^4PW |h4A)5]L,BXaŰ -RZp xxE@# %g;i<3،)=/Uv.^X  !@5yZPRY'2uje'XvY]!gD$jS6 8zs w9gxIя^( @ )I 3}FuXFҁ֯&hڋqc%W^$}AT;Mk2 j[pWO_?[~}{Sݧ;rhhuCptC-u_55Su˞R49/25(G7di} *#GD  v݄힨L>oꛚ8 3cΌ)8Na`@J=2KpG[Tl 陱_FR:S}xrGs^h۟啻[ H\EzmH8A`WL#B {_zbÝ>ک Lut{E>G>ּ+ʺsЄG2XEjyZ]EU]!.]vr=&NmpE]yPK@P6+2U$UC>;غg|ތδޢnY$tŸr~ҖV(>LJ 5oWH:mL1S^ד iS By(O)CNfTդv /R-?#]+:5Ҏ+wωOӻq(7%g2$КdiJӘ)A^:U QGhUyh0o͸& #Y J=,.c V>hB^)h8Av]7Vù_.dejNk]!Q'08 B{ל(z'~*F K=R#fBԬcf9M?vhDLB)Ah'h]hHd᫓ V1oJW%{1>`e~}>fVtma Zw>A啲=m4aQEQ[N|.q#TT5KXg:?%[˦VB譝>/J#e煺XS{kte'q tlơ QvyhU-i`5} Ģ^ya% vn,30-w' B N fJ,yQweCepFDL FP[dp ^.bo2&XA:°ȱ[C$Ђ'm5ucumNE~vWCy -:`Ҫ҉raH{8򻱘?XRxѴp(.iY9uEB&Њki'ۋkGX(^Q.&{af^vEJBbE%.S<ǷQGޘIq^{.3vB)ʁ,^֮5L9p*k>8_6=|1T kᖾUBhy)RE{D3͢xgdh*r{^krpo(%h_~,kKWZ{8nAś+&b,(ZU/ׁdCp !Z]ɷnu : 3АQkPxGR>_SZen-JꀉJ31գY7&Cdb*B#tikL,f{W\:u1 G]wQN6[i_x-r 24aCcPn|[B'&hԱMM>}&1un6p02_A?wo$ʎ![Rv2xl L(:E] brHEĆW7haw;2'刅C(ϭ&8Z6 D'.!t 9hc.VˍB{CIQH>K[Ӄ@\XUdK!آZB/ev4G 7t*ةjWſFO @!W5].]Ĥ ZGX#oeM 0f:d77!̾*# fɦ;VC>E(uG;sj<3xZK5Q-l}ibS,/o'*L 7& sf|[lG%(JV`;~KcլNb"i{c?)0]LsB7o %* >ڱOyv (5(f?\u~:Qɹߌ脏_](2E-ކ|g& }?iPnf1p"="6"w'AE !A /-R*(;tcR%(*{لzsb.'#gLǝWr4~3<g`o%#8?#_E~~5ԍ4i䓴z)VH@l+!|wg\,<ɜ1>,$D+^7-4tpaMח7 Z{,g&yIM 1^Dma(s{#Osߗ0bgè_d0-M=y`dR4e2kXj7 Nq Qªx 3-JEc "/B`.k Wd'q|2M nk[fBa%ȍ2G3q c=՜52`|.k N#{9O)#%^pY(1X qJ7D uL`+“w\u 2+cNkճu;g֮oH.~~iÊ2}Um:5E5@/uUBV7jJJMʹeXҔȚ1\܁llA2";x>>ALyp4̾zSuvJ윬xz scs*S=wY"P_@r]a+ e*RBa=B_sѮЊcqIORƁFt:I6ܭaF195FTԃ V;(xE>hh >é$B<HK5I#~Iu=Ek1QT"n}LI`&B[oe=Ѫ|~oyHx. IXk :1*$.h[<}Ioq&չ3[5wwPN}B7< Tt3CT˴b)d̫ %>wg%،᠏y-{իNߍЌ>hZIMZNQo_SYz0l_Q%;?6;("d0GPxxHXP!0}h`NȘإy\L˻r3/,PvvyFlk_7T_ dJsϮNdҐzU$9-0.zV!v:nt! &"q)cQC?k~7F,ue4@W%?҅UsΟ7pQ?3D5']+$ߦdKf/N>?OfT)! AJ?41#KJDwnAuz ehIL_ZBEں"QT]2"gC=&{D%0+={!(*)4Cօ,d-Zm+Q>HRlXv2q)zoruܞmoq{kHI 8V t*3m0̅+ ^?\ѦMdKJ|3Z5afbMb;/ !c,W wz<ׇe){R'vrׯW[1a9?^܅8ɑ[shD<Oʩ I"ܡJ;d;|Z-f3D ,:3[ףVgJMܳ)tlFSD#4]ss1ȜxBc ^ln3X-,l|dhbW{^< 8*OjäbZр%FezF>vtqn&P&GdB8k)5}oeOh6_iWϡ7I6*f*l⟊dKrHDľ?T#{$o;P;hϠt%?H1+ OtOMU{W1@/'3ڔ s+Vk}S)YD!?/ <|A (s&v9!h8uN x5~'2%~;56)hU.RT4oC6]7TJ:3C# }_ ik)=|œp)=MR,]=7ƀDb^hL 66O̿:-IgUI{)exMh[\"eoZ҄]{)}Q]=6 []bbyMXI4cw/o#Fg<T1t*uط٥h&d'Zq@:&WE?V0s/[3Ӡ5އ)$@88< @ |o!k1Q~Z. lp*_4CvdL.X2xҍv-Nצ&-MJVcL[~fſCY 'ń-{ t۔4Z"<+"Y%#F(8%NZ k4pnZM=$BEВEOJÚE5g/owXC￈ ӿzfke\d/C#V",S(Ʒ5"+iZ~Upuz͝mn{*JP* Jc2L5֑ 24aBCcg(aZ vMǨ9Mw Sk1<cNx\6/f b7xq;}Fq(yTє a\Tho,0ȣ9,ED 9T 钯uҸ^dz+Gugco땻*J;+1??*KEE#*W2aå9I.|Sck^KL,ǧDaTe|w\)ӵhb ^ʦ *Q[3~"uz{fnYGiKQ6Z_;1n"gHKC  y=e8=G7ہ-K<" f*K'{|Pblj^ ]`Wi FRubaxZt]E,ҫHԕ|ުR (ku6Tw V  W&0fMDw<V>V"޵SZB eNbӮk5C@>!Ie:D_-z84|+6hkF䮸2ݝiHǸd-΂ͪʬ@ޠQU-}#'H, dxEך+=BpƤBϒ!)S0uqxoƅ@Ϯ,hc.v;ZEn7{Π8YfWIQ@#XBx5e(%oHB;@y*'C`p ],IO~sE+7ԷWcսf3SnX]K~ :K` PMcalK$(H=˓m0J܁p8 N ݒZ{n uk}g/x%>`?7*+Sڟ6'ROm}S3FC%TyPD)1U,T _[OV&&+Y|ILkw3Z>Ψ'Mǭ]>Lc2ej#,`JOn^r*z}>V>RsuHVeGW%7M O:8I{N@yϑ uO\ r En{ty뺏\/ƙr%.Mj>