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 T! t ]]]HOL-Proofs:threads=6elapsed=748.970cpu=1750.508gc=214.484factor=2.347zXZִF! ?]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbcUoC]⒄@{O'{/S^[.h-@+V%N *@(+ʮ*LFVґ̌guoXmWuP Vjo W wk}VY]Te4xp"P[b$[um߲q&H@v: d\>=7o$m̡SR-sw!v%.W,0m*Y5ճ|Gos?rrl=ŤX (jtdk )yu̗]$K^Z&G+҇,GIMtN| lAΧV^~su.٢CrRTLxߵ[N9W3Wcy܆K "Sk-O1@޼RUG,\o躮=' KY=\iBBY Qx0,* f|U} kkn2ad WS1Q o50W fDaۣi YR0,Bc~9s`gTϼN *(3d|QP){j4`XΒ,^F+ƶo*1s>%f]ʔg&Nk@ ۩k{/Mgx$G{ĥϢDvc#v $Gy4{)_Ey6R͜i[v%lOFAAEuɒGQ_ [_`d9A H!D]sVKGzՒ.dT$'䦹 b/W~cݠ(ǸW/b:G:AA*_mgvva=](Z (lNKH.X?vf1^Q*U10ƴs1&` vޅGvӂ5_*/ځ1^#1崡$=f/g#ZՎK4y sO8V>XFƃFW N\uqHkKkNF9*qI4oqmΣ gºPB; R,Ѱ* Y=^ Hfן/M՘FEZU>eyj)Gצ4rGޅ-+ |,Fv Q9P3,[fnt@`4aB}1ZsѮHEk1p%t÷oSoEhW޼Fc&.8]bJɧbH^lIgyJ:w}vf3h^Se ,+Ϙ{1= S;*0_q{Ke%#\!%iPHC/@]e2}j6.Z=`Q)}[SɴmEGp$x}iYJT6HM"wu!/<^'J8XГhQr[:@w.hOG};$D2]ߘQoӭb=ekjKI^Hܞkc`/l/%2FchM T%.ie~sTO?{R 8Svp)ϴ7y2LILL3C>v7!@(":-N!n_& 97!>Ϸ^EGh$K0;!cƒ 7Ozx壨 UQߟWBA_:iO8cM6pEs5]X#ᆬli=x*Tq˚apN>Pd=@G:p >GW`l`}Xd)69~ETRuӜHe&\=o3bW^Dgc@h1Ck{8[ 0ZouzZχUJ0.t ؂:y7خp 4 mb5(.k{"G_]jTHsOQ| +}n"gg2 mLxYv6X}4\o=sL~x9;?0yPfZ4OI:ȫ)kú?jp P’nILWcC7;9CX!]dN QoVTT+P-)4/l,D7#!daQu,!j[_Pv+dV׍&* :*$6ǭQ_\ϼ7kE/:цս=1FAv:-_} vT](SLGĆ6/=}ɦv-Q\z낎8HA|mw<;| ԥ-1iảp(i-~2}Bnm[VflF&BܘڵLJ\*>Fc;_qr},8 eP ӟJ>joA ҄J؛W08c,.ı.PՀZ+7Cw&whq5^[;5"ǩ*㉗wN_e   ! HOL-Proofs3rn>Wl%jp7uShص< D{ƶRN:lDḁN13tOЗ}^gyjxox,Ǵ@M푚|D Tļ"1=˾w08E!Xdl@p&~u}V+cb;Gl\?n3vv -3@:r' r.ZgrC cU?C@ @ކŒƌuVHWҎUb^?c^`)58Okh˪ ` 'Se4J6E_u =MډB66zgT~տA]'Qy{nz Sk<-u }N07XFKL3zGpsX(!A!2yիoĜF V=t ;LyZiɛB@X1+ ]j|J&MX_V4"A>r^XvwQ.}7ѨL[T/S+6.qHdzJA \$\yp;՟%sI hgh^4إB6< +6;<Q[321; ۳\9?Awe7WwMf`Xd5faҒ)L#. ^^ z߭46L SޜuJdP:^?>?0}L5'nI_C FΩ*!HuRYl3wO~s~ ݱU\PL:6: 03@a9`VTv=c*d_dƍQ&~SqE3H`˜ҧ_ǃqIP{љ J7sփ mmCC+ ) ;e  DO}#wA6cf86|YF<,hΔwٮz-]Lg?5'_b2;\}{Y|.EHtS_T6ZdbiJOc-!t:{wbF[6H{snٴ?:3 2n {s)f^^]yL 4ik|">A1%+RcEC1a47 +Qˬ${m*Jao\Y3L%Df I.c@P|d6,B:za84Z~7yXdB%c O[fL;gnF]ύt0#O$gu)o y.Xqyڢ8+gڹS4u(qo^q眦@ΥІaa?t(;5'AwTl_E `?Wt9]SPg*%PQZ =6sM ,j ҝ0NCeU{@8*9Qf}yM}ohHuT.rUxWeIlK͇p'+m #nV$kN%=MD ~8C3CqƚK3 ˮ)*2M-4:k˼))/} x3jūkՋ"#-yސ=/[t%eޤғJJߏ[lbcJXdipo2||$MFNAKJZ>?#Lc6g2eiZ425QDP6ӏmf7Ҟ|J<q٤x#Woǎ>AP6뼢Kx^n]1` Oc  ΐ b*n-{ +ڲ'2BB#6bf3Wī~Ѓꤚүv;}ÐYp&%3ɰj, TSgT V5#ism62w/[')A@KsBZ-$^ !|Q%僸feKܙyGM"]Zq^َ{N$QSJ̐kHl; NYz3S۰h*ˌ QPZo}Ls>kRӆ(m`2-pJ~o1j_'{  [@>Y=6ͨn4`QPVDO@L{4LM7''vIdʔRa9 C UNU\t* ,DaȮTWiGtU{ܭ0'#0Yp޽ꭖ1WY Ym8}h#W?@%.wEM!!*W e8K k!Vc~{w&3ȶ)q]i1$n]WU|Y87/بu oUoB.uLH)(C5͇zZ=ufPofxD\YbO8>g.4ܢmTEydv mh#BemY&#Bk\((mt][t#/<'rOo$KVLBe}|)R0(2R#`ݮ@ { H̾ ҫ[n3V&|3ߌ7ʒaT&mgϥ;Ĩ(h팺DS@>aiR3)*d" P1g0.^ҖQӢ_U=X Fi Gz%n$'pm2KGSIj!:[w9^Zd fe|;jD{Q_5M[<63(dg;p]]aq/4T`x 6etS-ķܤz:]:F|IEn}JTezTq$}yVsNDNgNYf=]GdL̺wpS~&h26vR5Asjo {tkK4AT8d>\5:@tX'iE-j̳nV >-2( E޵D^)X7wq&eǂ=[ȱ + "찒a1O%@Nk?c%j47˝N=)V4vUζ2XFH((MGgAOmrۼIq܂U-r_)'0>YOf!i(\e.o ǩ%rYztIr~|h')aǡ8x-$I4G{0Rވ$6}aT$ULOULpgQ8(*w fA*w?X$3L^ήt;$'&B^Ó)=S*78PgWkOX)%5[_ Uu^`D)Cԍod4Q3Jj=,2畹+6x!&Je\`awRGnT:l[{;҆<+`^b3 kE. }U+q! ٯ<9[Q qFeN1}sUVw|Ep\ȼ?f:as:B1 ycSKwK=:42h9Zk]xDE5Nb y\SQh F}?mPAX4"W .E&zUl*{e6L 3~y $T$ `.qJ~z{S{Y6chW. 1hR,GeѣI[wNC^GYds/6b=rPt@\xBo9j/i֟?Ҫ-=RmwpN͸ pկb]x7wo3Ơ?g4%X_'ãf9$R[br:߃pBUHH;!_#j^>P/b 6I~[, y ex2dygYZ7zXZִF! 堉]ŗXi%Ϥ'\GMvkw^Wj}@^6L=?ջ dzw ]EU<8u"B& ا@˓m'È ~;cʨw`m xbA:t8P-kSa;?A% b;xޞ~ɞYl6cIFqVsyI:RedC5AhWX~}eJ)D 6BBrm5O wAo~5YpCUnu'iBNۋ gg 1[ P q+ؿů`&+`WI !62OA 50է^l=_X! 0nagLj1iFeϫ`%8{ sa]7<@(#7l's(urh/.zTѼz6] ! 7;%n|Y^X~z[8w:piJSPE8<[5VtΞ2QCowC`L|?լ<7AcKh~,Zy!.Sa7l |,Eǁ'UalUF9kϢȓ\x*'Su45:{-#o0\|2tKoTUpޚ :{'3N)tM!$XK#{ CxaH(`!hG$Q4ޛ9zu@^XLԘ߳ ymb'MtU/Z9!Yf'aekT ԢqeP)I_x++'h -.7#&tP&UI77MrnpʾĚ>[8N!P bʪB؀u odC~K+]k;r&Rm. 5Vh pS);m3#4f=,K.@h8TRuֹ՜1(-ƭ ld.ԁ#e:G`zΙϳl%#ZbuYx4izXBf476{I?R^;\, i>dIo=$aV(]YTbr qiXTG )/þ"X#3drtҀ=\ VL "XB*dfhroV) "ݢTArfdpa3?`X9nN\jzSAݣ}N\e~J|;Id"-o oؕJ%pC),Ǵ~qUw+4^:^YuQ?P@?_>Isd/SR9<>(gl%z'AԻ.`INe}g )m9 aߥW X-\1Y. $' W]^?ZeRƪ`JlO59&S~Xic!n#(Ty`l[;w%FhA0'_S>5'w%OP;SC棤puNyt6dP],{gg4><'l pXJNS 26I%2a&-eUՏFOXƱs_\>E8 Ncri`@޷ <鞻ty[AJJJM#}MYf^h!ު\+x Fc=x  AQN$ T^3Ś, ud^=>%kD\ t3eSj3"f)'A33fSER[S@rEϸoTare^DHQdsE?źV.uەl^+ޔ*rP9~X XRD*>Zz4FCK}ucq~"wa+i'NK8rE;iXQAG"b4V)"8ayc6JOs9^&DDBf/4~ we_SU([D A !!/$a'H0$9Hz aUʐ۷xḑh?,H..._WwwB $;<U};WPF{pʸqEWd(h)m V.mՓs]&R"E #?Z S,)VoOkn.Թ57t0TڎU䞻&\f*oR\lCRxh>6Vݜ{FFnD2򂞾Tu**kj4'[\Kپk9fMܒs?:.4LxxJU o=u+]itkZ X//'O޷[PY95˻Wfۉ/BsvTFZ{w[a0|Pg?s 0)E%y@XodŔ`iwz{9W.~S?,5vDLnX3pE #v[]>#g@6[S57V3P/J$Hi t+_ԇ| qPKDC.5 ^v/[lx[s=b|nF0p3)F*;tߩ!/)'_9Pęk <*yu0X3+b<8z9 =iR8l`)`'3:RJ@,IM=,L!*) G fPp*eKUΕo5sN:[9?iwXQʨUؘZ$فX=[| 2(Yhdh- 4B,ԴjLI{.+4.EقJ$(9t!fwSc[Ne@/װ=R2^dW$H3U{TnLvgdVp.DRȄ?)o0$w12J e m4'K]{gA_^ߴ͗I:36Wo@*\94L]t]! = jKUs ʭ=Z{U$LJNᖙRQ__~{xg7 )t*uh$fU{ᕔ`agܖ`5;|szc Cf:-1O`C95(!VbyzMEr2y !S ^ Zh6 kx-'|._e[?9V5ثPǃhn0mpx3AZB.]rdHm(| e2l/Aqdw%6(# {sUAH;͢\(%lTj/B)Z@]zANa{G{Q(Wt:Qoc'nq~.ãԭb )J;ȟ Ðu@ ؜bYfAb9.ӠL GGh'D}?%ΜkIVOJꗪZq%3 J 3e(Hb[`q#MD>]aE98-_ܗO&쯮#VcxiLoeLQW.9e*R`jwRO'I'e_F, ?Ӫ>Y~`:ì: P 'v$BC۞Οr.Kudf]g#L{]SRpn1KQey`3J}q,uƵ<P -W* MRƱ!U@VJH Km^E6zʪyR۳/mTJMԮ`y蟺rxtЩ@>Wc :%k}8r[^fzUG+ƶ)񡓾@DLK$̢2+wƙ"f)(T*VrjZ_h[=N>ן._xb#?+ӘR|gբu]N"[rbh"QHG*f+M>@Fc&0jac?b(_?u\Dtޤ2{?L^a/{Db xRR.k0e~ﰣ} mn Ԑ?\廨ﹶ=ģ;?!>E";0AʌNjvf$Y}XONNHoI> P:<[+ҢST.rd}ET`)֌8Z2Dޥ܈HG=wI; iӅ-s*ecaJ.|<4J#2|g5_7l?Lp :9lq@z\s={0B ~?qB]NWL5g bS`MrwA*VXh.-+O L<2ar/vU:7i,G肾 30FuhzQ5%`xW[D/x`O!&F=&jS,n-4uJbVGhBGʆd~d,j ̅59 I(an$] Slܵ06y>GS\s1q1y"0Dap0ߗ-m#z[Ϡ!*0GΣmKO8, @>*0a?]홡+yJw'72UZ=޸: /IL?k^]fYWL5Ƃؼ=}ʢve1IƄx d|X'yW!?Y/6ad&FWh,83cp7'b~"G9OFkςA*QN%@X@lA=(IUo:ai\=1(m0MlC0PAִy׊1п]2%J|OZlgX{A'ܮOF>DL&rz4e bEU"NJO,I_K/("ل&%2}"lJ[1x=m~۰̺Ts=€9 y"vF۴')@q }Z}P Y7DOg=,d)r¬_Π}]VtZ0\U$)T0Y;78% QI8H'nsR*s[I.R| _.`ʀP^^#ٳ\ϦٿaC7%(LL0Uo7ni`jpM}]TPR@>s"C3T7VEw6TGh)iS%t]@Y.DZ˂!{](w=)cQW4e $&%GJrBvE66q ʏo>.`^}*k'gΟZw~V@upW< eGhs\_P* 6ius8rY "8w|t']ZBdJ#3zýء.nf/-' 'wͿo+ρz;1uڇw<42*KGB9S-£DTNsb lt Aa\-f`g!蝹*̡'ԦaA9RacwR҉[tf -fOlَF 2] ?Cֳ{1)?;(˒YEܜdmyGɌ]pQ>R4"ރH_ *; 8&XLj)F'r{Qp~=s殮0xXGB@r _V@h}!r $]J=A@"E7ٔ\}1pjic'wmҽC aĘ8غrRϒIMm!VaŘᄊ:'ݑ-7@ ,-CE~Pp.SvI@8f^tA3*닩$/;d]7jSX`X'r`=kЇ[n3RDD㪂OhGb#ӌc:Inͭi_W  #5tPtǠĜh ^ u3VoM \Y$b_#hV+kpf)Օv\ ״.IͣP~ȡhWL$P6N!]HtNF#miG@ m?tZ=_Ùٕ*4sAsky ; o@Lo2Up͸~;*g{#E[Z.q$~K(Tɷj4>duj֛W`9$_נaYD.܄QTr}w׶SB>uӗm_GBNY8qQTfb}eCcR%[b㥓_<3wk\U:y EUDj^$ƵɆ<;3uAy%Ba %_.]W B> QL JT_ZcY!tYyĒLrFbxS%Z-Tb:=v,5|BZwjMhz-RRv¡ ` Yk~͋pLO@9RϔIݰIzuΦ!3 -3҂Dm|3|]ޠ@WPDI}q1?F }vP6R3߈@N35H6~F5nv2t%q䥋(Z4m)'4|tNT!2f>v^}OF{|P{䢣|_UC.JxQ(\1/[kd2$(Zfkzq#U$Oɉ.E+^%}^.a$|e.0ZB 2FIn!dt3טoԼ?@LLBe1FA婅m}w<͵gn*+;ڄ5W=]cTs1s.L)J;eH l#yl4fÔʹʿ4( Watu;V4wwbraZ"OR?@%]ϋ9{B_]QX9} e:wWm@iOҤjM|D,wGĕX؉!yOq#i6WG,<"Y9l?1E!y376I=S4iJ3&4'=V KJ#hcCuNv+_J xM ;qZdxH!-kQ-=zSk;{@)RYoaUas  ƤbXG 0h($]%`-9GX`Pq?Iߺ=ׂo  := zĔ$:q?qVQ ΧM,KЉT yM$7Թ$S}[\(k^sF+?-P ȉ:@P[y+er2@F|:i$vVϑ~ 8^uwy9KbOJܯhlKKt*+ .A4턁-gّ#,Il;i<4 xS^f=Hps39S`u7}1}K%nVBt%-Շ+{JG-CM6l0cXGF<8^qZUmSo+PkTZ4hYN8N;eP l_쉁VrK,ޘYŶBY=78sau|^|u<ٺjb݋R2,6"X(Oo}=ϸf^vIlha .3\a%x!n)dt~v`6uB`'+ߋYJnUBOƘ oϳ_Uܰ͞$J (YU6/S< /X|el=@{OdQ ^DkQ kQN?ugmjFc)?X͒[wP͆-{lhݵUdžxnfS&ZVsξU@uWGqMOH59/N\gv 3|^W(v\-FM1ݕ*Mo[9Blg#?sCNE<Q\A"+m9mr<1 Cp20yKwMa,u>[~MQ*"dTa.yÐGtBMJ<[į3+XL\(]jSmymқ\8})u$ms ]A O44sxc7~PUu) I/88뤥R>mf3oͿwy/X:yl$&P[iz&"C_I]+2Mœ{Ǩ]$M#}.88昜irM C [խ'hՓ9`DYaMM:ot;"t/7u*Ԫ_`㷮2p]^|⁁1:KE$a%!G3/@:T  I`E2;2yn4QCcCmN?Q)c-ڦ#|O q$ /Yt需."@NMhz9 Q,H)[vetD&?ƶRR:?ʍV.{nWqVTKeg{U५½Zݓuݷ@zE 589HLeh>Ԗtv/}h(H|C9?R7& O_<>%%JڃOAF}'|ŲE29,GnGr`K.>s͹FO16*.b RqU"ɛE/Վdzy>Ѽ? 逮I]dAQGaiXųGnf@spn_:Z2L*`؛QۥLgϦJ?"4kA,gp}~=ȶʐCF>h; Xs:hBѓ6~ @bGBք,^$5~ߴcs2Bs%3-5g,U׎}n>NTߩFuVSH`+]2((ZT籔4Aɂ/PC[ݐm% YWIT=W-k d#s?\m 38{AevFV &7Yl&r2KWYݦM/{9xWC\3o^Fu׆h^1QciNߴOO#b,u)rh8VFE,4G1I!gl7}aCQJtB\σՄz@i4:VW+WMH`أcG> m/D ^6޼ad~\Yo2zdZDI~N)h IE^EI'ȶNP,O˥ʵS+wE&ŋYYKT"XxlQ+ fm{:/BN~<[ ]]iLq)h`YsUTH'x\X,v8a( OT9/nfza$*/Y%[[|}{agڮ A3- 6ݑy$r3~Dx`_V =]*Ƚ5p͙tښӓ;y*ZG=g`C3@ .t9ڔ. 72Ԕ3W6F=F 5B@h)of))e E=t$^> A'٣\Xk^-3 yjFhT} g2V<(ly;lk.^!䣁 BA[4+Efl3mXJQNԵAf|=ҖlW쭎nnU)0`M@Lҽ]"G$<4h e jqM &i'+E+ INVQ޼o@khL˷ůǫ.u%BRm۶ 9T>Wu5)( 6n-%yl 2qܲ|qʯkSBi tXhCI3:y!ǶbFB5p1_8Rq%Sˬ7'OsB7f53BS!QtxO]N@]~'*. h*5z.H`>_rPuKY/YeAto̖I1mY"Rċ惛g%'nvM-tV`+q,YH5^K K66~< qʵtCax̟,MĆB#d"2єؙ`(OîxKݝ]8AV2/ɲ, օg3ZR`鉼dHE{6 qǁ&!ey ps d?:Cz0o|=?zbUgƈc=8ѭs7q :Ѓ E}Y 1: %Ŧ<V߯[KĚe?br#+϶aԠgMy(l:p]`zվMD6OmZ0+ވEƠF*j>0^ Rx_Oɮ%3̢ۖcyMco#*]W0fߣmzʔJ41?9˸MӃkv%Ix/[9;B&ݨl,0"\ԗ%!7!/Ef;=ve휪/5mwc*''%H·J bYz?ޫPa4f\E%3g#xĻh%NIɨ[/N*pkQgy R ?$n F|8)xU~Z -w0HdP^CįbέZ`{'8mɡtb0/^zЙ^[η,D3'I45[) F)ZU=t6g݌N BiDO0@İmڋ_m+t&c[l ADb%Ԣ"`TT eMA43С,`y^@J0ØhOr=s/yS;vcz K"(Nxs?HΟ58݈Z2Z~Rpx_ԕ6ݷ<:">wЈP o*d^dW әc9V+jkbq>!f;]-GD)n|jٚU 8a3٢ׇqCIVh#N,&̀4WʲTڛEsrTj\\TٺG7KF& d꺚c>BT勎NT^FKH\#׊27ו%ι}ɏ\n}fD"&+ciڞYԜH"#KuRؘˁr 0vyϛU0$a;nz/[U7#%d j]n0U ԟ<5790?yx^\X׋`ydO̊]7:ѕ@o4hӱP-҂ZQđfҰߕ#ƳXNŢ89KPUsf+3z?/)mCo(ZlQ4;n׬I|a7'a:Oih)lή@9S^\a{q=\H@]LA>Qf;$[UM>(J SQg'6ؿ/N'-㬒V!]I"$ZN컍3-Fr3!&mM$8K%tg (2 ׷/zd+l'<9,d)Lflr_ ͟wΣ9Z2‰⣅y̰H06StO' 6QׇyƋz{kiy9~~)9 wé Dw{.59IIW sEb.q2fZ ѴGxGzS*S/=vHKNa$*DkGЀ/6@}SjԀSh"S~\vV*TMB;dQ֮m (IaMj3lA#:|4=eXf7[,8HAΐ|=̲%J7 Do5-T@8q}LJOڝ[[kꦦud-?K Q.mvibV&9^sGJ/kc<K=%?RxH0!`k9؛q+9%Fq}vTe{,BuK+o[j+r#Zhf)eem%3\Ƙwz?‰o7fFUαd=m1j#|g;6ٝo:HOT䣳(G1 \Wy5/aA3SRs i''\$o[.);OVe"ʹb~ED%Ӷp~w:VNpkيQ'kH bw]Re|Aڰ"ùHytyBIMTJrb֘іoBKj=qtl۠/=h|HkkPs>!+7$ j(^C ~8VΦd%GB&ލFu#VhLj"2mY뵹'~ے5?]97&w׶>vQ䚿U:z\@OA:"2 ̏B$hXתh0I#<q@y;'Mn',"{&MC2wAVi7; wG z>8mݒ- >IC~>!&*C1D2MOeܔ[=zB˶YrAl:wKJ QAj/v‰Fׄn{"'ZAZ:qr?UGp)l;]6ҏLr* `jV%@\鬒5[f1( Ne a:Ḩkr 3ީomL0A+ ;-Kʢ!3(;X- xu-іn4-aIsnWPt8V _S:91zg5d?9'(AV%s""!rLjN9Xl!9['WɆ/HG(K :}GxahxJd#?'^^`y:+R6x/GKo=iEqM YmJ^t=* ܓ0},Ma@T $ u+ۄ̧&0!@`{(썘НD:Ip|C^WvK T_̴B8ާMQ//o?Ya=Kf~OɨiR@{X5 rn!'E{iCאӳȜ:p:fl{:f [gFv^EDK^ e49k F{jM/ p ˝#;x1GFq2Z:Ѵ֖%ۢrl2),3EHI%ι R%5ps!J'ZId%+q|t0nk\_T' N/o]2^яt8,5\ʢݏK^_[ק/ n ik=*[[d6^&?/ewWہbcz~'dJ#Bdd̨;0{ddlkWJS,ɛt!KM*m1-de}&4tm$ Ε#cԶ}7`hQ;uf")9o$9$ uUm(hI< q` \'lZá(UY="$O;2"U)>YAR08yӂ`k575dǾE%}tX腰N/}E/]E K`& ''ww&[qCsа*T´OH2VEJ|޹~f'*=N@]<8p/̡tmorROX(deEj2{5{!*Bڪ.Xo4A>K+QרGwG8ܹ׹yַt!W9=>b,f 1Ȕy zلrn0N79$uijVuӎzL\q8~XQͽֶ|3\fJ-z)QxtbUb3}>ߗyvU2:ng=XigT12mg{2_~yhd^!G xTMdy+y ꕋKXύ}M׵9M;Uޑ=2Gp׈_f(Xr}k *[\I%]k[+64$vVTQ3K!A`Ηmۍy) sˎe5h'x>Vt.;) )ymuSf)Ѿq#*:EZ'TMgj#7?_y08m&߮/(G@&Jpv U]D(KDQbHGɣh2rng.ruE%MW#%}E~Byz#vؔ2Ds;b|*^.r]no~b.HaŘ_t{Q5\D'̈́b>MJe{S}`L*$LR$X?CCjƇ|Cô\i3 bu^KhjQ2wQS/e/!Hn;橑β=Kˋ3-dwt1N3TңޔA'C`;_ ~&gf& CϺK2$J| tSp}H1;FS GAH*d<2ێ'L#}irrSz 1ZIQ<ŶeIh]cŭ:g[ZHr 0k jǿ] ⣑*i?$^RK}FXL ^lھ=~{ǞKPJyGxRQ WB`ta= bVΝE#UeW$e{UIVTyɮO0` (P) *jDQR2L׊*"1Ȃzf#Q(yb҄ Z_yg bu6i;p=ŠKM@VP0MMgSS,La{_ |R)GhmG )pӄ)}wq4jJrt3u,@5hہ@ݹ爪'\0d.InYw:#O"AsvyGK9~>l"ve0M+ 6Ҷ6BQD>!:9%"E s!-y.y\RKLn_J A~-+M\JE!(3; K'wWOٶ=4 X1ЀBYVDaZIB]. 1 [R<$fvXOgn#V1׿j>1$X^s:nɧrS\(* 5{It]˸LrPkc%[3&Z [\/FŸʭւeIn,[?yDa=HmbX"ZNX$Y4]Cy3k04wcӮÏm.ԍ-!| ީmhW?* V Dch[4lx/8zX)) q촕Y^MTk\n$SUVt#CLkr6M,~IܬOI?)J߄Ja<=Rlb|5>9H U[^髻 6q&:s) Xdwt*_-6/eskѪǪ}6S=l Oi >_(mRS_bBn┡ r-M;OI btFހ5H&G> 6T BHǚûHuYbf#4aZy/,1iqkÕ(IGT,x] E$w.Rד? ;ߗr]cT I>R-4N+3.f%:\\h6SY"cjZ>yD/@Fjq!&99/@O JL܀m_~B\[u=BkM@Tp~xkDb'̣p?@Bx1/ݐ>*C?2T]N)'w^z2D Ԏo.m'6khDAD>+?=w-I*w+WiZZ$BCE-VΕq-詫҄lNLjOAs@gh*cbȦ#G0Oo "6K.">G8]CHW.|Z<b&taj# I_8/[YGgIrIvF[˷•~@]aAQ0ZW=-)8[Qp\~U=B7ź&js AM|rHkcӰ 8Ac/YIjA\L ы2GsۭgGiŀɭeO|9R:kc,VHS5bsJ# gR9laS6 6ϿW]SG!1&_h!C }6\"qMWbk^B ^;XR.G=P*ApwIW WA!ZN Էͯ<+Qs2+U]X`2\XR\f]\X`N5ɵ _߄1)naဳkɻ?Pv]6ALh9PW\<]oSu"i "3}Ŭ(cv4;$uW]dVB>1=[>5s'TDi?2%\:0쒸1𑴯r1@u |x'{*ooD@59M8m\O H)ڻo XyKkĚ q2 vP-՗"1f=GPE&\iگ$Ⱦ`uf0ͦ+܍$kr$Pj~  }<7zBT4אpo>qYt(.̊tzw"6&P,ONWR8z-]h[}bL?';FӞR@ + :WQ;TlB;BIKUW_E׹&CmiUi];Vy |k~٦>b\ϱkZ }eqFf3B&c>a X5$BDliO %"bQ &/ZlG{aN r([!b[A>f7<. 9BIrđ&P=(|S |Onp(qtm껓}Hѕ*Yv//ɓ_񑠥_EGhWEɭ0 T.׵Yخ6_Ndu]Z4YJKS×YVxqu>u^q50b=P̕8̡#7 z`9NϮ+gཧe`"y`'eB{Yh<+|dQ߼ʰIsВO;*V#Šh^jL{_d Y\:nJ $E72K{yqBYjHֱqڿ,&G/uPe)1dc1aAԠs]riGԍF{|\v,\md)+&.J53V1!B̖FnO ,Db 7ެE`6yb!)On HUW$˓4K°p6Ofc`%WZD3./&=\*Ȋz n,N!i.,j%7HBfuG0d@Jǔ68R٨J Mǂ/2QÝ\UEL?V6'5`j7|W 0\34UqP4A k['qF9?c\) yb(`KVZJ]! Ÿu<Y/O_ӒqYnP (%C8sa`7-m$A!%P>vTЪ^ek@ζ4 " b<P^05jk*G txVo=Z I܏k?@8C2 BAh.6KM,Q){,vPWb׃q^!&;&n`gS}2QgNlݤr>Ӟ y B./2ThL:7K:t{[ iF`vİeYiGeX`jL^Vć?~\s2( [~ 1zh*<<$ J>H+K.S>G%'%bwmŲ G_EIz*fH9KhWU| S*at/qZ~%$9N9OĄ{LJE9Ƹ 'YV̨.L/<ϑ^lxP 'h1%'nhpK*miLg|{NxatSL!Lc1g#UDԖjd%bή4kZ$\u|R΢SvY#rl1UOk/sAͪX` prkw&ז2ФE)J.&Ȋ7|?0("ms|ʽQaʃ!e$>N)^QMHYhRc,p_gA*9h)~ZLlQPzgE9O }K21DӮ"ƌL0ү H2h<͑ϵr(NDA: ?pSq+H}' Լqr_eN{nrjIzG*լ4=w.itAS\{^Թ-bSkJԭrlhI|v"mאn1u[O< )U r艈gKK<:4{gp-![%Йm%^>P)$%9zG{s,&p/vtFa} E*Jس0qmm "rq@RjѦ>"(U#V8GJ̑k 'u,hT(yS\N~|Ea/ DtN@un: j?$a YۄӍDA~(beK'ץ*[= @HH R~#Q]f7$Pc57ԽLNCPq Բ6aIDG.Uݘ;UG]ĆcI%$Yqu! _O TwFF)|3Z $%X$<曙(9,0xo`aHrjºNJZ Q@(vE}+}^q&=HF2}z4 'ߨlN=iC5۹CsרX8K*Y qB5`-7)}iS~ϛ8%BdP57z+]eG7rcjZ8Y)-ǁ'&CJ+b l%߬c[׊ U 6,-Q ׊Dm'O\Ò*%VZ̍K07s_N1@VfzuC_ e \ˮ4UT"Cڍϩ#Z-aV6nδ?}f&D_CTf Tds.L~UyçzF%DrH*o+R!"B"5dwg̛B_`,@p1&[*#mDtT8tY+Qy0N_6ch{H^S!t qgAN[gcQBv7'zBvJNztMm&zA)Y<['6媾ۭDa j"wxطu-i;,1{-P &EcJw;ʖWLe5›j'f$BVup <}wWƦxg;2^!§W&K 7r `D-*DrB9hȦ{RT]P >AFȵՊ*|coFԵqT'Ŏ+PS9 L#ܛ?$SٯJ<(3F8(RCv WhHr_۽(X$BT\zI1 &/k#s_GQ4xFBmv0Kvޛ+7m18 Kck-{qT>$j_Jv; P.6TU CM>- mud%g=fH`zܒ# fz~]&0%nEQ\s9m}0F Y4hxoy~Ylʰ-V;y?jKPZ>(` ִp'P"PāHEeh~Jt#K;D;t.6&D_:OSNldp syܷ;|TM= "ɜhmgECrGI~r'%$Ɓ&v5LX?c:e^,A7S֝JGidhN&*av"5GdF/# h#[|Zn6, Oƙv@*&xJDvhQ4,:~Ƌ0-XT~Л^] ?<̽2 Ӏ= L"Ϳڥ֦s_p 2$A>q"0煶gcIA1SLh&( |M!K,0<3'؄̯A|Ҫl{' ZAp%P,!)w@>)/J-PVZtJsJdV8LXA~9@rNk(3"Fx(;U]+=$n](L ܗQY)62xǟ/OZ^b .ova$IZOw=Bǂ7W"=/ޞ'Db|}k%l25¥ 7{G2x qLmT4O;6VEQ@I$m@rb۲cZj:JiTTF{|%wQw(Qo9Rjo9b: z6WAʳj}cC:,g` ^t ֹDNbQ:QxP?I}MѾDSώ4(,$;Abljj.K5'#mń'%M7&cT􉟗Ǝr:)_>ɮҨsTl3U2!mQ="r)3L&6Ϛbq8Yz-HNǭ3Yr'+O77̯zWZ3icAcF=zuhl"FVQӧ"ad)]"(nluޏov`b? 9"Cʂ8\ƲU,&r2夛[cQ~! I6Reo2OH6[r%E5I>zs1]4:ч":gz,Wgbf(FrW̢UΘ5hƓ^<65lsqͤ~/*ꋯeJD*% jY⻍,[10F>}\-Gf?'*a}Zu>bί Z\g }5\tO'MaZeO7}!ONB 34ܓ/ (-Ws{т?~鰿f( HxD].|3 .):PdG9BO;k7쪘3qD'22khXqحt!#w ABa*`uPZ[nD:!&3d: M7SӲgB"&޻m|1k#$i ^hxnEe}X; 7=s9G^OKoP[)8Yc kmiZ%xx!T@fHwQo]EܰWExmqZ2={0 ac Fb-@EaΧFAͼiiEwr8V[TiJ(0{'֒T;qn+@q[^?!<=wk}nZ Wk:gXK e+)R1˔ܿVLY3g0^#Vd+H(\Y4Q?!iJwm}fP/TP.a|sSƱ֖%+8W=%c\_=?i+I!Y0oWsdRF%%l!e[FMWU͈hԬ7<}$ RJ +#D ArЭFM6ɋR8?ZPXj_Դ{e6Ϻ4WFC$,>iFn)W/ - ތIq ^W"0aF60xP<Х5+ߤIs8K 1m':7)&jGǁe'0,MS9٨A 5}f@SĆ^b:0Zx0E= .K=l7Թ#S5]A RVcr&gPPǏV{tHmYW rЀvfu_7/HvILJg̪Z>ټI+ϵgM% ^/0Mk&:ODHd# DXU$`[8W`> t S3{Z]SK_cl0t8wq~X^9V/P&n)k)40GkeQSudn>2cm# ~}织2:efJ~Tc^#2" o.'9m=Vp CpI)Drs.%VjWY`> KL?Twђ.pՈmrԖ>l{?z| kĔ t0I)g.@=0lz lE.MuBT:q/%mU4={]:s=CDm "ّ|ѫc f|c[gyхf*wqlSid%Qh,$/ npE_7 wЕ`1TA^ jiB FVi5O~WodJfD5U1oy`;̀NKǜIأ(uǦrud. Ҳ64 ac 6Vxu[)6k{4%,Us?ޚ P˰?JG=Vu'T>V[2xQ+(&-ttyFx\,_Ue_6g `0[H^DYЩ$ݥb| SX%s lݤx^㽥!2emld]׭(~ȿhB0f~j[oFcWQ+s3{ڄ}{]4UϮhLBG蛮U9}r戜GaVcv(} V[m0h{LƦ@fNٖVwnzju-)A90JX2 gk?_m1ǞII^H ]diNtdl%/?<^ٺGzxsVѷ+:9uvlqux5lxnvb;-XMTPkmS:l7%K`- *HIrD okLT M3_gYZe3f0cb13e0cddb696fc7b85245e2621c231835dc13a4ee91aa67465b8841fa4bd2c33bc4d91f32eb453d3fe73117204c065a3ee8aaf7ff630719ee33