SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 11lL ]% HOL-Decision_Procs:threads=6elapsed=252.559cpu=1152.756gc=151.648factor=4.567zXZִF! 0]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓ч#PpIPs=a$#쒮vgqr*vUּ$fpAM ǕjF@ΩPǣĪ7ΊܩD];R8s)2v,Zs\!^Y+<ُ'dޗo G162|DOKŢ=&@fQlvg/^}Ibǜͣ|jK:ZL՘ oz 1 HOL-Decision_Procs l 1?= LHOL-Decision_ProcsHOL-Decision_Procs.Coopercode/cooper_procedure.ML7zXZִF! Ti)]9 ! kG GŤ٭$`_Ol5cD̳Ȧn (w1s%¶^GWQ1Z}B.Ev uW|y0l<`SuSJK~Nxǧ(4j (cr-۫ly򌙑euM UsE6.&yg@rMWXȜk2P`ey|(P.#Fᨏ T~nҖάbu^~5K틭3R ̝e2&$B@IqapF~O?(_GKlU!G-CG.*_S'5<ZH/מmp_0|Y {XZۥR>0mibN&OS>'}\% 8#+|lqo wxprg S31FrAը64wffAj.ZD$O $OXYjGHrۢbs ?DΠSvA 4D>` jtb?W$mw:kz0L] ~ Dp9Z>KF%MF`g*7hX%,99UjIWeI'l@}dQrUCϨ`_ڏ^A;ф>wW:׀Ȫ#A 0K|!zwk. $>@bBxaozDŽFb>Xogl$AoMx|'3UXVAt)>խ/&pe` Pm}DR(q޴#ԁXgqK# GWjA ?iw=YYa?o爲2j=ߍ %3D{% op!kaR@7Z;:Ӫ9LKt)'#z,Ie?<ݘ7(ģF)Ln95 i/BYüS R<]Inaڿrz qNft=9s[*d{H;tG!o)w/_K;S!B ;?^]U`Y4{n;-Ѕ۶:Y5n}cUj!L"??}#k;aGS=/V⪊NAڰބ%|eؕl+e]MYdkWڐSbjՉ-{Kmil(azs 3{v?Đ71pdƁ[phR"=皉rĘE::Q]am7%o,>1ʟ? 3*'~[zl9;E,&?Gc\X-+Wy|%.ޓni ʎLKb5Z$ SQBTUjq0ot2C*ʓ_w@Ont:YRzl'd\fL{`Cir5"q?|m (rџYP~{M7.8G2HǦtfF‘GbQUhK!T>6mX2$5i3ffK~Nj%ɧ'bBQSЄn-?d@0K@pXy Y3U9*1YF~uDV=Ny:qt:{k]+Jt;3sy; f`l@!»HYRچdfjBÍJj۶x-x;''߄;9KkJCs{<,ʀlw=ZY$ܳ%VtTkrW A[RdwRC }`F n1zb/x#͘YU.!lBoۅ6 Oḥ~o & g5?Exͻ`$`i 'ZDradL*H?@={u`/! ԬQIޟn G؆;҃}ap8ՀnP/$'ݣS)nBiJи!wQ,ailƲPVGSKrX}6#o0]JU|#՗;BkM&^Rq'+v?,BU s8[C_D 溔0li:F..&uPza+ [C0@޿NoCUr:[ xN' SDw#3a+.Kv"ܔokR|;iZVۻW)BI㚄Xʱ~8 yJrC]YOQYGϸQVԎe(\E}ԀiFk-LgJ+\@XYD^B.f IqXz{CEh|`Logisdl赮`E\!|Ĵ!oJ֝;> y=L8%TM@B7Zv+N0Yye= m=u|xRJx]ͱӏt˸iJ؈x|+LNj8gdoRE0u@7S/֟6OŁ^B]8_tup3~Գ䠇"B=Ţs.(T&#i#DJ){ŲsL(0F=J8h6(L#d&'gJ\+ŏ6_+!5@&gYQ7k~:M,1E!@g*JEkƲ=GO+&_ꬬ\ E", ]7F./Iv52@9AXl~32*UyEAuϥp\:ڷ7'Pf7פs כRe fjb%VBQjB9 8Y`6ѺG3!{m: *>RrF;Ѽ; m&of Y e'8\qWXb 5{GN㱂в, L#.b{PZy*.Ȕ,vx =%{=n^[rݖ*TjVq} NsτxSw&y5 `-^o[o`9 +m:KWC%B$ ;QlL+%s{uy$r0؉Z5ˠӭ $1Vm ܫ#WVA=[F{K=]U7wRphAn=l%T ?W*_h1JZޟ.pջQyl+p K,> |b\g #v 9ƪ,!y$f_=aNhRѰsN=ߞ21i5BaW^>JFӤcd l[ =h@D*̔>|NxNΣYlgb j"a,^eqvpPgz )ZZl5_Fq{P~)PKH]Ӑ̍So}ĪOy#f)k#[6jZ1QSC-<){Yނ!cb{ J2uՠ7rd& HQiw\`>HOXTohچ~*jRVt۞@\dzrpW뽧cm\AeDJ OV"+pqps̓~ XY@9PEFZoBLj$Z0ljvP!u4@R"ϳ.wS6OO4"!ۚaPdmcNWz{+Vl6"Z>7M E<1^AW.LDDUj(18 B R?0!I ,/Ehjj9]Tڂ$3W =R8?Y>h+ꂨ$*t|v;b C7U@ g̫*qO}P}> Ban$v^d.^{GJk@.P[:Ӱ35K8÷"69 ֋yЉ,Cx0ţ H){3䶄-rE"; GpYib6+d6߿c6ِHKgHWVIWlv"4$] Ξ5/LoB!`#qFw|9l'M]ӥ7g0`KnX"6|W({8LE92A;|xGE99L bNDAm gMl) ßi|KGQeGP>xe lNkg|?w1k ?Gϳh+]08K+sO7*E)ؠ:$Rq:%M㗰{~󞜨>BI`'Jf~Uzz&V\ty3XTt[0x]r-o({?"z̥+v,KwJou@֧n "m{[`z݆K#U7a=$xQIJęWeh}b)ouZm*g+(ퟌDl\xֻ6ǤB́ldKSqWXQܒ,I`c~1-Sj݇IB"0];8Br:w9V!g3JTre!=k &>$v' A|Xf^ Y%\Ll0(L;]^/a]h*`I@DKDKT/Ԃ$DBQMʯ z_/`[ \`,SIH^Ju-k]&芨0XhBzᬸ{o=@@C 3͢_vw "WŸkgb`gK'-vB5yB)_k >qkKJW %'$m/n>jl+uYi=!=7vm |!qM ^*'@o4qAåTR=5/zgsyb8{rf&Bj]Xdvo$()*$@=I !nql`4(mvοqy/.p@ bjU,t,UBE)כU:޹Q?@o٪B$(6zPo0r>,( BʜK ?knEK:b(qX{/3X.Turˆ6Zжvei0r_m+'q})$gt s[ѝ  4\b7>6r#>3M2AXDkˊV.#16"?,r+S9ԠL})^=-u\7O D@<fj}OD:E:O3ixGG~u[)RV%zv*0dֶ]BF 'J }Ɂ4Q0>J)]?|:sKʚ::?r5~agf̬rU)wM8>n:rgHtKҌ!hǨ%zUɝˆ ZV3ZaJ+ztPnP']Bz3oe X4ͤKg_BE!AMgG:v䃯Cl47Ȝ2MJǺ#z$//Lp,ޥ+1R-:?!#x@l(BXSO- į˛:YGK#r\'|Ĉ2)wq]qVsI`>BigmcW!U= uYQQR_:uM|Ѳ_ü5믐yr#~=h#q!]^\AOs6oVk4.ogX :-+sƸVYMkQ;ߋ&\K5!tnHB)oF$;\rdnN<fIe}9?Zc--wqϱ90'TƯ*#a p|doD6wdI῔BDtY:K` U߉iE?hW- })նUa[gxy˓!މNjɺ@ߖHnД< 9jO('^wN]\9+/kߺΓiVʠvۈN'k};˖ci&G~Dkt3C(!h&xXJQl뵋6kVrUT?ܥjIJvx&ЃSb.pl޽b:Y{!m+~L0U3%D8o0LSBVJd%ܻ[򗚤|0kC twܘ28霥q$F)z _F+.m;#"ld2S\9ދ鶺TT_b:M¡Mue"8)%J޻ۈeyŗq2` n!>ݻ9IIb@C&w6eDؿExs'p]5|n[exd҂D?*uQůb3I@wb2('CD3f2 KGwnKfpoCVb~]4iky >+ <ێ5UDtG0 mEgfGiش-thfogmIuۖx[e5nzXRAN4lwJ ;Ŷ#+h&XOt% +qT[ NfH\TU߰0;%H\E˟iSx1gYZ q(<$11l藶QGtU#cЉ9J_%8HUfmiPЪϢ> oRF[j8Y߭n=5Vp뤳^H{gbb(|'46ZK-?#L^ +ƥ7ujFu@~ @EVv@C2su]j| رh+XR4<$O6Se}TxYat@ZQBk)aGSL+/O>(T[w%u}Y {_C=BbO?}`.FLY֍NDXq㮖#un)`b!{?(iՎmYR^ɄY]pBkq.V`d\ÇiS/ld0ğ.rOO%t&׶ vsFw|*NPX|Z^V0>GOzRZba9?*HM!VK)wMc.aZDD 0vs]=6߲2:.;2-a5ьiGk]KZXb2THw)-Yz̡=2`Q3>o+x'g|V:k ٩}x їb@$J>dbr C}RtC^b5Cv>hn(OX9|=slأ N$xw!I#=n?j[3"n؁$ 8cv x j!(w +Tj]?zS;%>k(P]qP0BCLM%.,(ZԹs?{jV Gj&<ʓXS6[e b0ZqJÓbC/-[  !4NjdaU[!֙q'e<$h{֓݌ Qhٰd8Wܢcyok}g }j^nZ6oiMud<1;b.ۧP(ۙa-FA=mSzbTwj> Sʋ8Nln)L"bPƀ*f0ȣuIE? +8) >BE;Uw.ڥe)wFV<=V7fq:ku%[y%wHKdG`1g<@/>8m3t@Ԉ"`g12a?boDcI'6Hzwh!M(@e^Շ/yť\~{8S";S)jR5K0e-(7LKO;T$uRDqSk$*OCM/"":'A\;}7@Q5iu(o2z-9 0Qpl;o}(/_"ώ7mD{ +a'o7c: ^rjOT̠_m/qsq…TY6w۶mv8 U^KYa{]ܢ~ܾ{[Pܡ}*L{4vQM˧ınh_?9Gi@=PzP1 S4Ƨ1Cu`|"+5^sv nC}kYY)faYI)"jROg^uQؙ1E6J\c,偧漅{ iw=]!r9|bͨ#oK&'njH##+;mҞňmpRVZ9 `>>}鷴^)h7+l1=$2WqR$$Jϝ8VG$ġlHZ?yB6K(%ihZ M3J^Ku[PZ4l, |/SulP {%f\͔L-)emu`+n%n4z46Me ¦-GNjB)][2u6{k?MgyEd=ls>A#ye\|n!IB|get>S-Gޭn7 L)dJl"L $WYbgs7p^nOh/iyA\EyXw l pNFxyg[3t+#64;c,b= icGǶ"e7`h0o/q:ДؖlG~KCH.leNKvlUkUTb-{ZTXrSp eX&%cL2÷{ݛʠ5_\SMۇCci 7ٚy16^Dw _@eyYsYבw;CCJz@'`8=ێ1,'uHL1s-;#]6ǫ̦R;l6.joRk}a~~.)+]sxm(Gu3 *;uM\Sh(lhF8\|u3nh: &XVAyu@9mG:3i|ĹMHo $/2`T/GsF1p 1Mp3ұ{cW+-2!3rB/Q޶`n1w;i2Z!!ؓ6nB<^LQ=D ʍ$3~&[k?EkLʰ 8e5Y$l/hB:VO+^CF(vnbhypG4Mq`R@_DQXY[c;jii5,ww2՗ uhfCɷb۲ocm{!d{xyHKIP `:i 6e b?I:1Lѧ ~IYga茫r"ZV%A{jv22 /+u awJ 6Wn? wƵI!plP$tV+ۇP 9ťdiW﨓_hM#-eEA xLZ~m:GW91\4`23&E. ~ĘœR$ b"ja픾 n˳x֪[>|5}oOo3CTtoa#0K Z`xAD64!R.~0(HeieS8!0XF C e{ L&w^P'6VߍKNkwJvû8rȖSG~C$f!`p\K_EQ1iɣsSH ):4 sǏ%<*Y Mkfpl-`od< GX+4(c0LEaԀQ<6n U>@{/^ zj =d:$`x\_K'lW@5.3˯- %NXr tV+,0 /hn7ʃUHN)oRn$,1!t4P(IkxFNtkSycc.ҋ&xqu[i ׹W<7ǐ Q@ǵ OƯ-9Kst 2_A|{f?E65=3USd6mqYA|ϳmxvM+hAq:iS.dV]@EYЯ0yݴx&WS0?qoWG3\8$2,Bߗ#^w;fh8~ CASwT{&8_v/GBs+,Utb^kq.w:& |&l=sP}lBS3͡ӵD(ELmFA_z"u*YSw9?Ch۱Ga*BcTt72˥. H8rΧ*WHש qa]'e<ϱS}nGWފr~uH&8+6 ?JPqU~ {+kIN#*an\|ۻ~yj{HI:icdv -˛d%“s"`E6I6 YcNި"D!;/A*`1އ%? w段EL8LqB7 [MZD`h\2p R?~hi%EїɰQeœ+u;s<$>Y;79lL vceD9H)n9cy޴>Me~NOYt:4FhEXpέ:9fvi̥ϴuq8Ek /G9MsZ {Q@FvęR+қT- W~T`=,{$쑫}IzS"D]yr#WBF1GusR;!Cra6yr,$'l8ɥF3T\VgYZ7zXZִF! ^-]ŗXiɟ17L? KxlWP8SաM~>fٺdHl-sb錈t&Gj\ϛ7-%g~N-Z`f+G\ xk+.c_Ћ+@)#4=?v˧7 +#j&4Թr !ᦩW%ΊZ[l(dV9<^7C><ٳkzω7߼:Yٺ%xbaUY)zٶ ]n\ ?o{%YhN◒;<ŃU@Ы|ڼ!Ympׂs E;f_B{AtH#1LR 3H sǥb̫APBB1|lc?6lRۮzDռw\Dqfi!vZ9 h AÿEiѣ(s4_ˮI1g<~o$312R}HYu/Eg1npBIy+P,Cl0tgYZ7zXZִF! zR ]ŗXi%Ed~vx<ۭVs~qb6&~ufZJ+IX-wWu!`(/fHV8Z*JC#=51'эėIQ8-MlLJ!Ɉg@ RJlsW9rš LWm Hb${X HbèCFI7 X9{W5mP!M ,"P?lM5|CB[|+I֓,]Z\qF _YatҝB"q/J©}cZyrkyTݓtfZJzipX*^5>Kh 3)E-@o/Zn#TjQtt "^ ]y֑D DŽ!j HNNe1~;Q)YkAQ c섞Gvu' qy'n dѤ'SU՘e}'Nhe4dsm M!JXPxdN6 y@tbMO2b% 3470qf ݝ'^k@O/m>nj)@Unx~F;:]^lVct[NOLAH==Q%&w3+q5Vm)>2= J;d*WRGu.C&"(~92ĥ;ftk-OVo\:`|ۚB8V0xF| 䐑?ݧjoZ1%?|½zQ::(E za mfjZ4 # X0KF@=_秡aOO^^z7vp԰X8_He j^JS׭#!=W8ӁҀRNT5ujKjXnx KhR9< 1f. 16a@+&i9ܗ&8NZ,`&`l@.B(0Ph_5w^`mGLƏ+[*xhJndΝ)ӯ0jyZ; `9bۄT2ج.[/շ䗰ƵSƭf%9 m+nUdx3]QnNQE/=zDTun#5KPK O*iZB;%.2Cǟ7uz2hud6|}8m_pcwa_@5@flcYAORJ9A^u*o,)ʱW ߴQR;N>83YWIװTHث!0nӝsy mŖt6Opqnbim>%U wF;$\e(h'D'2`|VR=% ν ! T)$W##/1ȨCW\&~h^ 4+abHt>r+Y<ە"ޮ^,*W3|`4ӚUmUS?;ZRYPVj^Ci0GA'"zmȘSD"QcՄ81 ŷg.I#*hxɳ&liyHErN^ in`50su%Ok^`1,vއeE3' $"mA"݌$*+)_KN@%ZP7aFO|;i:e/UhbL c'Ɏ_' m?ѭ!-8t.".+3Y:m׍ىA0vnj؂y6ЍJYir^3Î~t{2^C ]RXǜ9U d Ȁ@)Qea4[{8e(99]7uRzyhh)dϓI[=F2 RW4m_f+D㩢r$=5)^5-:_=diTqhSi*HnB25R2/*E[ ,֙ s."@:q,߷@Ǧ>T;2 .R?h U.HW>&V{uf`R37V5WԤ;v=6HGMpKO[ި,PB^mg1t0JՂIpJgៀ1"-*D.[4]{P-ƇDž{P$\DďatB`s$Au6>" a h ӸfFXYe-V mNO0#75E\\w*_#5ަeWnFZ[t, ;KQ( PA}=U)Z逄ڏa൅~·W aCXF݀2e-}i5+dB`v;KyV^OSd&[`<ج/ҞCV!wgDӱ;Pa$Zd#h̰hhl!h;wVO?H J䁜F"3~_LTf7;D/V7]b^[n" ܸen$ >*3HZ7gƺt8'Owy)NE= *ϊ0 XCKoNt{iCQ?usnVж&f"iYx Ͼ8 0Bs!ɅDܕXz:,U(pOtD?d;-7S5Tꏃ'9kn ^Ļ"5;Y/X>ެiP1M\靤w $qэ7B]OܳLg.pJ B4%7t8hKj)YLcyjh9wߔɰŴz;nc!i*r T;Sfl"]T (ijL2$PC5DN8 v>k[wW򖢱'K;5 "t^6:1ZQ|P,? -1)k#S7_?Li苑9}$^++<3v[%NLK_GDj$9(6Ngf i(m[:p ˹xUo,LXXALz. הL}{a&bSN|׊IaJ4g>hg +)rch;8[BaWA$qT>ë{֨KIh ϥ6bDŤ* t췮% E 7t5b2T)<[Gț!~1i E'*< 1e|Tb;֟Bߕ1ؚGJG)CU ߍQSI R s\TlAqyNC$߬K.ӀhNKE6"ߍ^*uaceإI@ܱXz$ȏT,KΘX~?JtʱlRz zj4sXc {"ޣw!xcuo7wJF( Œ9%'$? 'T5xx$#T99b^.[Icڗ#hHZS!: O+d1>%G ߐ0@B|-$F I Jwoo0 n0yȷ^>ec wQyo@llEӚM[IcV !5̛i0HL2l;ֹ,،YS!@Xw>MZi*0_\Js; FA{V{{Y)WHn/wSstdUsPzޏV+;½dB&iϸ]F6ʖj,FEvo#?7= 𒕿sm>XV+ Duģ k+O.JRNf j 9L9\~hu "8.%8@-TwSIll)Iip>` uҞV_'*N˳fcJ*|/ʆNyzDΩWZf35 $Rrnp&f  P:ۀ_<4׈Ӈ^Hz?g KA˷]JLw,?!  ڬw'I%2ۚr=o9AeŽm C, cpY{odz(Ђ|kmt'[?~;݋3`,d3OR*$Jl$> CD<]~MhX[}6i -Ú**Anŷ,ãPv3~wJ#^ Z:=Z%7k3@-Uɨœs2?bA {#5ӛ;Pӥp)ɰYWqO+|ou=?#eQ2{FbwZ( c!S r)b:!P:t]6CEY [P]2-Z +4-MQ۸v^jڂHw̏k[oE]&:g$A$WuNsxY|zg)y=Y%}jP!5wgݪbMRqx>gHO+"\.S?BvRn.>>ƆV+wNDڠ\JjFA [ߧb -e'>@`' ڼƉ'5GLg15˭gI U;y71!71nPz~áA4bf3tbЛ_/؆+0"2k`؝4>m巗}_3dG ŷ;dVߞVE#3z݆`{d|Y GEh9`F2+ xUtmwJL9_H@~;.v/?5(OS[^ۈͷL=͖Xl7nzYߙ>) wX>W]72]mlok_R\INx70Q=ٙ붢4ܿf,k բ!Q a-.AAp+ry< ܥ~T'WE~[r(<uQo?F yvtSb o6 ~a1_"ߴR4sl$IccLG EkLky뒘D/ (ET0!a_T`ȭLy8mfr+8Rjups^ּ OԷy]ɘ{&7$-7;C7Khj @$( QJ䎯T3OpL QrHhُUl{|!R諶`V*iR-\qe(*ojμ.AJ&<{ٮ?"t$z2|aK2WI6}}r,ny[PU+Iƨ]}Jhfkgb @%8D C9loD]fﭪ >531\R[My<MD;1Ց(%& 튣a) h<{\/PB8%V@v$o\յ0^]鑎$fuj}R\O>oAeL0DqFԶU6-&4EXHU*++.:/Y<:)B{Znzv^tT[hDS( \ 7 "4Aݮ-kQ&Es@g@l}K_ c}pw6'p \Q}i߶<1YQuiR0EFsp-q3$ KyX] 2PE14&C=5~fCRֻ>StʹE@2V*Dcwe-+"C:*)ݗdze4.GQ0шIq[2X/:Œ,h{q]%^w>}8Jߵˍ-:BpN6ZEF TO[B#iIۣ4ij̆M gȞN(Q^a'7''(y'ɧ{Nh+]g^OoKrPЙ[EvȤiq*^R Ttrd .Psg8`뗀֔!"qBӬdC+${mRRԡGWs,ޅW\Yw?c: U~Aj1"/9a֪bţdӭw%yR79j=#)6815%AvJ3Ez,q!;^)T?qDJ6[5 :-[\Eh&qnTRf9z6~9,b$e8P؁fn.; xaϰ UNEFVXm!Q~.vcVF%󲅸:49(Ey/JE,[rD' c?0E݃Aʩg+iν[V .T'D&ihDꥵo(Ã;F(yĔ?/k'$v~m %r0 /|8KX7`!s?rpi+=b/M~^k\Sz^"2ˈ>V{x *""Hw /)$v@At +^8Yt숰*N)pE PER./ ʱ q" ڐ(6O$J6gZP0 =&s_kf378ӽ3^w%ቮ|A셶?\]HJio~ 0N뚝yh~sWf`p,rY ?0lLVwG+'.(Q!wέ#};?H2a%:mp !ƝNPۉkAuAYԧA SQnܾ]y8>6J@#ĥ;w$Үhwڪlm|?2:w1Yu= + sBuJLLJ5IPc:މz䗶o y87@GaǢ/5ݿpV9|ʲo!BYVzN@ImɛmeI؇`Bnm'refxw Cs^-/V0$Hfr ҘySJXNgxփ݊o#P$X<~A'**`,$!N';y uﶜ^1 _Cu )n/fZNfTt/\>7Hַ,`bd0${*U@|tDoR8&5OQ3|(Ern$-EFrxܨ0:o/}Pk; .HC.ṫGϒm[b(V)q>FTT%WLǼa>%+}Pai54³xt4g `in|;,lj8~diwcF}KHOxc`'F)߹e©\5cs*㍖2Nߟ}TX;ê1r 6J)IȗK-Fϋ: bxK~ڣ+fdKl'n;y.\FȨ㧱1N.!Ra[_De[KFoۆum||\8\ xOks/znMϩ52dzpUBpRHa'N]WOVrS)&[ ݛ.,L3Xhm& LxC~ja 4X1 YF )5O/WyG3ge MМhU˩KQ@G/w|@LNPV(4K6&SpN3oi2ظW(֠DఅVH]%K`EoMULEB7Yk`k} ɑγlPb̋je7@EV6FT| o=Z{1E8[l;oɄpxW) @ֽ -g|8=܏hT@y.#ˉQLK8`U1ޯ}M2;{$h;J's uY=HfޔR##΄ȥ*$bg : '*9IgIWdc;I^,U~s>jPEƂ .voG/qg={ч'|i;p$:OG]@Opڊ yU?QL6g0۽-]܊ 2vOeFL9bbM݂qR:\$vRhA$hVzۗ,h5yPW8N-TL)iE2"iV[OQKKarbh;e==F$R,ظ^|PΖy/@a'ܸC,*6`?TqXd_#WɾPQ!^޸)>Z+UN]Lgl.O`>͡_z&N@;oW]E?ԧ'_4[tp:s_}<޷D|e>]m!u/\B[.D%Nnf f"p}dz2q =,%J x.9y5'ݢXoݯU7,3h6jzjSKܬy!3 )s6gQM1eʞԑ:K*͍ {UT`pÏ%=?0zϵDGEW4ӂJ͹9H]TlZ;&ʵ{?nwW/>\zǭb$ sH/7 Fsr:!H>X961>x4Eg|=sV#-/! TRM[@Q1k ?G~$,ODt&w^-@N|?7n%q;K"0wEs9RhAtT}.<~Mf>4oL!sC{d\ /L3^/jYYR(-n.[%DoUi7eZ)vֱ`6?jtO&Z#Z jbK*?K: TS !%T90k@U?4zwhBxY>&**7ڵ4ҍ IIr4Sj'ܝA~Z&Gj6y|@wC5Z ج'@5* [nm'h긑Od4}tR j% (UryLHV;ftwRU~6 ek:gզ)\)@Aֲa+Q#TJFe!TS |' zFkAy/7{<00ϼw(~I{x92gM4U59ꦲq1͑X5[r/i7"e ̹XVx$qh>($-HY,Prd&>-:$ˬ6tux$J((2ŁɪiYhEGwKVZSiEdcmiJ5; DG]% ą> sZZ+%1ЖGQSit$R+u9eLIg轔5bO0Ս̄qW $_P+79ʬ3KcX>׫} T;VZb"=#5Hec2f@<(F ::h5_-M(#I {x~y۰ƴ2/g\A5gE%Q;bZ@6pL;$&LF 3-3o{EBO[ަQ3R PE cF%b<$_I.a&G AK hhm4]>г6G9<~ipKinN %>95.J=1 n/O o2#5RaBzZgl3YRGmv v ~3P^d5ȧ )#)>qsA`qτo$e&,Ŀ'Ċܲ>ABH 'a>|9MA:C;=gRܻ]rbV=j=1ɸd1>_J T&*0ub\'r<AM)uQ@ՄNoy{\GUX Q:`fQ[И}jfnL4 GϏn'C@&'}+';|eH(+iTд|[^v #̗ g"3+92dKACq}ח'%t`@GDZy6D,UICT@x'(V1=Mgު<Ƃ *1e5)4#/#H׭¦UvBY$r0OFޖ8M^>:KqM Kc!{"B$ڜuYuVڮB̓&7i.)0b H38=[:zw暝dXIkQ_o+ Ӯre<oHH0;:c ^-4Dz:8&Zv?GEH,yJ8C=B*{lu/>/[d3swpڦ>r)ct_d8?8{6z mg筣GP$ahAZ/4ă^~GZq*ݴhT֗ӷQ7rUћ/\N08+օRƇ5KGK@hkMV?k8+Cnqz fGπԃ.o(yof3؅H#ڶKM ֫\Pը+\*%. .ә=Z:Ii JڊƳpl "$ʦ7%Qf~cKa:$ɪxA7U$.rk)R9H\N] ^ܳ\z kB,<`{|!?{LvPfP&j6yB:eK"dt̗|hv_ ?ӻMZۥG~1y{/5EQy>(jͻ lA5kY]7k9g.(abĠvek1wtAp?l4[O9*LF̼&^=k3@jUw LUm4Bl*!+K} 哤 Ks/Bb֚aCz.^l&&x΢Z]2wY}bF*bHoe&3_d.^~+1In#"#%ly'L“Opu\ ݯQ~wmQiOw)r?=9Z?䋒~LiZ3ͣ!:TeՕ}B* J{cٹ"O7o> ߗ]S,hyr_j*%f-hߞ=l憯 DTUZ8; S x?-Ns,fTg t߼FR.$EÙrMş,Cckb Nj߿1DG$(-i@}~c@]it}l?R yB774'gt u|W &p~rs= OX<מySCMn!Yϛg3;{)LM8%vە8P[%ógllr#}u`YI+YIlĮ=OG{Gs"ye@97JNٸb.]Y1MNUb~MQ湠!n6x3U|ؘklzrljZM:G(yy6쵶 iue'[s!IJ_ۧHl (0鰝dJrL{9.n|NEIc;~6~n#Fu7{V3'u(;pbQD랒uh1VKsE*h|biFw*?ц~JygQRa1r8WE @껊,3TR}H򰜷U{S7B>q GX pTFPP]8 馀>C')yDsM~4*]KR1{x8ع|tʸ VO7K(1W <N>QP /3=$hGQ2UhJ/<}tGo'4W-:tTH#}el Fz79캅b.$fP4T_0T-eV+9ujI7 mHjCϤڲ葷lrDߣu٪m1M0,/a -%$mg \[|OK<$w,7;c{|gٝ~ T*0PwSOAtcgxkNLo :L%p-s8TժboͰKܥ,5eD=_ = UWP`MD$|79w[~u3(Bd P&ak x*i3}vc2Y y8+>Zה+tvQVLfe4NfXE7 Qq2ǀ(ҋJs̤D[֖ z&f#(?THQ} aA{G khцF [EQPDmW{(yR sT/jB먥yyA8n^U p.prGY\բpΉeɞ$nad-òurYLf<Ἰ.B/SSfk$"O{aw/L ~wfa/h˾ $ɍwQjʕ^̖”B˻Iꥐ(U_<:nL\@? 1 5T+B #_'~*be rilI؈ |bŧwB>vttNH 0$ t*+0\Sݼŕ4t#s IJCݨW2+:J[N(/$+We0&qsէѼ49Mi- q?KF`a%]a)I/"}[þ `ǵI&~uKs!(&d:"\ 2sO\GL%Q U÷{dlAxPe|y+<&ʴk/dz6 hG;U[Sm(gc`1a`>g)EgZ~)%1fF< a@TT,A[}HSg ~x0ks^ypE,'熅8XL7A(UN,Njaao)+]JOC}= |V6)DK$H0[eJ ;c9,eMC5Xh}GY3mK d^'s.]+S֭"bA+P×}L82jD:>AP/XO!0wnӚ" =M=fdM~x3Jc9EHAGT+*ΌFa;A$B'5*~_36-\nM=iUt>Al ^=)@ozX К>' LO@:ˢ DNʈ iȺ;3 w}Ÿ"w6r+.%iL -M>3 X9xd[XTQu٦%6w0]+*8R!\P[<ŘaAH֑A 5}  Fm"6aUa>R=Dqcf{@;W޼(*\; #j飯ʃ>~1=&Ɩoד>7x%R8ٍZ:Ll'Iwƹ-O#晭D߁SCj$(lWJE-b/-f3H;cJDGRRF2ˍlHL6J߉1nV r@P|*DBi =6ON/"I\$jZHf4bԦnBON"uimwH]oNV:J3beP%K1B|@!(H1U i oʺƽYolᒌAǝ_zH(62^q&P~7]\%}mϺwf ZdU/LWCVF7I[je~bּǕKnhWqLl|)y4x'n%$̕ʱ́un`JhCҌͽ3驏=|0<R. pshCc)3kM8l jPzo G!0z6)}܄ "&6C;r[%Itg^$=0 <8H<3"x>%HܪtiN !jzv*Z g2 ~"rNljAX#w ӌ7^6ؤݙqSr6^-*OkS&rUS(< aLkA#+)2^%KLf!0睢\秖+SC:}KOf܈n9Rh0[b[]*a ;:;@|f1/=?AK5(Ե0o@PtOA}[#,jY'-ƃq{8'-g2'OK5===[+B6u h>qeul i07s3[CJϗhi͢/8R,g&߀ PMTw9͍pCY4=U$f92ǿ2-i^5D($Rg ?;zL*5=Lnn9䧾SW~; [ Ieo`>ϖKp0<)}] Bi !/Fa"SdơWNÁys wv[s,eaጆK06- aո]Lifc4}At?w{J\Dږ489i#Jw~ϠKQUlma9-?@ѹC+yo;GY*Pwx)аgo4vh@ 6!{5 X}ro>OJa 7Y?A7U ̴I3|R+HEP6^{/vpw`EkT̟>ic(1'׭}Hi Bgbe' 3fqTCNW1@eA*-\lu|.;ǕT5yN k-Cצ#r] C89!_%#2IN41Y>q6xFDps 9KC'i0gWlüib)ev]&0MX?>U +|Vs@**͓rj>8hмR&pkL(_>(uю]ADgN} ˶pvLh=vEuAUP_W&9W筰mZ:kJm%NI'0 eɇ6|s w kqF/& 0͍ ei1'u&sjRvzNoC/89yR8ғsF?y Ntk M?eL䚇}hUMYC,}3JBc!7iՒ>1ꃖ OSk5!^F7rQU(ߺ 3ͦ c;C`{cZ2d;N9D;ˣ[ٹ;_q Y0EYݡTe{֜1MMs_--l=Jc2DZbt*Z Ѥ soD~)ؽ$! ܟ@'c.*ۯC4N_*]fd@e4I|߾a'YZŴI gG|`S= dxj+|a