SQLite format 3@  . YYQ77Atableisabelle_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, "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   R!DL ]]]HOL-Proofs:threads=6elapsed=568.719cpu=1380.804gc=195.540factor=2.437zXZִF! Z]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb"G28 juf'sn%b!">tb$ѥb- Ğ,zsQ8Eӽ tdiPJFuAgKN튓"DjiN0^ܤ"Ӏ+<)h-%g= I=BOCev2^rMOyFdNvh)\B0iZk7-PKh j %6\`q^@b]q |T"-Oe4Q8Op([%xnȹ9ik3כ;_%W ZS)H[#e{I)/M%?4YTL1ݯas28\xsf~ݘ =ZOt- [q9\i.#J:;}P qRآ)9cZ4Xa<, 0hkT*%:[/ ]#nLw~͋jgyk kBY SUt0A"wWAձ^![ HY8gOIE ?t1wvPH?fx@s ʛɱM?\&A]C:ǛѸOn2Tyϵ[QNbGLn0Xٓ]R$ ,"Dq#JWǩ[\1, Kch3X~0HZKwQSN~;XO=gUAD#Ǥ̲5_PHbhg+.[[)i5/VՑ͌%n-B] ɣ6iR@vNQ3c,ȡem$A6@46w1z&PCy(K5rv;,]m>09h,п$%(bWlI6B`u3 gpVMdS+Aȡ;i61Vq+=XcCB\,(\ċNvisQ_q/Fi'ъ[(u>#ԕ }b"6wm䟷at *E, 7Uu(eVڏēܸWOnRy$E칃M[sm3^h5C*lfL!g&޷ց1 !=kLu͍}ZÐn.fR]9dycU+h&eWLUƁ8J-E^ѣ~m9|w\Z_i06*mEځ$mq6ٵd*S=}]1r0Hڌ  ! HOL-Proofsrͤ"J g?,WHp=1芄1UYUt(Z~ZnLHtR [᷋ z9|cO'4Z6soSyn50ݿiqSO.5{~P047a< ߮׷='JRS:}T\ ܯ13vL1g[! i׻~ȜU‹ǚb\eZ1}\ ,JThAGZ5; 4˳TG}`dO<)?VAvv.'-ȏ V[- U)rF4B4ֹQٸbhȫ(܉ӯgݐXG+i[ѵd>pϹLUʲD:|Y)\|9W^# ;B.Sm,R<#keBkc''"AG֕T9EuY#骹iCTQX==!&W5u%te6< IHzEمҗ )|/ZL?#KdCWjBa;bH4k[F}1 aTOҳ3:}Ňnt_9K/ػ1ȍZWU< cShuB({X60RO&6(`0QuU,ʷ%(ATd0#Vcl;)o2>b$G2fu8n9헋IWI*?roE5s}NL"d9)sD朘ZYpFy`90}pu- 4Ђ~ZiRSOig2N{cمODl3$u?Ւ|ZAi`G-V(^"bac;(L!9sTbz~5|SgF}+YVA͇qGpmgjBI ? ~{TnN^EEE#"a.NK嵷ɜ\Ѣ٦+aLDk/Z'꥟홷$mD:&=?ȥOT N:q̳`eҶr$!=pn *Q70gY)mv\ͪ9ٜF3qMF9W ՉNcu>Ch͐vd,:NzK}xP]d" B>PN1"'x((&%lJ{+mϙ4H0]GEʼanw?q(\6B9ծ,RT`?Vu^й%ؖ槞ȕN~P~H LĎOw\,"ַ蚝_qK =\uFy:τmNy8Vo5R6do{;]m0:)g n:8c>V%hAYTNt-pwŧ~<S *,Tp xkD浠Ǻ(Khb5 \^fR}OςB^3S8ŭ:ݔ()S#6PjM$h`d? GgC=G\Nn5X'܍I~ˍxw*I,U<+Ia멦ք gڑl*p6٨?>:޴)}!vqal$}ZA  ÎǴ;MW?zتQ1H_,晄h#*s(ZHb~S]f泥c>+\YɴSQ8l#|p !')mc\>&E{W9)>'`*keAm7 WEQ'W~m(Qe `EYO$'Mk&') eM[uٺz9Q[!d'c8~.$Z#D%sm[oCulǨNmkPSI=:G7`9c}?ocOY&cwD9cɽn/bd(' jP)۸d=T4phOr*WnDÚ&~a}S Em:DhG5%6R2ƙ yQѢa#X۞TCf76,Ą(4a/Jza)+حlшt^$v%-AO yBѯ9]@f֭x(/r2ZegO=!,i j~#f=1Uo cpr}1ĚOI1a[oV#*!V@86ȁ^.~x8IԪt]n \E8Bgޛ\v( K wߥ uv"_ѽ =װTc^ ]P c~vD(yq7/Pq4y2\}dv/w _gEIyc`Bɂ 7PmWu,s666qЙ#m;'{&&zH6&Ye Ov[Ӡ羮k/4%a}4sa$WDD̓5F;wQAʒI1"9ؽLzESHNzW<>\Dd2QokV~(vYeCxCbyV=0JTQh9wǥQ%A1NCmnz".zS͉݃wEx\kwu յQ'2>.Δbmj y>V"ܴnv{ ,#;DLvO0%kK7#6vUb_va|nnIpˑj{hUGLUL\bmhE+EX!lt0'tw ^THvڗz ]8 ӛfW힕ӽdAbBm>\Z{T4:=覒D8xW>fꓱӉZka*wV0+V@\dr1͙ S([L.%=΂ztr~TU7OɈkx'M 2M+7Ra ݐ튣 tڹH3 P2Ht81ҴGr cB:IFt8o Cb79l@O\vY.dW8`d3`v %Cdl"umyGaԴPO;#p/8[^LLVpUh2YBoj2 ~*K[ ώƐ@P!Sz /h7LN4N1lZi"[)C|{I􁦻Z H @E;1suzz 2R'Kx/:[0^\L gE,si<:ԇū/̑mjB%_yUǞ{RL,Os>V.ap* Ps1L ${ᯍ^XiOMyGIèVrnI͈ 82D#?v?9mmP! wOJZb*z&7EZ!9݁_mw]~@uT)LA Eƍ_b}Ē~E gq؇vW}#ׇa_xͰZ-X/] <+ӦU\nܕ+Kawzfi) HN:\C+tc-!r1O+\p} H5( p3j9o{AS+'=N!RT{1m7% Vf@~x{ >65("?K0v,ISZɇ`J.3XeD0y3/ivFbZRU&W._Wd4nY0'a̴NןSI?5e:63eOnOc`l`چ0(UURpz̏b>rĕM_]K a[9!hDʒݤq[}}vQ[,0u)=;!ے Z2:5Ka (wgiEy\nN&:w|7QbJQtȰvݞn+O+NP>Owwݮ#/Kh+"A+dDɼٔZiYHfa~ $MY#P4{ eGpi].!*綨8WgTyjޏd(laZޏ1 8ّ}wl |Vfu'zj9nM 嬱:Z3aL ^vHV=(wQ)Ud:ڑ]-GŜF<#/fM neTcgŰ gJ|嘼\S \v$ BOhޡ$cdO9`_7=mJ)D(Uެ#;wm;nZ5DLƮ{q:sa&pC4(MS ʯ(8NFN**0wߋ3yjJ ^3z)5~εaF0ET鶨tڲPev9Cp=8m_!6Ҩ\D)4"ѲM9c~t%b6}@)r)![%2O16\[RaJa}C698 r H„ˑ 8/v=vkvY1^Zͧ)˜^3_Q{wPc7_fԧ2'?vU7;7jGpˆFYXZ aEhuv+po 6Fj Q*ӣ@]"ȌO]7ޡ>RJ"-_z:Qphcc{7bi̩=(I3$YzT&/>c#+yXw_mI-Xen6 >B%,->^P~7ԅj 55Tm@Qny6 [ش9c^?&^oy%1JKN9U;Umb`/}wUsUe?GƝ7hׁrL, j !kKi#fr)"bBeho0W`ՋR>Υx(!)qTDfnB_3 )XԸ"?GA͗X$$>yNgC'A" ɡ00t՗KN\2d+ex5.W}~7 RI 6"iW&Oq:@f}0vq-Q4RUoA!m n.hNb2ZQV}OBFuBXHS* RӋ32cq?@3I&㳾-F  _yGP{j4:EPfO+\_)wc"Kh֦gH@ZR[ot@>n-R'1Yvqf-}h%99.kDb[% V?Fف YÇ"8iBupzx>)&`/x|cƃ ? 8(Z ds̹6s %rŽŹhypѥ?]G( .f7D'l//07iiw r(s'Q{lñ ,"R>^Z HRn͇ A(LeR[avPmĬE:4)۪Pl/yM@YOHPj%;D ?N!U-B5>v1i5Q|sՍKIf mR{ַF2L607 m=Eᰴ nZ+'+.b k/ɱr#~Kis]= 8lf00[<ЭHTK0l1Y8{W'Ea&x} 5Ԟh&'*//Gr'qպFe U$!(z{vjW@`{> ;TP1YD &\̱%`QAQJ ;' W+D@QaF%@F<ȗשGhIjĖZ+nœpZ׀*Nd(#%cvǝo"sȎ-fG<կ׏r0J5VF4zy?n2N4X \S) [E(ȴJ).Mf'sP)"2NG!7CV|q,MIr(bXZnN&gҊ||HroB>xMC+} Dr2mȲA^^ES%>)_JpH葁kmC-E;Z/2̢2{^u;{PY{0<%ɵ& a1pN1{Yx F$klAeUFUӚבOA.YQ 0㴥YZVY 6],]؀Ex~/y&gWB0wu %Q |1;O90qN8&4udž%[W/\Łk*bb{7R RJ~pv/ig좁+D#foY.wQ(>QFˁFLKf)@JԧHlm`I ?g=͗#lp&*)CQ ,撺9 ,9P !ZS~!ikK(o_qF]+|aDކOU8,+j +": ~&UyȟכRMT-4MdXi=ߔDZE =fzyG.K;TExȱjr-~#(=g@3sQĴrE˨/KPWTQb>'ü&/xґMK:!-qdSǖ ۍ? ߛʁ@'SX]T8ks{Л^g9O@ 4]L{˻[03bIJϭR3NxMbXiDOOGQ,U=2oh::0,j{zzF-pAy\^kaӣgӞf.Λ66DMC1;-U$9%BPDIȴBX1_\^F$HOAF5R|ŬBt͒Kڒ~>DB JS uv#8Y U%y%ˬH[[ h`! U rJ|qnW?cnNxn=r(ݑg,~Z5wz x9z"vG{yd"p7c855}!VKX*%$u}έ@+:V,H:o^e*.=pFxuMgM㚾vQ9tX:;}vSA~1tق!6w|~y.1gdBG|0s 8?,]Y|EO#zn`ҕy^V0 ]f;>Z͜ܡz#7•R-(vzp*=.{ˇfO te{UYiHP>d#C tS1d+U}-%x{jf.t&9>S"4I| WaVVm15*qF Ņ$1e̞g\XH($g;mJ+#VK Eao+5 =s-3oMer }jmqsEt0O>`#~1e-r 'υ"ˎg@l}>ϣ⦚c oXyįL\mGls41pߐ]}EKhЧ 9NmWgt&IU|[G5k;{ `(|M(mR29ꔂ$Ǘ xARya٭!0T$Y=}YꌕUA< aMc>d0fۧ"pjMV,3&KBx:9t0?"5"nzxZLEvèKyŨ̺I-]$_lL^PWp:ғ9}# lQsͻx2)@Vt6!/`ޘ jѕj:+9kja ˑKc?v!J*9?|BpϕHiJVFsc?"St:u+#g9:|mg֥, P?ES7j2Iߦ(Пb4vcrR_)]*q'htio~ C!|VSew}.!bT:6WS XSCJ$J n yu>ץXW5'"o忔碷{'t j`>T6{#n^:bG 80R-a|-0 Qdr߃9rw=aa[TdkC-aԚJ)TURtI<[ Y*v{x53m2E&╇ o6"Wa#!զGm<^K&enX!b%>mD"9&NMZ 3)l-Q;(Ήo!TI;heUGSu:YbF+}JNc.Mȗ( Df+KCR? ֟"o5gY!;* m$ycyuf`X>#Z1,A'/.ZJ~?HBG$$@XW"eINu1J{/3=NnH5rDKqfP 嬀^|vZw^y$F@ҒQ(;SG!()Uܶ9&JF-cS]se~T|ˢ$7ap\Lޟ߄6Ry^/eP+FJ;$J nS^&tݧGS#Vvu[ 0I0@׆%ᶻ,.e$誨g?˥qVk}DBWm끬:sTnׂ đw?~gy{~\7֢kԴ<^hd.etlw֝&&[/|4gjr>m-.nM0cqBL۽MRV@s0eM b `ɢ\q(cU^ztGeN<1t3%v;z"_  OR]׊YډݬGzGPgCʇ=.yyuzN1Ivf.޿5渍W8ԃϮh\Quftz`5>Dz-Qjl:jSd}D 7|q퀭ؚw5z@[~ 㡪if(7[SbL!񼙻.ρp/%>4Q\ @UBIR"HN]aw&}7b^#F6Kv(tq >pf|_Zl*eySI\SsӿLT}UӋRNT(6 2\B6cf xmRb\TV઎i]~Oq[ZLj07c*t%ՎBPҝeұ̊K%]:ӫX0?{6ۏpWS^+n6#!ny Q)޹aEᒘ-d srMYpm?s0!Wdy>L|d i;( !1^tf\)D2?ҏ2o1-(DAfHzӃBarESjHXѦZ Xzt_eTYB Wl!~ݕ6FN'1ka]@EzmG ӸFƞIˆ߬>+kl.iT{<:Sjfg. b'oCfTezDNk~`js$`-5zIa4x\ 7d!g?DǯY8/1}^w=5_ݖ+6u@g :C/5⤕3aUoDf҆m>$b (ڷ (¢t#s: 3e}"882֬-}cNj*4 $7EHr[|]AL粠S4%zxqPȻ* az¶E7җ Vj+tZT-:/ij&\a#K`dM2ehIw&.Ijk+6B4|hM`cJ*X+3EꛣHOATfփF $o{ J)̢ՇHs0,63.]RWxZѬlgڗWtH\ .`"\AUU]K!ږ1#d}`3*OJwb)o)w3E᡼zD+ԁ &::c\o.6( 8u I'Te&,w9wxTq2Q!Ut(` k#(\Pr!)ꛇ$?Ia͍|Em13|r@^Cw͒*ĺq3$7yF哺 i64q~saI6kل>:cQP@5%:~ھ a,$`G;R59'aHC~@f:~&l(37fk'~j/Hdg[Ǘ5Y|eO~F=?EQBV YeH _B|Ȯ9nʾ$HLL,@fsidpEAdJ-|It"Wqވ NTrmR*RGFc6 > A܁Hlu3QON+*ٝ ng U^cK^WY w9|ОTlx@?+RPWE189 Zص-g-.*do5/@m3U"<R%0ԋ t.Omn~kOd|`a{428qzfڬ<ե_9 ]^g]xI=T=.kƧ*(V*R?딂ԚOm5IolAZR5E(@8ukS+WF`Qd4ְYFv)e2|oyB3_hO,x˯,^a.pDG4vH[TmAThi`h9Tg٥wm<tM]1*hݧAg`/5oBJ \G} #Uv*bmm[ɪb󦰲FH 8Mq%<hesnOzRB|IfkوPo8s-s:0"oPWK!(%O>B+SܑV&0BxjYFpldQup%#?iuP?Ag.DJ&VL[`=zrj@džHf>@VB=5£&xA洽RLݺb((ħ-U4wSVCK46tF_+XId]|DZ;(b8ѝA_"X͠Js*޶p4™Dɝ%U\`9UwƳe3;vBnXWNtlVԃl~f[<-uZvbBJgqT61_/׵7}j][pN~{eI(֐&C-݅?IDcD'&}sA 1@Wݎe#:f2Fml&RI۾[. x2d㉷h&&4bDIFpf͐[JbS7燩K",sʖ.Nc,7oSD9G{@ȑzo[ͧ+1q+HH@z)^Q5h/0'~.P+ZsΙspn  kDI3,K!XU_oΓCmSW?9g>4j䫑@٦U qpSa#UCN uaML6UOsN/i~ѲbT-gHB TP7= HQWٶ.;FjC7vVsжωơ[R_02 *ra=u@R53?j"+;Jz1k/Q}] WTUOy60h3ʊ#N@.O=Ĺ0v d@.е9hUX(gƇ@leD tQW|Q$<_W^#a۷bWTjA>p ڠ6]\m$-kfVrxUK9ߚmѤNAmWODNׯ <ˍs× %PzB$zEIV O[Ld?]`[t*UE{z~ #/l;ʹj\ <;b+eWq|X{~ ߛ zJ,}REXf?:VK Rz{Fx-!u*!*eɪ(3|vьm1˩ӯnRj,;GLӟHjr{7 ǝ^SMg؏m2bS'e*MWU=U U1xY=kOCUKԍrHR;_ uתJSHg xJvB4$S,!"p?=g13.:\8!>cp N|T}<-Sl;P& ,dP3rgyj vj.I<ځ .o:'CnՁB*$=`'c@l;ab + |Bnۧ5R@ *.@2(Oj /ItEj0ꏵj?CUHNs^LnUw mJP G>kr.~8%< gKTnQ)v}S+"sW!>VJ([H° SÐ%Vv=惓ݜۙ|wQ%OQUGec NՏ`Vi_P`s//M$:`WC-8ki+O)tn%HeSA!{80'`)co.ofI3*(cMiM>WGmzM6mVšx,E;q(u<cꅷ% F|;֬k(ޞy1dz1˧F/Z;󇽥.:7f=U wxߖ'Yvˤ^"X `跏Ox*pym.?Z۝D(U`EhE"foH,OmME@նmĞ[qꅼMݔ)Ѽ?2(5P Pl åk{-m:5TF"z |Nc'.W\2> dɽSF7eWPG`"L"6뚪ӎV"J8R勂FH&I>*ki !}z"*}21 \Vm¦fL32cT4r%Z8R3ok xމKsC;HJGg w#uM DTMj ng896IRoHƧA"]縪 kW(duiE^K#T{?decohCHC-N#:0Y*VH>ƐP dB`{So@Fn3 LzJdaàU9TiK #3 >eZjpյ({I7n|wǬv.A4a_ײK@Q[qQ\,tȨג,¦g2\˟Cd^HTQu/\TW|k QLޑcU$Dg#HKf`^.!_u D_pVT^&&嚪-A@FV&7(4~: '慰$/8^ ' '|:wى|| ]0~d"M_uO `УȁRuY%٧>Cg@M CrEq墤W7R 4}`@XBj6+~uӇ ]]^k/R3ܞ's> 䓑KHl_5JW}!yƾl8rN:MRxg=En\B,M:E[HP 9y`W\[ 09=)7ҡcthQ&Έ\7&Y\iW#_tZ28՟N/Z3 !|S%<196U2TN]oNhbiXS0>/5wm 7ҀM3t& SBD'ﱙiunnUf)2h\UqJ:Pqz6kZZ= ߮1|G$TٯWx7O "3jڅt |!CDN9;z/"RM=N?Zm3-cZ"7`G4gUnk} ;E3n zo)F%~5\TV(N[0KfD| ۍdԫ4YI" ՀvA4T;΅!.+;E5>Xlhȯ3J3Mk9ذE$%vʭwjy1uQ}mhvVG<a_Z0#;Au̱r.dwr =;Ǒx⦍X ,xS@栝B{bB@)fF⹻Fgk'H^ԨgR+Sr"$a ==u~L?1-%>FBwir(Ö|m!X,mo]yFRvV&֜ͩ,&o'LSPj Zs=au.YԽ ^_0f";BM~o|̍{N.w^-Zs* /ɋ ÌL_*@q>'3^~!վ}kD[0;x Nn[) vthmU7c ]42#؏h`0'F ȣ`^XLzv}}~(4Ű qdm;cY玊,\&nZ̀rX/dYܴl$.2Iٖ!~*pk`?<7*djUv/Ej9!Gr$JExCwܼQ",u_4Ӯu/7YkMA8gf2qs [\&'{( V'_<+)"D}W$_}b?Co^o甋3 r}՘RYȎ$H0R_mB(t/ؐ=`Rr5[ `Sn.&-қR0Aӷp`IwB *F#)%4>p_#t]&Mbkyg2w4=rؓV_VW@- fSۻ|U؎}  [x&3DDr ׿,6O4'뱮.\Djh2w@ovމ."~8<)-C L\2>!JDFD<W__z%M[lu3-SY?e~]7bw8cq=eTdotlWTlz; ȁr.~t|bƬ%/uf)ȼ*mpz(g,;_ʢ4ЩDߣIʇi+!%nff(}yO\,HqgQ>>R?'EO~O!s >$č+ u%i18Sxsם(*`;4g1׷!@9R,._FHQt.4yv$$ NC~۳ڶo|]J׶ˀ\<.lFR߈'IGTFe5L#9P' UVgd^Sn{!Ɗ%:;̵;oiTjAv` =6?>goQtQV&B88 xO`GX2ʟUQq#,xEϗu@+3 +,Cai`l'‹W2V^G yua+YtF61x4J!(;`V&!b/Tx -3wQйqx)|Ώ7N:0wfJ_5jNh-#Jr+`Xg]%7;P 3jQdb<ĸb"\q G^O@@˽c?"#Zgecq% ^7V}JZqAbMUF|8IʟɕqĨڛғ ̼(iaA֋~}|Яv 4,"F@Fc6E^@.(tP۪T/E؜@fsjoȪIM Sk.>nuC~kU+U'Jsʄ;)8|rl"ɛ6g|M1BTЖ c.~CZOsQb PW sYsjA#⑹]`Wnpt^mᖭmENZ6Oz~ONz|CJbG#Xuӯ\z4s  mSmXFH,W 'j!kˣE;K Ȍ&+ KBوs=6te*/*ocӛ^E3~ZP/k^ʇdT^3_ O"[]a0G)CG.krV@ _/=n'R'0xřeϪ24vOaqiWB"SLQ.^cp>3!7lôСܩA}Z&丨1[RQ;NWTΎlE-ңĀrA>1(uݵE*l^|TxЁrd iԢpQ!c-;ND!T1 ÇG?aD,2` Ћ3ܨcv6h0tYIlQ5.v7Uǟ.D`'_TPtTLs%*bh+' ׿U^*Gg]Ҙ6yAYtd n>⊒đķm^SմgDo%`M<-5k|.9C&2cU9Cey [pn~mrS``0?s} P%[j Qcʓ65L }BM ǭ5Amkvg6tzMURhs-9w34@"2i)3d7R'jlOKlQ{j8#ЏR}eVZڰJH^,vS~k:]jN% ۚgF% Ú@ =w7V^Zi&'Q'0{nY̆zS\:Y;u~3Alz3YzK|)krHy*}{Ǐv}dPX[/g͔.AyW&7on+ˆ | fO}SlWA-5;a0x؍PK ON(v,^#"TN> VX>+ _DʫB%8tVR)u ֙qTU_Z(cE! | #`kOMd"y#Xgl .~ f ӄ=((U> :w)P3Mq'*/06s e$_y@ϔܕKЩBA]in@xJ˞c~\Ѐ~MZa{X,=6Y3P*[6@Cp寭%EE C,FN @lU%z}Db:ãӯypSƶMJԀrD!o. u) 9Kޣ`b}mhVaOCQVq&U:~Sf(HcH^./f`XN+Jہ )[:R֒Fl,6bX] nW$ݽ~"XO,G Tw4Ԕ f'^#!:sã;76\^h[h^WD#>95+ ^}u0m,kpHMF?CXiyiDWCy}wmv!>{YQ E!LH=W a~oUpЕtO/D51R1G&>Q&J OvGQt6bJ'-ޅNwB*"*w=;i +v~D =_&xL--\X3t} K[ pE}W}v.-&. :_+L;st jV,zǢ<fzV2ECzRKB24{NRܓ $'ģMUhY4lTj!Th¼39ҩVzi:{d{H?Ċef΍G`rcb%f9Q\S`BDKxĝ-^qvpjM-lͷ8J/+|ҥf44QΖBssj鸚ݽrIpHw5\/SGBh3ݩMzT@+tBTg %ҶQ< ,Q]5=:{HA+yv7Z.Ř_tEY`c.X݊ f +?P"HT_ C8%/vnQјݷh"0E=MJN _) `hX+pȸ\ yʲ*1Rf[KOn"KL3@Phu_[ 1l,=Bg*J]*(Hr7{VBk}>̒a aX^lYT'Ὤj)?iqu ep jߟ1ITo[-l-%@©@{eLEQ ޞ>;!s~-'" ,&D2$mZ}kLYdN:z3tO@C[϶4'p6ld# htP!ڎ! l#77FW8Nq%}3 ~f-w j 2V1>mi(c ›uͳ,9GmRǴ2I[xeŸ }<aQzQ-[bU#%۴nPWT\[s\" x# nImG[`ɻ-N̕J);&?H]^d=O"n ۟ɽm.pw/p @%4E! >I<7/#ØK)Ryn wb >6dxtQbH;tZ?Wq(;@dp,/iCO.$/D1WAzUyO [yεp9Ljձ>]z8yӆ* ,c>JV♴@$D( (8h*^=ݘܬ_cՏ6-㬗CvT1j''KǦoFKC#*q9 xNjxj,r ټ zII=!"&D/I:Ϟlz7\k_kIdP%4VYIT#k#x+C"M$}~l8X:{+z8S7)VW3,;(6Q Yz𴏒2L=mv=*v;!r'*#+AtqqU`\ʃ34i#떐+XW-^v*%*J>c=!ɘhML*34 \Ѝ9Մ[oʬf3kÉE9#7f `Ij}^ocLNeĂV tš[6~l l7UV=籖PQ%̹헲fM,i.,,c v-^<0d،1ůjQ!.YHZ g#b|Tm=/!tb|'h 9Da}QԌߟvs}yд!<9zk !IB0M4kOZbB̓_ N2hBzSal~_pv{Z6`h>ŏD̽L$Ȣy=Z]^%[+fPTIm T ԄV˽EҔ3#x}0h;М;NC˝1jzn9rT)#}n7m%%L,VYSV;7kmlKP΃1` 2ewNʹp:^WZU%&47p&H- .d>fOC5fGËi ^- ǓZ=N0*ƃyKUmT,~%!feT~E#JBFUV^'>?;׳ 1'nP# Jnf^ o%n3j[J?/]~̢FC@<,m,@i0ǫ 3E*{pƳZ?ݞ85i=pT\g^DWB^b