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 F1\| k/ HOL-Decision_Procs:threads=6elapsed=221.557cpu=895.928gc=79.704factor=4.047zXZִF! lh]ŗXf1-q恈ŕ׬[p){t,Ox𳼯=P48mc}>PWH811.3Y1*rKA4Sx5 眠hŀ"Т$~i5em^ ᅃA&lwR̴1g P&e]A[Z*j*8eyMgJ~GYy*nN,ݰ@1ǫ`Qp7+:pslOܱS0P\N*ߤ̂Ȯ6|pF$#}Bm-,iFDD2XCz& r !!օ1؛ɞ?z[9G+` 1 HOL-Decision_ProcsojWUfI/a&gtH#cP1Pkc،PgrOOU7BAϙ؂rڴC/5dNՓOs9ٶSxLa1Yoqt)Ǹe[f;u1n1+R+Zz"(rv7m)c IP yQ}m>v$Ӹ,(!Fal/%MO4XM1%tK$BxJeOa9;(R(r*.u:w'Wğt`%B;&4DzAݣl3'JQ{(Ol(\TYI% sFZiwT#l2*j~ MOX"w\p Ec{ͮ/-@}I]F!ھSu(,jC\Jvs> VhHsz5f5blĉ(+szB/u Kjxi甂yuஙwϊ:YU@/@FoW% z\# g`T@K 1/cy[֜YAPGjz}>t֫yʂ *Q3GXj78"ġt{K${++lgⱕ6ABP-r|.sSdp@"lA>5x؂AHp _]elb}fiIa͆ژ>B* ):|ȡDo]{{F+-(MKD5 V@ߗIGq&CwQt+9_ <: ="mw ;9fq&4GCA)d^'f?o3L3S%IA/|5}DI!1[H?XY `~;Na)YN8 Ūg&ptC\Dh8 g[Q !c; c:}*9<) Sgh՜<`&ynd\P`[aPƛBIw+—!#2OBD #膧fI^ <(!N匵C{3L}k a/sj1wf.j}.;uz]i=e Ζ+1߳EO+ٹB9xg6%,Pa02,Ԧ9cXl;’ Ke({u5r| ?=qq.vS&eɝ34%T':˸TTI#a<7} tc{<_ΤPPXS6@5 9{I`sLd&f`wMVzh/lϮ ksPk8i$ }+DIJ&g ;G͉moȫ/@[wgj(á %vkU/DYئSMxԀ92(AH? йk "-ֺ]4W]/:{կݣ ǀ .+o W`82 @XW_n@l#Yhc$b䒖er @mbX`HzapKu/91sMopS,F@מZC&\1 &B2޵{r%Z ߀|OwӇd1=5uydhL›ڇem4*5]tԙۑ1 qx[S M"tfjA`Kx9}ʉ)JJz"~-M>M$3TnlQ{5٦m )!޲u؎W,zPo(j~Ɗa #K$)ol?% VgېJafq ;⡝M?%Q-3q̘mCբaC N :PJ|̰*_ơF7Ryܳ29|Ա}ؼF PQ4tؤeV,sOKȇ;h>̛Cȅ@+6U2w. =iYpCWLa]X,C2!f3Zvb)s{A اI;0;` <)."Z 9!8/@Z~ۜ/2+n(Zv 6X~6kDs(MW,, #juIl4v#mn^ 8Z;+335.9$MW9+Fܲ_fw _@%UR5MW+ DB Jҭhhx`fz7l?nIM lRc >24oB1׺ws7n00qG(?=l T[uݩqz[Bdڿik?!?H.i6ˀ_G#܀8\szᰈ$t=iEui<P1T#mVY -sWk[iX%A=F m(xwgVæwBu'`i3z=Z0mҵAE{0l͠Vچ:Q쒉L%eq)e<\$ QE37Wkύ=sm/f!DJE_@`LB=o]/w4mb0l<ohS犹y.ӑv1.TK'.>?u잵w1:hNL>Am-!> DQUJrޭo;]{TnIZc1:3 f8H6?BG鎹t!suCf zːC^HBz iOc!% Ef@gkCge;e\搃~B/dَ[-D BO]pJcDC(7wg(y0:ԏy|H{/$ StN==HaM)F3YDjLK46Lȵ6DwqpJO:am0Z]j>3V\}@=F;$2Uw_F Φ9>ik>{:b)iR?|K|,`Zm+tmTջ Yw?յ|ё68s4t7Mjo!ZS`sшXRi,]VJ-NU7HzV*H0VB!u! 1Wx<[DDK,+V&b 8IL# 8&ϋlXS+˝|܉@ R ^㙕\Z3Jm3kCDԸO?5qex9 X} !y{ Ј=I AX2}0ɦHZgmP0` hq:JAI}YnUIg + -kӛ Mձqc_b/-{ٕ[-qHPmR!f{/T> ;YN}oMO5[T!{Ň<'CIA'yԧ\s|.\Z.v3'vp65ꖡ {g61r4itnd6dƭ_[:P'ߋyUp>o;M<86FNJa.Ț4ΐQ,m(cJs|J2IkoqNêGj0գGJ8#f)=^;KRsYB{T!,G:{"\J]ġ<n<Ãhj$BTh@?" p뷿gZ5m&'C9ڣ.ѐp1&A((Arz1 }X#+Bv$ךTa  $uRG؀+~C..^fx1A{e;w x-#Lӌ^Pr RO\p6Ź2(08S@dlp {5:.yN KL耕[k:ؖXR 9YfE{stԔHk ql [Q;V?"NTom"n.l:Z42??EM!ιQ5  x1Ya3(ˇM{{?3|UԮقgۻ.Zz"-fwhuY},)s%8X+?5Etŋ\A@}1A rWA{0-;4EBwS giT+Nc12OMWTXrumMγ"s N$ ^CYOIK$ ,8Wpm0MN>$$^a(qX>|g8BFMӶ,)nzᅨr eEo'dUkޏ4`m!(ٴ$\nYiqRJכEj.}y@cE.T%@^ :C^HdV@}U6{yƾLbQ\ U:,u| >25;#Q$wakiub&=U8_ Ǵd Kv,S=h2/<=i0#.3'aFKr|ڔJ%=q&.w-'L#a')SBqDc4tO7lf,LBƃRE1[iT0j_'똹@ڊ/e*N6N|T$!4fUꋃ%u%86(1V([Q.%"ydor*?^MO1"fZ'eW [nZӥo2 IKȞ:0|$JX$h~݃5 ؔx&V؛8kWF;?;bB,Ӡ%0TMġ+oK:vm?If{؏J#_uB8 bfT$#b1谭kd{nE`W@@9 5O"II%=mBjPk _h>D+CbhReywFB Cf4<Dž7)}qZ=_tR4P]Дuwgx..౷ȌGS泿 H&¹htomT@K2,+Nh辌UA"uUōƣKu#M&%wy= q_gS6bZULF& AtL}GzS:f69^K[I:*/;cĴv1U\}h;Go~t FE/鈬́k\v%7(680^ի3Dd*[ .O(}ˋvQl0`[L76ят }I}bv BeWN덯'G)U7ȓT=:Td%LcuiBD> l~/v5g"EPmt3cZ5'+&(&}#Pk捀p~n'|3R cHDAEL:>k:gd٣ 3;aD<V$g ~%[Ҷ%7*ëz}r)@8q1z"o>N$bpVO6ABǣbkJVlw)#z9ĵ$erҤ眆K|E 7L!7vq&pc4QEU;J o=|,F!zrwDN|?c:n9Y`$G CJԌ%BAK?p#Jc蹲dԁ"_=@UVg7E7ԬѨW Iݺp`qߗ_%_ž2ӠšisY*M7O+B#kPEC]J~{7LFHw[f}vg֑\ڦmϺ0ueJDw!VNh=ClJ͍?]`mb E7= .tH1)GBu(&#m)@e-q}G=-&`(J78w8 ]OlBfRTvu?4Ѕ =O̽{[)1J \X,3]94qΪ%^gx#~Pzt3͕sG{u2!VONsS)q!q9#[b (}X^SIU#paTbNG*?3ɫm{ $ڝK‰suYi:㿭&._ʜooX,s LA` 7ZR~xM! c+$UR6ZEhF2Jllb[VwUY\5,"%{U' { Rp 6_vw>`mlźG$(9 dpT=I?kH̑B1J)/!=X` *H1ۿ#;±E:y*k+hh>a^-Zj>i_RyR>BRs,=f1C!ҿ[|Y8).A`>H:%dd]?; 䟟@>ujy 樘٘Wf9 O c%_,.+knχQ`A̲]+a؅𔅺=)ig[|o/\ 0cBf~W',wUfIaZljv IϫwPwhop*P4um>$>y3o)E.hD_wcQ%XI镡MmNprXLoQN \V1*0X'S%ИB\ϥŞufRB.M}p2ZGG]΄rzP%I*F{t"wA*<9aˡR E.Gۊ1:6˯T-PO*'q;m?Ok;#s6/|@!w}lNKn3=.z\yHIJN-Vot_DGvhx_\*^ȟB9}5GdX:Vq*i;ݵ4VdKvNԦFj:u 4 d1+[޾iɭ"Ιu/j#gS`GXe)XiA]a ꨓ,P:]fҚP~T^#!!"wct]g窌aeYL#Jf]W0~wB3'm~33lj8m*הK{ajCyEZxЁ"71 zW Dq|} @6CD+睘f7*qHh.;ݭ\y%eX\c'ߐ X=0QjŰ/9N_?'ωYŝ}IBQ[ ӕA~ ita؄PZ_7IBީiG#IO$q*m2Z|p=3gZdlՃ ud>i)N31녜<qGa:3]*ݤ(ǯ233=-3@\W])JysK jιRB=1 k91٦%Qw oW ,M(rHIʍ6=?y*jUUl Wu'd-2s%WkN)(-6]fEgW. ѓ5|*&D_EnR[XF \7ɱߣ@:ޭΟؘ>*%_>yYfY嶚QؤSsdsRb˜<}X^Ƚ`ku@ m[TՐ$!JtWcS~ѻt `1WZܝZE (gR/fJ쨖V6/Ժ؋@zUgwwTifǺwE_J2E2p^'&: Ol,zZQQziOJfXZWxݿa/ǭY0̣vN-+ 1@GNPVV Ah|!v;CGcVb3ICʲQ?8c2Q44 i61Z4叔ڄ>L= .E՜gw;of#)ď6&{3&'1vu=9o#ekF |a Jԭ{dx4 Xޢ+1ԑw˰=1ƓK?k4Έ b)GZtg#>,FeDž1lGFFe)]F832:;Rj#)Z^i0 [($!G@"T _v3əLXji .oD߂? si$tIWFlZ qPք# =P+ %_Сr`r8}^Eu9 "/?W(X:~9Ų2?2yx]#K棚 !戯?ѲyjТBVҫZx.TfJf#J'F,_p`H@!뾅4-RqL*&2v;J;c;PL;s2۳ AؘLJ#ZVw)w:S@c@P8 i0v{$%v/23|#6G)e960ަnFLN{,ׄvǗ7>DAgĭKM%Qd7f|l`SXMk{8aӎ9ij.y< ]jKuEP 1$ՃHӖC'WTM1iz/`G. ?gnXICz\-kªD1iNoҤJn0Wi47ޝn-RQ]/~JKo{%jY|/'~ Dʻ@%6n~%XR|!j VŖ1Y{q0Bk)rq$)EN3_HUO"sҥ0(<6[Hrp=b_L]Kʛ΄(Z%YpʌX=@W p5[BƽrzY80~)b cBW5u*Z]]㢾ō:)=cpSհl%tM:3ue{?(!8YU/yypb`y8焳6G̬#ɻ$wvo{QA8.7'[]٩U$~g[O){M:a&0T"U cd#bAWz*sRQG}xOR$3?oM F;t~Hyt'#KdO?Te{rLb2DT7u P`ێPa%bBuf1:P, f. =gs_U#`}M.w'\\~ߑs{'DW d l `;zR SԡLK).K) )Y G?H8kٛ/H%Pnq_ˢ0%b<@:'Ҩ&ӂXQ>kJRQøZR5(pOrM|̞sGoevoHkg`V,6-Ʌ|s'DF.97Nhڦ@HJY|'ϳE?GTbqł#򉠠ݒaƭqڟ[`zoE9{5j컊mgX ֽFaՙy.AMɺ5uTA9 8Unw9KNVCƟda,sתHn0r 0K{Q :5R0o`:;j~n{~#*a;?qccE6=!rӖ ..=IV].%X.$?/;=b"(&M)A)Eh_%pTүD\4OwhJlҏr<RE旁OoXWjVI4U/MV !+P pAA0_u9ФVcQaN6I#Ha?bXP7B'oowp//;}ѷ M̬ei)q=LnKNO VÔC۟xlRHO/ف ϞrބHJGUBݝnܑ5tC{Rۑa쾋$P_2FY' Hb>)A2B>8?"Ea pS<M)ޗ2MbNeY/4} gah,.|z߰CFM곾)~ƕ/,S3oazbȼ8"ҵJuYn^InNޜ( 3}(@ H8Zq[ :5 /Ŝi^(IFʶ 2zc3]nw07 :lyuPq}R7e:a1K<^I6q[g!βEHi Ͻtʍ4չ^ĥ5@p̄tl2EU<mXJ-q h2|A9v$ *ĩпI軵jYCakv踲}'tϥlu ?ݝNO' /2ۻƩ~x <][@Etj*#Guƴo|4tVZ~<ٺ+{ hoFVkHvP-SqZxD>9`n rrh*Jʓ=v{Us;a[ө8Qۢȏ;Ξ4f:?cƩ&u*aOMXv@U~ծ]/`z哴ب %Bjc< {ܗuAȆAۆ_?>(qpصB#e$!u.m(<`OhܥtL.7ּH}E`aYAͣx 5o>T~=VWzz DŽ"pyK뙴SȖP Y*VF2Ww"rY]UB^`WPzG-)`_P,@ҦlCӉ=V.7MPA@<)6H_+adjꂖR'Tcd9skl;0 &`3vFp!hң=ֲYcx`~72 ј w5^8H")Qr`Hz<"cf0?_ӤIH>CŽ/ 3Vz"b~`,垎Xj hfՕi+Ey(&"mwR 0ҫͷT9)i|43"<;m2s*J0$9w55_6'NR;(4Ʌ ଑NPn|+H8 ġ2 =i u+c IFz~ÉOlɫ|=GN"<FǸ~NZ_g!]XGw4>5NPQ UOAA }:5#`>{i˪ŬVYf\";&%^YC};B*'UvhY.B]DAT5 V1l*.L_̣y)E=)ơ &qʹIN闯F#Y}l58s9wT+<%$lY {obt{zvbz`NqeeVE# hU$wt4+M#E]Kё,GGn ua3eaKBxDlkzhi=Ƥ]<ݑ##} oU6@ L(zB"5N4L 0qp.sp~kb+Zs_`_bZc \vF$/U ?7y `?M_škb|7Ty'f8u@g3Oes,\iH%dSF8*|S=>fH a}HuFQ.xO0:(B$[h>j8tLPEt*kl8̸vfkXַН# /ɚi%0 QQ Y} Y VUw3!5v-IT lc/ /a،M x+x02KS3 P`=_y2TH[BCjWPdA]+Ev҂P%I1Kj09F?#j {Ɨ?rt_HnG.=ɼl޽*ZafU1YP 6o[' )":~ڇ)(~p zlZkmAS<c&rl?#Ȯ{ p{ih%׋;`-9vZU(絃g <(~n#MK xNߟBdVpa~&sys𤒢l)3ssҸg t F*B͝ .~XDj_4V8>M v\&lH''qx\oMCs xkb "qd_p53(ks jm|PS+1ހf-CRfr:":[o+Z ;z_rOzH} 4);W:6:x7>4)jt3-fc vzee"d1|ٴ]f-^kb7I)KaO/cnOWRt-*P'p4qoMPN\޷JO~>j@)!8qNT>h5 Cm8hl}NUVOC]pE%yܩ{#(: XiʟJ0B+w`Il'rxoٗ_D@ZvûdYmJ^͟]ۖ`L< u#UN3k5v=vFO,0+b́wf 2_kp ǼQ[P} 薍vV;"ϭ\iVPsn G!#J  `EE )o<CJ#sZzFZ @Mc##a4c-Fs&\<939PE-QQJHs43ʆ :&VL X1Jta @]< M}٢g3|ʢfdUB;N #ٮ'L~Q&a/nn=J2ڨ3q|xW E v*ihJN5p2im 4;<W TOK`'i-3zSXpNI˾.c&#Ci8v{!p*8 {Nr_!9/oq̡Wd3oY9oOBj,PF=@PY꣧W},tJZDz1' 5fjWvoa)~]8|zńf8ڌ; [Yn=:_?ų$\GR"NjR;uFSV7v1:/BHQ694eac FZyMɼʧ}IQw@ipɮPa2[,AkYU`#yhwI$M M< >7FBTP ~cE,iv?cW׫дz )/mj Wk7a zMM3*-[9`;x;#[.)΍/2굽~CbC[Ι*-;7CWwm.6s 4 7By:gA̱gb7yMU0Hy-|_兦zRp#4+S'J9 UvIbNYA24$O6ܰ/Wڹ}cFʒT%n~pKZ 55BRn27qZh]*tШvwWrMyWtNaM渧ы=V{ QMB=mU/L44`@t\MMЍ90R6N+mx8񗁵rdcqݎܞOoԡcx?j\̄CS&@jىROJyxCwX|C ;uj[f %TFSC{gt]z)F E &k2&yw&i cD!VķpBFrzH N@Y+r'zh/uM8WC1aCVkv+ӈIF;`5}m9˔=$&8FO u*Im[)-x61J_eVn+BL4MxK)w+s3ֲeyct?{)43_;T/lyДF^UH^m pXn-ȳ9ނ/q}h]p~1MWb4!v3B8/:B9S ynr(.w`k u,Lp=.+ۑKvkf(d%r;7SщQkxd|\m(ݨWYɯ{/EHcd_NkDht}UOS/2$]Z4nx~RB7btȑuIg 3g9L[Xj. BoRL,XΑ%#U ADOZ @b-5nV.Ťi#_ (2@;ƜUwBоRAޜ|Y~NuFtB=>eǒգ,G3ԞkSek8$jvLwqdE8/ #3Xl-M8K]O;bJ^!\ぁ:KG\s=ւxGC6SnGb+HI]k.EB@<:uCvWHIN >"۶K08..NTDO. Py7F!2fw?sGjT;B>Lwз;4U/pK馧h`Z$X=Tܚtݿ/œC cө07UH+SV~liL@4s؅niLu`(N\dypr Z/釭FQoyЦ>PIo#s`kaKz5cLGY$2EѭRixrA% Fn=ڲZc^VQNUARU*4=smI$۶IҺҪ̈́Eb%:4Y~Kdz/5npfފe8y:?Ti pTVK ̬$pV>| 5[*s o}`N8(0%D2Mrf|ב(~Oe,&㑑JNrUh~o!nZ)Mے AQ5/O87 u\m!tctw0j)𪇰п? k3%wJ&x&pMryKTB_`jD*|Q~ ;R*0OӚ9+" cԸ a3)=ɓZ?qe7 NJ)+J.}U„ #ܦ2cretԧh{+vΤɧL6ju4>.0- K%T*DV"o,6V:6 ܩ# lPB&Ϻ" 瀍:L15DCp!D RdN(jOXAGJ ws)֯cB5Sm"YoC;`J 9}G '5itYHFXӷs*  Lls);_Rۃޡ"B߱]F%L2KPgH9~\*K]P1wY.zqbccbҳՎN%ڨrwJ:F"el8ȇjJ!0 il F`X[W?^7O=AøJz% t00P; ӯZP^S<fAƆư!5هEu2I/5-^x>G]w|OKqpf ń h /H-B{!FυfM`I_jqF.@I`H r v0T=8y!OATĻpxWlR'-%-(KX^'qGDSv4cNB"*;y#0&so \dm/8n˶ lC}(kC Vw?j 3HyEO@5;5}%aQwu(PR7V^aahji?Tf}UP7a0;ܛ2H&h᮶18Z/kZ|~Yǯ8F"T1x.B@'tg;.s2.jE RgSۆ_ ժ *OGjۼmCeXJNE˛`>r=ƣM۳_:W^rԫy vjK9.Y]to5oAi:^WX .0ei$ʰOu4@ iִ zSUWLTv]!'@V}hk_T}Hjdt̥1a xC)ojc?FYv.Ku=2OKCh&wj5a#>C$'6P Hh(H4I Y/†_#ÏRvR 2̅!? PZPQs0 /˜o`WxK R X+uP_lkq)fvKA+\6-ɂg\\g@@t;Pk,/p*+ XK6h$|_lseJ104Ll[w*89#PS̺ĊeRb$Y $D͊,;i6Q tobv'IynVYt|eq98Ֆ(q@w+0 zky'5ϐ] IOyYfFާIQ Y:D5*ᔥc &$\6 >!+>%, ;Z^hv[ -+/ȍE0i.bޟb &9`ՑOAn;=n'`P)X0cxI}*J=t'~s,Ŵ5l"yq_TNJ{:x֍x otWz EU:I YRG_iN=^N :~S뢿jRL? 2`>6X*EkʇZJBYV!J߃ڗa9w*6^S ݁U͗=Bm \YvUyw٦P|]Lӵ:yWC*8qEJd_&Pf[ļ>gPĚs_^u*zƵ̢\uD|-.?ͪsl!)Pgze,RuK=T{>ϥy Q -ERlI!Ȕ.Xu&_ =ΎTb߸|rx^n(x/.$R̬o(8;[UӒ1DŽ{ d]ma96 αpݢn 'u{;z*ZڡH󔄀 N& +cݠ]f[ ij7u?mV3AQϼGy_(ȈzEr:??/N9/]ڂ+\L7\=$UFNæƘ5񴷯 {Pd}hӴq팖hK4I~9z]<}_W-JMh8ZmqlF%2kh=pWG!0M`[/ I`Q`IZبٝ :X|(T'O߈bR")\X`q}Xq8I|c&\tƻuKT"s}/Hhn(Ӗl_5w3SlYں -yYhN@ߒH2Zd4Ƭy|-n m#BXFX410K7kިp 9Cj 'WYd`HI!=od6,a_N)qꎴ?F \H̙Qv|.*&^/SΣ)W:L ,#f-wMVE0>O=6H6T&J+2B)*( 6r'xNC) lomVaz ϣ4 F;1w`VCQqk6!>In4g?4ZA4r) +}k5'6$ԭVa,0k߲ߚ>}|9 C/;EM9Mع\7.l@AN\k(H*&Էvg΢,%͌ɤ#>"^9*?(rmZ b(D0L|o״JZ@V D2٘W6cmHТi)52V˫VW7okL6LL/yvkLCP=4͍?Eh8 6CdFE%m(]S7Y%3l OBߝAP,`3ZpSuSTp'qtT6%Чd-a St:GO`uj?/ ;4[3@Mt=2&!m;ň[p RBǚ! Ó5Nfvq.!W犸=|kV_QhM+o"^7 2~"gE{]gV''U|#틼 ET`sPVjI+42nX)$8^דpG ~=ncfu!_\ ԟC.&}m|qEQnraW;!"%><@kK*GcruC5^J:^A2C=:.W.Uٙ_8@ka oZ1VDO9 3VG[~Cfƛ24xUa4 vS[PfqIKq?rӿo ׄtAL%^*_aW}gw5s Uu-frmzPr47]X+΃!d[6}'*6?q1EOB/PߑIzA/5quV]-80yG5r!<Ȼ}t(FR #Fÿ0;ސ(QJq?IYCYU\ )H17[\͌&%G3ifdzšk/"zgJ`0GFy{OMFzTHSc]ۙmXaRO 1F>1 C3d}P!{z f+SW'sa`%]Ek)Vr?*Ȏ=hۡ9i_VגRnlڠ*Qaǥ0P4ihՈ(Y9몁_Rh|u$ ?/8.gYZ7zXZִF! ;]ŗXi%}bp Xqm$Z#WV8`YƗҸrT 5? $5+ľ?mk.DG8+ 0e# (=ovD϶Khk]@<$Rz ,~[I&K2{V禀 ޯ7<$4-JaaC}6~ /;ɕ5|UJodPy̧sr:aEfx(/9A&&q€/Hatgr vc) |fR/♓L_A{#KPRm z[j}$9|UpJzh! -:7E ()4={hG vBC-%:F;q EGxy?= 5ңZp~w~28{ZS]+Gzrꄗ.-2Һ?[ߠi4^M<0s4|5a0~a1I:R@2e0y-E*2ٹět?;#O#|O{uڐ&l1m_ZZU-U-z?x-e3$*;A2g71Ι鼶-Qy֏YXj^n1B;H(L̑RKRLZ]X|BUW 3$Ut!Lz MMHts}ՀuKE4Wz*כ6`yy7S.;rB lM<<t`99wrvsDWNu8b}E8ARUl_ѝ>UFqҜ 5ӤKԢ't{}6 kJf5E@4R< 9ԟ4D zEYRpauyBٸ_ nٕA q@q.o *cĢ]2 T?twssadT/Wn)%1x!A]~}!OU4;@nؙy H*_ҡf*"W]s~܆j#H`1j3 i-®>Ț6ƥ)TKf1PZX r-$K`Vbc65 $venl=Fh}xT鄖j'\0J$mtcJYX vOzA ޭs2U.yPF q.x̽>Trl.!>꣸ f`fefʺcMEϘlSW 9%+8tn}'|ƋUuօLE%G #$(mQ=~O[d_o_4 <;1p!SIL ,H{$TQ>fѼaP-ӮGB%*ٶ޸V樘F/ U[Q\%2As IxEg,A\p%l=\0p=ܫI EU{yϸ.@~"6v횇9ýN^gM< ('z? M÷{>TpdQy!cwEYC%ddpPUXB?.oj 'JWϽ9wX+!AW4&O '.X! ƈy߲SUi!xAĬ ;2ECړorqhO4/QwhgVRwsk-]( 'a q^dEFƋ+̒aHEڶP_m _b*CǞ^7W:?KD/|z{-jW^kX!xmB į!7;!;a%QX` 8tXtھkrXBٝv܏mӜC 92U7'~HN ?q&0u bcH/$3DŽ+ v>p"*&ݨPZ =BJ̯sV4hY NYd؂/1U^Z/& }BtDo-*r+BX؝#[ZHtP<~VqlҪ=h~ D׾b*-.cyVk;Fɻp](^fr]o'gʑ8k;l(6o{72$ay80R)[1P=\{_,$Ȣ9ưb*>] {m{&ŊoA ȝ,7<̋3InNij@bPyޕ7 qJښ%qPDt@HowqO1 g^XbFe=耼B`WDv2[GjT܆&$@q9;FFINda~zLtcE&67糳.^Q .us@gv>I~mWw AJyE.`F8> D5- WJ_$͖Lzi/nm2Z8uܘ#.TeY[g0᫫"p_U 'f4;g۽+nN?|м <+pJSݷ{DJYՖw b 61Eӏ;>rvFE[gR:XGM QOm%ceq*e >+W%3}Tʥ$g -w=fJ( -΀EdxcF#G'؊KԨ"n+qap`g1`:n]cСZ$Lk/ʺijWqAMԷ|W#ls [Ǩd=ݴ!5KHNm=g&Q3r0)P,,\ª9pr$1GJIE&1Pb%b!LlNye܂f}.63k\U}a5,\rb6Zl .m#tndjMV4ln[5Ó4ȣbl#Je ˣڏ43Xڞ2[j:xoڴonO\Mm'h|e كrfUV6y!ejV zhƍ '+ 7?ħ]q+) @s7ߨ c QӮ_ Ϋ FmEo\9L-_Ez fi6 Je4xd8'L~Gyp:}50*1/ŜqE{L, TAjK%@Ͽ2[/7tp2ni?37tquЇkNH/r[vS"tx⧷R"PX:&D8$P^aaA [,2V+_k(&|qRiN@{G^Q# {ԨpS5{v!ۢy9!ژ*G~4\NSh^|-޲xUdyYEhI| ^d.0L4h=HJWa㈱`1"OY*e.YFNp|a] o˺`J klp_0?봰 ZI~\Ww)|κ U+JM۩K Z]%kCӅ+2M$1s^ցkl ֜_!b !D#ggAlB0F>̉︌f;}PcW6؂7PUjWŬrR~E3.QW}Ԛ%Vnsq Ƽngl=sk,>f?91&FN!Suhc&n5(Gnl؂(cҡz@xHW!>Qo;g|nݧ;ܩps;r|Fi\+K.$;E7P q` ^(|`"6 1YZ4WznKGxdU[!*sV]V@:ꍩ}Jg_1'[ * ۬r[H~KuuFsRpLCR=hvzeCwV}׀[/V`$("~ΤS 9I}i$9Q>27za8T}gu8&5Ty \lqղD)`y5n!|D1QТsOڱR&.ZK_cT Y/4;3>5eRhAkPb'7@*Zl` C gr{YzulC }:NTږVn}&N̂-L H{4pH(S߆#F4B^XCb.gQo(OLɲaNM)__?׉6$nm6TSqnO!s/ C0nКiM8z!XF^O<*z95(j,=&T G ehɛ1%u #jc?p#ٔ!N#փPeχq3d4 hRK"5NAuqPnAf :?✆7! oiNFM-bqb4J.h˓M4$ +ogZphΨ kI\B9E>W(N!%29^.[VV۟}9\ĥqSy/âd)')5W5k+>:Ig1xjZ,(< A[DjgA;ֈT\g<>'QMX^\пzU##]>?&qY4`OmOz=srl| "t}(&4s,IBpȋ{goř'gMR.hOvYa *]!zilVſιa ~CDDm+}Zv~N銱3+!EK"yLϙ纾8A۽O:|>g܏3gnTb\b“ȵ1|h K!Ee^(&׵0"I͚wmdS!Y ꄣF_Sdw"xW-%aw@l7 |ȝ!N D47OMuEX5H*W )G)3ȭYJ TRsl؂'MQZ`!-%6Pw6S@qiSk.sF$m|7_V(+X!l)x\ՅYi2ks`n dYjhe xD\3xp@aey˷ͮTrxd (P|@jG-%hJs+E0̟|A2`2J}l/NW&VPeS4a45 sSS-x|զQ[V;d,6&%tb<8?XtYR\Dgư7܎9DEGBvU~!>VTxenk=YɴQ,0Ou ęlP->;1r?&ӛ h {cᜃ rVO(rOQ;K#̕}>͠$hnM\/P y)GA `,V~ ƫ4h *(e$bI[({/h(R-{r5 ap,R_#ٺ17;UИ>%QG@o82z> w*c.UY>M3#4IUg@L@_H/䠪vmLG]]t ncx$d!7V۴NkM0,1~lv!j(T*[OtZdIr+ M{TB͎ ߶B"S~D韏r $KX13 YśzGkV0$YAPd+7@.}#\X8;wl1 H}1Rdң J`]X]➞A0$7ڇCM몇~ R6}N/ŹVg+48S-Z xܡW" ,VQиsv>`i|U'I b"Mlw@ sRTa{P+'[. ks\76EFFth{FY)O7LCY27 [`X֬B^2C_X/hn/'TytHG['A*vٽyT2Z* q{yiu3RpFRt#rQ">\ $7V%ںd&A%PeرRjv67j]93s08l揤K_Ř;o(ܬU/}vUYBfe!ڣ|^v0;-biF 7(rvn8dpPjJCxT, 3m{۷5*ɲI*`CrV>1- 5uDW/A/Xi\rtVD^ 4uaYG~NZi4ƒbLrJEQ;#f}yPkJMvyI[ 5 -)5(]fk|uB7yX'T9K"Zr4:]iʲ-_4k]D1)=}mļJnqs㈪݁<-oLfu\T5v齵#Z  dOrO->֟ `QSvX d.[LWR*Dr]`l#dEH8'9ˉu\5A줙e~T7|{ =2.N\:AQth\>205Gne]-K|*'DĖt֫:xR]?sHu$\y;^9wϧPNd_kYqUX C%TJ[Vk9=(.LFTz\c);Hj ANb*ZhAD%\QjuFn:K6MCv[NBn@=^ Yd0fPptEh紩?z}[7"AUNni.!7[S綹GFp^ ?4Pr(ך3sP!> ?c8л0^%j@+_r k1XjD3`gTPE.˟w~ʾ>MIDСyqP_D(q701ړ2'w)>#&{Qv8q.$rGh'|[~jj08 UTnaS,_Z C6_އsJ  p& .׭Q'tS$_ RiE;Cͮ <_kJ(Q GEsaEၫʴ``*f#X4fYDK@9_3v]1mKԳpUY-x{_ņSaq\s DF $t6"G i)fA~|⢕>lԡ6L`w5vG|cMwxA&+ͱ7k!ej|!d?܁ˇ$v4;6iVtG{#|GP*W74 I{h'㽴ǪAEoWpI~Bv*Z%L׺n{"znK~&6B"{ڪAaH8[YeFw rb5rJꊴj~?&[,(ōi>>Au :\|Zx`m鋚\D !Li/u{텽԰/d͉l|zŁ2 TSbwL5V 3 [ӧc;PW+f"ǍTReHש~nA31G{~K?$\6 C.&dd]R)q&?SջR`z,)obY(p{  >mK8]֡KV^#.YPҋ"7I A}ه2I>"wmܱ{DNJm8 |1@7]aRnr1A̰3+۟My^*V'8 ho2Uvc|v82-ɸEAΧ_?m繭u6i{hԁEtUH)ӕfLu(Sѻ8{K8j X8FɈg$POJa]v_Ԑ9}@*PR%A/9W헱iPg3;8Q̯07yUr~P~L j @5{^|>z UbJCs0hH%0-v\:һE Yg4W8e}ToM&x=*km̺>Ao!w Z.rpt{ưB}U,\^lu~bL҄ 4ȤfO6^QWs'P UA,y#h҃$^?VJ2D}S]R/3=}sG"=ݳmUzf_GZ=Q[?yCH:}WpAjqbva$'ܙCJ Nrx)n;$sAwVўNL"2EC`RU]r.E @ OT) ^`F?@dT#1I\>QgfO />kК(C2QZ A` ?NOp{=qi r7x*㊆)éj=_xiO:jfCDњ]`99Vh2]h~}7pYV_"YMg񋞞sg)A,+0H⨆ّ(JB7:?U(wV;xjSj“5֢b%;!~뭎DVZ*@LMN˽հ2(7uNS(=%Д(Ρ7H'ԛ$Pa雇KSV](Pgav$/??)` j(6/QBAq4rˊ';[ԅd@,>BI4\}ޫ)3?7xV#ǡ2_"%2b4"M%RsX&f6 <: &mٮi+F $M 3 Gл%&.Ĝʆ{V#l}k b5].qK Y0& gFψx׆85~I9r\tƢܦH!svi_%̯þ9Ê}L㛣P)Sz[kC@RLNIs};_lˣ  ?1=( .I".%k+48]A5o=UGh@xq94 JigH C0K8,;fst B1n)I/e4]+I rIL1R\DLnvx<ð=.dkGun )4dXJzi^樺*-*=xeV^od}~OG'C}" ɻj6Z6":@Y 4;j& FA9-MR7}ʠ (6J䒰Ai