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   H1~T$ ]% HOL-Decision_Procs:threads=6elapsed=254.715cpu=1203.204gc=188.5607zXZִF! C]ŗXiɟH)0!h]G3| 3J#AJmA3(C Mn$%54l2nDP:ݢOd+= @Ώ ɪnF?/'%^'?,$eupAW4jOz|ZF Ee&ĩ޶9^,oʁe<V djZjE,EF…fa=4nsax8?FSج_`_#`) Rs_Ɯ*Дa^_NXWeb7wϻVbX\!͡ф*뇻+ّ1X493DA/yEʍ sn߳7fQ[\rmeG65<5LV wKҠL9map㥹sP,Цmz3:W㝙m§jnzn]&Sx w(W7ȊGX'c`!!OZw"w0p,r#(])l0}fzWh$-Y_ z 4(YSTA}1+zKkNf6Ak0M\^[ՔGq"GܵFcKS$Ye9,U݂=ƟA-Kx ɛStywo{d@~Aqwe^ĸ(J7+qbhf6EӖ^:>JVL`YU.@[R8jJ; 4=Bdz*y7Fͅʕ]d\\:7 d0TL5xeKĪ WSa0W/V2Ű:“+cXtO^Ynt:}y=QQof%4o}R/O&' 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 [0lܱc  s?wØ֋/H?[GW8> Pfg‰ʐ+D.oG+0X]S[ IécGpZ)G17Ҩ&ă@Qo("Ez[_CcH <*/GAtXz8kǮԋ[$velUi[>(&-Vd+DٰO c { @h2T-eԌ^@u@CsQvp= :pBaKIY|OɚRd by܉{Hh3+7$҃Eo aK}y٥]N3 Cg5Od.K_C¯EH&:*yf,t7YK:С,v!md\h,y3Ph"IwQE f@:#7V FsNwSFdlౘ9Sz=BSǝDFB{TPn|)qpa3v D+BLMjGȸiUvp,^-122 Xp3)GG>|/7mS{=zVp<bo<^+„gII莻6bNX'jP~5ch>u9$:sGI;[fI &ћeD&-h*F2 rއlئ-E#A`pT/`{׉X27E|1׆=J<xӰ94i25OԄer䂌#eai3QȪ[ Pa $0 Њ@EFaIp#C[n:$ˀXĹN}F?DǐȬY&ho3DT5[fW2X\ ?oUu$:H7,3AHCͺ^jmaz3ws{= VF_bI سEY #b sŷfPf> &\FdѰy- 8>?Pyh8ӱ?l"i*JSmyT+:cML^♑"[,ܷ"+倯gv@Eө" O Qt/KoTi-Z'.4]pn6p Nwᷘ~ 6!UX= BWTь~-'2Z^eĢ#V!('{{$׳tf8ז~RMJʞ A7 [>%R)A ^~!26wRs:J-֝Lա_(֜n*bv4ywP~կ7K+ܧ$Tꑛ(żt2\< kRL)ma,Ul= pC;-LՆ j;Q5Q\AR4`YanT4q{I3Mf0"HuݽGswi|,EJ.\CgFqttZ _vn;WUSW=a\N(W-TgeP+m'ppb8,IE^-Kͅq 0g1qr=HZKc*jR@(Ll*~N&׶]Aݗgфb\>&>"m(.T涛?^I~jtҤz; LH ֺ.菆{~6ABg:[RQҊ6g2ע館|; {KbJo$%&,0uX~> 4҄Zѷ)l7B7̄ڜ!OY1Qi&yL$1~p{%`f]f6O=fChɠc} 㖠KΕZ0t/{txsle<"oJVbƪgY7?K2zmYeB NFm|~~XlW`_zCviG[iPH#JRUqAa5I"!Q}g7* :t:v[XKG ǶtLrj J~ΰK bqT\%4d_(cxRh-;-gJ_=VP::ߘ.l7bR?58u FwTEL0,mD*DD  &֤l^q\{B}1EmqΎJ^X,/Jm. xd)*@4uE9@-Y AٵQ_5{\u%FINb"O?3>7EQ6MeӂTD+v#hb)?]"L5dCu!37h9 5&e:z؃WL182)o6rhf mJ+U8: Pچ H)@Es"9VA2bO<%C}gH*K7./ÉVEYKCܶ?B J:bA7 s)&F?)x??ݲ͏ò@Ra~&0Q:K8JU09pyXiKp(-?Ɉ4޼ypEjխH: b .Hr+ Od jmȿg<*8`*lw|1ht s4;bQպ%ޓ ܍i1Qmke\<{'Xbzs[fdy*q#aٓ˧^_x2]t0RWgg<]TA`|tv\gNz07*"Dp;S)Y,:\U:Qe0`m% `Ŗwr vYTYHk6\SCJ^UvxOĩA!Ȼ-3SHOG3%ډaƳg̡7pIoBB377Gχ{[uVζ}/G){IPMXRʎ/Lqi.iixHbMny?`s,⎈ ,3U%c:s)fszm[W0YR'R?*t,g05&7'r#ն\٭:Mݳt{x H\.S%2PK-MN5>!o"-zEhSbpЉ9QdOPDo#6mY1NU>M : xjh-^ZDe[>R!G4䪐.(%Y>˃XA+] h'`Cc@me*ۉ0;%a cC8N! <W[Eٗ- ">J ʭh@Nzd6]V[0ww TQZu H)GX R>Gj_;s* e/|kL'CXGƤ3 OYuw߃%aBa/r1䳋|p6)ڙ{zAMyՀ $u1m/JOzl:C@Do{Z&VJ+Q~H%Q0N ttKC\O4=NHH̺ 4NߣzNƱmv(17 Wm- ;LqYDd1Zg?Oddw_{.|RcP2**L)N =(TՊΆ8/igzWNx=rDNd lML&60@ 4bC55C8 įz U_5>Є#ionO7bF1~~?Uو ewnvd5'a ,f4?bEG"g;P(LĴ6{̆^oQ)AdLKv{^( Zt~8IF|AUlOyfo9S_RKfؐW7DxӰv0_C( 3…g+Jn-IV-ʰ{),' ƨm+ΰM5rf B#ޯ1~Y'OEtǵG](UC>ڵ)OblQnd|*l Iݷ |R! KMf 0ͬoSeY ,[dx+oHؼGY\!C2ZpZbGN2x绦_of!Cr?@ :dݦaW̷`Ƚxhwwfٺdc͖JKCs owC dW܃qu'A ]EQhwݹvmoI"II5wL(\b|̳>w2d0tM ,uƻCoWZx뒰YF O6u$3r$RI\WeGX_Ea]c` ѹr6U8ϖ ,dߧw!NO B\?J;]^tF34Ve U< M8C4{y*Bx;ݲx /D:fDŤ)`mތalB;! ︈ZŤ}W|y^Xlɟ-+6Fg^sWP =A޹/H'YJ^ov%|{A3$ȈL@ǟGv̿lcjk/gl1̞ph@+R;a*mA>+R*lʱgYZ7zXZִF! f ]ŗXi%L(q~ˑG(^ jMmSJw`:X1}g0JaPc(/PHw2n'Q`@^EivT,SNVOR] q0#ej_?9i`U(Mp4px @_( QNÙi_(x:b U 4sI 1Pac f8~.M3ȣ~PŔA' W4 !b*ًoU9Ȕt2>PC<7x/uڐц #li:V|`e_vi?*_c~xSTs М&. RU"CF2:#u&੼3UFbuj-n%jJ&R՛x0ofYUR!EYy⡿3!%m[rZ8ÿFiB1lI]0'X3FTV+~ƽ- Q65QIHB&@[QKGZOOf낾_w?Il^tW/G5?r9ڿ:,_7PjP)HR,څW'Wɿ) +PshMƤ`Mh:Ld}DDԡzDV8`ŁD2{2r#jV܆4妅$BH҇nj0f{̜3术rE (;@o]33r]埾m~v cZ-RWbrV4$!&%9bZT7[dC)㶷u',IΔ2AQc~C75X< z}JȊ59o]ƙ a3 d$?l'H1d!o2=*cY0񭐔2HcLLiս 8eɢ+U\ =a篕kUzGO% iXf~<]/ hL-K@ƱYBtӋ']́~0/u;=lq`tqF*Ezu|7&2LO/<KV)I7-0 B`q>p8Gq7PKЖW{MwF? Q!ܥ} %2\sЮ qX>㟗WIA/s>wW'`^T2Y@^pZw{=QזOyf^Votz +]cN(GRt;{oaQ{Cz݄lwFդFHՖro qL2*FJ588g^}'~3ovm%z%7)BKOmX?<\ p`|nr7Ca $x#d;chݿ\2442tbb /4Fe_M.F|EPlApTTnaӼ(^3,{ B<(jdӜ}: >$tO/(u|b~v5DBҫě?˚;~mHuzqaOJIZ![qS-oF Ӄ<|/g/Naj`0\3Я{6m: 3F^2*CZ =J(t,#_+qI20-$~۷q57.7em7kUWxNP}ȍ)Iꂲ -@m49 1W/Di]Oc: @--H4|j3+6Wp t;ZDڋF:I)N<o)M-('2OS.JO.X vc$[S_X0{+!wuNP9![/35{oS%"Д\)v:j#rPzW/AWn\BAm8^{5y.9Rd"8[II/ c@nīET؞"tɾ䉰NБ=J`+qgj $c߿ hv9cRWFؐl5뙣zE2QUٵ<`I ƥ_9O=? ;` }߁l:#`6&Ok9gP(5e"}[ ڈz pwlt!E")o (i^ܮ@)ɤ:,$BrjTw"uxۭ詓}F䙺ہ!CtRf(ld2B5piE nٺ)pU-W_O sr d|ڎNFn5,ۢEe8e-,lM-ĭ88DC5NIVӂx+BTJ7ֺ3MzܔVSmx]kt{ ;: %SRL~vwi%6[UHLgVڔDoí.cXWrV1]3ꁔnc/]UV70ė7$6O︍!xځ25 %W,&#%9:X>)פO޿[Nrr6=Ch10.RDYo8 )x(D EbQA8.m\)9$“p qE(y8Ȫ<.fL>^d` ]O?ׁe.Z1A_PC,AbWʊgW :8\݊/M;# $|3C y`N];L>*_S]o>ivxDN0l& t3C2+\E-ʢN)6JXYs"Dy0-ԄOQt(oR7!O@ ofU"$Got󿮒,,fuGYv S'@,cSs@1im//` 0WԌ5] L>'KtI=sw3^ԼPGEeiZH5imT7:qYU8&.$4`Y5Ҫ2_&t&HoACM2ӗ9ڪ )аQ²AI+&*@9B?rg`-?neEp4ű+ph-`I"w'#vm; +\=?uCխ4Z!|=D ˉ}d.c Q8TS,,20ce*Eq@ %RfZje8J QYmF|v[@x@)SrR m4e=3ca5=?:F %:P i+C|`hoiwnsmX)]M( bH]'v.l*NmUIީPڀiԛ65#O,X6Q9lN2l RO5/Y ZJ}`xfm޷~MT㽙*߼]fB?M.C|f"%u~p@zXNp SN}@&bǶ>k*@)KV(0[\e=iW+@<5'마 yH;aolXDcn3o9PX:ԧҕޙx|Q5kNΟX}:~Fdݮ/ZO)Up"5ؚSSPc3M헭b6gJ܁xhnQ`s!B~u ziG9˧Ql(6gX5uR݋h͘}!NjۋaNGmX!xވUl]N4K䑴ݗ  'pOYԫk }o䑵TSH^aFͽ'x%Z ;kkحórӤ75L IE2dzb޹>yk 9q iRd77`-xj5XVu> (.~LN_2R+#4:+2FgA1u>.3"&A8Pg_@M eoʞ@YV[G[D|%m ! |IA_|oKܫF`+D`,6?pnM-֚0C .'Ĕ.'׌AZ/MEnRY ,$v@ZC8zWƲ6L"J'H^L@]xŢMjbsTN͵'1肁%YoY}mZ.a#^%ym6k6A߸A\eg$Cx>dG}p|QPPNd{`mۤ::s惰Z=N.햐Fί]>EJV_t.8TNJ0296Fdy/r%_߈Qq}TP8MwFnž*`ybg]I[rp9F>4`}a35LnILީA=0'Op˹DaMB׼؟8OCWiR.oͮ%>6,# 𠯔40f_a۩*ĕ)."%x7/(Jzg33qH 1bC.ܳy煂ctzC.hlf>($ 9a6cb %KcfK?H𷅹!g5g̓E'Lͅ5nэ/k|;}UVpQ( T\A//":~ \Ntoq:Fr} 75}pyWu9#S~ң# \˜CJ ZՆ7ٶSeO(6:Q?D+ G^\ (Ec!e"u` Mk:q$;$zhZ0ehLl'V6ޗD5D^cۨ9 3[QQ=^ 9`oP2QdconËRV%UB{lz_򜰫N(56jm; Z, >z w*)Y/Q%(h)Z}^MN؈ oEX[xkt48`Ao%~!s),mB(LE\yfJhV%(Ζy5N|ޱ]~&7c~FZޡfh!l}whjyoyC!T %7O8Uj1\r'+tON ͙7[h~KH*d舙mcRa|d7Ae+6^P^pޑ~ΙqڻF {u}&!jW6alռ\= !uAf8hQUX=մ ֖ O_fݥQ*p O3 zTD>pb}rA(j GOp'Kx2X(ΐnˇ-H9c |IqQ午bcl5ݡ2%+6=FUd ेt)e(X)"b7C r#TB`/4n0TCK!`t{y{3 [b"Rj`}؆A2<4ա s_&/7jj":N!MU6U(d˗ b\#ldP،if*;N\ .~<v#msʵ>vwFλ͌ōb -~Q n=ҡ&DP=EGpT}Ms8HA3Ǔ֒ZY[7>`lin!l\YNR7*c"fdYt4&u*N,\LIrԣ8kX#e`>}U#hwL{hXL~:텅Q2Ft%Es/%2ܶOKK:>y3_ptq2w[*k)o?@ڷ8LV0WR+kh匪W?yCZS09G5fpV7'ZʝG ulyȠJ6*5j "=Tͳ:V1YoJ4yJQO~R 21˼Rxfwu k \%5 i~tPәݓgv/;rG$ |˝sʣF#^QAUY{ziь> ?NCf0;.*16llzcWUp|cLlg,5G8? Qfnİn{Uޫ#ܵK9ؼ&.} }(O7BEk]x1(UVUMYwO-4MycUĠ2?dG\C8u)PjN'$40%a`ǣ)(+V9]J*LZkQ{a >]gْd15֗bz4Tk7xGj pkZ֙H'&cLbaut$([Iޑ;PqU܏E.ᱲ.4*au5JilR/54kڮ4>\a@=9 8Ddc19idU) ".3ptόRCҮKqf^^Tt^8z(?J~⯂|~!#=6Q}%f 3O,GZgxY ̹cN[J6I"[J /DǏ؃ŜT0S HMƢC6/?`%фiQer.!(/e")c{#3AF{UCYtO4fviyݱS b,}Rʘn\C,w_j+mpu"#+iSD*p9 ftxD@u}Qn^ C9rBfLDZWز)([^}` FǢ]5NteY@M#^6r;%:PL (`v1"̷V&a֥/sKDVܛ3reBJ,.>W-^sgC&ɰϵ^/[_ዒCf,}ڞڙoo~KE{o/a4f5-YbK:) 2LOxEX\/,N8HTT=XNyz&_N&`Y)k6Ʈ؉ Rڎ?4eBBe6Vrddbpc @5f'aD"FfU\MT[׉R!>8#ҙ ClhawXT$pPI̸Ym]jh8 oTUn,A>|TPJNb4=-؉၉ f~a[䘉`fyBG 5W%7uk7%,1-72D AkJEڭw24[lEfeG{d>1$v^5^]cj6FZM7 KnuewJ#7ƕ#rl;hz?sLd Xٹ-ͭVL4 k|U8^NУ+R-)fDԪ[OvyyQ\M`_GVYkWԸ!W'rjiyHBlRNLhG\Vό;H+HlZչE<H(I֗՟)9u-ӊl~>{Q"B*ݐ"T3ۗaQ~|WF${8[i` Mj+WcFYQ 8`Nd ]qw%xAed~<Л6KCt!GK90;G0$alXA CSʱX>ASх@81}I :-lNᦆݮ¹67+ 5mWF e ~> V/q襸(E PW @C)VG`Sl$U pl m#54RS(|4 X9L߶&9s3CW fth(T/M~Q+{o߂̙bg}[k-<1r+WP S^:-֯2j?2*{mE\⯪>ĩWXdždO_i9Q6'MF3| LEVO=*Y5$_;g +,HXGe #;"?MGst}-; er=nPe,}θ!}IoᦆLۥ+ʀėFкcQ~{4=1j||w?Y(*Y\[Z#(z*\Y˸gx"7QՍ?>;geMu#F6$E^}9S]wSp^׊ *7/UUd5?5ml7ɁbaA3~vW RAvsG,TWmQීDXVuO2*jO l0b[Hz16l%lr]q;ȣ%N{<ZpJxږOl6C,Dr4nG}ϛܲ#*rjUB6Fc*qB~ 3?6 )f>TTQ/$=TY(7Sϖi>~gP;94ZTu]ŧ?dQQ@}S":TG(3lC9˵f*<=!/!cgVGW+ 5D,TǠ!BgƽgX ^Ab骿ʉ4i,ВQSk23et? am"Z(oڨD(n*wT^w'-@xmߝI8`h@ȉ{ ="=fL9PI[^y\WO5?ЖSP&@H Req?=CN^ NPF-bg ד3iJ~ɍ`/lBQO޴ 枞j/k`ũ%Z#?".}+5/()zgRa02T Tsi-|F^j ]3a%bFɐ'xUbg*z!Hl+8 5I67vtAKeT`=! [2 Us )G/P^xxb;#e!UӻJ:z,޼@qsB/1?P@-s=[ݔ?oɢ]iҜLBR g ·"s<_Uޕ,Nh3ҭxڤaZX`1ӚIQڝQ{h9xQe#@T."]c%BŦ% j(vYg!;mմ b8m[ %_9GB] .c՞w|W,٨ v !&  Zj&;fRX7!ۺnPguMs#AQQ؞\l.;NW/"MC-zwV )N٢ dab} ]6|䏁 q,%]m7HoLrl]*| -LWWW4ϣOS1t&(rT_7"PXD#օlvS̆>h ONUg/3a DxڿjV|)+a;p,Ea` =9>gwa+a(MGB2[T}ӈ(:!&FFt"SY-~v/1NzEő;&ո{qn@6l7%StrdGQoC\4Ólqlc]v4g$/ %; <ːJ\G]>G :=]hX1:QH*Q@?S釳K5:EBXi}کM5K*K Þ8͎ʵȖ[t_Ca<*/'bx|0{_*ӥcfvSU$5?vfzINHE!\iV{f'bQ)ECAs`u/̣D_(G kC^R#s@/sH@7c2.dFxj6hԎM-S5ưȗoZ *lH\56w x^yyEJ+\QRNjK^MGlwmn$[z %KL%)i*_`$HFt.8'hT#YIu\_Qf qA'X1ę I~dۉZ =)#3q>#UtrpgER^),AܐW8̐[6>4.c*TJ-8& :_5{M3MyپĴOzHpOgGFJE g㣆 --DQGFmPEsqf@s_gwM6{Dz}WAe9Oe׼"( Y9i'"ȱՈScm61]wOAB‡MۤQsL_bx]BO1Y/u\LAV*0j̽į9.PN6k9R:k $48;/2r_ۃn%l,aBHdީP# ߨN >yl$k> "Zo%FM4}O;EW2~B63lK񤰧8]؋ ݽyXbK/mi4rR?O;YZg1a'1Horpxd;T-sr$J%xW!Z# Z:ml31qoVqщ,nemX`?'C d,<,qz8]NL|_υ2kJJ쥠+|Zn(.YYNtv]b߻Urḳˈ'NGc껰$63tIە>qUs ,V/&zvt*2OW^[Zۭ2#r 6$'"gl<\-D޳Yea]Y+#ݕŎ۽`2JGQD$=AM ,7Top"?t3v/pCHPoz֦2:zQo>W: :?[Xr0L n=;u%tNϖb rT핕1!1Yc!XV{KX 96eK /^َͥnPMF7[tMЍY -K?ŸɱZMP^  +~F>X{9@"P`*L1M`Ā9sx } &h,/qAlD!^݄)6BƴZȦhdV61NĦð7vU_rHmП&{xvlz6Tt18&ӳoPe/~禕75¿2;[fNߗٳ[RtVm]5ֵ|k#yp(" Ztm Dye†xɠ AJtDЗQhcB!ap,Lx@9C׆u/uH g :g2؇7IB^V<O Ţ_r^oQêOꄻlc@-,#ƓBv:F4I}Ֆpq Ťߓ0MZ*_ 1an=\cLO8C9(Nں ath+!%%p[wfF[Qwr49vЊ(?/,C.Dlҟ}O7OQyh9F[[gGȓofMQ)2i"PDAx9"XIP>d+};幵c} n}q2_Ml!)\+#d5ooy CE_KjZMk'[7&8B-q%!f}uKo֚L$G꠩BԮٽ29')PMuI;/ fjam4or7L Eq88y%p萴[ Gupm/;)b`J,S=nܚ8L8~9Kcws=6qI ՠ5ǻdL3 (%̀?1 C&V O^PwQ^$&{s緝dm] i&$vN\/ȘBq=6 y\">9\n-? y?7+LZ C8OӈLKWҪ@7Gp Cu>&zF,$\0aa4^Is[Apf"escd͐z7l 5yH}]ꯌc:IҒ ]i=D̶t. T)b,6l1_'́n4twыC\"0߄='PYeK#Y ,(RJ/W%b8I!LVs3PU[$e =f?sע8EZڐߛ,AdSkSlW٩l8F ǟ]CFڊ/G)ܖ=hd+./=V"\gCmp؂p;*PnҰ=7QC? F$KٍM/*(hqh; W2L^櫊L;a[͛-Ǭl#-5Jz' \PCZNi jM1m"=$^ExvRxTIo>YD[={~Pȹ|p ӸHK"ғWkٗ x[(tp1v0%# Td%D!MRʛrK-PdhBY%fBV5F'/0ez3&Cr<Y}ȎXKx?>k >C ?x9◣7)$cC`R wMڗ{N GE?Ba^&M慿_f4o.og1cT9aZ}Ev߬Թ=1#8fzM>ƩarƏN !nÈߋΚ7P=1DH-#g @~`GHT6<ʙd^I{-tnǴp*`,R GDЩy?ȍlg,M*҇#kF%tWPbXu&}-c'Q(K7uɭ``ܱ=t@ur7R{( yXg_NqѶqdYLv{f 7р: _*k۔h\8D l7JY w;yb/y  @/1%O'%6v5G'VUH%Rb0I|E̶vlyy!q)eXa"J^Ut6>^϶JD& e"H6=lT=Eل]|t\<0e/s~2/笟F@}QK*VOV2xbG3qu:ض%=oe zlboU$!c4p'` H<ǦG68ؼLnHxu1!H64_0Qs, ~ O':{o>Yj͚&!4sSl+^^. @I>Sl~_C[ |vWe\@5fm:ƒ&5mL8({NI6[>¤DA2p*qk7 nj}JAT-!8("@?*nOWgNA#FFvm&L8Dm7fA5'y &_L=[;%֜eKdO0~V{ -ך0-IkѪ$PE+q:ݛUc~m~di?)bK*c`>]$(^>t5<5;ԥAIO!ޓkJ4mX!6AvSLGIVOĵSQU-2"pb&0icD)ܖlq A;%R; @ɔkeOm0وƭ$4) D-|. k^m_M~UmoUCP9SAzb`i2$f˄)SG mߔ8l@ƻ[. w{@,'J($A7&]WY5%|[5.'̼td5 [y azm9Os&nd~zpPo@|@Dbu&R9X *si8LW ?}4%[gۭBIf&ÅԭǙ<Lo\FaeSF,ED$+ ~X+3r_"Ά!Wsm䷎єhn(pߤk6)yJA!Y>RxMd@u |}ge )x rsasXBOݠIhNKɺ I^C!(Z$Pաd;}bFJY\nM6&;Sz;"=;eP)HVڀ,=t,=(9CIƿ&arZG'W5(XO%DT/Z6rW;g'lEk9Y3C1$i\>O]~ ۛY`k%8(P *ِ̫8)H4͹:Rb9Qňss;o-zIf!z^y1-j=(ڿͻW,f`x4I<سnT`Yg~yuCy(J%$2_ˇ~:"AwR|j][SNtShxk+|f2=VNŖJԥb5H{RH<Ɠt~Aʂ_+/xmFrni~7buc2YrÔ|v޹-E9xEz;{,l65'(X?/\CxݞgW˄]TiVQ11UTRR_W)MB, &Ca8X@;ğD%,IذϤ/ZK?yJ*ȿjk= tQ*]g)4,3~cj牸fAvq*Swk ]$qzn1'(sLQFiTfb*ε[x!}P*Sr+E(?qZD !X;dfgk$oKV1wS| y#{G|fɓFa*O9bt`h+*)}K\#,XrS ZakI6CXdI r% ^uoSîk0y [m/K=wRrC $~ŰqTL>PyQ1 ؖgv,>,sHFsVhgy0Nk[ ]Lj٦{4 %seiö>08͉D}ybCdf[9LE A`_vzoDvPB72iuTף((Ȧ=…b*Swh~dn:z x$¬R)ŋ(Sj%jҮej({6;Q>l.Eb(o 7E{U+.29ԢV+3 vj*BTQtĦ?7 ȑ2%|h{'\)lnO<<1q :xCeuo4~ŪP%RbjX%d.uΖld{3e).!8 w8 չ۟] *]s3OyaCNC cgG!qyL<-? m?o%RHj(~RO =ǘm Gѷyc}5:օ/?S/Jl,?̐ceIuZN9 S:J~%3i S"7* (JB* D6Q~.:~h!^FbMlʟ(I5hfvC&. ӻH"5& d@rUV{cַifEM6ݶ͜pwwat0YoKKKA0E^( "` :O!`No֊gfvC}dDzm4鏘Le>Aљhqiv@L;J1Yh~`~8>e:>Q.:)7Wi8{s\۱^~: ubŖw=#7FVE8=Şb5)uU_oa J2v䓵"yI{I-xXOsyRRSFVhwjE,I Y!AjtweP1.E@2-- %kʷ!IDR6R4G£"Av&L!i \k,%yN] 0oy6ݜª6 }"i.7 Wُ(޲x}K^f䵼˼I..F ĹΤϊ/`8Q$V ]~xL鏋 +,\ׂ=}; "5t;ʡi SHA|2 Zi& a^&lz]ڴY|C -YX.bu-DQ|B:v~!Y^Z<mPvߴdkJS {H"˕{H,_e&x~)SHwc\ y MK}P f2L'\jZm{Ȕ.xX(шmHz;k0ƽ4 !Cv`g nT}mM?f\nMА^`!sow|ؐgQo,)hnn>wB.xt%%9.e =Z97*$l\Ydg $OARt޻x1& W. ?* 36^xfO*U蜓 _ _'6!} nc9ڪS5QAfp*Ӑb6gO.RtU 8x nHTP֪bfD ^ߥ69HjKҨx2&Ī|qsbj^&-J(Yjm-c LfG&ݶ1O Of7SSc2:.i ݸh(BTHY=tߛgȊYL, ǫ90 a^> WI7Mv87 hwTEIgMgjUM([]b+wS%.-P.>,z٨1PcE$%\iL\]C2R74w:Wٱ|F;Lz(4NM#OUf 3z4`BoBș&T;3@Q0`VpuӬˀI _zg=2ZGmn *@_\X!:{Ë*7]"cis* 2 yuE> a:22NEh My_JSq_+IZ5R d}FwB#L,i!Q*whK(h֢|9B80סAe,m2`X|k"Mm:YZ} 2׹]d?ɔFne:,t ԭ ,e]NWu3AieGOZyFnaOb÷kiqN ͗i@Ap&.?[#VGQCix_aslX8,S(FX+ª=n؅Gޠuf}WUKj X(4"3Ǧٓ$1,037Z8Gt2jOs>L}2lF]NSRՋfFORFA! DC)n00A]tÑ?X,-xfo$f `,4B, 1[/vטREQ1#6nٓ`q3jTqkJpQl2)gYZ3bcdcc2d37541763b24cb93ded52d241b2dd7d391ff54ca3c0b35679bcb668ab161c4d90ed31f0a9 27a80fdf367af8eac6281dc27ec1d7c6dc00010d 3813e724c94542385001c5c6059f42e7d9acb899 5f2892727f1f31b28c82b7894fa8394ac8111608 6d7464ee7b2b7183da5e5d386b48576132418c02