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 `!|Ll ]]]HOL-Proofs:threads=6elapsed=573.978cpu=1392.988gc=186.416factor=2.437zXZִF! 6]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb "`5i%.ΧˆyD}hb=ѥD=r}`9bp-E^ٴ$8LU0u넳6SzšrlڔGiCW8 vP2Y4ڜ=`cf#9_5Q)680-|'mW7In)$ K3R5wco ;'ؠeY5MJ`eW[f~׊8*Vt~BDZ]9D+9#SvO%;WDJ&ok~r^)ZƏj$ oaְI/UE)J g_$L~PDSOkVl0) =/|<4&#Żcy/m7iC'>쉌T1pμ,Tx xX=> T[ \4c{Kt͓Vwt#:ִY?Ibs,|@q6jn"ut8hX/c\3)¼Ӻ'ޓ 8'%z4zZl?3mdp˿۽2R_?0sWE00%7.q FW\Gc} @sӡNeD3VبWֱy8CXlދa sыZG- t).2uE`BXFEw[ٹDtUa9hwtd(hH~D۲AiVݹDbfGn j/@zNbyR}[z yŁyy͛K&h^"_T$5oLY+kna}RWso+~?T@]PY:oғxՆUu+>Spy_ȩtLU t %aZ;GҢ~Tl.Au|: mFgRR7gBL2fo{Dd1 <:Sr |X>fկnrfL2yh6, 44yR!PxR˹Dݫ3D]33X[mVwߊh4b#-wPo&ߌI5&uڊXt;BD@%f|.':|04Ax܆֗:75n ,-NXow$/+ąS/1 8 ᢿF1QOӬ&$kz(ę0ٕمSڳEĬ ,})t{ɻbv.ƮnoZOte60mfS?5CSg>y8* j2kh.$?:# ,5U޻E}3XRj4pO<4*4>0*z K DOG7lgW j@du:ڿ'NitZڟFE M} K-W.&7ZXU %+iE#,0L'PD=v5 F D<:#eSυaiI ~JNV I,K9^Ou(K^v3@>"^&!F A3Ƕ܃D ;#Tމv"Pg`aD<)M6RƇnXŒ&e9rF--{F?6+쉻$evLN1@H'xSD H_ {eUޢ_Y2|й9([/P'356 cJ6*[7YmM}1C J3v&0Ly<VIGu]?|#$3߹THqSLN"x2AaO: MS:- Qإ/ngJLPw W'eu_BOLYIU11ʵIZFFƼwj>Bcamŭy(gLfó9Х=>pY [{Ѽ0 ˈII}  ₧|RI]dwt5XVJ {Rž$q/K2],Ys׆IcmCxzNQ [78oJX=uz났NCJPQ0-1Afc@N9&I]>blg*ɪ-"9RAQIECDjH-r>?|柪۬_WdT#mZ't0>,աx֒d?GZi}1C-oqD>|'"$3RʏM!̆S QaF3R)oE(n,@  ! HOL-ProofsjO}8c.r_Wl9e]sL`5~q6/ nn,]Kq -/@YزkeFdIkңsE]筣z$U`Tj=|L'p'Jd7CbynQ JS$ C  Nuc5s*\i7%sW4R%0LndCzP?-r@Q57Ԃc,;- z͎ + "_D]j;sCt3feKe_xn5I~ f֎[sd`g=%O{U=[11\ζMޔK V;mOhZ3 uVz׵eTvH1>M2>ꅽׯ`^Ryw}[V 5_CњOW$25rE[ِ71C7LdLc-kR ÍCL,յnS!/~̙)|BS?'{=4᜴2VhOxmpv|NM=AQ:%U} ؟sSUx#@0\ʞU@cdޘP}+J<=2?CM;Y1^򘋘6n-A:iTmmI6_th8@)B%AqѨ͸;ٕ(^g\ ,5͠G;S")sE$zEL6ygV8/y'v/O?3FaNp/ HՖ&-Fs'[?Kb?N*;o2ǥ_j@8.r w ~DE8M';b1jxurȿɎ<-3ց䢫ďR/Z ?wQl3/'BK@a8&d򂖴E9 Y7n(Tk6RR'IKRFS$UdbxD\} Bk52dDKt86yS(HKjoO~3^ՈyⰯ[̴$o''j{ows@-ȞaD5;z]qn_-JDgQL$הjJ?p)5° ՌY/:fD,j-.,gtЧu``Esjw!RE442=(,kYG*n1;iim~&p[tFțUK`a*iaAD ~e_s' Z3b_a:.Tڈw H|-$I+ BŪ'b$ .)T7dᬥGGx_JUyҾۿ8Xvu!q()}5vFjMwg<XAP]<֭dȅh PdwQ xiHu##D6J4^wYe7̸ڛfZWd6ZS%%>*s7 tt6W˰ 0 "i6o5F& fI5 F{Vjy)3nxZR#J d&t%1U~g3D FC! pb8/3>{^N SY=bw|!pP3n]gMѼZcb: Dy1*kGU;A}i+[)Ə̓v,]2d'ߢp&]!3ydAC2k$$3tԘY `}$ lU2P4mS=rB Q,j@Eռ5.as i('՘.`1-9c*zwB˨ vemU!_Qo%lj6ir 3+} )Š@U%_op SFkgr.K gYZ7zXZִF! ]ŗXiɟ29aoʼz[%U>EM!!A`ɹ/d"E.48崛 d޿-_f4]țYH_!DHĿ1sZ??9ʋ_V Owf2BSQ!2%`(v /Z===@RJ%iø [륵vfI!m:/$yN`i9. xLJ0(_YCW͛_˰`;>\Y'Bmu@;#qy"CǣFpAoL^'`:(jG4$a4Q?eEv.s?ʞ J "a/mDSLr&4XQOnBnZf%=ݚPڅrKOu~i a4xa+SSEPt MHyL,qMQ7lI<aGVqAQ˶n FT3 Zdfaړf^W|oO KUbAF; ̾-\Gy{;(nbăJ<\(v\JI% l]&Ž~8arէn̈́'q0? P$~I:xU {@ nOV"b*(:p"ndamg}bP/oVϯ!Lz P^s\;JkmUX zΔҌɼT ?OdM& z\S]`['Pj%[JЯ'vcH&rQ U g?V[RH͎O@A3]N^euBcX. -@нUv+.N6I҉b:m蓑a(wrwkG)|ZNe! tָziP+%>>fކҺR5E8 XGLinTOm lh5 1"ДM:Ț8r)R0*l!k[l4u|@=%Gg⭲z^T/7j7zTo8|D}~ f9'vЦG+CcZ"yǸAOp# 8a;GfF5\@G w NGUȃ1E(nHn4;j0*$kF7|SZ7WC]hb 3 gYZ7zXZִF! o/]ŗXi%6Ʊ.ŋz!mz7OͩjQAECf\KC~9o~WtD!Ք(Ky$EPog\Q3(KC!+!8mSʔVr`0@I[k]ײMݑzq}N/Z>3Sa98g5{NRg4(S^ƈ$%=I˹1"n6cڏ@=4ӣd@77qjn(2i{>EgXvFU0^&}\,_#L}9˅E̬+v|2V= eaV{-J]c66p". %mʜ{9f]ą٥yR@շX:Fm)' {*xM"|[j]4ř%7ȵQ19aQ h8s^bۛgz.ιͺ[eߦt^ 2SWT9֩oQW1ң5rp#ՌǮ-huu\rǰtZ*8xE)#?H JJ)f9(< ٍw1e|R~Uy19G jE]*G"Ő:{Opkq>kl)zN=#Cv]~XGR:1>-dҮµZ =/\v [lǶ^ wج0lk3"] $3J4oF7~vvf[?Q2<îa[e}$mocH[ ֹq1 ?$`;4qOtL}%H7ϭEdY>O=ͫxp<Ă To;5l /HO4h^R/|#*`MS2ʮoNl Y}v*bC;!Tnn\cTt ځq"Gq<1~XX)s*y#p}X3u h iuiD | `q:m[ ĵby k.d=}KwI;B58ua[O!ֳGM hHB2\R`Q4> ͳ:Kv~gRꪆ]97hXօf;Do`\V;yԷN1rᝤN<\j>Y;|?2)`,b?UYVg$}a r @;_ӶǮ+9vnR!;(}y7d%se\0:]ؑTj>^gت$蔬rYDBV=`N47ͷpb&0-!o.>uVdq51.rEJ5)jDu )|[ _Q杵/bg*IVrH#BUP31ŭ |]eR#ЙWef:R{ X@Ʈ%Mu pQ z`\= ;E0ttfbow`Ǐ)uLpAC\0(QA,ݟKt3WuK/F/?ߕ;}SȴR8[3 !J "|Ǟ*nv\hW.7CVp UÑ*u8I /3EZkⷘ*QH*eΎxPFgP@m@ўF;%+B0 ߰XK9%2%eJlDiA~T-X,%vKH*Ҹy[&7GĹe 5Ɏb; 1 ັ1Q`r61ip طRB1Yw<2LCwS/dV37y!B)-CH^+|u2Vel+D.L .b%> ~tK8.2u}&V\ENR;Ss!\%hc{Uffs}b;zH9G}A,+}J[?k9m 4^eA{nE!^( EM3 ]%L5_ OP!!wp]d'd wh|@!WNP xv$`2a]9u2ޡտ.(C195;K}=ːI02Лįi2')?/v-UϥFIL{%]ZdpCխSπmKhX/MkD fAzw*5%W-B,!F\v*a'dԮ( oJ\9^RtN:H{^5|㥆eGT긫xxeQ$͠74>ړWF; h7S{+ ,Uh&[leyPe.=~#a.NJEJcH]Xs7m'647°~ԟ -Up]6r:t恔 6lzf}Qzg"cVe?bLG{2]č_j>BM'ߒA={CvB&ػ4qΆ&@@ׅ6XpVF$MOK%Ep;ʇƘWmTC+T5HKCq9#]zkѮZ>`9ZfvPQ;9L-}lCLrV;0@GGNx:2xDr;kA[˃4zb aG= stEIJjA^ic 7 v|! eJ$LF@_&gIX _eεh"2: N/J%^IE,<׷ xkea5 1](Яpp34I}+NH7gF>`zdǘGn#IljzIL@'6@;v0U9q"{pEk >2A'(T;N 3&7VF$Au/[9y0$-{U?7AAws]ID}JxTdc(slpYIJ]{󾞘ίh )W5&w[ :@E(O3XƿCDD_M^@'Vqvb!;S3sΑd/رo҄>{j~p^84D WDɦL26[ 4~=)B?BAł:CkL-${ybBwS\` C)BQIq.-݉V o x_p$g(u^'pXBNfքW']qW]n۸eι2gpʖNNi(&jdjE5P`)YYQapi`<&)+h*LY ݷC,jj[^/}{ 9\V?oQr%&o:p4r%1bf Qݹ,{ϫJcB#FEtDDA6ĵ&3~t|7XG6HٻE>1Z)3)Bba(9.~ǒ3fD~odAwp%@yl yegS4Ozʅ/ Y4be8ieDxYjKN$!uzK}{WwYÐ$%/}It- m௹ $>=w2k (É59-)(a`uta%ov5EN!ĺS 'm*Wt#mXHNSܬ#u5Ma6`h$"S<8z)`A(ۛ² 2C'/oKQU8 Uj~-ŸJse$Yc}iJex XВWl%mTYZL;P"ն"tqE!KH7U%[X (lt*Y %@3`aZ C mH rvW4&Pē6N!#;miQ^{r;/d9drX3o$1$W}(K]{Hvтێ[|wvBů:,\"1h1%uȎ2A \ԦfR0=/p[I39Pp$o.polZ -e1NM8ʘHyN"a2L^'@<۽>10FNfWrN NbBn~G(Ғ@Ϙ`ɑF S./3ױ Qֱmތ4h-{M( ,2f?rr/Z| FM N?tJ`^P`7Q[˙E){RqF7JhKf] }F , db~eC&S2/eU+XdU5_&YuȒ;=ć%]P&FH2^HLM$l̗C'CAWzbGw2ؾ ֗D)cf]K5+ _ڛU{oe#>UH<8z#Q Jw2LIx~'ef'R_\ۄжl1t]Ct"i$-֩lqB=c֊M}-d~Y]8*1npjxE L Bؚ+&?0>Տ|۴N V6`-*?e&|$j@E4PnM+"sLZq>Sx8-hGrַwTh8J?G`ؘ<u|^K2?BMٶk jl>==HM*^Wˆ2v:ݪ*nx/l6n;<1"K{iD4dJy ɄR=A/|ĠApOÓgm5d7|qN{b2G@]N/0mAJ, )iŸxt0RIb}qो++VR^jc}dOaslB|@xǴ/f^] ꮿiڶWtMdT\REU<|/j:S~"19Ih=UJ~xA ZQ%@LDQnoیYGlN׀X bĎ>1P< ԦiIv@ )LE%)ՔuK $/[1gqpvYhԂ8!A i`"8.tM5.>0e^Bdxœ 1n1fC;W[mk FYOCBDmoTCi)Z#{ E01lOct;p(gY}̌)^IL"P gM#JD̺I|2.Uy]iD֋۷ZWD]8ĮgG ϼk,# m;vĐAJe͏iCDTM@'#T'ZV3R7gGu`K'+&{[L-qPD hC/_N[+>)3j AsO( ˥=TAjjRTEPb䲉@N#@=l:U-Bb ߂V1ڍz ,\j%?V֌S0Hshny֗ 5\^ρh&grnKɁ70%Gx%#gdjR*)߫ 4-}}FS"*7.O-c0ۦS8#c~]B/C稲NKQ^0O;&vڵz/6\-E]e i ]2~Q:fB+ט~M "WY"sBDN_Bq^C4yӉ5pU%:=b:u'?d.ȜGȝ] 16 2z@IvprUD_  ?H m兑/N|ήw)-ME+ 6%"y^H[,P"˦%Avn%*CܸS>1܌QLaնH4G묷@o="-Cb)q9?>uݔ0#ѿ*s0*E7vACLy}QHMAefǶ'*ULvLNǁE'ءAb2َN(d ^Q-XF̅s9DD0)˲ewSòo!s?wWS}6@Sx"N}n 5Lǚ_,rm:APř<0H6R\$` ZSSlHlGc 7!ޢŦO_Ube6 as݄6@H6/%18TV;Wc.h0qJ gmj,Hʂ+Tji+J&tSo\aj2T;k jUEM]S Uw^2/K>LP<ThbQqjl{&OѝB0 } ͍bꭽ=Ǩ2+/|G"C!LJYɮPj]ʊhǠcT_'c&V9ddF\5#R׎H}lull'}Rgɮ=cWP;Mo6 W;a^ n փoa_ $[sO |Lt!VH=aNɞmY8vN ]+lu  ,3r0lrTLM*z)V$m+,jL_agt&D`AM]E*b4m^omZy \nD CDܦ I16h m%^[)~ianJip]8i辞eUImb7M2 !j};@:ǓN0=9vF(eẴ7>oJ 8pzf{K F%{Ь%1s{ 0|~B s9T gWI!$w%|H<]rV`y."6Aws× x6RD[GĦ.pv[V2ɡa0b$9! oc4!Ȅ5W-jZkMV] z9R6]ĜwbǢCvOfܪ,56&1^jZ&C:"iضR;8{`1Q5S}EP^"NKwHBoCV'6t=Lvh -B, ZXᕷp\(P-/ы =}/vDli]*f,⚆&JF PpZNqUEDž$%VOċTs3߿y 6Is;]b260RZeD!dG6b֧W 4?bdzNoA SL.桧FXq`²h"%fQd>c\T(L,}TH` W)pZoIƠw7<o5` c̬|7hj'=0s#LçaFKXB|*8_A*r4?#,h q1y#`M PڜrNrO>deoPݳthP+g qgN#C^ȶVul=2R;vx(% A`hVSj\:֌jw2\h>$JB`3=8po~S7 W޸R#$e9(k2sFj ʮ݂Ѳy|chA VtV r`,6#cngK2yrMho(| '6E[[0Nw |*/g*Bp^t͑ކZҜgE e|7o5lK⧨6fۈ0{_q;AF:c*K"i @,3&-/'<%]^'aU:a2I/ L~i/_%՘u,FZ!~-_G b;'Gq>L!;Mu*H?ă G`~,&L;2Jb : s 2 \'l[u`0d!XW"Tdd͟ѸߛTܸ@IvcpM.67&jvkH8m;ž&U9 !{mf$|1Cڐ Rz11 N5UǃV1de3- Gg K!g'~w5vˋ 5-Xdd(iJҙ!<}q:K  q7҃y׃f@HA7:"<:TX=@F#銥3σ^@6 lX ֗OTA>d:&vpE$=p#Kt贄 ܨ5SF%Nt1`QJzߐ +MМ\,TEPLbR.D>ky] (Ɗ c CJYH {U+=dtFm(̖B3k zFM) 0]O4{(k@n\m&+oXvr"IF@%^meS)w(!f ͷȮ%4AՇUi J(Ucg񻛜Hgء 0pz B5~BA5Py2 +7ml+`A? ;(|K|Th8FGÅmrvcqZI3ń{3Luߚ(x<Û-.[cM?C%?B)2t0^_$C@)vioYM|W@xڌsL3ӑ~?;MډxX|(dPgnطgƪ5Is1g`8iϴP?Wh"]-c QFfEi^~j+ރt8btrZm2q3c-WZe-lx/[w+ eW=#(᭻(WT@ið%CM(hAU6] yO07t[␯H&b1Ō<0(+?uIrBKpz_43EѩEГ tf=;H}r4 (6BN ?YBɾ׎{3nC W#.ahW%K#o .Cn r{&4Ki!}Tn0X;F=EE5D/>f+ILۮ"n0e&m DD}]cޥBo&lcV+;Ffz452乜l:87?&:ay;$eH@tlHޱKJ>Oجr(rI?ȭܳ_P{{^Kk7$쳠𢈴g_h5jH2BAލ3Y{]]I"07ιZsSC8t1mgAAB"0g8ݳ&6 -:=Esj vm+p{lx2Uhnڲ7v \1 ?돳?J'bΙV!S/kk@BhQﻧ(ޜ@r=褫GxY%QY,W~ß}rgFC[heʘogK2YľZTE!$)yM% Z?&XxhUECزM+t6W;^@< 5#~|9_;6 (~lp쁍͘ҳH~^iFmkSG9"utj$njY%93C ,31 ;̝!$m pxGbrdlD!*h6$ї >}(m1M$x'\fbQEWc27zͽ)+]'~ٴ&~Jb~[3T2FA^o)rq#xqio(ĕ[BU0#?~f6z[7SxQ:e>C ^=Å?˼@#0#^;^xOhpM&#[WUJٹ)`@D񱣗O.y+ӤP);׻3pu;@;4A i9;I hґu4>~hr)U۽,ʑ+BiAJCKr 2j'tk >T͂M'f|(C3ʀJ;"+0I`+n^]W5)1 )nD795y(qʴЗͭCG0l17U2NG.AqLF1Bn*ȱm'|0Ș~6Bg.$C(G<բ֛oC˥\*@н2#*\༐[:D4ޮ* 6.f.ġ8X\A6b`ƙC;_ KoG`b犤HO@Kj;C 7*^- a^MƨhiZzc2=H[{|ivtF,ʡ&H"5'vq#(pL6ףf%(;gsZ+0w9eZq%%EHonusg>TW^|9[7B-iJ>̙/8BL?ഘT=LͿ4>  y?:K+uM Ptq HJRvH}+- ;uM#LSt&86ijB3=J j%gDnngʌAZ\ ?ҝ)=bokX U+eîc0EmqZ|<O,Mσ]VTqv^}oR#R0AɸGv*NXp5鍌-~d']8X[5v>#q3QW~U!Խ4agޜ> h-[ytB;(DׅL P@=Tnܷ}Ł0ٖ*KQY| /dJ扨OPXîR6A! '`g8PGIEϡr%s|v)o'AW:CLf$*n(=ZtQP4 Q/&]%T&ōOK  lLhdZDus~DqJUxi3K$TT +OP-UΪ~ecnjg^@"ɢΠv &"l(?v8K@J J[A %ճ ߨհ!u]cI/Ӿxӥuq#j gj(,b!xX fs6qoH֕ye"V8鍫Uu1IYbb>(x-(D؜O5,xG\l+p]ͱ G0Ủ t4{"Ta~j7sY/ls+;]e跽e/%8tr205ig*f\濆f ^5PKI$X.q"{NmP7=[55fۍB].;UM㸬 $|Ɖ"] [{ܟoʅ#M+Hw\Jn/6SU5H3}9)6U3;s k(COn:8S> }Fo+#E]T۟b蓞CU>+NtȈFMEBUk*9FqC S$-2Ѭjʎ#Nhu9tgˏ?~񍃠4U1/DXiTWftp=3)7I0C\OK\Nj?(\X@kqk`XȺv}03&Кf̭?W#=G3aB HIC!Nsl.[4bcTCGgsdI1Z}#W4șr:nygt5mdNC~E8/O V'(k$#,ոO*~bvyfEQq{1#Y9I}Ah>0i)w^q\M)5֙|Wc g?Sp*R50*u.Z]Ԡ;%'*}twF*XT0 Rj^JBa7/ , .ݽ& {>^FF=zJ%_RJ8hecGwIyW%.DL-e h8']SN!DtDƼ(iaËD^J!֙ZYc-Y7sE AxX^8|(;oݐ=[r W*J20{e^(gbj eIJFiθEHU;{BA|ڍ;qZ,5ICsY(%m{ bNų}NW/GVf }bϜP$%} ^w*E옳ћi3 3P%A DYL䶯D`N#'Q*ؗ>g}&_ n? ? xWUrkld$WH8Yba }_fbC2Ó>q0!!$Fb%^9cz=3ӡB eTc KK;yDSsd!zTlZ6vw'xhgl.uW$c/Z:8gvH<ߴQ"嶜`ׯH<(*k?F=(?I #Rwa(b{{^$QU>3v酖&UUTi5[)8*l"tg{Wb0$4Iqt>*LO-2xr=vn5졕5[l?kbPHR~$ 9[H#/Y A/T+XETRrsɣ`L %`X*]%x0Y:ȸh &mir/jr"veO[!E ^N* EnoPk7)6I5[a^R#\8gv!SXlM:|#W?īI0%#x P"vevCuH5F\2!\%5#YI$Pj{@I6yT3)v(scI(_Ꭳ6=ڈwu.}+$J y&e^*o6p"Wmc_ԺZmYscuB/2.S:%u͔.%ZҲakL>YcK<%Uhd97rf|"6Cg\NrUmüPnBn80Cr^2`F9ʬQN~ShKvL+YFNBk" QHzwU޽uǚLMS# *ӁeUHr{ {MH˜L-,>2nw.hn=ߔ%կ ,r">a(]ſ'~ X%maavoD vjK0k_ɴ;kiO.tp ;Fi똍jD܋|F9;x uz6lmh 9(B)c]ȪX6ȗBpFLFb>C\b 6Q %*y3w 투0Uz dD&~/=Jz]~o;]HcJr;1/[W>. |<ٹKluذG.V"C'3u!*98*ق]%? ub>.s,f!'vN~Y5xC7> =c/bq5^+AyEjIxe*ͱʏH/Jw@QfCCQ#Q$<pZ4=#~\SMsh52ؐlkV[Ā?/R;]V?J D^Mo.mo7Vn٪Mc!rS;{Hr=dMd>vGŠQJՆ\MӷsOrd0 7^vā&6kXXdƯYl!l8Eb̞.@ƦmP~=fHY.CP>, x7I]>St TOS3u#k YjJ׾ǖ*@`k־8= -._j%6>gSlÚDMyl @d"2>ԐFd˩3M ߉0)% <~a hJN5&Wni}ޓ6#FUuWZSKcTr5]*\aa X\ÛR+bv:յ5OJh'pjjl7aP>tax+*}n j?#ԒеPxđu6 ٪B(%;Gv;9׃Ww1 g).씾V>ukM ܅H^aM 9qQc}lhD4۰0/ { )BFJ^1ov F!ke Q~PޟdLe"YZ>U$K:W÷0؃NQ"`~{o%5Abxa5n^'8)đdbRl*>eIW+MG?Cq.;PT1FkujWw#t0fDCٚ(@TM{+}jmpWŜ>H_s&O~6@₇dQoxhSGv Jkh}8PahOÆ`hy^ ty pIS$غq0+Z<$w5sz&o%`pأI@Âgr6 y p!V D\nt.ZǸ} 7jGZ~Ր5٣*ۖtL/1ƹnLÕ$O=nS17Hˊk3ЂfkT-P[ÏD[˄ٙ0@ܲ"l>7CHI<[Mm2fp1茌NWޭ+=G 2N';hڄ+:&+,rJPZ43n/ǃ:1{K"^+Ѹ znc)L [3a(3=XMxa+VFzd >sOe_'ONPDYЧ=+:4:Κ{TPJ zA=+LJ¡{/Ԉ8\Hyy /gҙJzsxdMŅ+$#XX fޏM֋+|AmW:LA W$=4NvdטEq3.=1\ߓkkl:uyҝ֪H (xYzV-E[gEF0ƜSDvu LUZ (<n.NUӃ6iTF|]Sn;+2R/ORnqBܱM"ЊnDk8~:^x6cXVn 5!wdr#$;3W\:S=4tsuU)zЖs6;v[sbTmGTSWBoe("7P_*3|yWW&㥧ѩ Q4mXPT4,A[v@`?fuN5əITFoGzwFcZ?Wm+ =}C7lN )2yZ:NnC^y h1mjE8'ȻG H "nd?O=&ʛ/7:Xv]Kb<\u&ȏk$Z8ř{Cn-mͅ&ޝ6>cZT!Mo8 `" &T^(AR*ib_ħƄB_׽gre}zMVeC~m'_RuιnGd*V+y\=CኞYF"cv SZyv: ^-f 5u>܁G]uhNDO'\1†j U]h4NΎt^C| 5 i2c:-")mݦfiIm}۩Ƕ'܀(U`qǽԺYɃ"P;n4x%S@MVr L . Xv'yՆaNV\}eYWӞ揱Z֖mG:7gI6fO?/}ebijr:tfjf$3q;#݆yt-}70{f% 5?A5%bwR]zߝ`qԱu+Ԧ!tc~ dy&Az|N :;j7;X&O%nR cUTc.oO Dl^B@X{$ըLq)&Q>Ե@ (,jaK o8>\͢X YR hdSc' KbjZf - x A3TpnZF޶ Ͼ~$WBB5֩FI #SfQQM() A;H?%ڝڑy"*qKt+Ďm=`&8Z<|nQ8=gƊ>hKU+`+tKPVZœjBzq3f sQ6tX?'SR>D.D ;PZ_س^^ևldPo6"I8}@)h n1ˌ!s"g-mb0& #HgnYyfӆHRi,ӅյQ=lYۢKG!nto:1O}S&N\խ!s;k[]|(>e 1돤k!6D!Y(K-n[H\WxQ<'u}+j"Oty.N=0buV"z~)ӐջpKV lMIrlHYwdQU3/nFAq0~ZucK5KIM+dμuhoxS 1ްuƐQOb~0TJ;'oiIR':+&~quʊoxDD '+SV Ѣܫٱ_/>OaͪZDCS 7k3yR+1+U0"&WV=v6x) ށ_dۅIwRz̀ ʿD< r'*ayЛT)Np}(:+ۭHrኛjZIc؊ Lc x?JN?O9!E03jY LCH[ {<{P zzPrgOVDpѡK2]3]dȨ J65 WkÞ%c_VR?dNFlzr3tyY,3Q\#b&mUW|eEH<d#) D%H/C_ׄ#{xt6sE2\Alg&p^)ӂ3:FlƬ74d`st ErU'= [a-aG?+行ƏCEoE/:+-jcS 1~`F~]vW7c"^(|~OmΝu5=b[ i"?^BlHM1ny j9*n|Y{d6KoE[i7"#+'/C 8.(眢x){*FEnia6m^++ FZƿX|bbƌqCq^s 2S DO  C2"u`\p_z5Эw󝎓Ɂ$R!vj2u|Z |ƿi-9~x47tJlYoF͓ 8?@$`њn `SZOqߙ 2(UT@F-s,^sAV!<ÚZPG9ǟ/ Y R^=~kb 'i{ݶׯUZW)]b֨*vQĔoݵ=T*r. ERãC.DFaY΅ ֵv6lXk#g<_R oы% ѮPG۰AΪw?4‹[v Pt4ģBvˈζuG$W~ `-@nwvPN-!ptLevK4u8"R:|ѭT7Y6]n) Wk) i?R,g LM9Z!#v勸[ТU,I=VZ}3sUUĘ鮷 SΟbPfqhC7S-bѓ*bit1!"JԢɺ9Bɾ~*4Rbn/eYOU Y v>H_ @ Li+[N`Վz}CyfrY}m-W Usg #*eD; 1jX`PsY#2m侨W a-ɚXM&qugYZa24f4ea3019b54bacbe8f615f2173d91f21b4c7848f87baeea618bf8b318f4114ee7c34a4c78daa4cfab460bb6db39c810605b3d52e9e9af8fa7addc