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 ggy1 T| ]% HOL-Decision_Procs:threads=6elapsed=230.438cpu=1082.472gc=121.936factor=4.707zXZִF! #]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓џR1= )k;6Yu\ׇxyiR=[-':I[2j רV^prr" S#1KWMpFf -}nN]/'t]u|W>&9?\Եq,sJ' <3ÿRm ^R)4? O?J[897j]`9;#NtT;Xԃt!&@Vzm) ~_. fQ?$72q2s2Yw2qs_\ly:*kYK^_6 CIRV8[^8U6Y0t`oػ%f]L]:ɨL-:^WSr#?k~eA>x[u=t)]jb$l'F{?8Y634T6slv!1г܃@I3?%Qo b{G`)42*ѝĉ4 mu,浖Iř.Z1!=)Bl| 9}#R='%~$i4>3_y E 2Ԛ*q ^ܯN?`mT;x j) 䛆/eAnEj>V &_<jW!@ks}EL^_=pT ږITըwSfKGG@ ӓ ..f"wkG =862!X fM!ƉWWj|&9tC#:dʵMH\S̀ =x+q+NWy _TŲU4I_aAp@ ه FKg{9;mO(&ڗY:Os&wLEgZg2pC*®Jvp!Y"7HR\Z/eCG &"s-H6lD*4\0aZ;KIw0t3iT$ZX{ c  pb2-62BWVFEX?K Q8 .eGd5ίQDϳP̅,}#0d|ͱD5W W "Gc -%^f:+qhx$]C"&sAPˎܥ,8W2h -qYhBJa{yrLF0PҐfx_\pb7CZ[-JDjijK,f|ap6U@&ska9$ͩOe0H$ 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 қ%md*itk,8sAHBJzOϪhy{ h\ <uc{K>6_6ƎWTD̝[Ӡ'W\ӻٹzkLgjݰvV;E41V$Qh7E??OS*Söaޱ=Hu I 9tlj8֣|bA6Ҁ+-&Uf3% R lgz3idj!~d Z.TP~Y$ˇM`%gؿab rP?M"&9L;3;*>I h&P0Wq j$nxJPWOPe)iO B' H&A.%LJxKV;Z<)uFxyᜁ8 KmsRtxӂ$1_A/+\,ʮl&#M.{FVڃLXΑxj)iZ]7)>z>79^C^$ o&¥9DL $@a'NHxrT#q :،+Ҍy v'bNP28\&iVT;Sut_8V7#տCC/9ǥ!\zH6uCe~]5nhXh 24HyNM(n8 I~u fUïA{zfZL 8ao SOqjc8'&l8r"}3$H*!S!>h_?݀X3'òg0C<֪peMYP2ؾQvrj'49cI^m?VazOt-{/xjeM.䈸rG(ܫ2}I3~x-Oy`Nu/dN nkӊ^)ҥhI <7ar(t6"VgVS$ϘtL0DBd@tٳ*wmM\u{6㧎[?TfALfh7ԻBw I(C`N±E P!: Y˾`-y1Au-GUQ" Hɫ^z DVtXu_}4[ @PU ˣrE&j3hV5XqN Y8J~R#,gE[Q̌׃"ͅ I#~D&GVVH5&|%FIaP9.;[-)m ?:R2UdAS 3ؼrS.nj㮰RX};Ųu?lc@ޗ..+:RP[[9́[e]cV8x΄'3%`ekh#TXHyKO,SneRv:Gq{Ujc^) {oja.*|~34˩_Gd3cKp\CqSpܜgxvR%5m]l◼ĝ|%Mq=zQCkd9<_ta#lDBm€w덴ݥьBcbh39d]nQvl,8A_m!^!$ ܓ,Bf}1̴]l KlG]ʯڵ9?%zc-@lZ!h dDUr;x:Y}6H͢N/di 'O\rH3J:^tAs V^X{3]lځ\ )tiÿ@r=+@a8-Cn''vFj@]'M$W~K2440ūˆu0y]͂0>ck/DsYz%ZR=v4N0FUW1I,\HkxاpўErI ӗkůVfIdl6h8[) f"<&2 +ĺc+(|0cnf5\~v 5"d,o4LM#.ANa~@%QgΓi\$[_}7ؓyzY]p$vRdH/0}_V&DR@WLVr@9 xֻHbz9_"ZyDۻ%`ŸigIRyށ :*Cy4JEL2%=|s Y`,Ω=XE]׾$Z:خ>pY92 J!g s[%/Ϩ/bn0Zho3In4 bص@G",`~ TKOO,<_Fj qn-cW`a]jBFȊ=3Rs^`ܻRI a ƺ;\+f.WPox'K8)6c/ṿ`5ܕLqQH4 PQUeK&rP{뱓'A"9M|G'ZkiyFv FvQG%*4\rPZ=5*N)j2%lSNIepVJD'0QMep'eZ% 4:x?&Ε5l>FIFjT.H}-- 8~w=UR\J53$m_rbǤZsbvlO ֨1Y,ңɶ@^DLOXZqsxVƙx9uʞ +,$>rw6sf};I/+4#8Ä/o^؞ɹ&[z<-H jdlXTL;(1~/mJ˽2&tdD |[#Sǔ _\+lɞÏ 0 V^z3A\񗨑H{]Ƃ9ÕteU!Mǽ @z.Ũzgc\ , Z*R7WPIRƬUF=}yFxfiAz#D+`&ݢGfD*rnZ9qQQ~KHY輦ƂlCgkOΞtUD6b2.7j{PxJV 9bpJ!Ҡ 롖һxQ'qMPƫ s_ψkc x2ˆڱgYZ7zXZִF! \"]ŗXiɟ17L? KxlWP8SաM~>fٺdOcy08MIgM63t8иCWFaJ[-i뾃f7{8Tְ3t\*ej(pS'IqB*DTQ`2P}pW-(^(d"p@yTV+dqR+ۢOYQhmq:EJc98H)P~kH.*^KG b桸_]d j#ƥQFI6*sh"{/HxgQ8  [3j_<&NCC[25f  ż`A!4Hf*<0"Ȕ5pHK"b~,?0` -C#f₳|pz+؎S$dNE<)p;Јf}_/<j9jp riVLȱgYZ7zXZִF! K8]ŗXi%JwS[*D?Z㺯֠Տ?%|qqwS,MJEIߜRH‰%$b@-ΆPxҴ(?|֡C@晍_ md vm!|CQ xr8"F:NO\J-C i;W5~Ōe61 7X;O%`{}OJ$\/=&(ώ.rP(;B9Mmj@;(kܵS=ɣd`HNjAJTBR0V:o~؏ G& s +"=pelJߊڝq`;P))t産n = K=;^[k&d]x%" ҁndR_ek hҬϭQ[ w:ܤw/ٷ7(W0ԏ>ה:mͿ#?b+ Ad<7p) Yr}~ߖl EJUa[;DUT5MЦwsە4݄,WSE䒀cǔDLSuVͿ"8'y)iw瑴Xn7KTn?( Vr·= *+2RXv4Z~8uBނ=aEtIٲ&hHO'y욡PJo8a,+7 9_hB^P! az_SEk0k왟ߑ^OR_Lڻij䑬p *W˫*Kӑ`<=8u, &w]*r`ߓ?K#)R$re_;~P6ob{ypՑ,0[}u)6¹Bxg#Q^~ |)_-ʧ/I#%il׈HKwbuGGe*=["qk@@iM^@0;\F$-Qv,NKrz4,Lw_zjTgh-6慠A$IW*ԋY.GwwA֧tloI%i+7=ڪj%V,J"qЛb3% ..O2t3"DnB!KGח-SOnp,g칲6(ry䉚<*Z$%qU !r3o>*m?G%MECc|rA[u$w0 @1EVNs$kje+ k`Xů.pUeKjk2tI0#($"jW- %@4 8.ߨCc{ i8dw>.vH0=d+|Ȁ )δc`h#ZGb4l<Fw iIm=1A霗a92k0[m:|kI!Ux!MeEV5ؙGN_@ -㦇jIGI`g/J(0w=Øg<ɖֲTQ<.  4g~sE)h]Z/+,"PjH5al&`S:vC7 v($BԼ"ܨְ>o.VtҞ3/I/f15? z̡3(!?Rc˧jV"ކq67_@H QKivUI7[ekdLԆLJHrj)>ǫHx;m6Cն:mۧ.Iz-o"Π;e0G`zN ?YC$uw`@}2-#_d1H">7l_#Z-trbF3)ȏ~UܭMn(Uv~}ǔMS}[@+nB`~ixC'N- 3˽۹;_=[Y?Qagɋ5aښ%njZOK,} N. |@DS7U{/4ODllXUnNk+˒gx @-WN8d.A"2 aV;E|cԉ}Y.g}}^֚aCn(.a ZBHw\+C{!D[ Iuٽ4) xS%ԩ+'/{0 XfwS_ߚčq:/uꞫAy%'&đUAKvIICWI܎RYs |vY(-Rא{1( +S9Z"lI`%G9.gA>#ʏ<ْ8|﯊gۖ|Yo]'F!]XQqvY'3<ȴ<ؑL2juv)9,1Ӫh_ x[yr4ezkjS]A h%pTP*-gR 1|E4Yc@mN}r EtP4^.ĝRo֟.l♞olǠ}m |u X ]j4Y=Q<_NJ8X1# OtĆ\_N ^:Hf:V!yxNWb2+o"0vu;7U?n⮣:>4Q VHJءH%~QK=(ER8 nm17uƁy\_ { _+Uf prᓽE~@`xv9VgtqM=3&kIPQPC/P82) ܌T~7EL{~ @~Smf>!ұ eb Q?w>.iFD'(ClG$^9F"@e2~ Nk6ޝ_ꌸ%,n|3T j\ȁQlP&p0:Wߝ=փ9]?VH)T J&z- -R((޳?uT-=`HQ3H|A=Rf4 ђE/^0eF#9-^e6vb| Mp4v*/$zρ ]()03~Y?=: Bs7J to~Y46c^۽E*fe0ޝS>7ذ9|4S2\EqllдY|GzoLZ>p.EDvve,J0)*Ӛ͐'^2/ 2eebt>TGWj ?,T rkb>'^y)Vu>=-3 $ٕ8jpeLnw4&^ᔩ,38}íO1Kg&v;ïgB9EKcT/`(%nQ3V6 [ pLx'pْe̹p}HTG"o5\P ?wxYWn+,j}װO0zB4r4^Ƈ> ØF{[QImYqUS,S1hk94[JՌQF͓?V}~?W񫳈Ǒw'[ձzu%>5l+?e7,t#_NCl)-<ѷQ{8A>VM5:^!ďZ(nݜ@j 8j&Hmxv5@8Dg S: uR.fRӹ %8 ڀQ$tݺ$dhg`81Z +0L־Jn#WSF^KՆ)fXs܎osmd|$qY:{H٧o*T齶?S-Dw@$`a;zQ)FW)3+ճ#oē-qfN7J^^w"id(l6/4fa.-xZp\ZU(ȹ!HU$hKkucdt3̺4|Mi:a !eGkҙdF81j"E6mL6qeqwTH˂7/r116;}9jb:Z bh*}{OD)*p.r¸cdGᶵ.ZsN(gcKM,^~"]A6ߊ+cIQt{8E;Ьxgw8X5W?05JJՊͥÞWŽ -K8/@ՖWi`lYD3ӋB\p Gm;]]>ښ*G܋=è7 IΝ^qHDCc, -{j]b} h6>C>8I2 mˍJsڦyb>#6*!@ h[#֟W*k24\'[RÜFg ]M]w b峡1nn[:gݜ%AIEDM\ok,>"inqy1 bŢ\RzF _K6qqL[yTnӐ0 <4E Q ҇a!CpmL9[ >U\^,vTM!6h;m (<9wBLm} ft&;޶aDM;K޵VS!ŕ2eluIsⰮmw2QC6G9g.yWZ,Qmt $y͞/\MG[cR?+(ЬŪA ‰gFP gꠉt^0Z) *,hA_7:0^u­iWt}S\=Ãa~ 3'CD׵ dnYH8 =i?g{GZJtjU/ 74l&jJ$6a.(2@ pWJ4Q)3e]Fdq5v!ĀS )[5S'\QT[!_4<a~[6#vLiٳ`0/P7 C.'g:]F^'.R< \an34gghuv2;GM6KD9O8mNI }Qד.^X!`(n( g.N=B } gZ#bS W?#U_QN9x%a;IrIKd} d.7t%Pr S@5ڄsc[ ?,(s(yGoX&OLz$<1TϮ5;ߎB⫨n@IRzI٢x qvux"(قPBHEF ~G&nZ]ٝ r_MAchd46c}$L3_0H?:;  ' #z6LBZty*_EtEζ"E)HO? x$i?]&}FqOЌdg YY?|j,􇷢hwfTs+_x9唡J(aU/1+X8{P`=<% 5!&&@ou'q}1?8%<;ym>pd!Rzɽ[fh$=- aV`ʁ PM7Hcj`+ǎy+ p;#Je{:Cf5.U4N;,rſokkt +Ҝ^rT5VQ:sQ3c zp\^?"Yá װâ?'4?. ]0PJ,mCPsXP9tc_ ʹn/Pp *b8vlmKӝe>iE^$L1Pt6݅QF/?eLC'Z\cos&S7͆V+HRl[]#.XP Q>GyQX bO\4j +u тNUXF[) Ǧ=nzyZ84]둞>9(+d74ۘO w@8cLx{5V} R Q{S̻+Ӳ@t҇Q "%$lr> )\h> `YHcAs.%5iqp3K - ,ƊpH.qɞgZ'+5€{puf 0̞8&|>K%JF$KWD2xC,y4̀,ho2ęS6Ӡ z9ff3FZ [ !XD')fYE`r`Ai PT 泦n6He]:;u_X9A˾lqt fP;&K?u U#,q uh2@B&XlAX\UtQ'%)nrLzz֋^1Mcߩ4Ū!I?p}Lڭئ4O,s~/v@)JAO|cK{Z;Iؖw;({}Hd9^Cp81_n.ˮ3ׅx9>N o-07>>EЅ\b ¢! M $_.茼,b;\+y5j Y ܝo?Bg \\-12L2mMF kid*Q$I#U8-#bE,b Kzh|]qi8niM `HCLZE4B`bVYUٽ[udG+FY1y7xآn.>fe1+:M;h6޼ьʢ"Ф74}aξQlg6aO_ت_^q6BٸG<+XXOzoe[/ eqvB2}a=bhGh/;>0}h Yq_!~,oΧG{ML=O/5O'p '|Go|) NFb'!n,uP<@g8S=2\-a<ϝ{m!eќXiE( c'5!nҤ}*oYۍ \VLȄkgQNҗu\ot) ~.t3*AMˎ 36Vőb8X0dJU~2==iEFW=bZ* c;]οjBAr"Y1qE$tV]v+TD nEws|(R^d)d.'wrA+LT0:8'dO"R g_Ms^WŧA2.Q2z/dE"9*'Z:+OpRdDs2EJRvG&J<[!ā۽ځPtRQtJ V(#`AtH WtHt4]0lwuϵL/Hv4|IfhڇhSp&ny$am;kMa>Y(Y ] [88q'7ie7%#L} 7SUU_@Iےohzh^ ei*[GOM#j9dGGg5DY$w;nЀ1vyv?z?xD5K'NRKX{ӽCGWJuB;h.-N&XN]Mt'aD&>@&. #%m8T_2&BҴ$ސ2{iY[yF&)¥d\*I". tXĴjd.z9ԗjL}jψP1k5Im>hw=nil*^ .[ atŤszfY^ru1epoS56pCiA{\%N5 \D.Wn2|r#RZ,>:{伽G8fT_B`sh" ^x~)(sL~ vg ^էnq&Y:gX.Wnӏ2lo0NqthIX3WFT?8?[ g,/bc vi2&vU)Uk:&V(r4Pan B"}ml&?Ee3ŏ h{:|fJz?dj.B;T 1 #RARvbMA42ABi6+&ƺ~̫6\N)gʟeGO6 p|c$M/ ^([b^)bIS&߮1(;`pƖ>!09m y9L@Pؙ>1^lPQIAg/Gk"g3ii|qmMC=5Ӈg "z 1qS 5ܝ.~Vy0~7*i<$]>di0#m?32!Mb 4H;qilh^}qߺLVGJzPI_eIVck&3JCk5n**!4ruJ%p8əV)N`'U!mB%p /fvPvR/`^h  ^fg 'I2Zs6Y(; 8R{+\Ro8&Ո bQ =T^a77ȀӅ4bg>@G|Y 0`,GCSrP-GzIzi|`[01*O'煪.LR",l{Њz I,Ue~$~JZcq0f8d, mp%9O＀h+ogffa伵8+H974jjLJ=yr9 T̛ry[0)ۻ$D զ_0bVktBpK+7? 5h\ &YڽK~ŷJ,RrmH[l1[^rTzʋ?6Ht:[uBm8g!!U(.~_BMfrnǻB9'ǡVIvnJj+l;R^>B1֣Jp ls}4&thv}j@:gv0IqHd@-9KVwuPhG-3oRWr+{Y%')@qɣ~ЯkFZ$+H< 5kIoSF'coRPcRx7>߾|SA %GKՠq w)LT0<3X%G1]AX)l*.ß`+{Bn닧GoAIcW{S+EWx֓g(c1oߥmauگ'F';Gj 3K!C&{Ώ/f V ϲk"[$]ym Lj8K vIO3]gdZ>(Xu]`#LL|*$OKIm-.ʚqGj)+Qԫ1\m4\ B$Ľ Bm'({PRcp}j nm'2j#]V7U/ j{SGD(n:׻[E/ ɟX[qG N!,'cu#' h5s躽"kSdBʫjQ'w+rmJ/7I2wOr_y'*؞ ]B ) ɕdJb!8+W23`4|InFR.. 8 #%lQF(jNt/R"ہ) լ=઱- 'PsH՜+;-OCK-cQM[|oh|6L!ل&nLݕ.'. LX 舋.|'EĈCQ69vÄ#*L5 J29Cppt]%&rnRW 1w`b-T2 wSb|-5YU *ps.q8PT.joM[<;X2<`~1ggC ":wGn*ϴU=ɊLs=6F92Б"Mf,Pd"KqN0xDѬI V3)/W:K+ Z%eE>ߢpX qinax3r7e:8UaМMԜ-1RuegΠ&G쀓)Z}7  31梼u֟ROz4/eByb&71C4*$lGѢlWIW`]I+OP Sܮ+d@CMQB\@.Jf1;itiuń`굨/TW#/N]>rSH>ju1ޝ ?qtiQ]CxҪ$`K!0E{2ؑ|^1HVditQeF_T?.y_fm:Ã(C3AwÄN&wo"84$J0:_˫δ=EsB V (qv#DRc{(`~1,o$'zʹiÍbșmoFI pf4w1ziwʸ0򘌥T:,d*h5$Α=jˍW|'x:8זc,v,OpdTg+L,s̥;wB^:XGN!^UPإ( ?]!vjh(MaH!%UWxi_VoHwH7B<َ5>*oYqR@L2.$ u:x)gzA -u2w֞.ݖ.Ok8-p&iVVRst/ƜO5%Ʋ)4Vu{=`Hoj3_!з[J%6_qT[6*d1WJ%w7煋Q.:xDa4RD^ L*wI5 DyM-zfqJڛZB j[ iЁΙ|S"ViZ}^)6WM.|xcbY -5ٳ-]_d1. ~tŜpORcjFlbވFm uq#i< I =`~ P KjyTaCŻqs#Tf8gy ǻGVǰ-ܰ!CY\8}~2|akQW٤B΄$<%dPn OڋR1F"]akDHt2"" l^i J̶>)i,Q]f;_w3{b9lX=e[I5RCw A'7 }kgiƶyHc :QਅYZ}hAOI>mlBEthbv.2:V O%_D.X/y4x.{N]_@gȆ ?$h=~bpւVw:Ô*/ Ey<\dv Qv٘'1mQv xϥ=_dGċTkU33S] ~ ;'dcAU;~9=TO&aZGiN ~}Jdr8ŕ{_m_w4rf?ȶzLw%<оN &H S-u$>ƂG,B VvE- $UJ (х/l_ yArp