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 !d ]]]HOL-Proofs:threads=6elapsed=782.398cpu=1838.676gc=221.584factor=2.357zXZִF! ,]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbV:ݥs0 nlZ)DMv^Lϻ8OI||}=cwj/%~zq]J RRkRoU~BތDXwCoϒW)3arLf>c9Jٰ$"-ke0PRg#Q#: *bO?x&k)$f@ҋn;% ^kDG]WdA{1KcKxۗcLbZnob$y6d)v*,HlX)?̩}oO  ! HOL-Proofsa&Fi"m[?tUD+-~\aI?A1lI*ٱ>ūæ'xmh_5m14ڵ?1X;Uϟtϻ9m gì'nj@^4l,V9P6zGbD]=Kwc`zc8fp7ctLgHXGhzZ%I%Cކ78  9.H =Q{w~ӝ'Ouɽhm1U'@ɚ{.ƍ7L򹊺gr\aLa 9kPAurϤܠ̔jggP>GW\BKxسhhsgn~,q OcGउnM3Nz׊J jU"X͡ BS)fYFK,Hm|ܝ`s"u<)^fa!Gqw0'ˈG;9[BVK/-0l6L9=B 6+- ^Ӓ}ՙh/db;Ly|.'6%m]k|wHv@ov?f9.!(c`/*IiP?D\δ,oWcxN/;r-|m/cn\rqY6E\OѝlB!!p KA@ݪ-hUy#Y'r͖PNnyA#YN+J+] O{ s'й63G;ꪤF/^6鱤 Bࠧy3B_L8iŃu VIst|zGW*B5/ZgZ`5hqM?Ipҙ,:\R/<&z|U\_p{u!c,vo?g70%KR[Gl~KH,*`fUdF"0cmWZ{08NojՋ"iʏmdc~ ̪Xb)bdSB;xzlFSCv>!&ef=>_G%C(2k ]̥5m0D]iňB6[(=˺\ぽT5C3&}J1%v=΂E`UU#!.2?[D&Թ 6S+3Ƙ Dm"ܶ*GOɿᖓPu#p,O!!O0WȣOjQu}uCoyGmb%@t<$t|`,?Ċf :wx͜jvrg}4Me˘OL?&aSx1065@^+F8xU?,A<~+ʈ4RMha '~Ztyɒ9"*&A}xvvVAbK~)&rd._jyE3znIl#aR=B!+xr¯Œ >n]RʵTgh0nR؃wrfRQF+eM+@V~##Ɨ׵v싘Y~$Dâ{|78Dz[YxY2HYHޣXb|1 FBDlAhz@ #}j_r'3X\UͩD>TBA;%Ш͉~[5w_.E\wQ3^3UH>gY+,ٌk Vu"ڇ+>pV2Z ᱱBwV *=" yj-jU"Y} ,<Ć! :ap |]f96kvȗ ZnNZkq]/Ei*jP# 3?q?Ə6֡C\2k-'l[~ A8| p[䥌6@{+HVvE<6/ P09ȜOs/!x;Hlt>,:${W2xfɃ 4 v͜VZbaD^(6"X7 й9HAZ{W)=թ`X~qw5)}'2kgzAbs:89eLP˥Df!ONŕ.{6ݙQEF}`rkj_]+0Ldy:1N8ό42[bD5 橖Jx-m҉n7h|7nDΆ]p+V"gkݐy{J" eaX@P> RG7=*/t2mܵ{߫-Q0}fzxq ZJ!1Rfdx'\/4ptɤ_/p07!k ?uUKeh4fLf ۇ}Bd\-0F`ο>AIvɿC-O&6\B6^b>ؚPSmEKmpgpŻc$!_h-'с3Y.P 5h} Md#c(wO>(X9 j\:kEW ^C/. KL@$ك~v "/T}$@c瘣n{M(w.%0Xsu;& *wyl]/wh~e{=?Yj}OSu(ILbG''tDc e5ҐAs&r >O,=9?U K͎t@XOޮ3C**4c2_N]B'Tb>M3>5誑52{#z1r|)wҗج=|R{=R-UV6gٱgYZ7zXZִF! o]ŗXiɟ29aoʼz[%U>EM!!B0M2~GI+3{J[F~+ dtCtݷwq.,qQdn5xXbAHɴI/Vn> lNJe>MV}/Qs\kT ҡðIADNh e{2le].yHby$Z3d *Nl5d_4N2f T+Jp 0,oSUu+V*t+g Bjn')RÉh$#6ۧː1!ɏ(!*Si!^˲qa|yUFc[CcX=}a|Sd"ih׈ x燇ӟ mT(@4gs+Ыh / ~'Xǖ\28Z DaԱVyM$nhbOh T/sq@KΒ*uedvku2jgrA@r1ȑ&A̼2Һ kGP-T=7R z(/ߝX"{P,~KKI"HHctB8y](ξ/Nal;u!P׈F H<Q$Z:zF$k=˻3h5>Hxr}1<;@,<+lqFr'7tY2No`{eW#ǢHZ|[񙅨V|.]yxH|[ok@mRm|/u#I.# QȭY"#eG v.s2sFd,Zh&P*>Z=q#NO\M;[V(49VrNl^X[<SrwaxJ"3&GPbZ^tH2xI+G? bD?{*Hd PxW-O)C}荥4C?jPBd4pȼ . A =O{U.f/lGhpzd}`)4J6LxֹRzodރoV8rtġp'x7}, f*u.N$V[ŠөRNҚ9s@9owcDh Uj%!Kލ|^<t:Bov]xS:8ݥ=ɑc5B2GgYZ7zXZִF! A]ŗXi%9-sR *܁LY)"hon+\ۖV?4>ǚEJSKSO{ql+\]Ho=?okHd nWt nN3E#M[^d)BJ<Q.@E9#Uq8a9AMS_1;;]6sidxHcTRR,O mِ<-$#UyӃ|u! qn G>[{$qGJT w?DN ĪYdݥ׈HE` u3AP*u ̏a>n lG==|'`0 rC͗+j Lg¸0qP8!<ַkۃ磳:Λ+D1`̧瀠*&4w|άɰyjDS踼9* @ oHq L:^6Bz&Rdw|?5/ I#=bWB$ XdX;{8خB=^H0LHAde}t\ Q]&U )q҆&V.LH}xZ+Kc]*Z^X'Ü/'30G:]x#KuuIXzY)5"@J&a`BYߵ=o#Lho2k@(-@q w4} \@*,`aoxiǟ8uV m>zjJ"3|I튖uvhnhnI<6kk 8HX*Es;8H0ȷӵ0? xBLĎ`2!HG9=-cEMa|Ӌs,ځp 9اI#_dIfJj]pZQZl= Pbyۛv/,?S\7=U#+b/# @Vĸ6֍\0XvI"zm1$k]j&Xd $ Mkűm$8Y 'j?=^gMJkGOzNÊ^NXp:o|}Qd ,(6 $dt2H%+84Vk)ژL8աpqo0eWA9_l?t>7Iu c>hNuK[PW`87fk av0oj;nw&$w v|)j!RWNH $:6VShs4K4hٕ&& %tB`WPIu{< C!Ó%OJp?o^,?|nM+|U-ŲnRK(OZeZg:c.sAqX~]{@86cg`[Gxm6LĊOJҺ͔Uw2fI'^~?_]׻. J\%XHx6 Vt 2?32tW/utF+s3:J%$ɦX k1W{IeWX@,8j X iĸ+1C/c51k6e-~Y2(!/-lX^Omo'\Ta|3)+z,fEr%`}U'$p![G 4$wNk9TIu ;/xU{9ͼz ]aHA ީ>KC뜔(}jf``R1(ckMgGy=IKf% ¼Uڼj$K݊^06^(ʖhR {B ]!`~А楘ҲUyfi/ڬ9F>FvŬˣ'MTx3z;LL?. u+֜'\B@"Jh6tQ#n>.YTtFp63)^QId 8T΅[EC}xz`h(9[.rѱ3""Ns9UXpS]|VlK9YT~cŇ-^%.t%US_W?<wp ^D+B?pAz=tOOڏq/[̻VAE2/FijU6of'SsLt׿pf^7|˶#~:ϱ˙[{1{q0sHROl|<5Rkͅ! kyrHl9')M~K*2GVRZlnWEVn|&z I $.[#ni;){J\Sb%ۢH{Jb8#zZ9}dY6:Xd񱁻Ky!KKPRJ+ DO@b‹TnRSZGm'LOZ*z÷-} LGR7Jy\. Jn+mx_tv vp*p=hœAUTh$ըGm>مRBjUgH9/,{E}q!D%È`e5#𙩢 >6MPwAa}91r5) uSëZQ5p{ح JFo1u*L R0sA :fbHC^ݻ8Rhf^F5vz=)P]x%nr3Lcs\5+}|)Iuq!DX,!v̖pD'`V>7Q:7ūr 6.n(- \@5/3pOܗyd0kJ( 9/Fhڴ;MQ]m:IH!Jc#oɠ),[" ,ms9vrꁨXT d!,P[ @(o7EqxpY ;;థhZJjzn8VbICz̘jtȂ3)Ր];N݅(ֈJVXWIihxV*1khXRCVw2[S?uAƌ7hian @m#VDdBYe4%>" jyIQZ$~}')4ٯi4pHÆj̓m'x`guԻ{0J!z1X7LqY`C&Y|O^gOyl k?ľB[<8hͯo;J IwuIt`XD+y ~t#`ځ&|?&`/IJC6iiJ aϣ;45槹RPӈ㨨&5%H(7nrqkS)Em{5v{ Q(#\ j%nx^W"ғ_휀V9S^bG^وӺ7Fb5IDwt6 ؗF5!/e_H*NhCgs-pwQ:*KG+~ʺ ~ ^Xb5â X̢F 2-AD#/Al^Os G|ܪہ<'ΣlT' ˎ|G7!95c-OrȾr2.gBsX[8NsiXcALe" +CyIYk[DJ[KkqN ct٭֥:geD cW mc1iM7frccOJK=\R`ueĩΖ=WA+Gr_* bKxS>Tǐ9Vc]qŐ$'{2qo<`w ոk܌;L ]txfjtEё/8vY%`D6tp6b6>`[,?- ׶aٮI˶E7m̒'HT_$dX>R$ǀGƇfu +#l 2hPNfHf;s$C2]Ua _uSeC >%9J.Kć:9p `)7hed h ΐ2߇m!n콈fs1<;.+b{YLmaOӾ qIO5).F_I&Z?3&klq%v V8H 1Y: <b=6q-M9|l ^eb{tj*\$f>dӞ@ΝϜ(p{hhp1ERY5NvHQ8=-1ˣ7)_ہwanv"q5txh[iXiX;d}Hm V%=D h?E #ED^H.UVUMYwNs[v:tա`8߷.%vPZ2d;*&g#<0HҔ)SOG?ƄT==rPBԌ,!/ :cwN(=T"9ˬ|`Cotx (yt3̊<[r)zvۊZ[:klJL?O gޑn $gp2GS'[6b1Ғ΂~o\H\^#VBiiG& ׬#ړf4PN[a__I`yVfW!zz9y y{fՆ#We3^ >\zY(&?a{Q }>+j )A%Y dd9C sb&ޯ22Nق MbQPaԙ_;ӟoБwvmWxM& <{I=ծ4F@GTֺ4#ņ׍0a$v<]< H8Z?^.( IaOHIg/8WkzQ,918@F$[fx*K K+i³)`=lRܠ0ZB1f*V+  k>o.!2QX'$~5 M!ؖzZbIv1r2NK*U,S#sKƺ,&wS&rO//ytƸHq"tFoPQ-lo06<Y"(yu>~}VHoBŒSU>Z`Lj9lG3fyU-!G3 'lAo)$V)ގ ID+gXMly־9uY22}I|"s+&_] UPO zX/ļOwiy~ N|[ ]<%~?$b(fߨxS58e*߿C,<}J1?T& HI!a5[5rh9l'17u)TG3dH'  2#yyld[hy17Aq8j5AǢǜ6"-5P*G6LvUsp_0){rv Zt:y}ur#%y,7|d5R!4!9WSÝts᪟/j[IeSubӻ)2d5qK;gwRX*u8xpōT\6nb,K燥?qݟ"u?DEM>d?QM[\keqor} jCyHOai8.h=" ^X`ڑT:gJڬ#|9\C) ˬe.OZcC\^x0H°憏,jFvT^! 'p۰ad$Tb\] e|#ާ4GJyN+jOֈ"Qͭ`*5 IĹxn*+"n~LL[^?U?dEr!"Iy!YtCX9>gy\/V-PX=iƀ G~&5t`q6;EK't:IƃƵܘЕ1!w=>#Uq0}T9ǰ *57ٽg,TNOtЧ\&$o}mSբcj<)ڷ #?8 F V;^Y~ d PV ``_eqoܽ}p,{8܏V HDy-\vEF2:"Sy(Fqnx|0D>W{N|FBA4Krv勀+Ga !JFϑ x`-;z5h0abcCtbVL?|}=4~y)nb.PNx@z6=ObFI zPY""a-D!_6DJ.qNcx 5 ?&_1$f+<ДZ(fYKkrz: !a՗~lT/I Iw8Fm"c<6XޮLga%m S$`mfƶ&RZ!cPL„7͏ t/vz|zBQ9)+BsPY7 (" j]}Ւhi@=ou4.C$ w,u,ead{FnRmۊĂ2t3xU3i_t#YY7/lF?(^&#Uӌi D׹\|hx JpAyGڬ`(^Y!||If>aiګwbrf)h'͸Q\fԦ៉S@ H*?hYe :1^v]̈T4$("7$ͮƷ|2:fi9V83:HkܕܹP7k}+Vhtt})LuE&ԇ3zci{"4x"'ȫwNÃ'HEa WXEgojB9htW+<3<^i>FTwZf?g֋2}ʼn{aSk`*ѮfZrԷ(+:j:l>ƤIVBȟv"2A"kqsY0dCioޚqGO9=;gj8:KKhq,DJ(|^G&.@K̬MkPEG銠 kjqYO2Ro&g$2ɦ|(7L(N=t_Oiӹ =lsONxH Λʍ CQ;j77= &f&{f R a@kT{a]m)-pH GZ͋-~tYT:ђKn:zG(JEn p}WÙ@M*#DEŶޟJ sdFi)h9tB_lO08(5`PfJymXa~;+P>`ˏ-2n2k0Xt%|UQ}+ rZ!F׬eȐQw✀5S0vK\q+fuB"ZIEJƔ *M)H w{3ɷ3@ȳvW3'锛mE^'"_QpQGhwc}ړ Dά4q޸`0c:Bꑯq&P~jJx|i~Ʒ&KU툌{Tc^hPn_#4Rc-N1*D6LEI,l()pe9A p 7:lԍL ,zQ]9 ]nG`{6qV&24flN Y٣H4g)[tQ^hdfA^ siރypgRWH[H-SNoyuCBeRZ<.T,v_Xm 3_$)3SiM ]Ȓbӛtf`w=G^qS5UO]G=*HDz1?)H`zQKƤfSc%o-3-vldt&5[[9?x2,M0E#0Wtk[w@)ܪ3 .jf}þt^na dd&;qʦ">ϖgEF҃{>I $QN2u>N1B1u8Lw2 `2|v3{}DE'q.#+LSy=AlؖѼVGLjV<|H#{ESqBNKeQ+(+@LK/Z6Nd8oq!P./9$ib7xYYXH,m7m2Du_7#)} we孓濰:en; 'sRxoHNmc >h uO?}F$ y|4"./NyžcBg3]!jc6.3+Ul^5Rʰ]KgNDrDQ@xXU,ɗϏ×g$}QD]'e&׳>H75zBH;,t%% \6)}"qdȧm"(*B5=Ov!0iw4bg i=ݪ #O!a.RLS&HXԿS 0>eg"tp"T{iowE5fš=I },0+貥J Y}(էIlw7u VIz'd/1)iByqމ[ƜNiwd3A}f(!ç=O#C>>4 T=|aNR/Yq@ݿ:ruw(ݪ%SEY}$#tt=NHliνϩ{ *f_zz \7#hr IbʼnKa_{XGt!tlC G>|^(1 #m)d1*o@ZoBW GgdM<}Ѿ萈rzď+,QYzD nȽ%cN}Cfs)VbbDaEg_D=}Tb⑰k 8P>&<ۣ -AR, >`Ir9 ,J2) T $L0p)9e^v|j++ L'WGns&$4=Cr)U W6xbh EFd P57s.Sx&b`L*NJ4z7p: 6QV zP$_Y<'khOl)uCIRNL`|΅13_pA;^~yh Jݸ]pdiE  PY0Dr[~OcGOWau +0~F2Fo,(aU9>Jǎe;MCg w7Ӝ1[rR =JHZkoO:X1r1^41ȷ~Šʃ;|{^1Wǀwv IISKu-_B}tB?($GI;&Gb{UaذsMH%>hv8ZJ:n;  L=kDYiDuYie0&s^R5&>@^fz__=yBA%[sd~|3FECѯI r1e9 .7 a{AC4!2,Vy:^4JYp,#cMWtinb$b^ǑI1TVlr8`%[0A8yCp@ٚ%B>W|̒ǥ U^H ̄bTD{M S%yOK&=GGsTX.⢜OOf:+B?dʕ!XPOl| ;C ezIKP~x$J]E!G$ J KrJ]%-07TUcƝ"0tȎeFF.!pYR U-@ʟRh~@$fuӃ0!J+VH,ǂ!_ʙP:?d@KNLJSt_ I[SR#Di_:*r= eEŤS"%b;v{MB-?MPƄZt@*:eQbͤ*>2N@/ nu?v td*<봨m\#`~<$娍e&Oj$]C{A7bY1m_ aY |Uzl~8ajMIePXQ5x682p=>o!Y|-vIgn15ԫX<$*ȠJ 8M.8_tc#6>bG\;wL!xI'8 PlhϷ")KM_WfS.Hn;aҤLWC>%UeV;Ď+ x.&~m+Ryqipvo&F\ XZBP65I/#G@$\^Llk.}#AFCH ll\N 33⻼lEO6AlWuV>8 @K-?0CAJa+Ʋ}sIjS\_鵴t?yMq#ii~h'j|+` `60L>Xw7NWWHwwK^Vcf>G.𗭙z T[i{CxHއ6_K+t+靬/ GN|l2?Yז-{ P"[2Dpvl{}{Q {o7-`rZʼn:ݵ#ǣGj֦>>Ȓ:X<| e5ij4Ai4ٲĤAZ&+;.F\OY|RՂ2OK,{`LĠ .12o~燩zW@`ql@[-9Cu6j2gj'.acԉ7*175fFpw*Φ'~}Mc:1 y2kGpn)7UG:1OEU./ K<@Ora œExlo2. q-٭ˇ~ĊȪ1ő0}*pu2hG7 KΚ!4џWX!w7}zojpvZn a א(~D*BH1H]X4mdCC!%ύ,UiɆ&( 'Nr?yYmhJ/> 9ayWD %+TwqGbR(˝&g.ʬ|d :'a.*;6PIr I:C|mw؞>dzI@jܳ4?t-I5&VaC[硽;ߞI/7BIgylupͨ`neAabӂևX@`vE #|D T0Y倐Ax8C.:~mTU4ޙ0%JV7ͱGSB~\ w+.`i{܈o6нZFp]o-Ԇkg6}ݪ?2} P=fLRfD Bb*ڕ~nA>3LÌ!]ꠔU[ŶNɧ[֥;TxfvמQ 3ݸ`u`N<f\_ř=Qf El Ǻ(/qR&Z?g*N9!L7 aR%cӼЩu=!1_&<8+ִ!ˀkeXq-1s7}?Be.9Q7c/jhou"d!17 x%r(0#4#f6$z ,}TD p lHl%8AN޲Aa^.E: \%g¾ر:eR;x,L[<:4MͶ8+2V%醙9!9cK@{Bd%2a^L0Iր@&~xh:-*C;!(E֨ɦ[vsAJH{p96=kD^IH5#6.ߢI 3{kVL7w]'BGךּeg2v{;Q(Z21qwZ_^e*)D9,L"Ԗkw!'pbTBcU֮h^LTWbIe#-p! VgG:i. !ұR#?{-x˃{'e7l+ն~7/ oԫ;< ,邨˧[+wQ p`Qzߣc:JUu69l%W5+ȵ(:TϔE(v5.hNI+?脡  2㯈hzmlqV^?++{ܣo.JZA|^v?Ǭ% Mስ:T[lNGwhypdzYCZ&p2Ig8 J[gJpכeAֳV3vPBU>I$"H{4'ozWiiR$l;vwi8oHz珶eȉ0d{^]m pqM ~M)5gQ!7;ãܚs%Zʟkp·Bo:9KqlXu6RkeHUZJ}l׹/r.D.̙!Qӛݸd >7t$x^/0q1R,hhPHXIx$@H\%8lm!ΆǏVE|"P5Nq[&QcivH)W~MJ78A,(opK?`K<' g8|a[WV3_J( o ҈-CtH6G* ^zc ޡҞw lkҁ{X/7Qst=Tv8SV&sW2Ǹl,+j~b->=w>-6Y=SHqi>& ﺡ/A !@7 b^D|(\}K>، 9VG*MZd.WELssYq`9N,wE-BEXݽfb%*0L5s?U>R vofD=kLRX\vy1G7iF~ ¡k߈O)t(梨̤G9sr<, Xy 0(}KH1ۚ6O[@Dr˅."fEߗ6ŷ#IsK&j#7BRY!pEcgkZdR w8ΪۯvŽRwL'8W4/wݓiMrԎI<p ʞ4g5QL d"{ (|SB -4(F7o#X21Wls~,oNCEo)KK[u5"s.$_g<+%{ua߷|^'}E#Cgsf=-׿{󆛹9"k#`J3(l TW RA7ЯcVo{o"b&tX7jbLz龢JgɎҨ.$;!:6;hru]< šC0㇁Qk\XFll.6?W ]/p{VQ?)3KVy%U) ?=eKmgz 7S'8Ǘ~n; ${J`9(4L%,ȿa{'Fg=g6 fqphR"X<~@ A-* ѳVH9$|vLd7] 7 n%UBFHr` ZX/Y$ [SyƠtoj8_Tʛ@#-dyOKO eD?Xѱ>RX'[(9`c2yqwAXvWB͹::4d̼LLSƘYe(al5*>((mdkSb\Oޗ)\:ؘ9SAyj ZZȞPtSmr+bWn" ~kVXݒ5B/a=!{5P2c y䱭\+\8h,)ye$7*x,Á^n7оRInJ}-uEB.@`yڶ{Hr k6k~we^y;,>6U|";Wϫ'k&W= \?$TiMc!08UƲVk3O]ԋE3QB05)i#ɹ%g^`?=NZJ? 6oH-/C&{l8L0j/|Gr|gzΪQh5Pc)^1`'KO$ A=Mz؏/y[k&Dz(%cPq{7.a$MyT&N7mcP 3")#1ݼmr# › ^  Z}:Bxmg5|E3Z2VC/z gaP2%QxYĶZ$&d;KѳfYg|Y9dI]mhr~٧؝d ̶AKwGLppLUDԮL%w+oə:r5w@b<)\R7>2Ȳe}a5"%@lrddz.#>#H iŬ~U$A[_\V>,٧,9xȧ<}r@uTC 'z5(Q}ptM’)sнZJe꽞 8G?U֗ 'iGm5LpTqQzYL?Xϵ5f+Gnܨ߷ӝgqܨ~m%u^*K*;;2l6!/g'i"F]řj&F?r֜!Y?EEt-,)7AZר Ԓ_>}hۃs " yH~."tFJpiCߡ_W!T.qp(ˆ&&m5o AϢVme-~.\| "c110f|쓸n&ӽl \n2Z)Z:|XM咞`aW:rʒM@.:; 8 .R3k8=C#khό.8X1=A[Bj@'֧nW*~kuSk]Ka;M5h)d-Ȅ .YEJ*vR;!&uJ,GwZɽ&0Rݯ~*շ^тµBqt5o?s8ov~Gݦ? }A\0}4.[b&Ū(Upe䣧!Mt}H>`*Ηe&3aY#'~|8C JxpCmFΡJJ2苶ɀ8m) t;RgۡS$YSK3us"X .QBϸ,bhG)rD94(^ -_vh~0DH*]IJp}R3 \YhnG)葘ۘ2<c7B}h(EmgEzktQɬx+r(3)&U=FHn{h ԡ6-aYfTB2f#64DaV/);V֒y0aϏ=0?R3lM&?jYt3RKIlv|Mj4N"]AHx<@tR7p W^}*$@$LJHXT8hJe+!JYgF0ON."7b9KwizW+{ muhZH$re[wEøJ@2[?W&e9ᾐScΑFVV\2Ro݁!rw +֥eɂEϖl2:Kr5,.eӗX-44XpP#'1G~Ȳl-O$(+h'L^IYsT, jy8] 5aW -ua}YYw `dE)Gvp=j}kiDCbg}C%iM ){^u+N }]-_@X;] 9#TةhvI2 Rِx̀e_.eSzGUQx#A1/X$zTC4ue 5~93 ڷod+tH.Zt]|̧tΫ7 ]:s!>^cz^–Wl8::ˤQPH#+6QBqx_NDU1fS3zfmFQ`b>x.xU7^!g 4}0 :uƹ ՍN11&*E7+/&_Q Q^/3+ .1`('Ѩ~8|ߔ1M 9p*1P,?l bJK R "3ݲجRNKt%( AkYcɕvhȒ>쩒BU(&m9LȠPTz]߰wLTfaHlجسO ""2nw\ý_z4.=a.Zʀr$6B1ngȺaqy)勴F1ts/œ'jUyUd>U[ @TIs$[쮋=u=TcPVG]q9#$Ӱߪ5V 2+[ $NXqs"]e>7,,}En)pCJBѭ@qp&X\֩S3 gl, }(Ra~b1&O){чߩW.f 5lp+j aE?4IΘ379kdPş'M*QJt.29u9?i`CKCA  P//)V\EdPWCS!E)/WѦEK^('_-alo81#'XAǩh!.Azڛ%KVJIz3u>]z(^L:J7'DL4U-.ȵ-ATO076n+4%V< q{}K``]4jaM 0vDA*S:Suܳ;fǪÝw;{33YoTJ[Vd ߴ  3܏#c0UT{ t%P6hNV!˪$I# #"vmP(^6gp3CrE 3|΅'-+>+=U$4bxHS*gG. [w31(]$f}r~. qff:aqZ :Bm^[Qo8"TP=]=urxVw^n&LPGbZC_hhAb ;@ M=vN?=0M mJZt _~e(,^κ w1'%=. Cf5~ Y Q)}vFV΢g)6!"{`/4|K"読\Q{Ik"*[ΦY MLu5H9zVxsT{4fjSPoԼ9P§u;q*}ګlqjRm\e6~i``ܴTĮWەG#fz6m#ϭ?-xl"!af puIJw=ERI*P&HjvHZ%@ VYZ{kSgXBEL N_.vSe*ݤT7(e({tnMF\eszhX" q&m Q 2('R۽RdGūsIv?"whs p /|BL62Df$[J!9yTQkРYrK.ϫOuA޽ dJ1w/̘ { ^u `M_hdDY޾F6o!7LF5mH9+ 6%I5-8HWpY*o) E8C<_yX&{" aH䣾@FS]YSh9o²RN"ƑDCn=*N X.`,ݒ0N"$Aq"Zg4|Mrd%{%A =M7SWQ#3o5eJoL)Df]C1T.P0y8/uik\V|GeĂARpћɰto@+f1.ٹ9;C *`)u&rxʁ hܳf Q& 7Dڞ*86%9$UQTg6Sh&,ťNb{Ld5pnTXx9wAH&6 Cdx>hlřM}kvJp]9spUy.՗u8fŕYV3 ^#uTMANXiO8bʉ`)q/qzž+eC Fg&灋ݰUG`V/BjBPѯ R0JmW=&6$XX88g/_ ibM"<T ٢d2&N<ݍ,wWF2DB J Qj~o[jq^4 |Z{ [j.sU !}m~C{|i%ֳ֮+PdPu/\׉agpdOoO w4'9 DX]&vDkLG 6ڴDSV| FrC9HpTC%ssuޞYH0DYV Ua4@B̤"L&;'5Az אRǶ8$8ڙv(nzOiH>2 H k/ c[:IT õ&g e`j;>+Uj>Mk(\9$BčI` Bl[u~-w+dr]pn5NE5aU/NavI6= ;ew{&?OYa?HP>>CAY(pB?|?spY/txPM j_repx5"z/gs1R} ^;: Yzˀ3 n(g`jm"><ľ >kWjD;@OfZO:I,y|θ9N I2_Q7H+H7Syg\耎ݨrs5pVeQBĦI8SC\U(z5"櫁7hbK9ɵÁɋ07,Q~nx},16w: cJcw?\ògm6Yx7E䤽]Ž3iuȊ4D4z]2ELs (32V3>myEGl^nNNmp:C@6XTVHP;EТ>f6b@?`8<1wJSc1LZ3 * qS~OG,RwJ6H+CjLͳ 䓣^,#bĮ0J~t[9O SC'Aܠ}Xs@ +;))К@M%'uPs:}Ј߲p' +c,qR$zdiXoXc (ݕND^Ż}mQɭmv)ZKы#1nʄ5,{sBnwtK77#'^Dz5$ ͻ+pc]~ekLHP s)#U3s@֟#H?xriuȎ=ʠnbQP#%=F\%]?s|ᒢK LqۛƴSa Mջ*>~޸r+ܦ|`Y˗}KǯT&7+Q@YI,?>vO<@jʑ*o/ ШE[q A7J~2xe0iD[8y.bܘd"w搳|ZpIG$U3*Ҹ$ˆ&PL}a5ON4T)U[ M7_(EmE?gSUԙ~ xØpK/ Db3N(Ej}^[`iND)^VwAطύ7XBF|jWa Q.dքM> 1-v;1V{X# _Yc47YZR>tct#_o,|KYc' VG7f-DU  N}նً/12!ڑjH-#wj i`+oEnH"n'TbW-$)rYtnXϼf8#bh>^zHp?5`͔5UX/Ey`u? >`rSjrQfW-Az&{i`6"c+ޅlJ{Ԃڶ 3pLYiQ%Wh'}}) cwTu~aW dl8[ڿzq31{ViۍDVoC|_-CWH&-)=M~.zLV=top`x)+I1f}쥰_\ջM*=DBE1)_f.{lŗ2SbH;(/:$C .RIƑ/`C kRLĎ0~me5Uoi\Y0/aBqhB! fTt+W;F cx ө+{ +Psv[ tXAc|/(Y#r[W}06NmO$uV^qHqcd ǽ?T58~o(hC? ݊IPTN\6L5¹5HKo&?[*Mbm%cy٥9rS:9U ;ޤbP@N ^;fQH~ :mҊ?w*ؕ ( pEo#d,|^_BU۟9z.mFP)T5!ߠ' K*l./aZڌͩm(jG\l>. p͛iM6z7t4s)B֊FE'&i}Ra+VZ; FZKbWp:j Nf'B|ܻ 7q.0sLjH)r5}jZt`u}Î PY <ڵ6dx $"qD\5/A$d kX5?20eJ*SXTd{q9o  GnrsvnB~^&%Y6fw[f_FK$(O`i'z:?N"(&.#pGR>]/gJsRFXҸ~:jI4ejf[Hb e~h~G,RF`-U)=11SP7oC)TAd_,@ `E-Y 4^l?{8yVrk>%4'nsW`I_^rb\iѕ}*o录jdjF) "F΄&bVkj"HD[t@q=$ga9K(4gž 58bC._5m oګ=V[ 6QWʥ}\7F]Lt!ϷI.{t$'SUxTAN9F0nʡ,3 !:[)V3#k]hLƻܦgk0~0{p?dV)FH:!tbjdUcRX]̍T"yC (^Y WwOa6ΙL]V掾!{d./#R(<r[I&&kQ4!jvzxiXK˖„[-=X7•segs>uߞبZ#: v,'йtgeydI\2ۮ:]"i’=) +Z1c_kE4>+&Pydc0~K_p= Jj<1SEAn=/TgyYGz.֢8G #/‡ch>b]^xď"i*B-%+l ;KMh-;C{` nw 4~FM qzG&3KKi fV$uݴn{6&iLdKv {y2Tz:2{cQM<1w>: OfXF vm!o^c 6AXrΡK>KZl^byPM89:CQ,*+!pS+zCB8h@\4DwYBKg'a{רs+Bcu#DMag/;`Af+vpdx%gi?00fvCp"zGD?=͉d?Fj ]ݭTN{r"IQJSOf B'7MX,sݼc;p 0ʩϗ"uދ!EAWhyt&yUnٽj 'YezC0S7HNPdӤӺ\Zَb*WY_ڸ2erWnc5T9Zί^PR%ٴ-,8Z|$g-zS&ߵm,l?B9Hľ`={G00w^)"fdݺ~RXԧ(kOj5æESNB֬ɚ" ȯ ey o~b|ZE^*k|t8o7n1/|}SƷKyV4_fFrFނN"iOC 5P|[^ WE,m5 [\Vw Oz W& PD#3ELF:ξ%?A?%BogMfv8@N \SR9A{qVr^{%ny1 "Nx3o+6V^keS;>$ 0.HzXeJR 'G+ \:6ЕOa7.g;"\ذ}(~8-UERE~r!]?_iVQ=8w1ޝV}ߔ[[J/?%\f-9m93סPiq.8y!#>Qɔ8]r]o?˙@ ?n $] 6Fs ts@s*wXkÝ $&؞FgJ*.UC*]1\ڒi,?f|W#E9ʾ[\L!q]YCY>ZuZSQ=)69}(~boģL)lXApdX;+@ ђ>i SSW#5DK=r%e+R}|zZP@ƺ yBU): uW($#HSÈ'ȥeu 0ޣ'H=TXȊ*;3q̍?a[`֜wtl. cTJۥ 3_8:x#CAkd؛ИW,'g'jxXu3 8Ƽ(VtLO fr^0!+23#EjWvlvCs,9xqwqɀnAA^53Wis㈙J3_BEB<)$D5̇Gw$O򘑥o U:Gr=9gl8y FH-~  Q 9aTmmQXP0F5Yy(EoVO2p'/&;QtDO{HŬQbDl}~C6STel)]'ڑ%I7y SBOlO.<8ewqflr{pvRZ??~~Y _&BvxV !XELdәsYŝ#8DE>?%ܦ3=Ї2=Ub/%O{ͣe fcOd(P-[B #vj=96t܁:'!@"BI:*ѪY te`.`nު(}i婲1 uH: S4ޝO;2Csm:`pMs)}Zk8D`ŷyU!2MgJq6el*}%:*xUTF@uuWEn!w_3z\4jb 6{`TGv 75#妷ы2uYBp=czO&yVMލgP|6O֧8ǫhF ujĭY3Νɥhy6z&msa@B!u},ߕ"Khrc.Pʷ_68/M?X6 J#җɏ9R/c ߣnZX/X(D5]ܒŃ;'pQ>^m" ~Bt4V,G _Iogա kc۩b$%PQvҁ|t>zZb\"$H?<ܸ!}=&ZIn#Tމﬖ+1AoJnZ#7o"9d}樱 A&D-w?c39(i'[gݚ6_ڣgYZ21821dfe7261a28ce8e95ebedb91eb82e307885f144fbd49de05d756fe9e2e19f640fdb8a712f8dca7743799de47246714b021b3b9dbde895fbad290