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  |! lt ]]]HOL-Proofs:threads=2elapsed=698.450cpu=1156.564gc=145.244factor=1.667zXZִF! ==]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwba : | ,篅BļQFXm-稀#ȀȥAФu 'joztR  -mOn| ^ބ~ mwEhki >-B{/ygjܕe4;ɵN+P{:N{!WIur< U(m+΄X2-o'Xos.RY0@ ]?D>{llU,ϽoVJw5k)H]y7-'4I'y`&mTψ3O ]F@]#o|[ѹګswQa\&σioXn/?)aBYT#QnXb>uLU ٖzJ \ 5.`(]Wj-j\w~aMPiiEwN}RXuH-JVtOf7rQbU{UҠVS.ˬy7$vٶ2QiiN*>\XJaX-f+VBc}f Eȳǫ 5u8L* !zv{ڷs=Fc!hTf8B]6`~drR*TJ1 aŖEc+c B~cZQܳGK YQ| KV R~~ix4~|X_m9R)$ʍA{L.˽X/pH2)$%Z`8gzYarp(+\k>I`*&j(q.O5~LKchĺY͖kū#ToǾvo'PW1&WQMbջ*+"] Z=ׇ"EF!pnkANrSs.GTMuMn   ! HOL-ProofsPFF(6b*?[`KYͧ5#m)pH%CrfȤq {HNGWe[1խTQz{c须@Ugn#QX$?^0 lfwnN=l6cZ \7۵`IǙ*YoL8B 2x!5c#i:6gʜet20˱܉O<WgC\:kq=2U<d z" jH8E"27RƆDė4{[&GdaGo%QO̺(?CHCg. fxCa+ist+峀 ,ASh*#ؙ4//ِn86|w HcL!$FO=p WuX7me@L/)ZܲT=ߡ$c qEo К5X'|PZsZMY~*T- Z~9͸*;NO;8x_RvLh%Č^ݝU)&l7$5*;^K@; Qu^%ٚM8*B0E=SOwYSՉ͜rSPR< T9SET`0[}@J ܙxzޛAʂm*AD4]I8䍞ѦeoɅAaD^{FO[ZGN%L!u!7aAB% xEw2Fq }5d)tm*Zl %x<[_]EFyCg(+(6E+Qᝐ~蝟=<* r/!'(ۈ<@38XCY"S yK\ar3Ti ]|jL g0KU!|S,Ԩ x03)ŰҺs~j_Au=2)SW _K_BV,2]9΅Q\ m#^!ƹLŶ1ml,ydTE,f]sC8\~5WAWCᲕ1nѲ=eoaG ]:΀(d4Q(:f+ݺ[2'3~l z1CKaYũ'/͆cFg.TkUkՉdۡin?nE2>^8*QJGW0=L/lb2o u~k}^4Mbъ KIKet.64p>YG5)] wI)P,?6n gU|. N:SF H:\[c3t)vnwmt-͡ `RPCS&skѲ)uT D>;#=!nDga$PXޟf&Ih0dT.y9K0UP}JRhp;_)Ϛ`ݽ\ΦN)ӷTPG?YOZm0 ưMZǒ' =xrJWмL}i"D-9=]HKnE-kQR4b䬙Zqz5*~qw7G[_.ePɮ'xE3|ٷqnY0C%I ފpN_^q%ުa>11cڙsٜO}B d(Y yc#HF{'QzѩDbk +g6դcP9ݿ=Z<_0:;^ƶ n|bfWa@)0# &ˡ[:^>xNR?OPBCẐ[\ Dȯ)6ꡐ%C?&r^҅{ lg5 $d`xJn^fw;}_`*kՕ!ɍMg.0dFyu!C6~nd.BH9n`PH"sYC34/!=X xeEx?x[й]]'1!ld9 =^)#36nTavPL]l9 Iԟ-cT>WgVb3I]! @j|^ę_ƺ<2iG.sfub4"; 4>|Hq3 &L@NP`T˩H8 BغT\P`&5⚹wFYnH񑾟f/ϡ|h؏WY;K廆3p#nf4ݜl~~~E[eW}T8|9U]]C3bov؏R 43[ N̯S,<~Ȇe^wsS#gG Ԧ`t0u#é)Fv*cB!ng(Q7㖊A~(B2Ŧ`8'Л*W%oFuQ~}1w37)KB,LUH:D9))?c^`d]Rp@#SI,LЧߧZo2i$K <@|7,6%\N/=#T]~k'.9t*S{-2UR}'h!~G΋E De6⹿<݋ u71/58r8! $2( wZX̢d^02&@IܢB"7#Bae ^'RQU8ȦG4ΛK?y 9k_׏GݒӵW{hщ3G8)'2n)]%846\]-bi@~S9|cB 7lԳj3|̇ҜaP1 [{ \R%D Lh:(]M6h7ev+M0/Nao Mf l"&"KXKD<" 3}xi67N:\_5Tb "=\iK`3^)Õ ec̻JAQR[-[|8l1ͻL-_iף5i{!~>{VP˜:_%,:uiVf[ٴiXG|Nk4v09ZiqE>> (V hrGϻe!8ب%^4MJ?AڇB_w r$1&v'k 9jQuYӹK,ٱgYZ7zXZִF! L]ŗXiɟ29aoʼz[%U>EM!!*WoYK+bdiHs5NobEe"7PI"˵^LyǥסbU:"#٦ٰ;A:BxWiv.}c;I'ew,U~Eѫr ҊgcA|WsKʧW6UgW/gKӹvVXqYk(qx]q!q+X!^5:Jp"B2~Y6zdSXjD}}~)WZ: "{ Z7仆%Y.q; 667Pɧ~F~7JCI8"ɍpCRv,*◘ ռ9wn[b"j.Iump~o[Tb/_Ŵ= O%EXY@}u~Zeql u~99FCy~|$WClVYށؐ+.(KRRc #wmִ߾hJhinѣcζhW KU&@{>sfVBU0Esmg(Y [׍w:`D*%GZNu d',!Lsaf&Tf, ?Z|!$鵢Y2KPW9@7qr&p[qq `CNiP`N^z<7knz@7~qu/lf^S ,~\:Wez>=qb:Bo/:č C(c軍[@u#4X=֦VpF۪C>*lekE@@iX;snAI>\}->)ϭ84%ZAҥo:XjYhD5̌O71DOu(1)>ĊIN 8+MaD+ xkgc&ʏ?/ToM3J,e,$s(yKTϘ( j?xT9$vpvͅa<<ǸYǺ4]yi1u!Bz]+q\49tEq#?o@4+V8 dz j*)ϝ&hA 2*~(gYZ7zXZִF! q]ŗXi%;Ű;r NcG62>f߀Y{ G\7M:}11ufD̿;2\f|M]]4٭v И%^֒OKh3JL`ZWfOV;5c~yƍlV'UeHטP}1%n 4 ИTI4zOQ乫 [f =}'6(Kj*m=J`x9 ȵњiZbu'E(`@Ixff4hTS:OԵ;u@H3X"x5[hb\VmҺl ɼ<;lPMKR̽'`Cwl{# Z4guůP˽&K=/§ nI(ec`U&wܰIvǻ6]t} ގ e/i(L˷߷ڂ S!!@d6L_S_L`>Z(ix)1_ T[wvgmy\8hNLDX90Hw((eeӄ9D8MNHhXZlO`ߘ3'-WWQ< s[d>RZ`:n(ȡuo4ƨ%tTBO'#esh⺷PaLNHE2X>B@Y(?Ǫ\6 eJt ?á^7FwT>'Ep5bwkdk U~76\l,! SDcZ<.FťA6B2j7DʏV>Ɉo J; 2`7"G帩<ȢG4bMp⹵_ dMs=(SD%e! 5QJN7yP°=Kf*z{+M"'=nލd1FVm_<3İ&Ic|2%SG>=cZae?R6c,6bKSM,1z@P΋))(%Γ{t^ .mZtƽ3s"^DP<FBa,TF YViM<FN<ޠ{h ڧ 'QF}sz=6V'ǪawӧA8((:"N !b˜O Pc z^*W;@yeqUNҊY pl=/q F(x tMmXB<3?aWoV_bgy)f_$= BAX)/maYۣՏ%q)Ȭ=1r.+E'|Bw)Tϩr6w9Џ^yVdPu/mk`$_LW=Ӧf1~` 6v"T;u1E)kv@xq?7s;1; }@r搅hBW_9XR /=aǬ2oz8߰Ѫ$۪̍Y>! BUZγyw;O]ɺmN:E'/^D<\6)@H߯Qw2@k|`%.zA!k|& y΍x{_P `jL 0$2n(A9Ke3m^AUIV c*:[g Θp:Kh*$[g%?O{ļ9,^60g5J+YKcvXN`칈FR^*lB3XbmQ]8΃>ъ1¿Z/ZzQyCWN1CU6`cD•Zq27|5QK˪tvR{A_sH7XfAs}udeZaqg[[BɁܙv:vw&&aH0/3; z?g.dDϭ^fX!=Oؚ@uj͔h%̈́eըaDC!0bxuݍ^>M0;"]QeAz BAOskH}Svu2V0+vϥ8tY6%_Y S0]sZuig D7֔vd 1@zߊ](bP4[-{>z +:oOWԿlnḬv>#|\Qض0+M$Q>Ji1F[C&gytbJ|e!¨*e7Zj&R/<DAQ 6rJb6剡T_>A;#-^a;4$FT 'غPet%[wC=uYf1WƨΈ0~;[O%vDt56aO)I J X = IQWݼ9]Z{Hg>=|xDjߧH d>2핁?(fNZZO4?5 z~Çڮ̆h"PhoG"I$l"*(а"1@Zz0Rc;4lD;o5ܠ2X,_47l[ɟ^^9Qo#D[jÌLL|N)JkcydAH|̋f'RŕGVHg92Iqf<A5թ3,:7F`P,B;\^4{hw4_%Vk>?$.eYF\yʜ)|,VH9*J^*OqյO; _M8VLLǶTպ RiY9*:"5UvɈ'n61d{Z7sؙqR[OhӘ 0wzdȸ69$U* nP-1߹}MZH-L WY[@ԙqbgǚ˶k3PgPC,j$&𥃋Ĺq;W{8GT<#ŷ$zZ ]1r.4?9k=j{BĔ?&7B`.$(&}N-H XbJi5jD oF*C|GT$ۚa ww]|>o"^^ꔇr\"^_°;tfSrIfʠC!X58].A]EU,fw㷑wEhl (ٌ(Ȕ֞K2Jqvl/pd X(ԯ8JH[P QM)0qnz M?8rS7XmG:ersb7I=fG G}>kxV_[J ~7tXru +Dž] :yV%(_f>0F("u7cP#29LfBȅpwt܇Nc}P hiqiRf0,-~.NK J&~}8v}K'r "$:cC"h#i$UG7@lR󭧋viLk.Rr7rᘣhF}֪~;ϩT<FXf'D`Ck%!s vh!(s&XQpi1S{#? *#A)>G.V+*'ܗui f_۳5C)[|ZW_wuBitV Wa4x_f)uY)bhGxJ6iޯelcEYȀw=o-;X4cp's1?pdAʭNJ)WBK1!'\$6-H_ɀa`VJZ\muc2Y~ ֦sM;[+Kw:ƉAc\yERڽy0V(I:ϫ>RH%}A.nIi+>j'~`d!=(XۄLuONN}*s-̼L;O0MW`U iUD)\|K4yYpyg$"kU-i,x73R"ȹ>WB2iEN3{Go{jȡ!cdfqv#+y#܈mĕ0b4.%N.d(tXY/M/;:_l5YS?j\E 4]åNrg>;uQrQXU");_" jH<ծAI9+kmEdTƏt$"7vV`HWL,LmgI z*s)AD ;a> g G{N%`^cW;cXm k<ዢeV]? QSk`QNx/Sm[yjUkhN]\b.f%zV'ʚm;{ 8'ľQ$F5 &]8$:(Xx Q04- &A_yC;eױ KT ;험~|+tكmr(49*p*W g 2/qutG!R%eEn&i2kygѯ wrX“1]VB ݇錞yX;\ 2lCH8\YPP.?~ŧqbR)YD4`a#^} -IA}g9 ID+Vyo DU9dLbY5elCp-0d5Ҳ6tl߹͐Wx4sh* ``&uJąfj|~4+Qr[,Qĵ֥H]陈i MoX 8اt $^y>("uva[5muݞ˗-fftBTACzL$яhTI;Ss0v8O| {c7ѥ>dl(!3pC[)W ,a#n`X$b*q tFX{XD@}=50X^ig_<\~k)v YwhA^s0ww>Ƙe)z Z>uyq+;n IG|c ˩g+p"E%S\9pP"G^ud0L:NzſټkJT?d@-:cnO(ER\JIۙ.K>aJ@_Q8#(f$`63ʹ/YqojZᣘXnm?=I-rl?$WC<\]\ETz:a/CPa CPKcS0OU;14҂`<GxE5=ǎ>wy-/q:d?>OxT.duwJpܲGgR?IB$%ܴKoZ-1w o*(9#I=wxAdcF}L llBc8|0=tW=^$J䌻A5vbl<2I٣\њaнQ'=eF(8H{ỾÈ]sї u"*> O=Ϯt T ؃O}$pI1 C?f|\YF}#m Ѵx J*v !F*[H .anmDPN+SjcaE0A,i񰀣w)OZ5Uf~F_0Y9^(&k7疛DaNJqϛS'od}6o?Gَ!05^.Ji/<2Z5p5+9Gak„R )foŶ}-*LpuL +0^h{X&7y԰Op<]fa HoF,N-1-1$cQhJ#V/m `|ISa+Aw\,<mP8RKC_>5LqvV:p$:X5 J!(#8!!+3$4H/]9})Wu:l`K=ͅHlRR$D PݳbK;cB3_ܨzziI1u &{MO.8#p"[;ƶj0IR'f6s3 -Mv5%+T?R K-W""^b$u%TYTG%R#Ru>"LrO}YFjD ;M)072D(c~{ e-,6@)lnږ (`Y*ٮ\/ aYnl#2hsE@F]j4fml&ՉVf{H꾻ΐ8Ty2zpvǵ?ɦp?uLZn9`o>DoBٜe,ce1 y2fU~zYBzP)PHzmNS͐CNUUoAN&n<ޑl2- &d1z)U0Csesjx~˜h{v)iBTd'O6S=@39 UczIBCfϬ}T4pKPl)` % y8/@|n{tHZX1f_g$ofbBDy p7($ohhNMN[Ybzܭ# ᬯUnie"׭YLO8>͝X<]meK&6-|r)=oR3oA, ?Mb:^F{,@n'uNQ7@KׅuW`!vK?T !|͐rAk1 $įOq@!.oᾂIJtw 0RRG)UHa^^%aOo ӚQb Ͽ#/>'dd@% ѥ_4VpUzRm1a o5k&i|"CZOEdMgzg Ynk՟WVEˤM.t=25DgZa../,#й TЗ0in B%Mqoi~C!bs<AE W.=o~4Ӌet}0A!L Xѫr9Ek u}mP(sL^WH+j%Օ=]IpTdȜV`d #v G1᧸J~U^QĄGۉQ>S)By.7/*L6xBF h\ s}!K;4BZφ^/:d)}KAR_係&$S\+C&6jYŌ[ {"nöinnRL[%2)^Oo }$T` Gns6Ml,{|pKlKEJo/]3߹g=T<:$7) -鰬ad^N7ǔ#m9C"-l͒<4y T*9q@ؒM$_]Ӯrv]O}!wԖ)2v5|,$N*ekcviT8 ?&L3Y *MԠzl Zs#CSD ]Eo# [[V`.P2 O8XZoYD lըF {MlddՉ)UiM?B8']jswln2p!lRl~Et7LExiݜi "~ʯhC( *WNZEg֔ZugcRU 9Wv99vvn]Ѯ0h'=c-r }(JXLF4_0_Y tcZV7&>qNT,OlxTXC"F& * ))J&p=MM|8)addGpr{խ6^O'vӡ]n[RYx^6a'eGׁQz#En΢(|UvOx}đƁ^q` a=G.OuKiH;!{`y}a<L4<7\`ynhnZk%)x +I%?F@=p[׎gg@+*zlR\Ry°*_u8M"I ҎM.@mHh^k##)^ԈYD&rL`@lAiBΖ6c>d4gLGEŧ&/fSeɟl`\U+&.v&+x"nv()a@5r2So2CBzh4ރcf.wu-o]q>0!)njNA"~qYVY6Ef&vf#AZ2qb!o9yA8DߡTwd0Xjv)WuУ*\UCWJ $HhzF{އ'Mb TwyXVſRb.XXΏQ[Q2{oꛘbA}&LE(./{>ꠅJUB/nViq%-p<={B4p3qjʂA yjiQMvCFLym !ͫ}$}!qr6ڔ7ATl5e c#W-?x?!'|F|U/.6]tђYh>s>"HhrhKm1Y#;y,cWA^/H,(akXRS1]Cx$"ɿbɱb(г C~<2v..V e4:pZmY:|m״3JHB0;ob#R'Fݡ.ks@MdfjQI{'pccsiψîAߵ!wl} ]G{nNfy*V xu5Ab>M}|^K9K `ɂqN[CaB 7b"IGV>Yӛ %0<{O%{#Lb#UT5R@ ;'g/ o!sYq+rR6W"{?PyHuiξ3)#3jE6:F'ԼܴlLˤWJ|gye'^eiMyi廐'/Z.- 0f?ԅ{ m񠒚X pk?ѡࣳx{s.Yh[>=#NzP#בPxI"uj6.dE6BlHťg/ a&lwjOڰj>e STQ|`)Yb1#; p[fFsR1.8?*tB/W|~@4ppL.SMש. k&WtĆ 1L9ff+̤Ua qkm g ZwۿB=ee7y#'I2@RgdיgfwiDgQϯ1&X&?{~ >|Uz%胆IfȻ7] :,bTsu^vgc&&eLU{o$A|GM8oQ[Dfcug$UZe]ةcńܸ*KdMR;;o*@~D7/=X\$oӃQjO^'tjm+D2ńr o`⳦|nWq5d= L2gtvi4bcܚ 'bw5jR+U|-0 3`Ҫ:PU6kH+ؙn~}-ddWQ( .xH(WQ?ӥ*:59L-CH=Kh#@DKq6_"_;O&htmmyD]C3輤em+ ;jŏ,8x]toph]w§R|Ikbp5_8&)8.RC]\LmTYX1 L'-8E16EA =S/1Zh'ĮR!c2oLVD6R=n8 +$*\$X6}br61Rl$3?ӌg|dC8[79ʖu/[n :_N?j9OZoī^agZߵn]ywLQeagņkèz[RkOӦ25=(ˆ=nqmsnsg -2qnMJ-)r%P1<˪Kۆɋ>S闔6!^<L[Ό Qs#s@X%0hB"2"_&Ql}3Y~YueHEޘ2s!b<u3c~?iixx={@9=0 G~)f7[It3RtЈ0C% X)~6q<ü(~ JN!H)̼T]^+jmm"W: 0rn Z.)odNtOpW~ i:p 3X"nQTL6kjxexF'WU0'-JE*@L\[uDLF{ڸ9Dc.Vy5(1rNf.] |DI=rbXZ6ϙ TYj =R(6˻J4=DѬ:[^pҦ&0T4H, v:rɢ٢2'ǿu[.Oc! ~6mwAfG`Cgz  +KNBm |[0'ʛd']" 3*c!&ͭ݅в+deߕFl2k0l&5z-:k:j۽*U^gCf0C+D9fT0h]Fw,i\v Ob yv>wJPm<HH5%I#1˴s *2%eGvM.f_swNtyXv[Qgk /ɊXi$AsؤLJe"6VWK9I=5N(5=:1Ȣ)a%y$lǺ~Tտ}izivqVDOek@HkQbnlSa&۱A)M%XPrξ/*2!.i^zQM>+@hY{e 5êr^G[mxeAǴLaatf(j&íkxPXp5E:٣b,&&E'Y8&N][:ߖetlEh~kyF鉝E(0TOƏ m݀hWɦ`YmkN+O^E15s0"㟾4hx^Y})}Pc`:,$d?Z# PBˋnݨn:d df|:ɀmE`ꨢ)9(Y<oV&i')%M O-S4؟Zk>oـi t[v:n AM&X؞LsޙῸ03'ngU{&|+bF-WwZ刎0iS\ w$"wc65/?9NE9Aٜ5\{xGif^G)Cv%+3ɈZ[V`sٜc Q#/vXq] V 9ُ aj,}Yyw,x0jW|MDpeO ӟ^үwe{*42ƞ2t_F~EZG@jscԈ 1Hu3TA"X\L+ Xwi"rNuGNzmyK*]dZ{{ <LJN/d$._VX85]s 0}ihy Qq=b̯Jc.ÍA,.[Y:iExK a~9R\i1c&It_E*dX)ϴv$LqIu7$_&7k>k=uVգ1G:RӺi&לV)pʏbt ~[JeY!2 + F\Q[$@!9t4r!ғ,[22W4s 4DC,VF6f1 12˜ j4vLɾΞ+^m]cUGPDkZk=FbGxo!`,"N{#cX&!uDv7/'^l~^lY{o<6`:j Klre8~3@+jHCY[L) e^pmR- g?r,ع҃`:#]~T1hWv(ΨO9\c8Tb0oa`ЋmHִ\(%SnR7|%x[iZ$>^JׅPD}vTOJSܡ1sa8ׇ Ɏ@v6EH0DAar(D0q4hL&=Ό:q%zTyWCg=?'g=#K+v`AW0_:8}$^ "jg{!:fy8ILIdHιxSHs_5^tH=58M3y8n8(uUz_yU p3Nt,} Wb޶jh"*zW<:c}?(D-RhaȲ#90kXEGȿ`*bWR,52Q:1+ VփL}F^L{ gz Xv_%*[iw.Ĕ{_o8 &*,=&Ikz\kd^rV؇"KT9PNO*j5&y+Odk;@&9$z`"W^WCQԡEwPE7*?: 5] +㴧k۾'~<:Z.v f*TۻxYWlWSFa\fCɕ-sj}bN;? gn)Raxw~IwBI! dWUjUDymznJXҏNj iPQTA6,**J[>%ف ~E<߯IollW]hմ-6t"e 9 {_oWrNN<S%OD<-DAf*cul׳ 'Qm2-6'uG%7pn=@堂Uf9zb 3>,]oܼUr%&ՍC׼0hhq$kTbf/QD $aTj4K #̯P9dlonp|oKx@M'Ĉv zEZ Q7f.NHqaŴTp3ϒ,S&7d !3$e;ʳ;I-?N.|})-)lG!SaqgD!٤wGZwDOڵvqoUp[`ѫN;WMG! \T[- %1{(ڲQOKG -^Hi+u6$'ֱ&sӹY[%2j4)|ΓWÂ[a~;S s9"4я{mݡqn]eR87 7p8w#7Ƭi,bJ8<7AQ\ _9p*lc>.8 "Йef„7uיQV#U1Vzݣ[st]&"_0,  {e>C}»ļ܇g1t>&߃CADTpNo*Qbr~˶&ƻfGvąP'o0+(zA;HҴiϋX-DzI,Xuuӡ!fP4\N{+ssnw?O,L^BrTQ#t[l xsQGx v~D^mRjjD3fo?-ua]{h9-.H {ͣNVp UZsrawR!Sp=7yJi@ PQ<>[2-n;*<١pgk%"'6]Edd)n|RpfG?6ڤJ3nb&~ /.(*d%Y Z5/ ̀%n^+a PڄH.)(RdZ\WÛ-bCق*{rFN I9U -Hm1:W @r-ԵxӧFVCnd $ʽn=vi\ݩ +gPqGR5@JQ҄ =o=N)%4Z4X+o[25u>Ħ2Ik7O`풛-b$eo& _+vCuWa&<Ɗ&k%Uk (#Ca;ſ h[D=Zw!P+=D?eܹ&#DAW^M.3^eOyȉzTk(%Ik2.`5;yz]K<1] mitADSooG!*aIRḜ z 0 r2-[UsqGw2ȴY)T?玨s:dcw $tiiRIk& y 5d)l/ڤ;}g·λ̫J-Wqa=~(G$3 6vks IFǠl!6_6:)KIjP.0'IHM?hmEe*,a~rNW+҉V id} 'ȑXnIj@4|Ȧ%z\G0HѕީLvH 95 {Y̺[U5oO2r4o}xE`*p^><$]Y)IPC3CMv)' <,Õ|=ZLϿ;/ZZW䬣}㷇$, Ip99Je:`FD h dُt0yM.)15HhF8࡚]nuRYE=KL)1|bS&c75EZW/NG bH{KL` odUKcBW0ĽxGbbt|"17A 짍1NQ [G E-bS~8ogLm &T\S]Ο;/ عkt>I6&9b6l&:[ Mڇ$]yżHe ir}!ZAU0$F`& >/IۘNl9O`͐BME2d> J -Qe~Yݷ41_*.}P S'+9Bm:T{ T!Z^}mm,g ",kL r" wk {|0c[v)+s۷$jQ$`rYQ[3XF]M[k7=s a0Q'o4\k%g/&ߺ{䜠ŇCCakQ8;4{d K 9XrsedC<%^bu4'u%.or ݁u>2}6),uF:3sV mD#DR6Aϋ4e /ɐ@SŢH> =Hh#Q۱=lG{ ܴeヷU 8o7(ԌN<**'Y's{CJw"jJ,`p|%Z ]140Ui7򝨤yY1>9L!+Oٔ H8P[0PK;S%C B:/x&z JQK4\ W/i n:|DOr [j"ي2:Mؽ!ʐ vQm@4zG~SԫNwAC+ȿ薢 m]aeON:/RGސDvT<]:pzs_=$ l_7-1cj-jhZ9RX .4QnDa3=CX0*{(y?)}P8Ac Q~ g ܻў_9 Cz!RV{d^`>Fsxɏ4qn YBĖuLU~B~нR6c6g7:vRFb-p,' /ϸqw~tfje֨%A;Uw'a0Zz֜ɇ\9" O#*xKgxGp9hH"D*ϵp+u_wvXim {e65/nM)j(>"C'hGDtu64o_xNw8ăĜu T%X`{@{I#<˽"e E_m ˂K^lݪĀy .|>kjL<KI>2$StNKOFSq:Qgהf3lM].@@$]1EYuTVQF0H%s$>o$}rS}A ͎^E$*H#Sȴ)Qf,vSG s,|rZݕya )焐JV SjXsF0yg=C wF"Z%%V*'Q%$i4%0~EB14' ?Ϫ_1?.٬m<9Fy=p8 db5n6:4U)<>D*s*e=݆Zv9@ oLah"H>}&RVΫu|=W%!nlx^^|7AJ񜕻r5D'57.Ebh !ޓ썩Rlˮ:?^T(9- >K 8v,5($JA"&.kxf -Ll%SY@T.NksԾ;2<)]LX '{^a2oSP/l⨚#DLO KKkv+<_ @t}]gZx_},0d ^~#x1 z_r˹_&hSwU)f_{h`ھRVvm ()cD)! vVV63` :V\ˡ*1HR ֿu%Y`*8v*?˹n,lKithIo<4~@m]]ML@x4RO~4>#7K٩ %}Wsp·΃HtU&z{c_nop>Z>rZt0^q%gg(p!LVDgs WMG,(rJDjV\0W]$D!6Ne㗎gYZd>qh0aY/x2ڦPKi%5Z䰶 hp.>*Vn+'k Y {2LBfܣqJn}jE~OQpJo飘nnaNQԉM3ƹzfW\}i8*1RԌAFRQexږ;iH_IO]iպ?Օ|w-΢?/SfJkUP+K$ۇdn|ΪH&Ot}tzOiyZ IA6!5G>!U&ĕ#ɒWHWcu񷨶y6w9kK6?"0f._n K5JCRZIHBs{UFG5|4 G¥~vhΧ.+FCsg#Fn^V!rJEUc&Ȟk_R\}w],kG5O74y1Y%6|ЧI_҈;$9&tYE+tq$Y8D49:C="+P[w˂;&lWWh*U] JSFPt +riL1|gdF-My1 }B`"p7<5X|j840 >BH8hg sB0ʇV%f@議J{F4Z w{΄ »p~»Hɨ >>Ki!#g݂@hûu1!)J1oFv1'V ۱qw5JArqN{@IiMrlduwvZ,^,|\^LYg6tMc rĩM8${u^mу*;D#*b-v@ H6(-_l\mfDs_hSĚ / 9CrtwnqۻqdEOc%er*CrĮgz[it?^y-eOdpk𽪰 u?間R)KHSjkCv;,3(@sҨ)+w(,HxmWFN,cq@9mFrw>؇!o@rwtK.^HOgm^+)h@Q8D=BfF*FFa60 .7̵1 1Kpv 1у~ Hˁsz)צZ~@eqQ>R+)2p𳝪S] ۪9V[yY@{LX{Q Cg؁   !:~@K;b~խV*Qtͅ(|\n.[EpU3>K<>&W{dm&΀oС0p*?$/I?h8w8eM-Đ4,g">KzD߱=ւTBEyr7S#1zپn4`-9RTj0*XX mXfan Pa9ԅЫճ-q@=):Bo6z%HA-O/Y-CRQxyY M"d0To"<tX%Z8\{t*&t8o"{ We2u-̮bYhߌYzc]%_+r2m;N*AFD9ۥ|Ap,;>ʑ΃sqLdZh½:.^H57%J[ c0D BKPt:qJ+u ְ[7o*j0UҾ$zJz$JsHH\€]=k37(O:xUּUna/3k{#%%d7\sN,S|:?Ś.5dgŚ@|hկ7U[j@H(PMYp. A!DN:IriD%yq'%D.:DT"_;z̰] XAHAe/[XCqZPd}vPg_ּ88R2hP5^^Y51##i@l˨T.1 }qK ,S5+$<]b14Jo+ ktESU9cI3W#\ lq90HGah" C-\=e唻7 fAI)ޑG6[; n+!W ǔ $_T|{kRJT^ [0,4㾚V_#~Ni23+%?k]v"ї =TЀ)}a&9 bM(\k4f VEWάj3؃Ȋ.GǤ@/Nt@Y\tE":nγ-f 2So`}= sH.}& Ǭ(d >1Zx9i<׵.7ƞ OD;ǩFG8^z{u2&S/DI//R]t+×8+&qn# O51% B&9*%%GUdF1y\8 z5}h>f"Mg*(MU־`BAl') q<]-=~v*t)nt^IVS"F[Cs7l /4}*8y!G@ IBK}x ol% gL2 ZOKBHͲ0W*N^kτ &ψ=Hk#%OTO=ߑuW^Kf.üԘoN.u 1ϑUM/bl.C.7,йp q9+$U n*DYd-͵Vbu" +U7I׶z.S[ yEpF>SČw ]$w~ "h[RO(:lk*(ց -\)tyn g,y/&uT^vhu"ްAQ.?<-E E6d흟?pXc_l‚}I1瓽BKe@D*M5g!8`\s({ >aJnG$E7oN?'th>P⤎/z Zl 1(e"sPh q6ުp'P ~ n~s Y=BR%z +TR{B!#pI\cATi0Ğ+O J6W9"05 Wp{MTM~$'A/ &UF Z&_s" NjC\KtjL{fu=7g݅B?G6E?=<ز7NV9d֢xf$↋6|H4ĸT b}]G^>;шڹ߫t[+PM` "rīpY> Ơ4YߑD/);@ś!|<;-Pi7&!B2X)t5Qװ IycWcwADD EP 8Α8, ˮvK7R{mBIhďՂ\x(bVyDθ~T;-&CffD`4o_US̸>IrpŢ~.uTu-2?(Ru*o",_#_ξOK`J&gbehc$| U0ma@T}H5&,is:!=oln9痜8#: `(O?{j5/蚜a <sd>!7͆e^PFs|d q4hPIZ1Pfz*qeM53EE,qWn.Dw~E*?ۦ;ŀ:@ G޸CT UgS'faJSu3&:psCeۗ(!h",Fa{I oz"B0mbw*`gʙJX9I}ets,\T 5 DW@2[7xP97QJ;eR2kiWi Y2>~OKO;.u1"=@-bBtXnW3;%1{zjwl?↑ا 4Ii%!QAtr1pr=J'}R.E2,u(2|vdd($kI1 X*NYAM<e]879EMj=25l7}me³Pڷc#+\>jb,X4K&ʧK2ۂx z$Χm=6*&g,A8 k澩̒RJp)-"t+bTt͢gn5\ka~yj7)]Dyփ5ES|73vۙf7{erg)@$TSPOM{O5_%oNU\駳%#2t4F]pv5یSS_fe2t\RL45sYWꁏ̘Up"1*;`Ldd5Nnƌd۟aN /dŅ +2  2EFYX@M]zUkxʹȮZk 1\Flꃃ"0!>QgJi4N:[F*`uUMIAFO9ٮfƭoH|3B :qmh\yqmǸh 12ޗ_ =%Y*k7PG} qA+Z fUdͭc<;~iDս҉H2AXXJL\Y%=q&zX[$8@w uRP' *D`E%01dj oc.5C(<,ks%vͯņүǾ[0m) YsA0*LϯTҕmR$Ȍn젵$3J\Gs`WHF kU7XiN6g!g0{8"i6Y&ke&v<;&<0[) ~bUXY30 x㦁a( "GT,ԖmbzGQ{y jQ8f03Tˏ%-*;=,z֟l&qa0b` DեSѫtĆ&]a\D[8x V#9P`blՁ9NJ' ^ #vnDM22$&U쾏y^S vJ¹Gq49rsN+cj?JcS1nƲ$*g8{! (JRVzՅ/ _̋Ĉ;8Z){ZsqT{ 'V*ɭ֣54ϡZ+3<>ʉ:UZΜբItEx%S}-{c51=s=yjb/ xkgaVbfzZ\rҍ\EUjTH&d@Z6eυOqVTb:cL"e1cNWGkꄪ Ap[arJU{͂G6JN%' 3|5V`^TgB5u4sAzHz|F^ yv |LU7PVv-`=)'E'hz)&$ y#0'Gila ~l `H䟆&}YsGLG؅Ldg׬^bVlc4=LOƶnړ7t_˻>$iʀ:Ťx1Q) \eZO9b9pS{-OL(aG$[S&-X#]OŐ7SC(m_2YSt0hRfkyƂhI/gYZadeb735325af1d4aac31a135bc8e293a40414717daf53072a7b7da07dacaeec0891eaa6642c159c266805b756e8b1623d109c5939dfd42f010a3fc3d