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 T3T / HOL-Data_Structures:threads=2elapsed=629.806cpu=875.524gc=22.608factor=1.397zXZִF! a]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-H)VbhƦaeyb 9װ2"nje[R[{}sN Iٵ0WDMyP~e_(wah4o@ &6:cS^oOnK5,>cy).^fNF S;,}, 6QXRcӋd΢z"L m*1/WcOC*ts!aXr sgHQ ߘ:kڎ}Xd<0c>yYsy(iܢ &ÛؠE-UFu>|#sZ}čRH`tloYԊׁb@.W+0xE@%sh` y(-K~l5V~GNGWO'Bj\v ҡ1 -M:'k ?G%'I1MWԓo&^֧ |Urt<8!uԀwR: r/)`OvEY^ ĢX1nN? 3 HOL-Data_Structuresi.7M~o@hUZMlK#t ~ Hz:)g&g)p]|Ar3]5MthS(0bh(HL }2#CU l,e&1LdL̦g(t3|2.&)Vp #"12r'5.RPƹwEX9ZB|o$zCSBl%}Lώ Nr%8z3!eZj4dXd9MOzef~NƫTz6R(->˅?Z OC= 5i1͒yuYƂ/퀼kڰ>L^[̓ dLdǥeL-Ⱦ3I_"7]K4i{{71:Y"˗QwLOFx=U xgH0wbNj=6}hs0]b-l>H\AN߰p%6DwSE4#63Fee||C59N4W%,朆u*ߨ:'똍Pܲa)O23]P4 TF2ٚd. 0V.6yWBAޛz&F_ PKlM]cG"W0.iMC|y*p} 2=;A*@-NtiaE. %[jw*){FW3Pd[ 56۬>~"(*3;cӵc3X}OZi.?RQ1>Vx{*tS7v1!L?9@ǥw$grL²/B,J_.AϚΟB1Z!6]cꀧاKɼ -mfn }ϾޜC0$BW{2E %=NV袦ԙ!]By3 R} qkPѣl:X>fnxF!tMG)+b"+:,pGChja6U ,PcW.\[XDu-&WH>haӁJ$.Mn/YgUce(±abU=A>f 6v><݈l#%fRrR"Dv뱰C?~Awv"OkzF++C|W~-UYK|xm`#,e*Pszt7^շk=*jo$KGH%(OoM2T/]ptJ!igCV)G2AV%IS-T05LեҴ'Cf&yMg;rjS2Sc4K~,FЈ^7@X2SMQ_KkfpV%\%Σ‡&1M`?ן &xTw9;T 6QGQ]@<>Z13 8v i@i+9v`ώN44iW|J*IϣdiTͳL. q7ߙzv8& l8~5<ko İ܂@U1ڮi/yV? r=i忘^[ung|BrLx1WF1Qk,'j"7z']) k}~ .Uoe˹6:5zcϱe',h[*ss㛂Z_b%Ⲍ#C%ݎ@C|5Ue(^Ŷ# H<ɛnQgtFI-h06JRy\`Ɵh1rvʂ`Qt2`/QMCD+N,T) !v{q8"\$?2uí~K)io[9OVtκvaj_F({i4-u߄2ǫ08Om/Va9t:p](ScG*vi@[U@g'*9Aȿb`^J ^Ry\7ᦄlu|liڵjZS@g!c#W-g$4?#mi_R˿.;7{Fſ][h3;OVgl(m% fHꟌ.Ż2wyn^)SEųPvBF ?;%8JbhA^ R##k띙8yӶY.Qе9-/Oj 7FbreKBکm* C,W|tPKe0/|v~$vdfu415ͽ'ƫK! wT6M$z4a3;Iޡ&>}:q;d>9@ʽɺ(ޑ%WLפ%lL}cÐs@zsb:?N6;Ӥ_! ,@a |Yk3i~;4[_E"ˣ<uBi87Ժ#m)oEOwiB1m[^0șP2A sc݃Zs<$W*iG`">;ET!x0Z .m3eQG Gd:5A z ~,NBJ߆`#668Q3)qU*v-9p1D޾I~jsE)ؠalf f;kI&3#,%G'%%2":Ёu68.vusMVKa$%(PŴ^Ş^DoA*|1o)n\yPD 7RNla@YM<7wvDM/z`~뀘%|}K[4t.(v#S8K"~aʝ`rFpzs&{U.eJx :&!XnIIgn"וsL9 Qu ;<Ǒpa ㊧quo® Fѳ5>L'h܆~ۻqQ/CFɷjkkɧ vCU Bp_㐟; 9Ns<-sBMeGagqodD4Ek>bW6ӶB8'{Odx }~-w`CNh69~Zi|\C68(4(2Ԁ=Z;9lx蔭$sCJ;n23[NoGdSyh.;JPM%9l(-5n^n8Zv><߫d:ܪ,L墧 c>A?IGܬ/ىeJRunk<^J1/ceK#^n_9e.Qs{OW}KHe0"rB/Sk&C`\` Qvtс^J-"^:y(!lu-Fr׻"뤮rbӫ*X;tm>je[zBԎfqCNλ Ԟ05v`r$p19]^J{}ڮ@.?ǴPᛶar]]ZWUCwBDX a,YW$PBH+scxdƓWdM!K&=q Ô|LG^Og:rMCsC Cm  ?RS_/S hK:&ش=$cG+p7pqIn=ʃ~!0/2Qi)KCؾuK}T>8-9XKG+Q% Ͼl+@y@l4D]zoPL?ͤtutƽ9pqN< ۽Kmio7QyTifH"K]u%mLn '%->i]y+aʄzG w꿏ПS+եtd(EA2g`]!>jFu6%/Nuؼvð xݤ?DtL8ypx}Ȇ +FVEw]xC|tދzk7Wx0%v9VsNd1~uljJ8}uJ=ra.3 OxZAh@cdePsKZ%XLEXߗ{#bUlyQFȄ֕QGs4[l* QĭюD~V(] Vx!3Y J3UEwY3%z4 뉆2bc`WnBjkc򵦦σf2Sz mdZ׎3VM˹\b 8Jd# xe!8 iH8:U\ Hxc`~:j@GG-ՏB}}!D,2'(H> mX'Rm2+caCi8Bbɴ%.wÄ߰$hPy)C/ 5.h>s\Oq09Y$qQɸywB `5n ͧm gY:тycgV= U,h%ߝhH!{jL;(veГHUqz~Ma}qP,K޻]g+>@E8Ȅc@1h2 r*7}/W]$_@Yʜ̮&b8Ɉ;ff:CAP_;5Љǜ ïMUCF.gPxZvv=B4SO`{W,&P_ ݨݟ^-D9Y/4.y,Z݇L%/wbKV Ok`0:?$%`xWu<㙺eu6lA]E΂,n֍)SK"3_^ZgrԵ՞_H&XӼ~Ե=ّ˳m HV$Je%<HYcw9  ǸAd&I ? <:gYZ7zXZִF! 다k]ŗXi%isM|M!`P+]&nRd4dI^S莾L9aZJ`*-lȃJ"Vg1xu< "z8Mڄ2rT'{h85+6.4¥3k+*Zxrݙ/wi-=t'cH)A}=S$3tn #/-?$Jdp B|-o_ ;I'sl9ͷB[.d. v~K4:s& LjfY[Ծ$ Iy9LM#K1gmS噢x{7סXۧO3`w+_/)R\s:!]Ɓ?fd*' sd齛t USDsu>Qs[)W޳i\fI2c~iUȠDgTq9I3’Ftx4]({g ը'A䄐^I .}֎z֋飧[.HAPہLBN_Y"Y(|F-;OImZS7{{Tӗ\2kvW77`TڒSUqyXf\bWw.ߥ$mɼ#@ ҏlJy[_ސI QtM[ }&&MSڔEZl5`_4f=\pjPK#6$1kM+H+iz뭠HRFKԑ}gWg5!er `M@q47s 2,w-uf `cARf9&؆QE^gv%a ܣ`Yה4lB; |%~׽-aA~&d(h5\0+nk>u+I S_ S( VNOeLz91SO T5Z% V|ҘW2Q31!sbNl{\W#A\kPe885,P V *p1ӛG(W( 1PT+*rLԶu--̠X iQ\K?,lǾBlk}aǃ Gs M: i£;2ګ8%e ; P.}7nUH: >fli  Gm(-}vEe~qųIp4W"{Oη/م?G;o$[U`*q6).rˌO,υ7=d*-ޗCYQd2ODiL@C`,ВC.0 ^`?Z`g܍o_f+^9?3 jQkz"/.P`Yܢh^,-v 6(Ct G /բ;?Qrr/lI=t1\%$m/= gSk5j1eA_d; $ƛRm h]X U8ygb*8y(ƒq a:bogBV: sLn"qzao1l>Y) ܞ()*g#9z^3u_Z|,  ce AɈDp}P1 ;?ymr.l}b9CFI>>/аfDߡ~˞ۃlv?{rD;։O~\,"wi(rv&A:6g~ ~s{:˴+n;v`-/ØYRM<8pqq?!!FQEa0>a`Yk,X^Z>=(Lg)bFU/3Em{QԾ-BkNZB貌[|?cz+lH8=AGS@NhHְ@]꾶x&8fP@n VHzKPi1LVR\o|Ux/?J͜;7Z*- $H#EML$j- ô\;>ogLA>HT`|nf840z m:͒a"WShW㍀qlZ(rg0Ms7E͟ʏ"cy5L[OY0[d5MJds[Z n4hZFbڠ.jģ (]hG9ɻd9zjOOs1Zi0ÿ,7SqSH1<# ԏdaGGںmG][aGEmIE& onNy‹g~~nW5bLO}ˁ ifAC] Ӄ>N1\Kh̢xo ХS)B3[rA' viN:P";"q舟p?,ق˗1Oq$xG {6_ pg* G9B! NԴ!_ +Nn<6$ugԮ#/& @Dҳ+S.7#MW |J鰹QMY.(|| DͳV\wBUrӨe%}}[R1#S3o-<4܈iJ8)gc|rvix9Z wfNO<Dݬ㨹^;olȜlaVN#^4sIi~؛+h%mO,[eaѯ6:\'9*:lLJ$ȫPO:]\ʴ᧊}ٗy]WH}Y֙G V |޲? 24XxEɽU,.Ƣ,E\2a~64n s0NvB Pz]yeJ*l].[;bSݜz$!oR Tq0<\Y)Je<.Ǭ⟬}/q> z~Z+s~Z'$eC/}Fm %)4J,5FkaRAQlD= eW%4t 㐀[y#ލ8𽱈b '$l@:Eg0O]g?O2b+yKk4@lIZh؃p-&S:vZ]q\{H _&͹Y譔Ks$(tfN>r&I"l#;kA5~i/ڪY&m'7`e+Blf|GX|\eo3%s#}}@FuIKWۓt7ZGŠQ£L1 Snx1) ޹]j9{x{+dk(vrKVHtt x0}!#I'B7ȹ0%vb0NPw_Қfkڏj{)%'|vB\ BAz;jǞߴjIt~Ef|B NcO?]UoT9&׼@?ΑXټѢO_r8+d˜3rZJ~ $0$Woyc]s%Q1ct]`s o"@ģWS -X.z0AԹ#;FNu"}\_á#4ۭV,`旮S@p Az7g<]I_ 4Z9uvP:Or)X, q;ʶV3)՞#hcIm̊|t||Ĝ{9Z>W$z? 8 eeN\.ȯ :%.bKl_(*W7ԸZ ވlRXǑ<;_E 3}8;H ߶z%E#hnMy)$E292QKe~^ºphewm) UL ںi՜j,iaI@oOo[ 6LgΫuxsԳ8x-HT'Ӗz a$#[+k=>{{X Io.쳌Gv. 4$|OT8wSwB OpAqpcQJYE?C9ž[ٌ)$V},8 sO.\Șo;AhW$?idUC5yp cb?eq$L њoz1qZ=lz38`(Ud4ע5z>V no*,nZ߻*6otLc Eˆv c\ 2l8~, N29tކKȅ(+*0 |I0h"za?SodЦ>P(ƌ'Au~ds$UU#Ä笰 ۼ q76Cir+{tc78kb=hG[rVל)>jёb[]T@6 jop>608}7Mp;x"f=*H 4V+ބ.)[[H?PF3M""`aSBA S+g]5v>ٺN`H^Ak %3UP ̬ULvl rf]X!etEPyu!b6 Z[>h&efZQ佋ӈ;&mOI i~$gp&^1?V)ND#?ܜtFL21&H{~ɡ< !k8 ot-2q(H*,5au'TT%  OBߐyy8y4Hع{w2v+aW Lq=)}lpaVxGHg. ewgG>hM~uA+t=O95¦j~gZY/U9mms|B&i#ފNP6#xD'yJ#"쉔p#//fte 3um[ ncu~@Х6K ;zW ew$9`7~Ht^?3cI$'[>>4}z;9C{rI"n<YU8zBPL)#l҂Jfs{ ~>9F3]j#Z=yBPQB'.Ob}ExY=Y3&%]7w,PHю&K^\cHA"R jCBq8%oL FWdvU_6@r2L1ߐζQD\{E}c|e)-^}*%hL;f 7s4Pap%3+F gFE:gRTR{3v+eqq)nA'I@1t3\vؗ씚 һK˞}#d<9RuDߖZ~ yɈxLw*#0}mt)Iq%O}yJ)3yxW x7a_39:iǴpȱS: 9H L5"H)WNAVfgGM='Ͷ:Oؗ [u Hg5ƬR1 _2F|MąܜSmG7h_MB[B,_.᡾-Ie8 U^ Gh),ĐisW.[Nu+)SiějS# + y$"@}cU(& R` }XSEcoԉ=fFq`Ex3RpQ2/\|ѻNjz6Xhq Fz2CjJ)>B]%HፒfȓWFa]Lb% :" D2SmM/ :~>{׈3,h"go7-}{ћ<ؘOGn9Hl4l@{5Ppk2/3?c ZxvF/,DT0B+esK$>*GDTo/ BWȮ=º]N[9T(Rr3荪H4` mWtH63<TѠ?..oDӅ U#%g)ˁl?p~ KH zA[j8xES ͔K4R(#X(WlfɩCtjPRKVeʼtYxs!+S5JqRe C@1(-W=vH@RDژv+ݝdI7a*~V=Q| <[FQN*˅DixLZkHl)xOήPBiG) %W*d4X.g'x$p/aDsl$ yAp{ا) -)RV U[|I1tjŽU'*,rK;~u3q,:UCk Ż70sqkRq_Ai7EM S)!ϓ:fT0V!|SR@a7HғKͅm`!&< a/MEСU C hX녦‹ &bLQk$Z 8p'pb b ma|f;dv>cq?-Z Sx+>ƍѬflVpK+bHA#CrKf9 ^Oz C%nx݅NצXXДV yxHJH Bh7 Wc=hcXnUX=k9_ PC.]_kRБ Va`3 j׽Ê/>V4 BcAI&<~6.jH gƵ'f3#:(c߳"df]33CՍL12gw^ P̈EE>27M 9'&BK]5.%'B~f5yr^4lϷ>1}KfzU~VK(-r8VA%JG?]oX`.ԏbпER:ɛ|\9vVX=>/{áS2Q3z3Pe]$% 4R1׮eQbeE,QPX(N/a\`?Ҝ#McsDqPWsɏFhP A Ɔaq vUE#(gʅ~4l]jh=M XJcڈs48 [٭Fxep>`Y<$_ Flt !DR}p]/WټL8n',H3hrkCא@ MF{蚁P857 G`.XUM $Jqƞy}Ƿ%0 s;}F="3tOwgqB6.)EǭpU.ˆrɚwlft6Jb/[Y>ԯ8;m;*\ i ߭ooG 8j- V@A5ҞJ*s2X#,g%ҡ'O]@DBF 墔i<=?V B\߆egod1QNrV)QZ5 Ubz‹}Ϧi;w|18U3:q.3(S*$Bng_q@*2g ӹ4q=+%[$q-{i T<;dP.X@Mi|=!w6&Ջ %ېMy0K$1)C8`Fq j睬^McWTY0 u5vN^7bAvʹƦ[6hAucx`='teyޑ_HˆG"pmq 0gsM#rv8 DuLdG?6YVhMDwa=jk%=ºY%-1`P?kP>y_P |{e`2sa")$Sەgᵦkh(v#e8_eJ zlonjd%H|.' M%fMf\d\}G_&ُj$iZ HV<hIpu2Gd ]!C'i}+ocEJg8"2଺Jǥ>ȓYLҲU"}*~o;[W6L 9T!e}AqrՆGڦmq/sLR>/ /c%eگ %syʼn5zyEMMJ~M-GU~P%KLT@T'߹/=^DSqy9_[(sk\ \82Դ~=TQB1_2"IrmO !$3roMj/ zf_A.ǯ h%K{&]A[-`;  5эaL Jɞ)hc0HAk\oNV|>Ұ`Fpq zf}.+8su*bVŻ=T7us\xQ[Qf7~)#v\`Y)f˴6ЄG-,Nz]~#{8mx$sDxfl/P{x*H6Ty{!!mDXA&0fbgqޒY-Hۉif F ްZFqFqhm;ƍUhp^^d"i"TA msV]t '¼:)x(ݷH+9ڕIE'05,覣ŘX2HHPB[o",ni_6>ٴ"hgݎP1H>f T<_/\ſh5#D*z)?*XWcke6D.AsrE5cfS{ULp)KEDy[iƘqy? ϒ39lD׺mb#Xc57,dr'\>IeG'ZN.QM98Y=)ݱ߱$HA~|DZ4ٲ+T oohmN[l8d/& "cwXE蘹alWEۯuަvۘt U֦Rף_ϠwU󜱁'bg#o]bOIzDM&:SX1*dڅdV/??YOYjCJ ͓(RVs(|l >X,?GlmAy3/ĘiP@ّMh嬶Qۧl5ECUlz[ vEc+ OX,pyW'AU[$8#6T7Es&c`㌞O?%PJ@0~J[0#x/ @r3,1pbx':1"wB ;xM+nS9clkJ#Hw, [)o)qdWYo4&iB)?@5~uŖ$<9P&Q_4oLNbPOSA)l ÿHZioƈFLUQ gbA+)^i ݜ~ 2D( N˖)l/ #*@Of@mϽX@ ;f&.(r۟}t^J>ѵv_؎ITv^L  c/E8Da$RF:ds0ttY=ʺ$ FmH㾗 ,1LI{w$K~q@ `7 QGJ'ү(,WHD,4񢟧 {us1hJXVO*/t(2^`Uyݯ#0w(Q,b)"%b(ۼR5G jL* ʃə ++H02, X9QbDMY͞Cд)@=P;.3u×DܝhG {QŞj>wR1KêkaԧESNmɯ=uN˖ Z͎NQ =>hR ZTAh!uX+ :]х$GvOQ.-fHԕnީy@rǍ1(ym;w _}kfݕ (; >DC1'Q;Bax~4(eK ߛsSB6 +;@LڋyKG3,Ua+͘r櫋&gD:%8{HqES(!ZwuJjݑ.Q7MC~Ps"AƠ#q4g wRRԺ&(j3R jOL$9PQ1&;N9} MbyeFQտlYo*™/b)uVm|ѧm̄Gت$SwIDh(ʔG8dE!L,EG?Vʏ>do2M #gv+f804 ly9aGĘu&UԀE~y~caډ8+YIՓ=G6Sc2B3qqݰv)FWфԯ kcpd4 )'\\Kʵ ^8@#sN0dС[eS:EPo5b+էT v|3锥=k4%}lkc|'*WDsTcaudighQKXl|Y*уO/uyHťQ/֗0`-R v/YF93ʻ<1;<9퀮Vtx^[1;4aA%FK/Vz QF/'U{)&'Coc6+ޤ-H# 3uB/HA^VṘO$―Z`" tѤ{EbtQ)a??̶ Dk8#z(T[]1 &O#gK׌&DWMS=,}%vNd*{-\N'^\{ V߱[)= Q)hMhxE$q|:Jg FCWh?"(8 W[)$W*},volDoC(G:iշ\9NLgF<-ynXB TF= '?\ snh}{F5.&-yQFEխ?@^O8*6e9͋R/Ov$`'H5'D'ʔ[Ag}aR_^ |+LRm~ bONT+4 J-Eyf&0cR{m^Ex.{s6G=fr`Ѯ5oJu|+?*7IM ;i.F̉_ttӭV%,{s&d#5Vx8fx 4 ~[S5Ae|XnuH`g͊ERtxSN'5|Sik ފw'f\6~,'{˺M°kJȅɖ\}W9T|?q?s]*IpwՔ-.J)IoklѪve㟅NӀ|P!̮ٜ L&f[% 8%rS詂 *%W>IXJw7/;=u:c PqmwZ %)6.#K DV-Mȅ؀/"-s<$HPZl3|owÎCI}H'I!U0#2Ph*dGjt 2/*< gIF_ ^Oed}aٰ+,H2 fE5|1* W?&wUf9m?2J%6mIjb~@2 m*#vYQ9/Z}S" qAp'h\>ÿCN΃7{oCRklޓЇTD(|֤X!mFbRVec&o=DhшR{px]B wr(&_#AQR\F5uԴE,9?KWO螐HsB8~gF;#`|V$lQn<|5fhփChxsgn$w=h^!}76 3 vpKAvׄG?TL(ēlݜ7\ĸ<]=Hy0_ps :/U [Mwgg0^ӎ:=\6c3Ϥt,1QʧkJn\G3Ϯ`@$;.` ^KF=e1| |:$o"t|tn$,Og>mOlȭgV}|nv̯Ko`e!X}6rFQ zDWG79vn'wSN yQ?|,E a՚ wt6M}8|Xy=̚mXS 1A{/(w̼R'>On|Oq7c5[9Zלo4VQ[漾B}F̪ЈNH*ųlS&4σWraH.c⓾ OO*rOi:<4NAۖhw\4`2s. 410 FCE728yQ#ʦoT@:bm2{_fA¿fW9J`ᠾrG_(=ڭ 'sg?w)cLj+p8\R贈͢N-wOK2[DZG|WgKdoUA0ͥ ݮj,][ 0C Ԃ:Po`+z2#i1OQQW{1 ˔0t56Obwsz݂Rw~I*e]+N. _\t~Tfɗ%&HJvާ €6Y @To4b|]a>Cz<)Ib9n`@= ~22!K^W\p L<@rD ,Y'DEA+lS7Lw_-NڣY<_+1C\ % 9yM=|b<}[kIT=Rޙ"#6gg9 B\r)eP4hѲ +q8x;X< <F^ BGUP)^֍4B8Ҷ^{c}cQ &YII<9A ;v.\yZ589GuaDpXI9[[vJ"&x*|N4DRM:sXL9̀Y+_.īq23=tA_ 8,S̙)ll,-1ߎ'jRpq T.c  w@2⏝u] ?LvUWղy l0wKpҕ}N8"4辀mq`'`jb*ҐG 5{6+%f ~s@#}FI%թON%JP3,]~9utK%4^E15(Wk%m@FZ#z9m6AivO<7 $@^,/L5`/įFnnuaԚ^̖,ɖSԋ*W!DW9aR8¼.?kr@;j3\iz>K!,XfJNm0r+^^YFh1T%} <1}ej "+*+_0w "0G=(FY{ Mq3QȿGz_bu1&={nYFOTն`Kb_ᢽoQlNbQ}M!l1~?N6{lSv%(;D˜C_j|%<iAOA8w/YLk}G=G#2UTn, \:C&2|JD`3f/z{D3L29dvBcA@ |?e[?QgbPDސI(^DBO<gNP=o>Z % xHs?z=gTXg;:;VvI{u@a )#U_#TƴH@ų #?4թb~ǃ AQ M F׎*\B&T"; ߏ]׈yMqM84{FM*3 k.F xA٭hg:I|2 x4OJ>‚ }\Oa<4̤Fes?5 [u-+pӧW$on(#iuhP4Km$im!3sX"u%e!`@  ^CO<^1%GќjZk3MDFiy][[ŷ 9Nf_a 評E5po9 P1šak 6wLl9ɗ^v:Z8 =! !  gɛ>}/eF )y{kxk'lEZsn/͹}g]Kh/'ڤ2-3XcdٔUWЗu9t8Kdh8F"mÈHN3. ()׵'oMϕ1'ӌI);s*84"Ybp\rt+K%ߑu^ZRc.8K[CORfܪ~6' dԅ"\[ b]䗣;Vd+^"\S9ˆG0  C=JXzvzhBPsP@?YUXli;?)JYH&zMwe]}29AfU}7`O:eHd2SeˏhWy[R mPVX\< F1,}#8Ek-BO$qR)X3gq{T|ɒE|!|u T)| ТySjWwq'܁rX4( Q4(0BQ[Q/hJB!d77Zl} !7JAEk_a{M9R5KyӃ}ipΥZ2@Ym&ne6_xRcm)LhluAs>E41HPZCO̶d<(E@Ws07ҥp͆\-^e ȟN96q.6Z`Wx>qK8k=NEgz Wb8~7WЩ *Sp"aBPsO >'o+ o %p0r_WˑO]W*$6~ V#h97}s Z UƘM?n*%yKVYJ- M"׹9m$q J.\L$e?9Vq`i/2aF=01o;u|q4{ܩ Ҝ@4 ZGa^%f\Xa7`9?HкyEOkZxB5Tqq$s-# LI{oy 3P8 94ucFu&=jG2*T?&/}.mbȡ̄9"/fa2ܯ8B݈2\\:4Bv}2!Nt˼{֨[oR[Qt"0y/,׭hR&e v$6#R}L2~#Ys7 -hۤr;"ZL/L&~bz:3<Ў\@#vDn<3:Lꘀ$jZ;pfܺSPmP^9 ڇ71t5h}T|c1V$}[p 9uf/[P.~Js=JӶ]+ckx7]7!8JX=2:#0U0cЯ.TCFEP xSn5HԴ5U)[Y4k/:'H5OT5i4c@'՚ UlGskzʼn^֋:ۚWtGBd )XZﹴ 2$؃->UF^Yy  FC(gmbf4~wu> CYJ;/e7i # oO"Og+ZNOl#O"w>AύAoc?^  tiAl㟬gV8rCoU3EG$6mqcŕ6q+CW Ǜ-Lj%Mq;-_r\)B D}eR5'B8r*B}چڗ}H 2ܹv4Xt')Jl`z[۷:i)ά .1c XKo;SH'ny[PIQ6<[1:}XǃC|; %ksԥRKDfkyh^ر<ѓfk"C3bYB79HɦJUWbN|F laSZ4LP "N Ca>[#{Y6: iK3;a;90Tc7@+ ܗy8s:79!Nx!z4>J&#qqű  ^_1 3sfd$IɱQ"PBra*AV%S26]WΟی(*_58g-ݷ%'j8E~:1ׅ{o:4]f>(P'g95C>X+g3bt[+1]`cYHS=!38QgW8SAux]a<0aѪYxTF&!Z9JC6'I-P A[7v̅Ƈhj/g iW*3hg5ۂE_ dЄ~!ݮ9)3R7n1c*VGF?6waDgf1J0KsjInc X0 {ܮgt:V!MBkRd< )^s^z$ (HS,P)p㬶~17h׳s xY*hʔh-rKF2L>gvt_ӕEUp@8Zg.er/׋W!1Ƿ˔2nj&LsFG7of mB=VqWvIhPca nԹ|%+(&"5H<{cZPy*C:B%7ɸLп-kT[& HÁ&Xʘ+A~Ҍ=:jW Bmf9P3|ުyo_ 7OHrt'MtcGA*_S}hW ^kh>I"ٚO#RC.EѸ5Bw['5zI=%L6tř%7M/8i9I,ғr~_$I(`sS},KN~gOdTDg7E 2>[# œet* C:_'J3ʊ6 ,_NӁ^қZULQu8K/Tv2I6 8t"8f.{] h39SqȚ6>ܦeJkh| Oa!rcvdO}SK$+|UwWO׾b@ްG׼tegeWXsr|+Z|N%J@#I?cL;s%ͽ}PVCary`\>d}2hxJb,H&_Ϲ˼󾔤@ȿ!-~s0:;kbm),ag$Z !\emE g8u0-<$k|xn'ؼ ⋫y{wwyVr MkZRɗ`YSˤg% "kk N㸍wA4DTUbLֱx ء4#s]vxa֮7iu}wN qkMeU JWb؋z0&,s іcJ2hOˁ>v>',j#Qz2Dpo]CPl{="75Hh I{ֆ‰܍O72|,'^xAdg-e:W~2?v 'U*%o`MOFO6UvSM c#T׳P% iTa,](?0J K`YSVp}-dϔM%3]4Fe2~LND!3@aGWTa߷q&,( .& 7+xC.#lHզX.