SQLite format 3@  .;  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 L1~LT| ]% HOL-Decision_Procs:threads=6elapsed=228.177cpu=1093.760gc=129.8847zXZִF! 7]ŗXiɟ{fnM$nђo\1>h`4%diϗ+Tm7FΘI* ֐4[QR~}s:0B Dې))`ފ ;G D_ׄb,WN_u"$84Ckw9uz*EŜH:YZ`II7 q)bLT7/x頶0hQLDƥeH+4CYS79*MX<mO?$oJ_&r,CJ=AP"M)ruZ" hT 64CWRg74ՠMu~dֳ)#?n"LrKiQcn6cSup :o$I r3wϹ~H>< /S<4,YHTJaSLԷ yk"KqiTq+Rv n,⤂Y~d,V[!'"!yQ i*!3Myw8}#X=Q:J0onIW#'i #>TFbܪW E#__fm&ݶAVn \R#,.G=..q `Cd0Ӱ`o8fWp6'CӬq[xw{Tp0({q`=IFvϕ|랷R`-fwBY998`:=WGisKv侟]+*6F7A-*NmDn:ґL7խ3cG 4UD|-YT=w{:!ӰE;񗨷FC/Տͱw_*=S ,I`(a@LΆ iGP7h51%oPh3Oa4`;ԬoiT#za"ׂ93Gz~aӗG\bT0sZւ5Z-*Dt/ |ύP2,AdmUu.ZGw$8zT˪y&PYbD6??<+kKU`_(i'j!!5JlR2#׈Y'FBP{)0W;-(Mt,לܸ9|I;ڰ˪*h fΗ:EPTR~]0h4)W0߮hĆ,O4^vű(5Kv:B|M8 =(OS?Es]7οvkOvjH~ Ѽ84I,;ޗ';ZBZ<岮Dx=`Dˆ#ԃT%ơ1OBSYPgqA '#n#ea͕;2mtnݵdBv)F,F\.mafRRrj؛V|K!ҠS@:eqR~8Ÿ]bs=s3Ә.Y!PސǨb_ IRx71[J 3lT{† 3t42d92rQݜn߷SV"Gl 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 n1uuNX_B")VOs^uEqPD>@#b!S%C@<B+_ ޜ%TY`{hqb98 2$fU.2-qfny ߆$2-QELv%l:eRg6a y!F[<IB䂆t* 7%HMb bpn~۬+4JօM0_Bҥx 3ZrXa&k%A a7Ȫ\bU=\wc)!`}JWx^.-HF KV/Rbl}efXI8g ;ijGwLႰ߆6*'=Ϗ@8֫K<*a$#ܵhʓ%*Ctk^hEHHZ'iB#xr fB:(SRʘ- ػs]iޛ CwK޾^G$z RhXcB%'VG-sx$} b&kLvHT d͵bU~Q3cH‰UB)sYlN>*: vn\k(OlSFTi!(f]:KO+x2i]Ʒ`_.WT^p+\*1;{v69< ?򤔈pǐ7>HsTpNAr #@?C#/jb; #mW2[ 8EܞUȪF,;aVY}A_cJ8-1Dve#7x=b<}qK9DH#kT3'wDjW0P%D`IJjRe.ipĪ(~&1¢5bjA]b"]S;)z4\<36W]մcG ҈cfRT=Jfiv&s:);m '½:D-DA#zf bHkplw#- ޑx@):[`|U͈OGi5hMf䢞hetC+~.2BmU{Bظ Y>ckX̢ GU1j .F **a]so2S…ԙ.=L NV+2w\Ie6-/~']==*./+i0a yDNc)d \&o}#qBʲR:990UPU;Z>''tNl?Vmණ~ziޟdĩm,,,󡸣ћɣݻ@ K5"e(q;A /M{`\;FOqxեϿ/12V-F~,2ԏWQE?Iшfh O+B] qa8u3QIM?(pj!kA,*|Xs|XERfl@?~7EƱVw% b]ufΒޗ\,fSy[\6q|n m[3H1+Sn@٨s$F0F*K](c9,P \pl3pyMBx0O0c菴Pket D9c;xrʔyxr=}z_~O؏;2B P.twels{8%5AS + [F{'<7d&STq3-SJY1*+ǧ:Hk [bT{/O8͖qdmBC,-9]l@^G4EN5 y0]&u6zkBg%Z}w8Ujo~] W%Id9~4S:٦g5'UAuy,#p9~넡fQ>'^?%gq7ה7|A0ʚccCMD=vuյ׷58PL|^jw.f{IC?tqNJ,:^0"&efPB5Vi笔V|ɢhF:A&`p/Se*% Q{<ۀ$L4UxYl9gz?Ļ>,=2ܒy.,v`O+T! ;]xT9We%Ve|>m2Lz~ʰCxhfQp'H Uـ"~.Yx3ԪS;PGb c!$eC\&m_4ZXjKxd*^?ANYדqV=!(f^O-u !7M80O/.>}w-c}8?*Zw6!ñ[ħ(ֆ"9Aeί/ᬬM*xFǿ*y`5HdFV:$봡k<~|\|SwKVÚNѠ4u[4 Ԯ}N4h> $2rƔC6|R{9ڭ&fK(z ͅiY("FT{蘆ۀ朌7{#fJA7U*AP,XE[FW? шoqk-l"0"_R6>㇔,O<-NBWJ:wm'4ݺS$JN./ \dCVk~;*Zܐ^[c)&xZl* tc|`76u\k.m"|U?Zu h\<eDžT#nF)<&Λݰa6XJߘ=MC(vn) NN(%DǏ'"fisJ7/]55ukM07qz!HFd>K]b6"uؿF='>ot?'i}^[E?"^z#V4 7%V/C٫H Yc5DT&Y8Y<ӂt-l1jtP@r)KEJZ׾6?/5cy>Bu%Dʼnň o˟K4\,O_8+Ii]89Dcol)t FPSM2*Zu\;o$-jb5d \/+ 1!H1J~21RnvnG:Ǭ}u&4d8fYrO+}ZbT/sgYZ7zXZִF! \"]ŗXiɟ17L? KxlWP8SաM~>fٺd͔,&a gPZXy\Qu%؉a¯|)A<-$xo=sSZT 52?mc/lZs]`]KS=qV+XRXcI;REӂ.hT+]EDŊԾDߊbMXZ13:HD̘=1.씂ҙ{T`f6Q2&2z0%[hkPc5!N5}و?ٖ$rx7ʦ o5_lp E},^ aR~Q*8YA0쓻Tvܫ'*_M;$th߲U(Vn_dRՓʱV8۞WPPQyv, |1C~AucŬt~qM֪;<5% VJKXqQ%fVLȱgYZ7zXZִF! BK]ŗXi%L(gY,$/gD9riŴ~_p<6Z˟dxˠ26)MZ'cp:7o?];W1QjᄃԣXj|_⦁^Fp-ݍ#Ib#H|;kj<+䎘3zC.4Ձ~y;tx ipS[~rg8Lm9mo׶J#"-#.DCJ$!Ө %X0+Zk5UbF@,NޕwbOyc3^泹ؽ-E#!qiyھӃ~`z%0P?J9!~-JۧCGQ| liQK =BBʤ˿CtdLSq6!k6*@|g4ý)%᩸ԏ-Y * H2-pTTJUhABB2i}vA+/% %ך =C/iNx!?\K9PKtL |N؊eIv|^cn:7T`[-2yuxl&0v/!JDJэ`i+r¬:ԛAJ< ^Q̧ђn /qXdhց.,'V"GU ї1*A3Ll!&#s̙FCB@v_jʇ-l_Fh 6" gk1N˧.8טf֢\/auBohg[9.jee"=?Tmj1>߰ mN7$6*]03@>o%1|D΁zzպpx#{J$GM4ĕihktAX;/`"[Y@Q)%pZr 8SKHN GJ5X 5_9fW;`kf*?sƺ  DR"L563ԁ6;-ZU+XVp|G8¼}SAs{{+CWH(^&N]Luy,V z.2p$G.ަlz&A+eM&XgS,N.SP uS@c 9bB=i7ӝW/cY?R( o+UukɱAւGҲMfcHWd}Je@8Fii'ޕ.cpMZ` B&vI T9XY68(=~ e/Kc|sPx)x+@9|4TϱH,:Zޢ(dX=ZM}߶Rh*A:c+<+P&SpOnJ/KVoN IXW$DnŸ\Nd\ e{gz喨 #ڡQmcH6 n k?Dt]t8%S}Igpǒ,~vDZ:VnR$P!&DYh%^c:!asf_;sx%\#J22[ME5X qnAmY,,),'w.fkH_-G]7=^Spefiy.*SSPGYֻ5.=ٳmB52|֥QD7.&41M:ף]AFNH܍_B'MRZ(e9fhHtIi}, gz^حahb߻>UT i6Eh 1 3еll@#1߹w# ď&$1+VͿLm2 ߬ӽ?fq /1?3@N9 ;T垅Vӡ=~WMb5B\+.\$l#*lU,NVKys=W1r j׬ p6HOnSWB`\5:2laJ<)l{!16Tg%lb;f27ycZ,^lfyc9Z&4XưOqU)PݘR*p-aZnY:^,ǓnbӨWu_ioxeI7BEDCWo |U6yqf]tޅ&Ij$D 9 L |14:DxLdM]|E!+%LKֿOqBHR 4 @8$e*^Mr()d/5ESw ^ZQWs$!T0X27 sWĩ\=[= q8OkWG)tn:=؞5hFO ~'=϶YV'3 N@nnvlwy*uE/tVcnwy 䕼=~xI Ƚ|*,7ˤ9"ޑbieeƴ-/UEWq wIf_cn6:&2u[&Je|6m@32iLr=:pӇ@-w^fm uM+g*ʓ]ת(G|ԷStz8Jհ1M \Bj̕){ڰw?&7oWޘ.R@3G'@%Mh=. ғIW$+4D]ڢ3@Uy}GmZ(fO !:Ɖx%2il[`LI7]W5JDhNn'x~D)]u(bATK3U̠P ^ ad1{9%TtOJԶL/ IaQ$G?gp[NuyZNl?9bˁVl_H4d;!m5f)MEק/74l1B{ZB^E;Nk*^CdIJ2 vGRMR͒zme3f覢h9R[ cVcF >-;#w>jݲ'dB Q)b@"yް<-[ƽIzL%Tl7|I#{l]E^N3){Ëb1랅=SQ|,u^㤛!]naW?eun:9iJeTj;?&dUO'ea.%x X=,)[ϛ fQ:TԶ\c'OJvGhgiIyl|ɢߢcӴ>+I| ׈0M/?\EwX^՛́|Иq-_T\N>oH2Lã/LBk dD\p<:LzRe.vqط^U,(${uܼ-Dw2.B^ m'd^ u#ڢc0KY6s[n"et{d.mݝ`g,q^2Ή 7ZhqnH b$eyH3UN}יŝ7[5Y14[Gc)b/!ۊ_-o;X*OJ)"HIWyVTKo:I>ƙdkE-5D\CGD.$^²&eW'8 ذՏ<)s1CpI%32? Ңw{xD&zkOid 43dg4xJ$d ~Kjq+D8؊,ŤX #:rcB7'XčpԐѵzX$^ x`ooi~t.KLj4Zc>\n؃r5K]TqT2#k;QhDZ_X? (%\^oJ}I*-arP'0 `п I10!+Ϧʏ,Қ20lr?臃`DR7R'\pUie,ObI4k+::"30j8|ڕLY1AthB;O%7981xypY_]iՈ@ɑ|:լxy؀Ut{5Mʱ3v%L_6}FnJЮNYlnBo Eq ص/ 2!v9;jWiC̀d@e()ܺc{h)3h2eT.0afI\E~(ߏWoC` 2*${L6fg4 .H2FaXm]Ll.fUKSJcԒS+qIqOr|TB!< udS٩sխX2Z"-^T`BTN!tLE'`: {)!Y@X+ }%O#e,ͮT;Zv "^-ֶHL@6B^(\*?G@9CWjؗq}DS\YULk>ATiW*-;AtG.:PR,Y|rX`s)F>=%%YА m%`+ >,jVf{y$46 ь(÷x&6B|.!.E0 QX \4sGD\$.YALc>%Tp$<(iR{ef9iޓ:\FG(}x/B|}U $&X궵[9mYG'*'DUG' >j7;1 rP.qH?1૨z0rAtӼG9MƯ ng 6P^!\WEp3TT]OX@Oװ'EsF | Y2،]nH1ޒIeEOcd4&[n)8alX.J-4%ze)Db_:Lx(S@(lxKbe5#{NQE( B f``Fqz+I41~g.].rx0뎱gL$hS̥-]F[R+R Xn V`=H*Kz;,CO{oL.I,'W䭂1 !' w>h<Y= cv<:(q~f!JFv)u [oQ2 e1Ff.a aїRbA3-Wk Spآ*MZL[et8"[ߥ e嵪 :.D@дl*ʵ8WE׺F cVI6,t9nVa1:msyh[:먛ΊY8I`"#oe~W ^+XZҾmd{?2"#`vR#'ȕoGD(ǻ]e3Vd+s~ӽ#s}I|A:JrA;*+D #S@RbU h[bBp+`(8$I ݋̟r|oq@IfqWNQ/}h9%m BJ7гUCr X | S+h~^Ӵv^u]htp)^͡"\Yތuxly#ݥ"o ~(PRi[l(@3 R1ܻ8X %64q ORIC2P8߉z3A\Y ʛc?gIEJ?m~!UGQdfh2fs\ug86%J_C]>ML77~hfC f-I2iԯRjuO}.L؇Nuɟށɧttc9c:<_$d^/,s0!Cҁ8O8bhr#eE.|<ݦ]Fɺz\Jm`9uݪv "kP"9s}|;r a@PUO8 خdΒBG8"3d5'99-@2$\ɑm>LLeh]mטc"X8-pP)iҮWk=[I;)dSVHZ\nϋ9|NŸ3`!tSCDilXy;\IvICy Mh(2:W~juRAf] Dm냎^8ײN0\D ]mTNP$}t-tdXZ3em:HYZa@)xp2oHl zsJ!'SO6(O5f||<6FZXru ,+rHYƾM#v?l=|酠h0f誯oַ͊Q1-٥؝_2Uhn S|:AIurn8`0S(ֱٰy]데6G-={e}_!ӣLA0Eo :voDZ[\;2 `GN9k<_[2?/8}36VYպ'|LZ;OW=!r./^.+W0%L*@(<;#Z[ZA^@ZSPߥޫvX%4!2:G;WAۤz}s3N>y'u; P/8ZцA ARKͻ85\][k}F^/IR סkgδKt&9hbkm !"`o,Kٝ/L!y49*YjVGDM_հM=wMG3&8KDٰC) Ml9;.yRy5|w+ ƛ)alʹDRm,,*gKIiig AϾÆ ~Ocm@AYCZ¸RPNshP|YXΚh){y"U@y-.̘څ`DGx:Ф:i\?LU-1D!?hB(tkeX .zJ҅34weBi2!C.'ee3aXݴ 0d?‚iiU[6p֓ N硽lۡ}3l8WX F@<p2'Y2*cek(4~/o?ky R-YiVXМZN]72l)f[Q4(!e;x59oN.}{ڧ\?Av|<;/n2YMH|5L '7 wڣ0tk./dHS0H$&j_+HN@ND_ ޣԑC=6&YOL,,Z~ayR7yPFIFyw6AXXijGRWHe+\F{QQA>5b1u[2*a.q)a$< ]#IoV8Gsqa)dz>y4Ar- 77 SnYХTu,"ah3Bwx%JXM=77eBrϒ˂ W*>(ɥdy OD.-VC'&z|UӺ8f{D?%hxFMx5=֔9ƛ M/0:8S"%3mFxؔx_Lt5uwJCȜ028:uzޥ 2ɞ1zi M@ǨǓe3 @u%c@ ]ŠX'IBKU-hfŐf,*=BbU;.,V{L#vWJȨ\9S`^o,RN'8>Ir@Н|.Ɠfd<uh{ @ )`V*_k*ӌ@}2H$|R)agæcXa7؈๏F a18|7MKn9{N`[93UjG7֛i#gk|:,کvE^3U7Hc bQjBP_lM1<ۢO#M%ԯ:dµ4aj5@"@:0&+3LɾLmx,\-܁{ fGƵqKϓAk-llh*eg`UVݏ?tfcɔ7M?/9،?^nI{4htO8v~) -T0jS֜u&s=y49NXk7aO;N6!>` &\n٭ϋ5`WWYD N_OY#APfZ!!?2ѪrVMk-\pG(jETy+_ng]Cg{ rd#nH͎2E{3`0cL .…K m7H81w'!'M퓥6ŹLP@s`P%$ TlY%/FL BLȕM{cDZSJ%Ծ'Z E \(8&LM.F3*ՠ|ZO[ |+nkyiܰvFXɐj( Pi[`/fg"B,vRQ9(Ꞡb&-Q~Br7͒}ʏS00*g: 2Ń/VXe>TBo9@+Jvˈ,7a_e">6hptwIK;mH;D+O@𻗬?ojJ>(o=uSb9W0 I'ep?OG )؝,k80l</k!:DleegSZږ =o.Gu8Gv[L~LYdgzs a$M'-@d#ڒ-'ha5/N#5)57 7YlX~.~V9? x_Qߘ%=:Q~Љ R/ĈbScPW^q++jnˮЊPC 0Z ^-zO?ri}dP!NT?kDZJ3#d *q{:ԥ8 `Z JɅǩ ,-AXwɗ7rI2Ӵ%YYDg~bӋAN)֬6VoGpӪ$1ԀW@X"(\h8eh[в+ ="MT\;{h_u6t $u80M+y`2AASvetbbf5h7;)he0k|_=fl׭-m\#ڣ:ͬ:dem;١`=h# P"Gӭ],,<3tEBYC8h0Sp羋݇Lkf--XAfII/pK=`N'2g*v^mzAװUY!1J 8[FmLj76;kϗwv[Ei}C6E!6}A0WDA!%ؾrVwzӡ*)+j1uIlk=i~/55t,rV?kܵ'" r=Y}(yJg²p2\CZYV NBJ66X.|'3WD78!k#ox!`$9xƙ%[VJqm/#ŠοL0u#SK3jAC=TP=}(:{1qd؝/&('ryEQ:Y~~$ [oz#N]_Ds՟\L} DPeGPR=|ROtFB`} ytlTX+)@2+%,zitOB}{ { w\ajTK8s ,@og!CO ̕ԍw=eAW9/vHw5(nj44z cP%Ed!s7z/ExHxREe;[wER*-P}DTzǽJQs;@ pPȗsjx29őŊ˺M0~Zpp{>UFMZA)j/So޽bVn[]aahg܌y,0ޅvs͓j ,(.mj%Z~ mG&ۮK dx&'sX ^Иm-p 8jdMB`Emic58yn K|O.șAKB)yeW/Z uğcy~p"=#T624zA^J_*~k~SQ@H}~RgO8.kv W`+5>ԫwWh䧓oqS8YSM^RH(!;򡡇*PL[)666s(;JQBB^d;4wTAoo)(S cE3_)SL 8z/caТ##ػvF=kG*oVT". QT?s9Ric(0!"Zs++J;޵&< "E#X J'HG:yRrP8 b-6|&=pqewReiJ+V7vĔ Yqܩ~BxB;VT%f2:bpZU29e47vI|Rr{FA%&$PI314 |;Hn^9h'S2M1'Ftmc3=S~F=x:P}$[G{[lrVnuSQ%AsV4/8Q쓴gB=W>5 @< zV~6& n_%u]\jp&JohPNg .gU@-Gn$ gUid}*B^  ujjUi=KPR֜I@MV#. ,T@dP%ĽyPaRwۙ3?AfRpεtϗj2>ҸQ\@ӫzYj@ctn%n(ӷ!R''o)tC8:673[جq6z0ZRCjknS4YsQ(:a.tUћՂ6dX^|yvBlyTGwa.kiDH~oSV,;4LFZ"~jеk? `ozPʈ2Hzjd@*N JQ* B j\/b̮3TS!S&mt7ӭٮJHiB?J_rc2ls?0:\K0kKtrH ,"L.pUCwv&f+Al/6?YK4r|V=l }.=BM>.دKZ49DҸg7<c$7JF9>T@˔b+Q.8<*JG!(/ 5HA}*c$"9Zbխ[,pMF$js]_gkd+ekF29ƒpgB9NWF) `x&u>R2Ѐ/=]F<⫆auj xjԳZm}(SthM~WcՓ Uq^qޕ⭯j㖉*QL@Cc2 y+ʓ#[ƤF D&rpd52:a v.z4:P-`$Jq.($&E 3 fM8L?yVt:_YNC8g7 yEᒓ0% 3!UP!ߧsG&FiMŭ=ԫ ,2xI)S'{ *~ԬTpMTȺZ'~B,BI JǑ󾕃UrACx@6tCD;7: hغ(4aʎJ-L}c۶K_EBs5'o759e@> a3UL#bZEn[TO GT9m:[P[{K 9B^5𤍈ΎOm/2e}+с!n!S:Ì؏\qMq ^$^wj8e]OJ~WZ6=!4 ']; l-nݪRi/]1-"r(}nuYk[^178"`9r\r>}6JW''mLڒ O}o|$a*F݆O$ޢ̘73XKD䐙LMYW)ǢUʉKk^j^պ@9qWO8!kt6C"WiIHxFh1Xيp \f.n>ZT:VcI%r~0R9# bMY}~k̶ [#ErfTfdpJg(,T>\f ֨>Z'4ƆPb0k=rw/j*RKߓϤ` !6g$fgŹXlTDCk>Šߟy9RK4jkd֓M1gz峭Jע*`iy?mhRtz՚N/*~{s[پYYaNO$ٶ7B#x5*4ߗf}ܻ 3eouT5BSx-Jp m$k!b@5Vg1ЅݱdM\>9&}H먢3lne5箞upvM5o=xeǣmMDNDR2/O.Qu_9q#?&{Z <",v@S_(+=e~Y,LڅW[50-؎n7"0h N๡A'ƠKA -=0Wb^Qn]*uZmHNl!XmsI`R&"HnHb|ۛsY~V1C?Uەˀ1.f*`;s6zy E\;YvK>@_WFں|Ip։/eF:yN.1 4eTfUǼusqpnAܜ|~gc(h[ƐfT-TЖzz65v&Hn8a]: #ӭ