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 01ld| ]% HOL-Decision_Procs:threads=4elapsed=399.675cpu=1361.396gc=81.024factor=3.417zXZִF! B]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)"PN)#,*oY w_  bD%J*;b,ۮucvoW~$5SÍΊCo}z:k5eaKI|Ҕ"wAf{-"AZԃhԘCnՇkm))4L2qLg!ߪoa Du3dY@7ISPɉ1L}wE=NjΏRvlzk;1 Ac_n07lްbI)RH'8pƅeuUlӛ{|Y],, ^ЖFL 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 M>|Om]eۨ9v Nd z"[' 7-QBؓعO[ί:|o9*9sP_LbZjN ɲAb5$Ds4P4R2N{JctKpsOpGߒ.8>N3΀>,s(}PHw Gyl$TeR:HEӵ)pIrC[ (sҩ^3k82W`-s gcpt(){YeEgSNtdIzVU0-\ B |h U]F\ I eXOH7J76le#o~mu,.'bޠ^Gi+ۙav8$4jDSe%rxU hb:q֚1Ec83fWl,=q]9!c  $E GAEhW;bPj mp\gq"9K7'Ps^}iD_M@+\fFogPauc^-Y]xՂ7w;6J[W^軌,]̿~͖*g uԒu+QH=olA#hG\(vTcl[#.$v6?#߲=T,+xmߤVM驏ٱtG1(CX#P*مCYp]I<9ujQ1E^Β:o=5\=W*z86W]VFBǑ2QIt($+DO`4ի$e2''LK_ſ 0Q]ܘ>?mC=O6C0Ba*^gy6r(*",x`bN1{ylH{زT~ 6oapm@21 1 cG?m1Ve%^v{]gC4קn13'yGVXܝnn#SlA8uEDR"wD6E|#/_ kI x'ru31o7`:X5!yFi~h3Ѵ$?9"z h O0%n"35^iJFczDe~2v$O@jvgF5FF~ f(φk۫Crl(J'gD+TE>xS&D0=v=j`䎴Ts*džg0+t!i)7Zͥ4"}~|9d'xԟv ^A-#_ HEj{zZ ήk<ܭs߄%*< +ϐJ?{^) ?#3JLBݽ*Wj:֘#},6 ΧU'ߦ)kmz&T,;6q#+s6N{G!l1LMt,@`@߷IRPLjCa_H%cFЃjgZ,u{m,Dxҩ:埊D-,=ǡ; suGĔYZ*l[b)BI\&oMCfN0u @kHPsjhm%F(w$0B \~@iҘ{܌:`Z45\{"@f"!vmJٔV3Y:Z8h -F,Sk&Ctd *,C[~kVTx05`~fzߛHֺ#{qѽ&əqF\cvNfQ xd/[c^ c\Oqtmmƺ2cX!Pq#.Eʮ>21 e 3J0իY}$8_l>Z˒FQш:YPfm-:P5RG!Jد$鐃O, b_A"ɫR{j[ƽ+ UB􉒲p&g,sYnD8{*V!:Sr.BwaߊBv-*Wo Ug鼈- r4kVI3ڿ2[y9c ?B 2U(CROy":ˀ*AzmtaPBM=T\'X{ ; 91*7QVw"i|*O\:֡oڻS ԝBLl<= d $47/Q,/J 2G(W͉l=iwUhwmksN*lE(iնj#nW:`Ew1͐Q}:T𡅔jػ/?t{4q5`\s /~>~W')SjɔF{s-#z?_'4;d:z]\^`}3eq5֚Qt`xlYΞ莖G%aW=y$V'iSPsg ;q*0vT##hsq$`=\N ȐĴZ|px[q=HoQG?g^\CG eH •UPYňɲ 4FxfZF2J%+|@ )2 /dhڭ"M8i~$:7]\C/5Q*viy0:Sm뇶#7t*>Xw{ B*Ap&%\Gc&Cprs\ rL-t/msBKoIf+M9(IuՐJqxr))jh^[W&׌RG5_cy G,PN|H¡p"yw3!Xw{0H{}vv/zNKeCTBҍ9cx*; y4#5؅׵gYZ7zXZִF! \)]ŗXiɟ17L? KxlWP8SաM~>fٺdIćg걫| c^ |5 .Whgзդ<+9+C){Ef#:V ?l)iD}g<*mco\&z^n“/ ťBs{P9A$VWό4~+dG,]bY}Q,\dDZ@|v1[PIlR=2Y`T +0 2kI`(~f˚bf}D L۩w Xvhҍ =5"5 xlˆ)C}9X{ KT_} OpDԗ2΂e~PlG WnI=c2E 265Pun3j7כ`kt@{Q_.w.{ 1$>ubcUzn^2X3(_e:z ;l'Z/n)cTPgYZ7zXZִF! dr6]ŗXi%B{ Pu5P΄߹ڵ]2!M]g=l8v;Z䴽ՙOaRrko% m|"u<GZ\7MXL`/TiZlJqN885pQ܌w 6A%7/{%W5Wg& ЩӜJ +yg -q7:I}*w5J@¥:HxOMhm8(OWh1w#$>2ui N| ٍ)$mC*U1|tTlUE섭 1=tnnT0D充,y#"j8?HHNHVdưl~s|W61WYR`isji=WXёkFMR4B \c6 7a47u"Zi$.j?y ϵ|}i? g@pНr8JKYODt$6jۋ61@s@ B$J6#YW nlr]_ϵ!̄ X/F_6ԉCԆB&!H<0&/#"+al^`5-&`N_ pqFhUGKBsR/Qh& i9s+~L}qZ.ێD2fkBuA>YDvX !=RB7lUSԨc^,Xa Cqu9 Qv9B(U~wz dž:G*^&!#` ǦEszzG_?MrCcw}9妦0.Hsp@vw+!m S2sa2XsDT# H9ڤrwȺ=RD^}[&WT1ILb{{˞M#T+=ųz ńOxw`tb d PcRLѧjooQy< H{\6 bX2N; Sz!tUk@۫EӆSj(`k;!F7W:X\s@'=5V U2wExgGU@wh!ߛNEbR9G+˨C [oAvaZ1Ah lm5_{[ xGP68aZ“c!h:W_t` %Uo΂_*r~ :mW)4O'MMb2-= λXn=rC"[F*1R=i"Wn\:yfT(^p(K5g꼍-;vC:|. yF:C ihi j*]J>ٻ;/ 48>5)b4/-6pG-LKqe|U-׊H?=s}SQ7p{< OB 2g; 9S&T_56,4^뗛k (⋭ųQ;,)ޫ1rK;< #Cc;h46ũ"~ș%াI&AWsɨE҅-sNI]̓rZ =OJ7ǯ@uTKyէ[CѤl4k(ES 9 rQ1iA8-dᖈ xdLG2@:JD0qN42\pǬ+ev5etmяeKJjmBQOș ؆F?Ү3&4 tĎ8dP*fDdPc {,vp?x3bgEV,!d8uBa$6SosaX;VSr  OJ,< ^n$. Iuj:{P/'LH 5nG\t)ejT[L.(iF\ZIh`SBtjsPCp}py3:hH؟Ŵ2i$;;Nd? /4b0K e\ O"-QR$lnnM:b5_I>^CA3?o4H} so䁤umQqC]'kw, 3p;>Ry/pb`()̼OueuCJphq?4SwuU}{/O(Ŧtqql+Qǔv$y$_ja/Lݴ<(!x@(1ZiN>P{*7ІBybrj\ |]/O7kvH1ȄI shЌc`WfYv ?]6mtiӑYdm%@|-m%XvQK#_&fJۼl5k#Vp!d;Vd3$"'a ɪއYkB>"!Ow MH:!/Jҫ" vfV7U&Rto`&Wg]N.Xly`?w1Br0\ux)Kj0UqL#Șujwb% R눩8,;L[͂L| VbEm,M-{@Q*rܰ0\9k"rR{#5m _UE~!\=JN$(_$p` ^TV*Gn"GRl]z`[|2 c|:2,s`FmL]+W A]FI< N} &B)EW}(eMžGRk/hzRƦL9⬑H!"xPyQsg&EG?ro&]$i@ {wELKu9 B)Oa,1\z:;|l{mR+'&RP3em7 y崄vм0F%Z̊nxk =T] vh $dm8 NQJgk4Rٸ. %ݷfDY]'J+V0|0Y`QynJE3]")u*28Ϻ y Wc|Rz'Q鮜²fTu ګ)F.* tK 0 {G,y&Q%Z +? ;[3D>I3甿rLr6&sm@_NXxp[լ,N :Uv#\mXKN1~7?0*H$`Jf+)s%|V{HMTUrf@rWfSf0N[P70,IԞx@RQ0 +4i47e /562 Ï#<!7H }`1^cxm\w W_):~z2ϽU>a cU5=aTҼUTݻ1-_sc!`W86n_а vYmT؞cpQ@Qԃ>Bd>HJTŽH"ԛ 6DG5@iwo=QVAYC甚nKE+xJRΠ !{Zx[kE2W:ș+"ŊپZ&p*Pֽz \u?M #f ~=&͞Ƅn9GJsdZ_}/-;mZh^߷Ȝfh#<&tAŘQ[#"YMsdLc_vƦG;QsMl7^Rw]jonZ"^I Gِv&'ȑâR}P4U7Md%Bx%nִ>}`kM#`X{N5Rr+éUn#X4sKuuq<ɲpQ3?4$ǼI&MJ;ki>0>'b2mg%bSp)m/X O'.$QTaZzvPgp[G;LꋺJ_Gsna-N vRY/sۋ9NX ?, (+o‚&c: zWyג߭+jf<]ɸew,] Li>Ě%2˴68& s䱗hޛcG;;|.;x 8Ao#y#Jy&\:rPuIFՑem\yE:j; P=.e^6<" Z]x140D pOQx'.'aNK$j냡]WYioPOS*.o1TXMC;a! "ȏ=0W2;@7tk \GwwDEBAi"#nO;б>_Xg[> 姞^4]\^7evT/Kׁh/Ե *}hu~~-wrI+kːfd 1 ߤl-6⃙юm^^{uo J4߼kh|W攍JRDhS5}ᜩV|<~_E:mU<sj$s-"rmZz?m8:ɨZSpiA0[5u w͵.ر* ^Rn_[qI$Nlk U2gkx.KFk.b}PN笐Jqw'z0Rܧ䢱vDԻ @&4^y6 _PH4Yz=9+è IVvlBsJ -VЊnfA.-j|?cTR<1-/n&qbGP*@ѪرkI}==Bz)D,7Q}@!.}9 H?9N3HgC`<Ү@*F?@^kkxZrPQN'iƙ< ~m9FyIEƆ*ؗb3)S mw/l_tѱQ \ N^UJMɡeUoho_m > H}6Ѐ㡕f<9S՝\Q<KzcJs<0zOnsCH&bp68|56Sk!*Ƕ aLc_ wy&MV)\EW㴮&g-]^4è/Ri5] )`y1mZP'[pbX;h*ݨIl`5YoR1SP'7o3m/i:B=ӡ}#KD ?54y򇟼J)Xwxqq+84bL^\t22$ifYڈK|M3/Q -DabEwZq1"McPM8h#AZ9ϥt"%Oq "^T֏y`mԳe ^Pq*zڒq3q{$_0KS*DZEAMSyw-M:PH{lmdFajMI"Ԝ>x\A |DfMS׽ٛL(Xl_«Oy/kp{9͍qY@?5TK8^"FilqѮꑋ>ypu\|B5N#zY_F.J1&jr!S72\Ԁ!ǖO"$"<D-]ƕ٩tڥ Ő>GNqJcB[Z-0n4d[sWAh~ԅl ]r$fQڤgf>^C1:Xme22d5؋f0e'O/HS[Pүw/dcbdމ@08d.So1<~CiDx';NM >+7-385P+?ն4&n޴"SJ߱*HroNه)6MӨ} -ƕ)Ő_ ?Ԣ9ž×)Uf@ab#3(2|\P*r5&pf5'!E?xV`6=4yvZ0Xlշ;18VJJ :x@*`;33`n== ^k'1%"HkG怫'5P<#T7(k#x-MxYqZBR}?jv7d=LBE0K%ORx~9Wف>&zH- ez E{RMd9D6z+J 1%9WZ!L Oug1n68o6$Vpq <]/ցYƼe<ȉ'+*w1K ;Cհ(/e!+Fu#vCΌD~!fpbݖ^@ll.'| |pI 'Eփ*f?U QxMf6Wɧ`(o_"[yw'-yBcaKMp[[J[KlzEoHPj3kot gܺ{%+CjBxo)uþ}]+C:ی$l{5*p@xGK)ݳY n#ڈf8ݲFp ~0ߐZwa%Ù*&!9Sc6BcpYjEЍ-GU,ttb2*AWZx65TQ:%1RMRA^D~im1Dchb^ B&x+! ,z=V*( z 8wPrʱ ,)'n;. "U13җ㇇P)S?ڰ~oDyC\+dREDߛKpٳ=[1/dr b@0l|`U˞°l$vW9V>B vUbt[uZN~=0iL͞l+g'P؄ޔ<_d[BUi2c#VAͭk(o {N2@4->.; .y^1&p&x}aF dh<&Cȳ Ḁ-$DBW{-ϝ\ej Ϙ9ۗkk6sߍޏk$kOwy.؈\J4G`at]'<r @()Si8jâMT\g6n9}zPyqe鑖|tsfVf"EVD51:߱tG#{K+aVXC .5}>D]^wmjnV"ף"Z,jQ+M)  0 lw `M去}([N ;Nׅ3J -rTo{ygejbLG]^',pśAw٘9, 3{ 2Ԅw-_qp%KB4x=Fu)@9f) oaJ}?I+0(|uY8M^*)> p9yHC~9e A/Wk~y$inu/ B}ZWκ;7O:=HD7Z3^c٩K9S,1Y3'^~NTR~:+K:/O8;2ehZ~M{) I!Jd#~T̶d;h # H03Cd^z'BtWz6$kQ.T['?]`*dbfU Ҁ۲_ nQeGDN.;O,Ug .^yy<:Bܯ[>w51w:k$:#XJj:/y2)!8أL"+X3#ypwO^=Q#J\Рc{rT z÷UCq =b?)o'KDzs6 PmѫaM gטZ@$e7eGYajJ>ÛJ#ڸ<̝sy/Χ P Zo;Bx{ Ft6~WR`X͘fOͪĠMՊHu t]Sf5Ln q=VW@b =5HsAdA%J [ڎylWPvzJ&@|IQ ͣfִTe@P5pYK5ӼrPHdQ4°NȄƿ]pҏ?ޯ:blLCTrܸAA$Tfۇ'.V8鉍VLw9h-,4Dny 8[cj0h!}+ʥBi;G`Sno kL\44͘ᓰ[0(cZgT@J[D9J/(AnYxĒI7|=-^]+Mf3L,ԛҳVz5 ?8!n0^\poŝt,H3o,XYح#JZz ԊnE\j"=ÐUEW_ |(euSC6X^UBv?,Puf`.oI;t>aCfX#䄇ka٘.e'ypdЬrx3<M/ߦ;=ںt Q>rH-8b\+}j,i?͔*UqE>kI S O0쯖N`c*@h^/Lz#6c/OqFԳrX.W>&.^LƻV;/HxyTȫ.&L:6?y~:`Vǥ@FM%X ١)}t֩Rz223@BQ`#ɡpIhb g 21 c'@npXJomy箎tuA!>&ZѨkdfmuk?jNeJAw)cF` T>x{ؚ [^\Bcz\ OH (kh<3ʙDgg_C4z85jLnniі`[9%(IV3'Kh8PBA(a%5k$[~{;QݼSU^jςXYy,Ky̳ʣdaQOܧf9wNB﬽}ή/ 5=B^ O.52} h 1.IT` |B!*fLlP ﰛ;ˑ  &&dw4m "/g47H*?SȻۇ3Ns:\*INO<2rp_dq+p6{y(tk*s 9+ZIP•oDU2Any."F ¡j. 1ͅ6+(~iKhϜ}-rT⌔P$0jbn rȒ€$]4;1 \_CSw0+| 2a7 # >2,9;od*6u7u?vX",j*QlvX3uاe &h:{s*gu>Se_c"Gyh ȠCU^Y4g[lPR06n+!6Ol~ɬ}gB[=} X?.^\AɭWˁS}``~Nqr][%{o AHEQigO Ba8:AIվ Kq{_B-0@ wq?A5ڪ*u6&=}\4,!"V1+HFR<}ۤ1'_ՍE Ul(߭tƐ`Y\HB IU3juiڜ8oQ {ajhy[)gXW f2%`RlU =$@4ag19h.>6?;ʥMM:`8g&"A)tR{z'?K҂H%zͽ%5[L Ļx!!:X,4>p;O7l*0yNllh7;H9_WUMfk=:U w!rú5Qk 'T{}mluZA_e]<*[o7VħrV*ɭ2;! jBmŭt ~1zCpN]^X_׷k=]P<į.4L=lqg:Tڝ]Q2I-;f[7Dcd! HT]5A@FPCroi$=7SQ/L<Ƹz5+3)G8gi2jz1iZ;̹ؗOXMgObE7kR[8}U{0X¯Ñvǯ[MBE/PhF{el%3;- *7v&:lhu:݄1Yh݃E~z%՘ { uΌ0%|mԹےdK,а:Il$ʒWGZ,sx{\1V{YC|WMjQqFOƼhRb!]y:$.ZsVR8Ύjי|?]rAa=<$djʁMCm6cn]A*CNM(XbAsi{2y%E佚. 4pG N}Ww5Ҫ:5+΢jB1~nsue'mJk!7 L=u{j4+d ̌/c<=-ю QJn"٦f9&}$4E{Un0g笖xR$V?isHNkk)!)™5jkcV{c-@6I[ϥ^ߩawmMzK2LXw9m1můYF3m)h=^\CR.hɺ.]EYCP@ZV]ifM>. GEi}-ҭuЇZL'vOm+Nrlq8ϑANњv\)LC]eeQa_5)D>?êxtQRh"_R81ݒ,5렴;gAغ,WW?XFLX_ϕ9u0}e يVjmH̊ haͶv1<7ͮ@Buo])|YS\ZbW·l.4b9SfhU-_t od]β&t&[ϝNVN԰8,2&sֹ{yi5&WRug|c >NCNvJ>n aVlY|\qc"XKVTe9" (-~t*&QFi&Nw%s 5LWad [AcƥO9s[1S:'+i= ^zރAYB)^w9: eVI%}rN:%tn!ѫx,'.i[wT Pp/:C0K6}aаa!6= Dz;6zUVFz'qŎud<8lrgqe&w2eS:qj.u3BJ<;#LO2ٍ<Q; S~ eLpII<ޮ Y9|=1D}O4&;jv-6tG; {7u+Ug},+2f)ַﬔր꫹64s'$^: Szñ PvBqwV1( "XL1;ld9z?MP!m]&gc 8'l$*7sV{DfGKy6GYHUotڿؠg2Owc.n+ernfqE1oLW'dvZF 1(ejf9yV%4M T7$TU]݋1cD,ڲ׀o) o fF4wV/($/+!Y,D{aFιFW 3 <9{T-&oБ$y=wsK;3 ):| :Վq1=Ȏڟ#H 5G}?>X{,C]&][Avx_S4.k[euqKS>hHl~}qa!{2.Xt 8<ƪł%;Tq\^1rXad=fF7r~P=vն[eb< n }D NC?ƓuIn] \@^iiƅ٦ GG! I0mD(J5T|Ep@O@Ͷ=NnEpu2=Uf4FCHb<ºsI{QdX?YPoZq9jxUL PPeNy ?6Gt yCkS%Yeveܮ EΆUN-~ iMJHx0M̐=X^0rj!e+&qoLnuPf;cjIw䄪KǛ{1!Y^P`"$Sx4ysTy{B赏wq*̨GX|~-):edj6: 7= :@#|]XtmQ.a| 'WYQĵ%;6`~"%o@`t:pq 3[Jp!ILA%4\+x#}Bp+ (AyT$Vhg*G $qdO/ Hlg`upfiC;Y"Xiאe+=16zw@ Qg?5MvCÒL-tQX,q{^e-PGƕ8@=WhV e.-߉ %+FC:Ps7SPKvkے%(] 3.o oZ!.q)cͬ'p'ضWNmjp0GTh}Vgc۠!pK( 1d(+}՗ü4vUV4枾O&į&HO{"{W~|Ɔ%Eޣ Lu>m @?=sG|Ÿ?qT\!TA㫫щS\;n)3F$`hPoyyH@mU,h2̉ UcUN !pW'M6L4&q3>>b/0uj.Ugd+GI .՘>ًnڳX%+gDÜF%@gx8k$1U\t~22Aelm^b:H~:BwkA̞/0/]# -GqD5:w&v[e)y/v( 9Y^78o *5XJŭv؄b'8K^sCC7ro _2Xw ިna2pi4(܇#rQD_aJ_WT0-%D ~ܦ]_ndtº'RbQ@1t<ӈba[0llX=. 0։2LN7 D g .?{T m$r;\U}blpeLtɹ2K,ކY^ '0X i!Yi1,?mO0GW˺caTodB <3XM<\էe>;$X~->GeNh{O'AL͗^( 4'o(# z\0O|AAsoh┫KR),RZifFK,x/1Xt҇2ׂ\_Mܤ =Egg2յk%_+q$uz3@ 2UE^7faw/S/ "mL`ʫ,9vfzοnVmMױ8]Z9[+,P{,ޥj_v<hSipV `H`&Lcv\.fS<_kN,.f -ne'M >IJU/HV7̈́YLPh rF)3EY$w9IXOeV~nTY pغB!Q\kuҜ{ʗߩ#$Ѷ`^\RR '15retԞ1ElEWxizYni'˶.>KXtX:M\$ "꛼֥ )`+)L1^5kgv p"P,&9Q).\bqކ)M7~ Aaf(͟ke c )\{Cu,LqXF.ZSQ!N.֒܎oI=7N71ҊҌRI{\TAP}g ª{˦Q}9l"'hszR lex|#իfدSZ3MP~tcŵʚtU&+h_A=D6j0IN.;[|͎w;~$ -JEE J^=҂~L@z&7@)HtAċ}r[DlH YbVzPyZ,KՕkl־۔8tQvxw{ypl;,aZ'LZP&wj Q(ؑhOl(>dV;OiS7ǫ nEƓ)74Y>V0UF>^jT59,n-ǛD`:"9(!f\HGV8 ʓs|P(y!zދK벝ط#c 8s {I'CueE^Ĵ2u`O$11JBN ` \Mt Ld F :fHK{UVQe2dGD,S!Vચ& K&[xSba5- V"$;_ _/;d;Ks1?yU Q˵$^iR߬D/_"\]uN6u+QS'E"F׵3G9z GΑq h4a9 Gp\N`֮`k̇kt`8`'Ř6ƾ(~p"(cgVA;:rٚ)_?20zie~̠aM*Q,F)?v5JZu߁_Bh5mvd{驴kZ^R{$ܑȋA!Kݛ* 7Sh"lvW?xъ,|dIzתOaĠ,rpz0S%fފڞscr7Yx.Q`FҽFRo1 ~YK$RA*`KuI^QqO6nyE_ o))+gA$7I>W÷[i *k 2_膔*"t~vҲ|A y {I5@QhR<{#JdN9MB[GmG:pe9"҇ELUE%ڭaD׷;!:iE$4Azѫ)Znho6~fE?vs7EiuRui_H;lp<oy[CIOY 7gV8eMq`ߕsuTX o85Ay."8J>og,Vfc|;CѢ{+JS$ hfKD8ᄯMoLKX:Yrūt}Ʌzw3qGt+nf)xsz6w=.`E~BHkVJpdEA iQ I`NR f&b9Wn>ܠSc!7Z~7ĜGu*w:jԇ{>d3EC 5d'%hW*5 !>TҎ>/)̜տ瀑D<#(2coYFB ϰNJ~1'$ %,]*v LXݯemAgų' abUCFKqJds JE3 dMf@S>G$ˠZXPtH`D ՞[kwĘ,dYJOS?-z!j3uܲv.`L@h|Io"XVd0Q:0r}IrZH<(2OW :ho}(+|OU,˕zF?#,P{u.1;]w'Ķ}i:ljÇ;J٘]nIg*FKmp&kof~+RFBkY[ɱuvQw-A(~8YT NyFqq!(h+GzzsCL9,oNb:À+O\d'QdG5 TY dGެ=9Aq+.!MIhI5{SffcƨB R4G/!M@gYZ5e110dc2a12f0bdc165737ef34fc847b61ba26eaddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe efadd5e2415b70a835a36820e6157751d92cd168 90a699d4ab813a8fc0c92de7f31e81ec4d9fb9cf 0e5cd0aa27bcf9e14390c7f9613452f604e17fee