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  k1lL ]% HOL-Decision_Procs:threads=6elapsed=217.229cpu=989.780gc=90.096factor=4.567zXZִF! ]ŗXf1-q恈ŕ׬[p){thyՉMx{$V;g֍SʑU1$B!4/oYUg\*R{nnɉ!W,FRm {#\zX uZ(vwĴ@hErb6Nl-v8 .^68x;\Zii!Pw_vY)Cmk=NtMcҢ?i+gL5/@$uXqP.$ d2btpab \>A^2&Lj3dm.tt=^+n ?51إ< 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 `Ruݘ!$ь:Wmç|z Wi0Y6X ?@A' 3 쀒cl8C ϛBAb o+8ž CY8rkE*98mAi74-ygkN|)ػxt0դ tCvGC5VA@sU1WM`HƗ?zoɔ"Qlb GzhkPc戻\rZ8*gڀH}Ɂ1O|Ralo76AG&d !0!Jr {;f3m/#6AAn4џE”A4Mp\rl+pIΣ!,%Cť:y+ãml2/fڅ ع,4+^M_UŠl)Z\蹘,lWYj~6_lAJE!g~L&!h(0G"5MOh, 8L>d%.h|V2cطu2)lB ?,"u<Y):!}reP"H^-2-bskngq}WKsaq/\@{"iHJګ6nwb$m b,~xp̹cn}ky*HjKw{D}Gl 5_+5 $^V}<,.[خ>[ݻˢ>tSHX%֕Eگ֗=|)?اU*Nԗg_ 5GE#f8ilN c{]^CO~ K;Iiq~cYPRJ}v~z5nY]t&`Y?_" gxZka``>ƿY>,Gb:q!{#VYM׭ a#mA'j<!ZiVHctg=$b^=zYs [+V4i{:%u8lFdY~sH m1nbeت.' CFA =04jE~ذ>f/\P+E|N:8C 2dw2r,94_RoGcg*1SbpȁjR!q1+ZSTmq H>$KuEP@ӽA:BVpݘ.KmC4ٕ? -zMm4T|W(bԈCf~~DY}-Xƥ227BKs ÑX"ѡ5ӨOѢ:|bRA~ɉn#Dy%"tupt"jBA Ya]dKMEҞ7x*%߿ F<{{S£5En 3 B* .Əum@[ۛfuOØI&ϫ°7x`E[S]6%G0&Lhh~,$8J6jG<$))| H?< zǮIMfKb_brEhld@/% nkkb, tԓ:Pxn  F!^p?EB cvpuٱqIFx9s:!3;Jo_~)%xɞE9UA-vR>f:Gydffj+ 3lSj1PQU?}灰Ë:քF]n/#nZq~8GwؤQ>@܏KH(ۡ?%! ldJ[ ګZI>)S{i <\b瓻 "[?~je9'UsZªCcqL*"5$‘^KUd5wC-&2rlJzut]U{ړ5$iӚj=3QdOew0TdZ , /=ŵ(kF7J{hm/u/Y5HH ivYJdLCa} VfdZPL"U(qDݑЬUMT@X~A-[ý"e"uލ|-0CswYRS:s2 &E+߉97Y`W ¬o gY~cJaI-v@w){.rmA8r$8 Tc3à cH1 Ӯ>MlA3߮R! ?&!+ E!]\ XWb՗okH"$ k+ϫY_1i*O?/]68}UwD="c4Spl Y/ *L>DUUk3z Fv(lub?lPw6k)VϬ.,u?:>NjdX@+P\ ۊ><ߏ§ys:gbY~}LG QS?;Yth)0i`Ĩz&A)<-'jpyd:^;m Oh$PiD9-8%Z7jҏ8E6#Ls"0Q\ǞhLhkʴ7N eT(!rє l +#\J=XƃoyZa?#*?/Qߵj| -FgѓzĀ[u46{^=_g&V>m!AH"I,:0Yt㝪25ʁ_?Mr1 uZbJ .kя6\-;.рM=5 ~y7_*e9ЩUj3JsuvMLB\a C @\*)w1$ gU ag2OЦCX,i zWUYrX<Ύ/{R/p@iNU@汤2Qƛ呥t zLWes׷7Xܾ67R'Z LUGͽ }5*t{?i1&qb qn2~`9z߫;H'ȯ5o$>~aP>xdy~(sgYT!㯔iQ:= Rׄ@pw#WM5 {m["[jʣ*yoGVkpλ"HL^q :w#F{kVЂl۝o6 ez.r>f| R'M4D}'ɦt@=La `WdJ׍aiTl;KpH6D9e ,L.9\mؓdP :yP7\I->E5ݰ ɞ8A"'`Hu­( WW ڗu!T msNyb4}"po{-9 .O E%PuTQ16:uZ=KnmuLoyc9 tq}N:Wz,/,F?4lc!ڢf>Cvz$$z#1=4MVtwҎO,?g9Ne+Vk^B^R an#uXO1kkxNƀP@wH -/j"!+~ \e<_%XM::DďQ"fwaђɲxAu>x,5t2:*u5( :{_cQTAXKѵ`jk~~xB۔y+;Beed[5^ۄq_̄-J^c,npzk>va(`J3@h|c{ oZuR+doXl:&8g@ƁVWWԇǚiaxj;$p-J>st4#c4簛p6lfygZ # |R600¨ W D.tʪD_vck[?$6-@mXY2E.TmJuBR>z$)e7*骳;JW_K1#~6Pձ"kVUhƎYCWaj !8YǠj*,e@N(G7VAo~8>Ƒ+2$>~bWqN*M4$U<ifPz"0mA jf8SF Ezi%N^umSiOuZeRmBVKjK9TAAgSx4*G/a-p@%p LOJ/{?rx>xCN?,ק&:`c(J1FaVzhpx2kX 5&5Eޠ9@o*6Ev7ۂ+'D|Nbr?@ĥ H6bwR]<3Tbnzfip53ؙJ&Z~}ˆ'{९vpG",久scZQ1 F;:ҋ^;+YgYZ7zXZִF! \]ŗXiɟ17L? KxlWP8SաM~>fٺdO^[O(wb̜*wQO HuH_zoBo oM#Kg~o]Jdiy:d7ߋp1O_r_67={U@I L"*S [ELv5LF}f ([/M6Nv/Cm84%PQ:@T!.@xmf%?xXY VzٱZUy!&%飿(?gAߑlSǥ"lyMI]ف:[tGLu>NlyܬR]ɜE#^_Ew#"YU#QRu~ͪ gl 쪫v6U/EqYb/g8ϖ鄵rBw7=bt޺|bs]12CE?'L' JD[xgYZ7zXZִF! c=H]ŗXi%B옜&oT yR'v \c("2Gt%5$F?L!-]ƝЍEK&>{dz I]@b@sJ_&oiINT#6_8%OF1H_5n5(4Ş%p3qtC!x=zn3;+srFYɘ % `M'N+F׍;cFG|RW#q9)qH2s/;9O>lr _ RcAvu&ZpH@ ~i@9BY@1ڠvhq/h Ic ~Y5xY+m9CI?ؠ~֍Gqjs ) q ^cT߾`҇<00?_gaFr-qeG"¸Ob9I+}e&:r)$ E[xXZ!/s>FKhtEޮ*de95U3JjESz?Ȗd \2R=0Ӆ4O%ҌA, U&<8ˆl?E+) )K"sΦrawV@V €0Rfw$_G#PTND<:SN )Jy5xf9:7 ͊M(Zi!Vu#ڒ8P\x_/_hNH _O͐U+&ܝB62?ݱ`zz2@tg9afZOf*0cԛ Pt8gЧ EU*cDiβh m\/ ~1R5ԏ O>=57(`W $+a ug;EJ P.;T!'ofD(Dgve{|&RON"~Z4 9&&LփNx1~I!pu`d䓞ؘ+*Jߨ>d{r#i |I@[铑ZvCid3JJt} `wLY?5 PU翺i8T3+E<Øǃқg{aV/Md<2js+BMy:VPz yNy@9ͻÔ/[_b5Np9^`GS5q)bON (>9Mq+}ES+m]:Œ{%U pW5p (pAwN.3›4(|A^ u\N\6t1 7L}H!W`N[C1r \EDzEr`;zm끊R5-z?)QV3r{pv"S<놤U^B4hVM@7C8V[z2{sZ z_1w d{j +["3qLifQɱ!jn38Mx<[rlC,jуa5]vs-):>߬ gݵPtenTAfѺ#򖱺 e\Z>ceu&^f~zzč8t)# RIp#'!w{u<н7LDMWoGS }P-mې1&cī)N F .z;,=FM]6ݛ63r&jO2 B<":YP,"Ki fÓ^\,!M`Gޤĝ8:=N%D\-8r]%tQVޖϏhDa8ފxG0m3pz$s%r@dDU.}a__[ CoÏRr5KcQp>N?+x\K;nCduƔc5>Av2k~g_s"Hʎuun NRhd?v )mH$* {șrô:!72wjb!CzC=YqEGh [g.' \&1[Q $&8Z{X3 .kHo` w?C,>#A ֦ H0VC*Y{փ ?݈-3$R6;p!sQ .ƣSJĈۓd; u95s=;Q:3a_F}]-_@#^v\[^3KjWP5兒Y.mNgu. Qg$biiU 䱸Xq6=/W Y\IH^T^$ 0N% z*` Jь}. -t ƒo7VER_(>'|VQz;Yɸu6 Hѳ7X V.='T!ϴ>-4z[*b5 @zٍt>*o dž:Ґx0W|UFа!nd9pA2m#wx/?)xeë@nc1G i Zi=NA&#4v:)P쐕=dqߑYA TIh M;d.} s&uTOKPq~wMx i&{IH[[l)gTg+oʯ:ZF(-`QW\5j %DU%\f⯝PXghHJ1[GܯkxN@ 6'U0,(+YS¢w\: jm#DꔛitD$zwu5E~v_9OюrҴsދ㷈km L_^"ƛT7%H@M3BE!L#no̮;^CdPkeE)+NȯA.صF=h>nrƑi8G=./!sL UBT:Rt4c>gw0̕.j^CPҋƣKЂ|@Š|Yc̵msbbR 0^RۂU_zbr';'80PWˣuH7/ņr^9~D[MQ[i >  Mw%~IpsD~~M@] <9kr+Xm%>Ng6}Tce!pl_(3),AuRL"Mow"ߛ3tJ*+DTYRֆTF'"4~YtQfI"G Bd.rb܈\@P*B7A̞9Ь ZyZLyӕɱ<-܈/{wД,`N2 QJPD<\ct%t| */>T.%Xa"9F~6vlDU"<_R‡ {& v~ $CgdB)'Cp8|֏{0]gصV;t؄'3ԅĀ3c>S0.[ }S(a4R  ~NJM1TslLqPU9]F6.On-0#{%VQv=YѺb$Hȼe ٲꉮ7D()"gH7|%ԕ,_RS^`>'(dzYg W pMZ\bae![tX ozUl1' !Ox뷮 -lZꑤb TL]MgJ@8c细zv;?lNȗi2<~VVwޖ]IxvTslGV=>e4V%C=Dl(p(B@=s=5YC$zRL*qE9=׽4EJ1M{) Y<2 c)0%mO#L5C?T܋b:+?(*y/tP!~0T~7s0|ߛN $+۠6aTwiKE8 #-yޖp}w[G.)ГLSM;:߆ '@-@_SDScȹ;K@9sRcc?6ۤa4Us'XNm<jg`vD{nbbbz\gd疫9N1O j ׈$<ΤO1a5>Ffx.!# DpQO-p1ԝMH(D!n\Em|$ЇcغMڕ{xz.)͋1H }*~/== ڎVQX_Ҭbq_9`p534L!V^@\L=o$Tz;7?W`-|O굖u0U[8ͧw-Uo|"  h)_R.GiV3s+4\~2AEц&w7Zҽڵ>AVN''Y'%-\,3v˻W]Ngkꮑ <|b)(J*D淀7#ߒR< Wu-uo5)EԢm וs{?^~4;f{jYbE϶%v>ޔ}6n9!p;A:|$Y a4皖2XەvcղA!>vVfu5o-G~ywתsO7Q8K[ 3ΐWH5(h9\,|dMýn5m_ eU@8EW.lTI>Ɋ=?4B\#&#u./!"7%j\JbUQIk)@AWMUQl -oEطGxJ2` eH[֬(}pw(uI fF{u^j JӚm5^veL;hDTꙚNXH,9A6&scH_+}'OyOx."z5*x|~Ӭ-P6'ht[QC ty fky1撶]I{4؀˝g He%A۽йUHzBhcV{MX9%A O0~՚W̬o,v*f\ ג, uޣmѦkO|(b)T@ņ@0UBl2O&[)f<ş@#!J"FuEP ]*3jX`!觀5 ?!ǿZgo8S'oG 9O,0TzoeJxp(8Y&v[ܘ䥑9C^rӤ&Z/H76HNJ(?8*(b[_Lhl"_d1>6f'uX@őEj]gVPQVAqyjԅwC>:RhZu[Ha&E I(Ft@AaAI^B5%mKvV mגDS"LjרH*']nFfA:zBڵV *áȨfSEOH!7yFK@8c[LuHA9o4_tLqi'c/Ðl^`N?<x_ƥI< %H~.n7"KtccD7WKxmTZk/$JlDO6[œ_63d~i d+|\;V>G!ClzEU1 ?;+"hOtFT$WWa@d+;&.X8ky~/RZ<6| PǗ o+`R$sMX.^i !Y 5؋d/s fknyI3#4u"rqBP'$8Rd?6,_*s%'ζkfa9:Z m ˽AfSMh4S@b.1i~lbƢzd, Qt iĖ]`0XY=Q}0n$oޓ#%\!CYϤerձQ>=o$j;(>d8Ù6Sլ<͉5qwǾZ|ړ"Xִ#X%^0`Hb=ͼ7}PmHKuASLϙVK=T#9yٰ#@Q;|z|_D:~PKNr䳜FX5"P.zo͟p&\fW5n= 0@|8]vwNbӓsYVjT"' Q'UM`J3G/,HΘg.%x=i(@ٯW;5j"Im/RoISc˼؂̬=Wq2p##"K9Bۨdh6 pv5)1AYM ^_?*)>&q[(YhuxHa+$+r2J{c?ǤHVP þDl4\$]1UHOV;غ]'{똠ӥi GW8=#{DV9mdnį-#:\mpxTײ cPE~/g˷=F;1kUjsz~cDÌ[Lc" g oͨ )8㌵qVqLծ\&S嚒oee%?1N%&?=7_9tW=֪"--%]3DA`fXWیpgmpH"X}; L-.ՙtg )Cª^Q\GoAqMKz4+fcm&̺@yAwN&&U :6rM7~b_|3yvspWfErM.^Bi*НjN`4|fgJE!jz$$A[ a;~4#MX'`ӄr_w9Wý{w!&qi|˵hݍ0O%[`ͰC,zb6u8M$;ҍ ` :N8DNMoDl][TO׆J#btCU+ayǯr-[B}]\\4 ?"h׵0t)!2xswjz\&7/BT?ŎOQD?b9a%1豛]MeQ໢+ Ձu q7dsÓmyDLx6*:cq? 85pE!;+bkEVMfh,^ˍ(BD{W0IcタyeX6;Coڄ TrȷR嬂Ae=<XṭǨ{m^Ir2]4n?J>YYх0}"^7 (VoEK`x)h8r8ޡ:^ 4@h\-;ûȗcp|+BWHH͈ qP,O@jz%/7oZ.f WVwkD?j%zi;F>J<\Ik5B9{!k kKۚҡMli{wJE(T7h,i ܚPP]2Ezρ)ϕt*7jU,$m@ ؎:[ q~W*oo+N9ϕKS'ۮĘAZ4; |Fѩlw"VOn_Ж YG4MI-d9Q|h<:#lζs"(oc64P6IO̕Bbv, z|c'e#v'jmt;fZ9wD^ U /^Lro5rp=x2bcfP`I`s>e㫟s< +S샔@+R*5kHЃI(EV+}sЗjv X~!;_[IZpڣWLWYi5fK<[wV&^+v Vb-7r'$5SIuɺː~5)?d^)_IO[1ۧZ`ҕ;Zж5_RC00{KIB!XcY;]oFv/on_tpq.;.̝$gbKğ0>@iнd?Oov,:Du >c! KI@P4p;(O*dqɶ*63c*CӭtuVu^?} Ӻ)㶖mDBߚ!5'IAq}(Eg=#$\3N Qqg,mUG i=?~DնDg!;d)y<e1 *v vŜzݏ9]Jiͮ>QCH_1ɖ ajnuDNuѢm}K|-Zف@1X!:9 Y"nz&P@KҦ#j0MRF(|VS AM./#iqcئH@5] }_Kg]_Ɓ&Џ5eAo> |Nɑ|Jܤ/'(->SQ@a=O^=l8}N9p+Qv֪'ABlFnV‘x?X*bj^I\elH WuAq7/@dQM My4E,qRJhS"N ESJiBg2fDF,-RzSYz4bֳr|k#`G" mY jQhꄄE D8Mo6#amLS[Pn̞.8 Y`5h7{6XE5Kp@Oy'-ri%4 }3xb9eo%U$~+3F!Ѿ0Ӕ]Csja :'2fLjĪ`7rms7Rx&9東 [)0G`BiK:iU8dppo2qPlE*&Ϯh}$$lY: n+2UJH7'jN֮-D^Dix>NWh$^@M¼Y^[j<bIzفrco8+~)S0v7^_#4 gKWf Kn q5 hq 2zsHn83ekvqxλJlE1X-%:yM^t^IىRWqK-LBx. KRU̼49ws{ISs cBuV0A mmWM{|Z6)QyIz0NBh}z yb\fPS)ȮQd?x7Cf{Q&kS_blj>r,f9@Zicora JOOTw770oZ\O p3^%V;ft1yxkCc@BrfڍF}RS̑uU&#3|c3@wOlCdkjYd:ۢ; iǚړ3:>Ubt$>3"ҹeA^ͫAtmI@j}"mxQe=OѾoZod%"$"z&|`G1! Rq茱ba,a 1QZ)ojmq(6C ϑZ'm{ >Nu՚")_qqV8>_).# ?Kẍ́x @!zrLy1O)LdXeD,\M0N"Vc@}KM)%Tuc=IaE <'U=7RY0Q}zxqoB?CQE1,۞i/8}05%LGތekغl5uS!+܁ӆz{XT+;pI28b_E*xE0b&?g6O 83Fr\ F-{]Yh& NPoy!5ǢE [bKWULk+4̌Z\<-o7|e~F30?9Epl!E{-b_o~y_;dj.^iz:Z^v)M@HӶr/Qj{lcG'bZQƩFo7OEyfs[P E7ɺ|^TnEt*T>Z60$<.3]CTVqwu)=A;MDS?WOamV#uT戸+:gW3:h>K-" ͡J c1JjDbMhSЋ(|jĩxӜiQpNPyYrr[ W 7W>}QRy),qNRێrfxۗ'T V1Cr5wpz e_6  W;XⳚ.H]9 '~&Mh/.S^EFv]9Z\^°u=bt|GGl-`cwHIEB,?_-ȡ1EnoK àpV\V؎34鮗 1{xY\βb6m|>ASCl$7݈iHyYDr*2ĝ}IʒFUu9 7TqC{+^fg۱+0N:cfV zaG!Sbj$AOAgsZĢ!DQuwVD@!OI|Լ8h'R jVvn^OsA +0 PӰq!L~2S=z[l908pl,qSZGMM'Gje^ZslRxgNΏ0|)5nW+I1{❧fO;Y~~ XJ՟J]p z]Ta;UGw zƴ`N k2%oĊ E\l4Q?2GɑuƷMα@']K0P3ZL %X9Sqߞd_; (V([ha;\P<~˧.ƻIA3"p2]!%aXQZdqjAvFj ݂.QMM.* FPt&Ti껗l\NO'<`̟L!Jܜ1x5I'4:"eRZ>y\ÐkV 3W'0H5\K̰ao` QzW2W}"՟nǕSe %;\QTjzSVjm U=ի9tNY$q6Y^\^msXV;)GPHSQhɅm%$ڄYN .@YFMo`c3~ZA *~]bh R!}!*0UyZ7ߝ\mpG˻0vs:D1"[Mi5T6Ok1mF8 3<e.9|רgYw)69\5sAƖI>9Y1抩Cu*%_PԔWo#ꭒ.&e|bp|4rK0s9nF48U)}1vA8{SIYOI/hu`Y:|b<P}:f%r] 1,1Q;VFIoiAvVaN0~rL2*#/@$lCҪ{ŠM%Vʸ֒:CNGKMf&)(+6Iv)1/'?1`,LS7|wC@^:f?芋p"th'9X6/&&h6WL +嫹8>1D% }:WGк SL JK )͏̼%6T­#UqQ|~mF)X{p(& җ4.S[z*8HN[n@ f[b'u3W+9PU(DBOI,_pV#tUBXct<&Zys6sG JIފoM*1o)O"q 9 ]$qIPPnnajC)0IM 6A4/x8ܒl*{6M\>)K\E,QkcMn gِyNfr=O9굍Sm/P6159$x[z04k3W!^Qpl(`ig"ʺ7xфpAnZOiQC!=!vDtɰjPAʶzRUO&\l,MZNP4i?獪J6 7Z#{UXZV oc[ߪS֝FO$!t|d&3b]S3(dUb0hft+OE5},rBDC^8Yʤ"|̑6%l7ҶhKJø9uwlHS@<z&1!ZGfT_7MaՇц%Ry4J ?|YQB>6HB'հ_}y@)GI$8'Ix4yIj=*>M*=֨ۗB6QU{hpW`Jacm[T(1߫wEM$(P G(wWbT_`}#E;kPQMN׶G7o xv9;Nx5wMk+f@mt }Xq\Xݯxr c=\eymϜ;MB#H r|+Z_3&I=ZeYt\ 3?;/ޓՆ 3sXbOW.Kԓi/̚<ؔ v4ǁe޺&:,]"(oI+uO0Lce׋[q$ )ql? '&zcCwu v-\!$e \D!g 97 Bn5#ĖE pG6J @1|1Oաl>хJL]s# Tt*uWbLuHo84q֛Jl_U;Es-\7WYfKAݻC)(oD-ˁL0!4\e4d18^0K>10:P+hL{e4/=5*n~:#md +uIL*Z^&[6O,vH47n ~3}BĈkjڨV^3ѿ[ *ߌe { nƶ&YrU?췵j0Bgڢ7(, d8aJ j&b;3^g-;noBnZ.du'lȒ΍w^I,!J ױkP_[?{*^3oX4ۑcbIFuO ;Svef RԊP);~_B"w {QT6;4)<8)ISS {2wm;\3R[h!|gyTq#ڹL qPļ:]eH` "L,'L:Zz<¸|Qd{ĪX3ܨSn-Ey&+^ 0*IZ$ Oo 9碔pǔ2ՄLdD}rԁU8 @pV\lHduZ5A<~xPˤ3|yg/fSY)\SƗ xBCY'CS1h>.5 Bi-Ƌv(g)"a~|RR9YV~#.ح=Iߒ$2 ?A Fr9hn )~4:S t{j [1 ]/GaMb57)) 2zt6Jsxf^hjVV*.#*^%n\+!SVxM"P_׌zܮb Mmo