SQLite format 3@ ;- llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  1\ k/ HOL-Decision_Procs:threads=2elapsed=481.929cpu=877.716gc=74.276factor=1.827zXZִF! d]ŗXf1-q恈ŕ׬[p){thƀaED*=I ڕM?J^zGE>6!|ƧSjoht @ʽPjyo??RF2Ujtx. ,3wVfc4$w yR;`ܙ\ߌvւad( T[Iߴ@:0MQt  1 HOL-Decision_Procs ;Jy{.oW_ oRu~㰶ݍ iNk9k<-oLKPDqQc(c/ug307wP8%PU 1 L#C8x@v <63uҐ}J;er92NBIm}6p _fA 4HaJiGpTsQȾGUId D}fo%4^aKy L6dk۱[m4p/^KieFlo~q&jI6MND$ 8wJPnԷ m>ept6xؤ Z,1YkwH'+h5V0nL_>oXt3\@rM%DV+:۴д|7j{F2_; L6Rd9fQ?~e #A7)47n*@@ kPR_KA!O:z h }\v?`>Ak_Ϡ؋NjK췐xDZT2ˊڏ4U?ͨcKmֵ$eWK/h3Őxۅ0St\Oń`W^0)dDIߖc]%O26NX>֞-=zv=* <`6 ^xNms4P׊z@\yť:ҬJpEE.[ɾ9jO;UR>b"ZҾYpptpԗ*g{L-#`(ԩxLyҟ?gxkȑ(|G wCߴ,WE?M3 oT i`+RfAbUS$[N(}3m4wcB&>K_6>XPDG'&h2<OZAtdfAEk Ygdia X쬯9 vXtHc@ukΚnNn`)+S62BA(Q,r,VAQ/nfvA tt/-i /FԈ mJ84U?Jُ NRBVK@ ^G;-_55鹊iUd-A-wC},ytRAeCU|ٔ%G#k^Si(23+&+nB'x#(vkk1yasW\@OBA?Mg<" v8e#AtD ;r5jЉ͚oLGa;yuT$A#X-ca7촜SBޮNʻg fP]"#<ң֧3kjyIz]\>*K$KaGj*!R9F. 5wԠ2ý w1=v/G#ufM7A>Yx+H[bHV P}.c{c"ވK]LgYey2կ!ED߃ˊIb R'.ۋc=Gi&P=dc tt)7dK哏uc\lW\H ǂL'щ4%CJ8ZmtF B pē,=maSDωIh5}]\"BaDфS$E]ғ$>5\/D]ffX9 UKX)4؏l|w$TJs C7YSi@$(i8wjPMң 2iW|jC6v4"A"wp`ꋙ߆Rj8( ) {jߡX&Eb |M{>vTJr rռ8-"xȎ(^lrA5Ma.@0D?-N@_xTX #_kj=B6N)ZG$4cV?QI|y \`IQwSr*m)Pi1rV8! /{hNu0u asgdghTQ<"g)L*x[)AШe? %2g{wh̀]4Թ5GTDdGj2?MUW_,9k .?eftk\ Qo9>XvZ#y(/^ 'B@!ySktpvȲ@q~Hn:?PtxXrRR :{ .۬YxXZ2؞Z[qUj&$.c1FS1r`)-\&[$g@D, Y{:&+t 6ۢe3wA~t)k+6ț߮;(îԣC[ `fGQČㆩ؜]L#jkdgM+3@J Hv|B84xLQ.6&5]y],u|m\DCg|g$ݩ[;% U7|60З"`LO!ioAbRM" tWzbӧxGzW^EeI1sGworIr-\.=yLIVz楕@"uUIޑD myG'(;?Z;5Q[:gBiK&W rgl!A#ymVn(ޫpRqJpwW1!J>$?BVLPNDP,[==(ZPF,,Fy&[i\/H;ַRg߹>PYiF.ҽZ#eS*hs5XatўHbi0j}lN @lci#ń&(qXNrz:qCBjofXnt[:AVA5VL2+؈$Y~ABl_HjlKw9bweD|F$|h:V,n={,FVkL.&$G ͚;7GR֢9}p'̃\Pd! HbNX=:`T+|JQآ,:7j " &Sp BI!ulbvߗ dbΚ=_]E3NQMmɀE97 #.X5kbOw~+L|cCԭl/Xx+s32lܝ02K$ ryT Nyt8JKJ!U(T]?apeW IkՕ 暷$)Y{eJYXc^"X0(ʤ\ۡdd k25f\ٶXk ZG?Ș/%S? ݚT2ylaXQE >m6^ˀ)qG 5xɭTEwHPҷ\mo]]qGdgDSʻ#wfIE&tʒl:!rĩ_S v^X h`4ᓒ|)~ioA֚7T kEVx{9 uCby΂u#*uqPmWIP5㽌0D |!C'i0ᐍpHF1.} 驲=YQT. _%ZVJ:ۗMht^w jz94rЬ iq,puSi-5"?%5*[њh~L/i?Ӛ+9ma|>nDռr+NqiށWE)/gM4dd.Y1BϚ<OCC`Q/Q/۟uݒtAYǟ'ψFmr܁#H|7 lu3Eyk\*L ètQ-Q,f'Js9V@ZQsؤL˰^ymPzzF@h=%/wnm* ^tV"5`i`aQȬ l a"CzO??oeEJmRLSzBPk?)F!ajo>L'9G XDlr]4MDqΈU;JDwőuRs|[E>4sR 1l[Lrmi1u&%w/!*`mRU˙< f%.ɽoxO?U<ݷeͧhAP_ej[8($l4oA"<7bqA:j9OA 0^4uh S2 3CMئ]$G˅p탉u-Fo,~~PgfPq)^z5Ȥ|uP!o+&#~NuҔ;?S"-0")PHCBK,g Zr{̲ISl@7~GT"kv]xe1`Y|LpF~R)hl͵M4C{8~<|Ԩdp;%&<(hL)1l."'mU{[2;|aUtdGޥӃ1:ؿfIIv$U^ =Kv9/[|qf`|Ϻ"eIN Pƛc=~l4*{Rܜ,3:b.㙜1p@8(i"&03Ӆ`Ԩdz魍v=$_t!?`̥C4| ߣ@ZhW.ϰf = m$6zB-v#PKF3-mM3΂yE6Q45bx&L90hdiƛ{*ey 1TU)1V<3)aq >^@.?aPȂExa#G;۸ Q!gڮӪE\B<\.oeGz&q^2Ed'N|GwTrV~â4:'[!PT!vsw$uld?razbk;ʎHM`7#S(ooi=P?SU[j[B [c5ت~ G-5tI8w`p2M|Xށ.`-0EvdXNjA_38T@Erծym>e[s,S,[׫-^)^gZˆotn$FM̕8eQ=f6Sd OP8Nb1/oNo2Ӏ/me'ܟahFDMYy2̰ﶇ2"2;Ao$di7|FشoLI$=60_0 `=*ó4'bнM ͿޓmS*׺bG:>xF-(]@Æt"8V3@ݝ2~MUEA/LVJz&]:ě b]9p =oZّt:{^w?MzeXaރ]pD\sln034 1 Kb'U\.:D4Î }KPE`!+Ƨ/)Y{zФHA>m6!ٷQ2Lీǐ;w^tzQ*HvOK>ЅO`($m֪9)dϸ%1m}Tny'iW2+91rV=I;&\ lߔaaOŅ[:VN"G?:3ea1Cm]U`wNKFH,s(-[lւکAj]j!-#2\a_.b[wS_3E^%U?nD("T)2@hn2 %؅!XY6eG7bB'dS$ߩ 1ݝ먫PaZ#΁\_=Vb!r(qs5養tɿwY7S !uN9H7{-It'EA]* aNз}p (L˕j'yi<Y\kexw qje9cH l^d:5&_YAJs;_Cy#x glY-.o >?mG_Tq$U"=D%i  ®PxrrKGc'Jhe$;Ë& SflNZpX[U= cvپ+@fF^.ϯx<_+/=uf$({`Ga%,qVOS=YX^@>XVN mK=?JFQ{|/eYpIEXKL6(ޤ"}-ϕ%RϩWOO` OO!@Rx<4t]5jLkn&H +b!1]tî ʇEQ VϡvA]QY3`[he7 &LRQ)͕~B !cqoWx2Y}+X aXrs.c]Y nR?NOj?TD5>]8G+!+-2)lʹ2 ˅ Y& /ɨ$i녱WxvQ=M?Kqį!X]Pjϭ1OĬògg'-uЃkfu Q4z_֍0se_~o5/GF`)D= ƒޖhHE bۢ \PU@I c6u?gmZ!cvjM0p+@#ZuHæRW?) }[!*Wܭߓ9ٹJ@u|A΄KeI? e}m䳥7p#PKeAXQa9ë|>5cR>"[\)lwZ(.#n6IۊaUE035[_!v}x! ܞQDMJ@d|qķT1ZD17S)+ZE?DҒh|8I3BuIH?pe%7HhVcP+P*J!͖`eՔX3q8xYG~=J!}bjR\F|^bGl3hj۵QK(iJsI ʭ:ձy]Cd4]aoql29.kM7"9D7aߔ7͜7 lޮvwZ" qm|oAh|O P==)Q$Z%}`+w*sXjv?yt{xtR;dxyf6@^j^5Ylǧn4Xbi&L7ujE 9U-ȿ+KlPFJLBb#5;Df&OfGu' 2l=v+׹5ib%0| 3]p%*`lt!Zk l;%ij$Q n|C;k^8{L~N[cQ~[PW]|8AEƆ}zf!Z*Z]{-]zi{.P1dbsC,i("CS}|!(v+Q=êϡpKLl=7 &&T^ BRSJmVV}~P3@vam5.= PWRxB8M] ۡrrߛ7ƚ6.I+ &QX4ҁ%E?#zy|'o1*7ZJ}Si;Fkہ^lF&Aź2=ϲrKݑU"tm'- ;MQ-J0λj BJHԶ'e(+y2JF_OۺnuۣCX2P}3Oϱ_ӗQ,r ja`*0HcfBZtJN5Tql6\@98ƹUt-3a]eݤZLτW`{՘=!#$T4IXp† *[7{=_ZL({ 63'i&Tbb@ ރ)vɫAp 蔥K3~.G"$i_(n A7ͱq=n]MbLA@F6#WbLa [P4\Zɥ_KC{i@`TvIPt4\?抲wSF Yb/3{i?%2NXِ -8 ǒp `P >*s w82V9 M[jИ)[{pC{-wBx^Ueuty L[iOLu]*Okt銰ma3u?nF^eAl:`e55֭'%$B~+g`$Ss/H\BQt 3 )rh@!siFn=Zة!7[nbs=VqWvKݓ&h-p&=dN/ǎi$}y:WDO 9_V,vLN ƜAmux5MQg0 /huFMF'>kfBƮ1teX\e@*PhW]&!_?i |'@ѱTW18.,آLYƱUN]6PLN*kN!-%ve!׹'9RM%Δ@"WLDYXX%F;V;oB-vP \W/fr,5<~!)-R.kUe@nϢI=0=Ńr62[)pm[\83"񦧱8mY@B)2FLDkTfyk/arܨz7i!h~?ҐGF}|:D@:'rku YuCs:𧘲Tm_ Q8"DV:&vgp>zb@/AAt-h5nUNΤq&ur7 ]_YL[p|SF,w[f=u섬jsM?1<gw+|ó(i1DXR HY=)|3=on 4߸.*h~F ߸er˙x./ d]}$֖%}cVBr6q8]S)rZ->\RZ98a秮ِb9SlX䎛.&')6n{F`&alg2Jz@*}ZM<;:q7KKbx;Az M̴z2u W[p F'B,-ȬFlgGպ 0Yd/ j]#ussM(Z%̽ހ=gxI 8vR!ʢiOԥiL@=uk žΒnx@UT9lmX%##PZ%}H/'䧱*wEP&Hd>qA7PyjRj2X{L)w %z3oFWF%c:J.$25E퓹ٖ~%I jW*fE(9O^nj܁mkI-XGyFeCǚ'RKPGCD$>YtyQEx׋{ba4DEVY/8UL~T g+T̯E6R0h|U[acOFtjdx5G#ħ$x'J Q1"RcT :cM+#TrB"qz8"T]_:pԢOygWUo1k5^M?}B_6U'V*DC@W+>g32҄| dQeGTvHn >0*t*AKr"&hp͢'xq]_S  -4k/qtɼVftJ9UƝ6xٴK ]p)2Τ="J4E"FL^D'y$ "3Y!4ZĨ܇A3lεB~FK)vβa٠yqyfpE 3nXO&J.5=[J(v·Jo3z&8D؃Ò@:& am]<cIҹz7!A%g Fp0k:x8'*8%6r #npIPT~ޙГIAV"H)M$@ >LUaֻ{&oU#5=9J֑6dJ4ksFF5AkO ˏ!1]Rs:}y^#1&?YwqJÏ8īq.` 4CLR*}3 QqiR'e&ߎZX{- Bw_fVe4Xi/\{g`׬?ۿMK\VMu(n wЮݩz=?AɮAC kεy{žYEq{@gqA6CPhbգ\ciG LFRYib INHC=sMNcP{Yg+N<{n.5DM]z$iV0'[uQv"l7\D ٫؃Qmsvh`d !AQٖ4h{oBPyE|`wڥĭo-n#yZ ,kf$X"q1Z,ipylpp &-T!6dmLءx @/)j We>xz{)55 -dvnAX%G4Y・}'KjZ04}0y@$@B~?]0mK͠+Z=Xo?v%\ѿaף*pDxgWY2,b ӊL(51Cc]5`L4ɠ \uDo|A~ ,ݨ$F<%ަmB̗r̽$ųɭIk.2iou^`Sw$_9b%~G֯4*g 3>*WYlؼ>^R$woyzLG%maʓPZ.{TN.Ec!V(1wv>xg@rP7 ?iU=œ I`5X'SKO\՘aFmVb-וş+-KJTf!TvVx䠆 Slb&Hyӄ}UPT =Fc6QOm8bOCO/0MLU/m IyfYFYyyx#-+_5l'(՝jQ.1 ӑL<e?kܻABO$43'$-bĩӗ|K;l XEFm=rjR-"Q-CsQjͼud )7^Lg)5}se RەMkHEU%$WeOw]9 Fw顣<–j^zaeu}ʫ$yYlrnU\-cR M7ϥ-pyX8'5ɿ<Ć9ӀV 'n.Ci%sЩ˃,nmϟjo\9JHHlj KgU΃!r'2+^7+G\>c5MH f #6QO#jÑF2@tfgN 0֌Χ6=*꿱!%0= b3. GmF_Y䣽ɘ HP ^ ^A`$00!ƓZߍ`,5{rjTfMsM(S_!f:+hfHT"0 {ۛDm',NHՖ:X!ͥNs?!ew#J_ǖ 4(lj1/z X[ (9[o? ! eZ~%׷U~k*u75z@,9r;SYKK tGǨ:bzZcթX-lلר;lw#Ec@q[m<-$l`G} h,r?U[F*uX]G-4n+m7&ClRyUg,cr~s&g{m,#;ꖬ=z):D3YIäE3iY|nj0ݓw9Z2MJpB b48 , rO:J6xؿK&G6Cm>k60; fpl7isZ .;n%%QB[KVs,A~ P{5SV: :{rԹ'eANĻZ \Uyn-&m2Q<(M:\>J ˺A5HySJ|^뼒pNu'%2D-IAH3G҃Ellc;契0Qp&Ca<l^F$ubA{QE@&>^I>>Q`Zg؝ؚ%ekgC"@oA^%t,sSw?Kw/Jd` VU+ ̬?C˼)1) 0q?0LUSWunLB=$}9d!PŴ5~`v& 糲566*JXHJ&Os3U&GEGu]eW&n 1G*Ƥ{ @:jz%5XG 5_"פ)f#؋pp.]݈SQv̤F$@W<C辋h ɏr"V۲$x|ԠY$̍Υ`!E>1)-hd'*S9n_Oo֝6+EjM30Nb_¼YۊzQkAY"{uE'FӣCk$|`-_@LaV;7-5+$2ޠ׷ ' JDwK3k_#mېiX %̚*lP8q? ar'̹U3oc/LmcQW]Ή#zZ2/J|V8$gq ڄƙQU+xg*DEUⵔv q˥N(>N~9ϧj}"%x\+mE]b]lG6gC 3~VėLԮםnJNhh,DGEy`0Zn > k{ n4l:LzB8Mj|/YI `ƆnBI7~5&,׮RBL1#+MlE,^rlOp7aL!]@\_i'+FkzOb.]o.(:g}@~;F< MԼVtum~D:kS,tpwp ,7m&)!B|ʄ`f?-mQrf!Cu5&ub;5cDɨ<(.TrOw !9/8S]p׌2qb< .+t\vpG$`1 2Rg,CM )/j &rcLy6"YxnRm%73zpK# Bܢ~k^%_uF9&zl8پ @iš]sO[4sh./'qA%ߤ'YйCY7ÈDQ s%UDK@)۵F:\IQTX(f\z&^\c@[waDax+2y{ 3;kRy7,ө=߼h̀z:5- ɡT+#\ 6)i?X[oQ\ҵ: 1 H(~>,EDQ>Ú80(jutC/ã2\UF՛r'·j@pibusx #a2+4 RK1wl:A6QC܁zϛmGt=̨ޜF8elh0'"'JkS<ղ SV~qfdZRHu@6Njߚ(|Iϖ+tE=(E41<-zm׊xk"g bT1[Oe# {wUtCM[I6)m FmPSЭx>U8QnI.Hy(1^0$#Р( q3#R7UmCۦ |. @g3Տ%OG8(&Wp*:B"M6Z2aW2{g^hLMsLP6%)Jf3BaFwiT( =Lgӏ6! (*9C[,ӹP8jd {N H̔zW1wARv]r~B!`F v9uXހ{M Gt>ί%ޕm{JT W ӊ Ϟ ;'g!~ qM[g*]{[oi%#L1t QtHQy v0Q(QO(wV2쾜X0gtT R .=3?/]pj<J~c%cLpbI닶h\,~  R2NDG^dGsTø`8@}/ I5Wl>w3_v3V@؍p] ;g) f+H~dFGK[ߢU:|]| YI86 OMCr cJJwࠫfR&T:9Ŋ獎ۈim9_+v·C졢B6;X^^V0ImSEX̳/Z\2'񶆉 gu5KO_2yihRRmcU`9nvBH[*Cad` j-,k4"mQ'd&;b={Y~LoQ%xTv$212LQ"w@{'^gQ3ML<xG(g_zTX e.xBVP*F=lY! K'/Z'ăEm>l6&A/dKJ;x5Q4@ևEZYd:/=80^J&z~V%å. y{QVeZ`/|?{4 z0&VoϞ݇e q݂ɰ_D#4~ndΆ9)В@?]S̩@MkrpT5wWP\bzCQ*ՈmbiyBk^r@Ns(v|70Z@mȳ<]纳@}۟_jX*i[烼uOF) cod+%vNl|c C:E W팫~' L?2 a!&Εw7Ge-_r-WW%Yi(%ug~TUlBs \;dc vUvۑeW <duFLcT^(wf z qg[2Jh{n4Ҟ3$7Sw̌D :?)^YlJti(Q{Y"SlL^>dd3ovf jPV\cӀK^.̮wf9xvT'e0U:Ιf4? P7Ψg:̜@ϺMm+b3EV,kDk<[rkWMJ.耀<F)S:hy@}?;kIT iN*['ǻ FKڝm2}7? wOo~~CxJ\$,%Uq ! {b(xv[ K42+fhAdAXb3N8̍oOeQqgY ϑ%.jl4-J {3VSe'"Nfq9'_dĀ){ dgnϝ2wr`b&4ȧOy+2;`9YY\DSjX+\wr"y4#GuBR~>IMyll_EJ3ykˑ$3`ۤ2-o;#^A"LShΐM |49PsyFrJ`)E[B(+~-wC,@% hHetT iQe4!UodY^~ N`oj_egaR@*BƱkE4*5aW E!pQz1iEͩC.3c ^}nGTn;>'y֪΀ϒWΒ[l6)]M~ Sqsb|ZڞL`>f_FݓjL"W 9?3?cw$|q8'K Si|^&A#vGt@)zA Ce4g|ց^!]T#+`1VGЯΨ.0ҾNK)J|e؉Ы}Wsf\[~=$Qބ+\2XꎔW12_@NX5Dw;a\7,eD#`C.EzwFIdVDƜb=IO/w t(Za?+Qv֑<"I;xRTVwf,sGbиo3ϒf?`4Ogw~idfH}f^\"1sŤJF_ļurE %&f"aPb&VDTj?SR|aqn\fA׭ni\Bvq].Hy Ȗ%>l0"Ba&BqGpL©]ج=^6P~`Lҫs쪕C= `B q\ROiN/yf0xCT"KD`4+fR}3 ) '+\6hVZۈY'a=Z4#*8NFjX ;`E\qG>w[TEEo¦ޢ6U!!t7 eM} 譂d9z8ZzWMkǡT"J @Qe9=Ys"&=޺`J*M4ij?W. 6YaÐTV=J ¼^屭WH-,DGhJdT.(\]eLtͬiS(~ ?x|d[آ}ORD0=H\ v %{^M CLνW1c JKu}RuvK 01>Pt OH@La<(#S&s[f!ܱ۫{«cT~̢$\m: 6+uբgYZ7zXZִF! 聟r]ŗXi%CkW=MIe8̕ }^#3i@}G%pP*#C[8ɑIoq0z=.e3&R!:8ГcUb'Py%[qk̔7K z`/:&KMBS'd~|jm:%W/E[襏+?]KMSru,;,h$xW`k6yT/jI!GظEܛ"x2Z-E"#Җ-"&Chیލt#1Sz> p|bEXrKgwiuCI:xYF1xF:N6'Ҕr*|\BIS꺶<[ \XfGd h M6B]\F-X4;_b tqpA-sL1oQ9Ƨ>e"inMאb4 Q*G`r4މ=ϯ4E /^i>AxTҽ5I]e 㸙 (wesQ=hht$4yҢΦ7`r$ΔB?{N9G0TQ12b_ӎm@oG;ŊQf 5&mb@A4)dL׍˚t@)H5v R ֮؊G91(=sؓ+^P8Ǣstμņ88 OG:i$a>L&Z@ -{N*kkl6 7U`~gM7 oc} aS?߈ciKk2Љvr>/]q[#'*&SU3l<-k셌p A껩u&\73R#ƈI`sEc{qsbZh7f8k 2RN) Sqv"^P>ۙ"vc!vp?~/EAUuK||]&5UDJIb3 NrnK0> MpAC;⡅p{^'r sZG&5i'FDvuhU8 DZftI'1i3WfgSʇ_k# tq.طMGmhg.I>/8'pEh֜T|Mȵޢ.Xd+O:˴ԛRX8UUun󩄬DqBQL+Q{0]&*zg|8bqm~=p|XOBA] %C8 )&8llÙ߫#M])݀ަXBl*w|M32вz<P?txd:>Yjvl~,1 %pnA-ɓ. Ⱦ} ?ΎAgI-/hX"A)'HWi4h0DZRiMy{':@B*9+z2#b<^7AtX כftTHTV@f=tbz۳-1U\;>3ssT lz#OԈ+NR}ch錰ƺuS*@u^_iFjFwk_eˁMԀ_Vե=^hN&+Gd>o5JڮA$&Gf KO .O1\vPS)^IWr#bN fLc!|(FdzOkDI&<=؃~NIʮxˌrmc[IU=ґ.9l&-)rlE:~Z!i\;/Pvʹx7)-\O+7 BQh4_&E!F[ Wǖ#^w-6xTҢ`1EV`0PKI٣y]΀) @^m?1-&|/ =bN1C"ӼG_1 "S9Rhw.8XGLEU5Z, Oc#SW.IBH 9SftHl6۟o{?6!<m {߀j_2RmQuf?!%@?C9].aX7)Lp̬+ϑ@=fq9N3Acw=2+yBP g' 0>Y_CޖH˙${tVͅmٳU9m\J0̖ØQd%p fj5*V Y2W-qH ]_30jMތlT1<cH ƑAy'ECHFIiC8wya8VRtnyJ;) Zf-+utJy*g|S獔S*bRW"4oIHq—Hk+(pH2f>*հU:z2E@i+q 5s4IF@{qj AJK*ˑV@O5z@L~ T p^qIPkjY"J#˓`Ζ8eD>Tс\#.Fa#D&U@zZ!hqI Ty({sM1½S,zj>ۖ'[3/Y?ČPpG-NR](m9I C/xcmՆ@fs]0]N_a9.-E+%|gI?ݿR*kr5hZ$ %^|Ht(ۂ@cJ­%H'(jIkq2,iA)s !̪1,XT NBt1x%8IF{'ʪzx a;'\_H?c_PkN)k"@aQY~ ,qJ:j. NA- v) (ױcI|[ƖMry;w7QyF%2t\ME~`8tBE'2-: rxԝ9(8j(f!I/$Lr_~U"3u ,!1rC"T|Rb4Ġ*i{Kju^{lC"g T 'M;QgIFOtvE襛31Klh"^`m}4 FXգ$CAvg GPmW{xn(/aM>k)]o#^7g]SxB',*9ShD~JLISRUj`dؔ))TjcBlȞu'R*0\" 2K[`HcynfLImس.bPn&ss mcܖ-c;Xc6ĮctlBtgD]F+.&,"n#tu6t5d0)[;y6@GҚ;ivIW6Fոlp#ov ]ߝ(-8qrmJK`v); Mf&=X;+Եq"IBI! R0XGί=]4ƯC9 C;Tg9(חCuQy6{h@DF3/ zSN']~>hT G7bf>bp%'R/~CHGAT0W8Zv"BXJۉ1V]Y@(p⭣%'LTgQ^ + 8uqx Ӥβ"wG:!7S7IzU˫um !cM㵃7 H4;NeSDRPQ>/ ˌ[)Sd<y2"Y5*m#5w!p?[6LƟ&g.;*36*X޼fak%Xp:J-8g@qmAF4򈈉MgCPԏdDvHpٝۄqMaQ09:A+,Vf]"5̂[:e3kfe#lV] ۈLZ1!-)%Ju=&vq=pYI Bk{Y`߃xHeչ*a,Pxow'uj'|jkSXk>#bc <Qth.LK(U"EcҖҼ5XfX6ڗi-܄Ö{?D5Xj2AEsia7eݷMf5M̍<3 A կ @_9zV͍ϝN\_n}C ^o|/yc}i.V= f_/^SX,vd^yqFYE_O;ϤTt@+}'Ycp(+wl jR]O&gz̐.s_ }Q.d\N/Ƴocsxܑ[ۃ@ڜ*`L2A HO$d%% j+бj}<24@25PI84O1_5?um:bʔ)o**4yeJaZKpk$&xQqgH;q+8@[Pd5I+9B/ )ɐQ?oM÷\ݘ[IL4UwTiGhm7 -q6w,'^U=6ſ3)tYSkF`ig^O@`WVM/5udȖP3VegF9\՗?\«/zZbsfc#\4({K_׻GU6:7xః&%^)pl F>pqSǾEV?%3sRyԄw!ی%Dh6z~/=Ťah޺u%m|Cp(S9]$mtJRi-P]IS2=Z TE`V礚s%WSc]IyD{v)3|A>~C݅Ѩ,kAXa g^F{9$4G5YS{`"'T_Css?\Axn(p'N\;Rh˗?*Q@T4AѧN ; -*kk˻.93Zg gBNZK yᙌ7jbk:)i䚁bay!1jEAki,[s$Ηq]$2q=bfK*ݟ{!yjR]CCZ0f\ (v|w@heNt>a( G)aFB_Ȣs뜟cf賀Xjs Y[e)'VPiLŷqbt;_Ҿ}|{ba7Py􋿺D"KO]Y79q߫jj6s*-$RxK&JmKxEbKQ=F,|1V%V8 1T[&y0E,O0*ޏ!@Zل),Vpހ2&>S  Vs` $H+m$(E頴Tor 7ᴰDbkTBq"뭖? :?k i5BI//I_xR@s m=f^]13`$ A s0Cyb,PfJ;'(r]d Op4pIC@Rٛ 7qPb¡7g3pi7UHkVepW QԲm( [& " 9l@R=Ͱhxms`*lc8n@E/e.JM3Ҡ>5#\L3ϱ%v^?n(-_ޜZ 3%y*6?xIZa>W0&ײ3Lش_OYY B&ޘ[h3 1Zf(ycObDhũצ(o!-jkφWz\7 fa3)80('BR))&[Iͪ(DEX~G &ʽ<(P]ϠEP&R4>پ@Xop y۶5V tk&!iں[od@Xt>јbXrr=4 6ڭGaK 5ZU` S8~OVaW}“B Ƣ%M]? P7GNCy&?;(~WPR#?9vpg༡bu5J@$!)1E;5|lH#ȍt/qi~5]6oy/u|r9jc:7dՇ|d),bo0?)S]6lwc];io! >lRߞSN() VNl_#\%^KjZx:#+P7XA^^S Ϸ َf[ݏ:/I4CuGŗd 9SJ 6{m ΅]UWr`rL-||H ׃TCe309H {-Š bcc[K8AOrH͎뀞F]x70EP{ ͸ݯW@Ոa}0g hYWFBvt0kkN37Qޒ!B\R#[ 9fxQIJEI;޴gvm'r92~hkRH"-t RnS E1~X5 wB`pO2±/`C X9d0ŕ}?KQulz-b#v܀ܬ/ӫH;Zn93º|iS*.0d8#i\S CN)⻤ֽyǥ;ۮկyU}d $VY#=;+B>YmFmdg:TD22|wM冻 `Veר~lz%c9- DȱÆB$ۣ k9xKiW)DGba]뵍WGJ(or$u?/&*/w {i.Q+겈o%5č9E Iv t^R5QyGn!8+"θi47 Cpjkm1"񶑸ë!?}:ƅ #Vn?F.93ߗ.EW_y>$PJ:B'$MUl8RbI #8m2 r\p⡕`Mbe:`fgdjNGRc_xDkU1 *tUgd9og1ѸWɾq(Fj-^:HҦ UT^ acw*y9ȥ\\B!;C+6]74-E\ O%RR2Sod(WRc=d(;6W14a*BL7Qs7~#tAp 7pzqGRzqZґeޱ>K6M A=! %?BQRȮFaE*a KFDoSer~bavϾi7+&GBrXfU-S3#2GHٞsV$l c'QyA?ةM M}dOoPnYEQ D{|\r@M CKno&6殻Q6*P:\ (h؁.e2`}e8'-w, a9!o|YW Jmx1ZXJB8{ѭqldAP`;ZH*kf,FBر|nc^.ci^{3Th@&AxauB|=&m~kHhF:I4pWx1$q.ð֑ QP̚> A|5j9r`)n?fClDKR:TƗp!R:@?o T,C'gKs_QI *s4OH~hrGc:Wâ[=[Dn6GU^|\d}Z$3]6p8uDj'{ukڻ|Xo YM%?xF@w딉n%A^jZ5+GcDK )(jic7 @0py23Y8@: y<'Զt0sCz%QY/$T2cmipDWf@^;ѾC4qOjgI='! 4+[&b[:JTL@г!RȎoiX]y}$bKJ>5Q3nҐӨ9e ˮv7 w;TX{nw2M{3/.9Ig>#AXk=VQ ѤaSlnlΤn~|D9q ?e0NY88Yű?aŘEr3+ C_V\y7AF͐\HsK%/IR~@v2d;|v%EUh AZezɠri/eT$/=y8KB5GX;8*0VQ W`bP:z1 E3iExXFp:w8ڇ *=ƐYA3ed%?bOD_tF^} y匓WU$ \ShkΧXl œ~JKS駖 ڑtB4EÕ֜B- e.| lC}x|qwT MxM}4onx2S.AUl3NTVªLڗM ۄ&+2g:Ez5qz@(TؐQD@=]Űp)@n+oyƠnA#'`Dr\)&t+Mݡ9CQl{~fg/h%r8 /h1h2OE]Ŗb}R2fJCވ:R<0ޗZ680;d/jEdGۮ\3DO'͝l=9 P3 :c s7(d䦲‡syot,a),[vYG1pv0WAaz8"˔^>)$zϷe38M?FWevMJKPA^?>X>E |3JW.t;me4UIJpC @bjO<olWn/"`K =w%Ϩw@Z%5߱GTsg3IǛ3Rb.tcU#p[9٧9WI0]Yo^jF?'z)]Wt[JQq5&4.p_ېɪjQ(8rdQa8]wt8[N$PE$%f⚇?Bi&8ύ3ղi"|H`h:iBj )Scs*~@l&00)C?1t^gre2LPL]71 a`i])䔙yR6d\˚dm,9G_e<zS&rO[+8z5_N#/HˀB^ڙY}"*lZW~WyT]Ĭ<"7&ZLʪaAgfJ`4&&aN`,s_MRD<>HړHfc!*?hlmh}~P:iz=Ź Sk?Ѥ0"W`S3HDA߾)6ގaqy Ze*@"=ď H:5 1a}j4-!wc9oX?׬%\ 2# ԔZ j"pQ/&_vڻE7xtwm'>Jsr*SǔaQ$Jy6 K.YoXS &fh_hSQ7#hw X%w`YГH4&+#FhL"M85vچ_R#l_)T bj)aDvPiRlpTfޤ{/C!E;RP#]a<+}=vXvzaW M ''XEqcetnKdUyg9}=Nc`.yճ_6e\,#['FX|,GΘxcIwh.N⡝l,Ge^*xd+M2+h$?h84ɽ}iD0 륒LIr{[RUD#-@ B&-WunmwS4XO:O$lF9L#9P*f=-p+.7 ~5gmP˺(tؔ*$g#LFCZc&nHck$]_>~]sp-`#`uuRQ<5&J^G#9b&SM!b0Iz{\4/.NsU~dO9>\ZTǀG6=֭3V#eB r4E;̂ Q"@rk=reb ^V1,6'X(I{P) 0׮7F|屢 pԿ.1nT`1WW&R(N+U:5 /P ,- 䮧DD`%~4Bp4.M aŬ8fE xn1Z.5Dc/# F"NOߛ%X42?[PO<ƈҼ3L]$lh.N_˔SbEe /kSr=9}XZWy8=4Lͧ䗸!NͲ~$VUqE4/G? ySR@*Tkܕ!"[NOʛ.ԩݫ]NӚ+6]}$dKa5_~MVhiiԈWu z6AF乏=(|~et|#*: X&"6v` g ךdb]w[ss 4/zcnIxb,rS<܅;5AuU _tyDq}w\;^ΐ)ᠩmg>'B/9Kg $K^Cw/Nޮ(u\v~?i.>z-onqy\E1ac;">le3 SFtj{S(X@(mNO5U2A|)&FXk }î?:zͅYoa5u)!$fh=v^sZ=+#{KDBkg#:PQZc[|Q;)nF\w4}8U#*=X\ 1pc*N;b_9$ju0,ҤZ:ە+W// aWSk"I%b3G5,ג/}uK53eqvE *HȂ?%|'_'zt<+5Oݍo{ҖQ8 >X!fqΌtSG0hQqGhƲUb[.Hi5zƻw="e[EOC¼'Ynh4=3Q՝qpMU# ZWPޙgq6]u\ttX(!tZ9-^Uf`$xHk4|岢L?vnw1o>.]2~D'=#:Wa.T9|{SU:9-X$8ݡv֚Ѕb!o.R F'y28PDU:y'XX "g4{вHRӿγ]]Ȼ3u|wh$LI|J>1A0|<[+MHHsuvԼgk*LKv<1tGeP;iN7mk&0>ECi+St0 \yQuE 1oa*AZ΀a"EڂIxu88M6e0^d[ (?iM3CwH;s~l8 rkp6 J-Pl -)~7;z_|] uoʰD +mBxbm9/&7y&;D4C\ˆ:_ܥ%'Z8 ) Ͽ$D]vf=8f(!;U/T61V̗vWu;_6iBmQ0ܗutH=w@4 qO&K8nr?ˋModT[(ء %aAֵ8Vq~4p- 9|}sQ.~U*ܦܺ6|83_1&;0{kY3cM@O[õYd0ȓ51_11vzhzݙ&@d1VQ7"=9϶xξ*.Ɔ}6r:V H),2\PvsaC+q֜?5 % V= E4 ӜϥHoF3&:= $o+6.䍥l1`du>XuIZaAK8 D]j|?̋UhɹpFMOy%YCl&j沽&P_Pn*rJ.U7ϩ'=7`sشerzcHK}U; H/C`&*5d btdxJ5x֮Ɂ S .)vI:Aɷs:bEǁ}3ќ|d-eL3I+"!- pϣIr@ML.fGA2+{BO)*&ai0pED/J%ƣ*w9{ F K0Y 쪅>$lxCeGM,̥s>ULi!7`#!)W-Q4d- G(rɶzG@lWRrP=$ u$(&fe%p2ɽE $?@S%};.~L`ܽYSM"Ѽ 6VlFBqo4ժQB~ Υ1$50Ezrv%γV\SƝ̮q::\g8.K<1mDUq Ԡa1R"v(L|KhB)Qi+BЄ.oƗ 5慡ZaG.̴ bjhYE:bU|F `@10WBжM01brWD0jB=‡2o`ptxDՋەA CT,P]#X zL+U.Ku!pg>\@PgFB=h5Py̔L,6:Wٰopgtz4*q$pw{yLU A#|[IA,MY mBnQ՗,p~KF`lR9\86[3Ў{0s.[MpOI@`֐ U|ƹ>͑$\fI5CfAVܲcs}Ͳaۥ A\R\‡NDbcq .-m@3p(Pvm(wr,֫Gix'VQmSN`j숄.j,IunO.\,c@E?wrĿ\iK/pH g<g.)d_{{4=an_@mp z٪ ^|oS`Oa6ր>+D57[u:$`nw4gD;2ZaDGs״n 0zlaSq(M3ZX4o0\ff[Qa~% ů][}bDBAe.LיSoԟ XT؛X dFEc!?MEۊ()fl-gav+6ID)7!\_>VQZ$hC_ɹdP0w89}+dvuvn M<&\~8[*<"?U!Oŝ|*ړ}ҟ`f205V1\lو_D|P w ;B^TH m9ر<'8~Ӭ:m6>YO1^.ԹnQ{R›z ~%k6x8*_&%v>,Yeed>)'Un4x"QLC#ubFXK/#[gSd[PqlwGM_ |F1Uk+^#dGI1~4LZ7M̀WiK@#/]L4e[ {x)贳- a38+C$RVO@jCF)&A_-0fDJ2y4]Z[OR9x 1tCLjTR+1 CO¤z̘3--\dv6C;YF,^j7PG*8R:T́~ <Ke:4y\% Gtf1@]hD&TWmL0a3r"B_6^7ϻ= NP܃}[3wLdǀv:Ny~ڍ靊o# i,r~-N脧!g Аcҫ?|,l oۧz9s~;oxa|0pڪ qZwO?&cI; ]~o"l%<,Xﰺ8BmN$(E&8[)ũϟ3SnhY;T:\TE|nh fXk\&ðL6÷z=Xi^+6`)r`%c]e |+5 i=ʢ#6XG*Km]ôՖ{ ޯtcEU trjB5)Q=$,K0, H*M7.S @Ƕ;:@/ ?Bi3kp#$Ÿ*0΂ vXU4&o V_2àfh {q3=@ۋx'6u;=*:NL -FL%Q-@4n-܅s,$%zַUʣX>tH+U54ٳn+u{\ xevkg0[2vvSG$.@O [ #27m =֛T4vͶqj>w}Bt,g]2X8Orz4VE{85"ڈQIE (+H>)|B~6~cBlw4K0ݙcWI.%sPʜ@{iICPӏ\m!hok{*x%@B'Nϩ%T B,<;qa24R^ N*q&x<{gSz\d({ K+JLǑ5$v 2 *MdthՋ )o]:pYZCbdNESVsl4k\$P`F=$OjOy%by&Ѿ[! XP$:E ZwzOlH-؄1Y0h8<D<Ԁ8Xe.kl գ@>^ny,5(+uV6 WdsqLƇFwT":@L܅ep5\~1@sLvxpj%+jP4F`9WTiVCybmEA{se }tlBoU5 ) ."^ܲ&נ}Cp04n-&m>RACc`..iFSgПIfcڅyYn޶)l@CE'@\0q[ˮ ˜EnN.z52GZmu/\ERDjH^XTu?s+ȇ&|ϵb/97'YjIi{0Ħ)owTHX`I zQק6gX%2& ~43Cc\7.2ұ]aZ_{[96"3bIQ_!Vn$˶(r DJNﯲ—)" 8䧜Зytמ'YhX6?]eC|~rkqvқT͏hmp:Եn~OFBc8]WNY`4efj3VhxOE|u,{U1)z"pf4mPJ7Y}) RE$y|6M~+!J&xE ^0kB)_e %XP|j[=?-R¿dU PE3{v GT2j\Guh#o4J•sNvtVYjƑWRuˈAB6=n"ݭQW37YIfw#NO!m{y3!G`8b풍 .LȜ_Px@jqu E}Gj߭kX6Qu. vg|ꤶ7֔6o : M3餷8K}%BvWb:J#<8в2(Np[aa&Rnp\ȹkB㲷M{%IS{4lU9bDh(^rRw DvJ%?#Ӊ,O2Ԛhj(ʲ6H ԵzNRG}ݰ,-z"`́m썃j;@ YFK1fbƣ5ʐE{:m89\ə^-F٧*'rqm]19fkd N5Fb8K6# Q;by@ jNfL<*Ё51a_Ԇ浩^: j&џL/A&gx`<Իe5Ϧ?44J\:AVg9gͫpD)'*(/63z#@]*ݒmJ܄*Ҭ&Y FT.G,k~7ITRcnd6_~,MYFЍAYXkQ" s1BkB[]Ck#jLHP=(rw^ժqsPZRPҏL]f*f=7a[ Q,VC-Y[Wj_eG7QӸSo jqS8%!& (tF 6$ 39lQ,`E'TYwe*w ųw-}V?S 2\!3֞1Kxsk~w(ZM r|9 ;!μDMgPA ~6r' , A,F`3u#}6/!Ve[ Q Ԡ$