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 ;;%1|lL ]% HOL-Decision_Procs:threads=6elapsed=230.373cpu=1087.396gc=136.896factor=4.727zXZִF! 6]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓Ѣ'jyQIoHbQy*+.AZ AEV҉Ɋ +),Π22Eha P![_K4L7apޤ6GZ4puMxŷQ3"dep{_A}0@r_`⭪- f|}ir:Nn4 ٣i}ΪdN&CR6)D<$RS_Yh03?C2ڧF6/>*LU@y|̄8zKp{τ-+A@3V~}}] _ELBXL%chJsz/w_ ޛ`fl>m.XXY|mTydZ@nҒNz(dstY<+nZj jұ3'@cJmFp _c(%; oaO++cR;ʌ{^aRVNMHErh)ْ8UqσV;Z4a#a<?iHUO;F= /SB;u ]A+[c"7BI\8޺獸֘=96'iI/s!5;M>d3L>,;onAyoL8+*+ Xa7w[Tu!2?6/. ׭6q{ϱ}o-&IiLL >3M 4!J0ۑՍK eKݩ>z'2taV|X2"-\]I[.?O;5Sl{1EQ0 &=3.e,VX)nzyZ YT~gIaM9O#@؉b-S3J/*̜'H௾:#~Bt(RZ^X0fWD@ Fۢprx/"? dkv =9z!o@(8v&h`+FUY|oWbg,ҡ ;<|s_4/#܄c8[W3Łȳxkl~dK5)IoYM{WI_eOֻΣM4LZBW([@| )N7RGt,"aS=Vi]ke<#3,to&ٰJe:Yhe3(:"n 2fwd 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 7(R&]:&Q{WN+13,U}\!,~k$Hg͇@JvzNIxKw1P[@eGtS#Esqܤ>Hlx%z@Fj yb/Bo<}%5H2> 8WP|P%vXĊGnx| ƆF~ @ә5pQnD>4IpH w+ wX?yⳄ @N`#K!Ewv;}א'Ջ[_4;[NiCU?k| 8;oA`;K#Ь\TQr$:ݻDa)x>\{G#(1Uv!SĶ'7-WhTX/ρ4gPdZέf%w/klLaYA3*j%هt)o-73 S&_Xn*Zk>"GO9Ҧ;X%:.4$Þ"[z/faz8h \Fn}9:˜ju Q[b:yeZ\Vj*mp"{ `q4{=iqt\A1-js=7)+Lw=5b:Se|*7-8 cMzgw&zŹ4[tz5[r`4G{xyb>LR}he\=ӛdqEW_&(|Yv:N&'y^|13pX*N%{U\҄0Oޭ~zlNP5{#z )Xs..~JYO$! !MS M^hEHڐ5^P| XE$܍+6'Wa*n9OZb@F ɯA+>Ӆ~۴xc_}Z]##I6L~sQMz-?2UG6d@|i3/A@U$RSĉtMgJY,o)/*%c/j p}CAE>+k*bXV $ X(Z,d23 WjLd*ⱔ$Y;*$NǏ> yt2ECZ^l4Qc#V J,=>u}>&U#7"6{r y֯[#(xtYQ'wte;Ju_Z$ 11#{;?`UN;H>>-CHx\ .@1D*Q^㊌Ѷy]oŵLo )y>{rh7p(OLNUޯJq ;[, ?'Դ$m>ુnBHb.2lFkd? X$@"o_@35hl]Hc!cКԡ ߬ȍTs$KzQ?ay~6k> lܱ NoMFz2z\HIƲ_R~: /(QCumEF?ߞ0lgH+6 7<%-3BGjEU=f9)H7:€srQ5bǀ57H{P|[N97:^{RB-z[Gd.2~%t̮iָl>{)E|y3C`dtQ 1Zg0XFFÎszTgyJT3Av#:5HL5β+cP.&@ӌlhYˁq.  ^7 蝀 ?eԁ9Ƀ^} g4_6ħB^MO7=#e)׿?4Z$F ?o|wes4UxSkMeu`?K$$: dtP`!REE*\yP^%"?ŧVBNxt! ^-*)h@ƌ5RS.:N" &;L|ֵ0cUl|LcMmh:y#n|mGU܆{u:VKœ:d?ZqmB;RGc%l??elRNb,&Ԥd Eg^_u2i6H-3tw͘Ry$.=a{DC{z;+WTLLf6y^D,oӰ9¨x ZۭgX_Vƛ'IT0w|]-iY>4Y|~Df5i>x mP* +HǁHl=^@DN^pQ hEpe$Wgu./R *V0]}xK|%)"ARU4>Sϳe"lw&ebojvnɡ`'ss-.U4s z `,:-ҁx_oO\ǧ"_G39{A ,/k[d,(snN/;ͳ=7Bs1׸Qħ0[ TRpB` |vCT!>xUHߒrA(TE"|$OGAL7@|G*ȉUᲷ]8zk.Z e,X*x EHF`"Sc:#NۀH5Wh@[Ls%|z 2ɂZ'tsh/p) ; %V4bOU2EׂɊXt E|WCyidEzMȪA~Bi(=Bum8X(Lp:ȉ^/"/ɇZ-ԬD3Pm`eٛݓIuFq6V,O دjĂ 3 0 }%ԮN|T&=0?D{}ԧ Ύæ{T$>S?m"q(,HXsf֛>ѮpkHo=6e*jp5%.Z‡O/e~m71U7d4 jU8W#! cZL-=zRVWFljw B aB"lJ&()q@V6ᑍ_}Q$Ig{DaߗIicG3GAAuA|_%e~\ k<\iY֗=|ƲDM21(GbDA5 6ii Z6R ܉xܛS=^"*P)Jl)011H~!ߡI4rnQ˪6JҾ+m~LV]Kf(U]Ȃ!\P^ B71?Pz#Dz5-Rxtp)#liha*Cy"?7u~meQC }v5"iˆâD6]Rc}X* M*VcSh!5ۆ:b8"DI z3&sr؃XE{: }8JG\ũr =I  k-YaeDVg_h tz̐v#Y }/^@T}s:D`'ݗA50b4gYZ7zXZִF! ]0]ŗXiɟ17L? KxlWP8SաM~>fٺd: e5|2Aip !FT>/Yq>xTJ^a0.rDYu߬"K1r!r.ȣc4C{_cҞ⭠4~D4_HZkvdy.H-0R ©jsvb0 sS&M~ez3pbT?:: x4Wd?a3qČ#KrdzM5{g> 7R:|/`} 4F{ٺ]G95.'QЅc , <3;uYLv FƄ@y`'JIɇ9s򛨏XJmBSaN 1=u-si. -b'5< 5>7r!M Lڊ庛U@sK%Ҍo ➶XmM0]vpx~XiB:yk z w0U~PGex۞=)IF \rOꜱgYZ7zXZִF! K ]ŗXi%Jz*!t@ԇ@͐7Ѻ#<D ̔k y},{3YY(kĝXqG >҅f;ۮ8gXoֆ¶g|z^$"L!)1T.FI@es0~ɓWL5}LhqJ#g'UoFOP{߂w+6xz&^ sN*973Z9a=!$R>=W:Ng h;/&t~`#e^ =LGC3ot@JT`)'kcH iu5ɀ׭'S :*+=2M%/!;4Z{*3RtvgciC5π~KQ5S)~F,V֭g"S-ӥ.vb*d!>(Mw\ֵ&iM;JV;fz\b z/->[4  !/`.i/x>buxEyo{Ѻܭu*DL^NO<k>>\@_OZܼd01Z;32;z˫*+6`'j怘3'eB5o+yh%y5mrf#{*lOd7 o̊3Z0݁o?7@ϵ1/KQY5tkU~[`}kr.f7j1r9Wm R(]a )91!] ~̣f.l{k L.OczbU mm'5 sS v'krS&ݰZ|poJۙAn趃ݝz wc )|S ڜ4?k!*5*;#*.]%i*dA"F"U0)IXvB%o040"3goW)Z\,)<7\ãhvEW : >#,qNՍ&@ܭ̎4J΁DԄ鈼MOĶ4Y/ 6؊E,7/rJ,HpjsH ʌFXbLl0?{MByxy7j\sL1ӑsI H_m,%ÏMDl,1GqkGƨڱzcaP Y^0Qt%%Qʤ F.Fa9F 'muFjEy!؅ZY=ĢwsǥYgT//W+m0:󂎠dw{ɧzt!EMaGgU dv<^RuDhG=Mt-F=zLvz8rH_[@ ;ރȡhM-V{o/cBTRMP; DuR0=Pvdф"g/g}\6YX5ə+8*2v#ŦRy\ܿ;9hm' ͘XT{]z]"2)٫xc;.x418R'ݤJDlVg T L(I M'/_WUnB:v@Q|tRi\0 hN1PE4}#}̇(Wn$kر(x90{s|{e-ZTfS6d>HFS{TMB2ԥNYG^X6Coj1y>,)9}SS 4-$’G6xOZGډ4.yHbkJ_=Ȍ,gK"0RݸQN}</IJZ0&>/2PaW1~I+npH>7%6:; jਏRD0O[ UILBq¤>}8Q_T4rG|Ke沘ξv-C8 )#-m7nŖ}BLC[smK Q MW$wt%5!Vz1#kpv<-BxhB/vw|S5 "731>HTvFNkjjGlk'HN% XBu Qt7FF'$qSPOd,Z4"o0>hr} Dfڼ+K䐝h5pIk=c N\܍T&dߛ]X6 ڡ)Nv`yh'z\\/ ZVQG떻=jm/b}C,⿇\t|%}:MYJ* 0 X  1s4ʚ#O\A VpCOnx}MB{o{BN5'PxFF 3 ujJzջUdr:U7F":&K\v>zvEQK^A4q?RY.Ni }נ.8rBӪyr|(|mC?(p43[ib,Z:ʼ~aWVS<ӛ7דP#$J #XP6AԈx 'cEi# "AyQJa| (593x"eyD!ev s77Ľ8)i^guDzAٳZgٹ>ɼ|\HV.V@t DwyE& Q"X2~lyaOn-Ƌ2 `N# Nz$X4 ؀GETnlE"הR[7/V٘Nv|)6Ip"`UZh-ٛm2kjdXOl{4iKȵE: ?r??|K[R3#|=k_rQSK,}"zێ* 0AH Z-K">~=( >LVO ìCUL]DW>{g9fET_Ϋ>aIBTlt/5s-?)VG] nua;d,ԴTc|J ծnp`mo>/}u3|}mTwK,qUQhyt'TBz .Oä$b=[7 &܍AhRe!1e_/2\aVfVѥjߐe SNE2.^1)>u:.^K;^.Ǣu|ͣC0v*j-¶,]")mK:s M{)[+W~iF(O߼34-B3vzO!@1(m,Kyxd &js"mcZ|1nZ6 pkf >kX zr.@3QF+H-OǬƔ@e m0Z7@ll dOjrKj>)3y(A8RA>$)pœmk6 _; r=>{T,I*k;7*j#Qlðb)e4e`$Nl ȵ?$- ԧ]6 Ju#l~ԩN`1QG]U]#xJt>J]@$~/d(f7Դ$oE0AaL#K88W:p"l#'?6DcѲ$2%4|f!׿bpS`y08:{U;}o*_fw]&$Ua#$5 5c93 E"82Wt9Rr6Q_ ' VbzB+k2*a"MoCOτn@^f'<ӏ3LxOE"_^iO`3X Mc0Mܓ LP3bycтTGt-vd_sCeq#F[f.(І_;bWaɏKה$.&ؖ4S>ewŦHBfDBn'$d,r8VRC_^+??ws6>^>J_*D]PwKL&ETgwRoSL? ;pސAToO!.Hi2eVPt_eW м;(1x'eGtD|6x< Ȩ׭ r3J^0K G>mӥM9$ ƥ0dxd 5˃TG<.T$P[ ڇXLWAt:9J/1{Xvy@bp$]EPbBBD ̉=8w]V, .TZk:<8Da'FgOOoIIkj\ d켠?OOfy4#p*`+fkj K:ή.1 g]DǕ>{qѹ @ޘZggT "GA.i== ij&F ѿ: 0جZ:gc oiQjt,{jpV:p衄>>o'& 5)/GzD *òj̴>ve5 nY@m0}T'J:FXtY kmޙ;"P8L`v KBM 0S vd d1#oěT1Բ>$JT>vdcZ 88~@%7hE C&Emԇ"&TWgv-nF\)ap,3[qқ.϶,GA".i;+86qCDa^c㇆6P2ꥍ[.(SP|k·gˑ<ZJN8to+U)"UmMWeh5EkӳY>E p 4_sga@p]Tf1ti#MD۞Zm#QDـ02%~\b&@|n%0#8X%p+6|퓑J \:UcYfG@bslVlCbګd'K/) N#kwի͌Ue~=Zx.9%hW?-ѕ[8I+4mmuTds8pgcdYX3Q)1QIEsxG1 X ъ= @0E$A,E^ I4+/jc66)p|mlޡrLb%a]VfX ]s|5]W//n0=%p|Yb5Ы)_8`3F`OYpOEV֮a.CRy.Le"2fGo:XJd~d;Ë67h 0p.U!}n")bnex m@kiϕ{dX*5`h*sx,;[A:Fߴ,0@N '_~=Ė=M5K՞zN^l :xcJPU/3y"G7pd *wl`#F:1ShAdd91tӀ>Lc4aB%E/%2XZ+I!(}Y$oVN .m7bkDٵbEnJ#309E JFLzV;UOnfLr^ !~py<нi?OX{lpϢ5)1:ymaJaUp\&c6=. }~u*-d vJLxۨK.OMws}Om(ov\OєW]M)}ֿ4nXV-GH[ryw}OK>%{ [jXHM t[u$&Q^vrʎk}Ren}ۨFbZ|'\cMnd+dm$OSx5gy A\H;_DKT =UM4u4O$.jttS 3/k_ܸv4v +Kx޺^A:N, [d'dy$pٚ+(qM}lgINf_% IF]1xVg2.KAk>D$&#M @FzTO*&Lil& _!8?PK17Lы9:3 wӘE`& fwnJʱg[aD_&6.l*p`\6yQm8}Z @x{=s#N[& [zM2!a8LРpcV?ZG8Xifl+BLG{E+ͥH3A'ieБ( 2?8*A} 7R>50~rNUYQ~(^@gYZPLRo<$(lNeZ֕vLUbm rڥ^If_NT,[5-,fwRX>AݰH_>yA 6!3)FWl1Z=p[^|ߓZq)0DhњջSW`)„pSi_§@JN qz6)6j 3O.#,? gjVm*Љ2Sp~6Νf*{5*hҒ){M4J7NS)z%'rJTZCuT<=* Ic{|(~X f';+/aEnL +lk=+uGb.ljS5􌵯17 N7n!nz'hC>3x;3כq@iN9^M˭*JE$ׄ|ݹ [!ʨY _bh\?YluaKcFsw\(a)":S+LFijlg C$//1pc!J9k5E pEJ /;(cKv: y#T9j3c*5ɽ;ڒ*d ,уn#(}9|w d=|0.m,4< J S'^UUݕ 1ڂ d?&N3 Ħ5awE3<۠؎:!6,]ٯJ8M۔;SvQ_ Zt+2qk#-üsft-wJPhT!{o6x?-ë pN+[ JOa):?puw֟A+ i)]XQ/)D֛J(nr:X+L)2|l=:[!bp v"}M9斂xZ0:'1U@Ifʼv8[rDaj^zx80/ Cv.EmDt1ɸj/?z8a$%͚BxЏjLUJQpbF "|AßJv9~} a0R>Mގ?rB19.X[op>20p@㕥!s|1A7ų]SrJcSFZojx˂jcL_Ofgj"s.Ǭs{KܞrƎ, egc"{J|\?OgPX$>d]xB[$G${'ďo3ij ػ!1\_ ^᧓'U=#Ľcb K[zX?y8X^ < a=g(~`!0٣4B)=x%9̱a|ן'N?015kms ϘA%0疦%X&" @Tk-n+튚(]fDmT6>NU  xxxQ;rnz!2/F)\6X/*pWN9I iş _0|/D<( NI޽r:ȕ/hCsG(JU'}qlµ<ߔ̚UKp|:@RkFK<ŝb1"2lIqIyML,S.+4F:pS r"Ϣ&ܳGYG'x8@u{ `e|d`)Amch41&Uz7.`k<͢_F'1]hhxf.ŬCQgXNgX_dd=JmtkxL阓NܻNfa׼0WF5Th)|[波phaxGAXϩ$VOtUY0 -^p@)'.ˠf3dAQU`W8gz>!elq0{`ƇڈM``>WhvFMLǭh( R}{ FN/aZ;M2<ZiFe7I^$mqՅJDBøDL'>zx?[/$-F[D*$WD3ãx ݰբk vߖ.@?9#bmᛒƒm==o$+U;ls_ /+pyMRJUы DAG&Ȱ^kvH+0Vꊜ(;KEKpoMEӓ ;9BX`F;kؽw{桨Lc~eџ5 z~P/)  8 QC.잍\ m>)?J\r*W# NS{kMP]NwihS&#*EV.vYCF߭r1j|ܳ*JȚ-eߔWw| SgodTF7bXx.) &… \ZBICwH%}9'=cHjWaȸ1ՊĆ荝KVoMWaYf`p׻էeexy!%Yi*2*&OL h{p׫VvdX/gFlۗE|x!UbǽY|@(j9&S]fPҒ{(M5}ą>yQqgU"=,\z^xApyMQbFI1st^$ʇnPms !hBݐq{_a>b@(rX ش}wC ۉ9l=REbO^WW|!3絞+auPD;=)RTGcxAعtJm9V ikCm_ֽyK6 F=a &#W8&6-S2у`Ic#/YG[ER" 8"x>a1a_?\I6`S!y7\pxdlҮ3#WOr"FPFMflիye]]? -C*>EIlU>i+W5g] zt lx8ePnWrDO󳱫;7&ǟ?o7_Pُ4oU(n\Y[4|WyXE`8vH>2`᱊PJ1 (ksz %tasBBjAJrfR~RFƿhA.4g[L[X-Z}Ҽmh @`Qa"[2-|ZؽnR4!u9hф; :AA b.Q|JYlh)Aq@],L=lAi@aMN F hatn<_%@ ˵~3<#)vrdcXTȜ&tr.ڱ [ig5 F_8TVDTOI'I\F'0\J PE51A5DŢ ;- HZ m}& %YD{G^d3z~1= tGW[ػ ō>GHQ˕ϞYYRCnJnfbOH8`/jK9/(D{(5 Td"RN"}|_U&ף-hAߨO3Hxc{c3("0Xm7$ˤ#^U".Y(dŃFe^=HȨ:;ďP3\ICҡLra5G_F>$[$ȋXjԚhrH#G?:;t#>oi6 u+x/ Ճrqd4n14挮jB&'6#b^zY>2EÃ3:5,~K#h"8aDMuginJh5%' 7dZAm3l> \}4)MyG!>-8Q.I I,X!w~FQ)'NM c^_8_*aY #l)v9fxu8qHbOYZ,th,af/?Ykc1kepkWxʧFf&eN4벫t+6_*$4wo"B3oP{ADFY0|J>b8~k?d,c$fOX%8{&? 4OtpU:^cB4\zyz;k Ѣ)Jb2=Ȣ|1MoC}!- HQەVǢxp۲$ ƥY[ShK}0b[soKʿpGn$gw;GEKWӃly[RyL~B+o|eI 6c G8UΈh)Gjeo$lHgwۛVqNv kJ+az=o@Tvڎ ،ru7ޭ3?mxqPmq[Ż}3c''L>%쑞PTijأ1TkmOq_E?fNEL>X*9:Hq!呓$]X"w55&Sʅ7ߠSwIIxpJp0Q`j ioO<ܻxs"MSv[xGAt eh:j!cLVp;$fN޻s .6:ݐ;I捄x_pωq1AP8z0S |epބ+,= <_RW(\_]^XZN#SGXz7?;~bRSGB]&@2.j\=%^1[6+-uϩ3/ Ҵ.w_@Ba*?Hj)!R:ƸiKzYNKSCЭ8 d f3MuF8c3|%'oTq3mW7P_,2UaS}U@Мaq}!Q9՗:Z[f-*jvXV9fBN wK*&c@߽y!n)ug-VWP- N _r%~A黥YGg#^XJd3 2zy+~zI9UêԯXQ<8+̂cT*YG "|)cf c*ӒR)ǞA#F *T\1\ 'm1d;E,vV+?]\DwxW(Ft^;FNՑz׵;6,Ԩ/m$.0!.x"h*}1>@ 6NuaL79=O N<ꘗ:A x'C'R(aϙD4=ܰ#PѢl.ղ;eHkhФX}Z9*jg%h(Vяw E ʓ-f.{prZjOnV~P3MlB"P횊 1'LZCc k6-DL wQnv&@[A b}:1iOt-0L]ɾ1Ļ*]{Ud.<ّbMyp+H#RvͷsU'F? Q3/}v`Ǽ'r`"(ѨQ&^Tx`c#,).Rvp;ns9 4,e,XkFHr˃{|DV.;1#E_K`hpԲ_\;!bs__p KSVZzOKyEYu| &a[L wdW1G\hyBhjbW(O&?i)^& !t;1 1 (k'򴿇5!}q;kk;Y>w6qM$"w|w}V-\_U{<;ke9nڰ|X9G1GMdӻpbPd,Dc|wq1\ƈ4n-M҂CPY@yn4V~2v ~\xQ)j9c2ߤ_.oӓ7Jk&/˽7 Kȕ {)_y>Տ->"+SIOQݤ) )yP^/2?DRbB|Id+e$)? |v[З}ܞ:p1CıpkYˁ8rP09ۢv8C%6l-%YrmRHVѮn_<;̛a-ټKhlZ?q* % @BmS-<1)οJX<Ö_fe#'o(0>C#vܭLN!tK޲쾛,R~ K@Z+aYۇ/2Zl>Wy (鶩w- F-ʤ.BA!aiG2^R>pHrp:}h%ΥAD:]6`%-[Vu<[2 7b5iGnW ^'سGEqHcc|#(:Ϣ`#٪Y%@=mr'6fe ]7x"D~UHhZ3|CH?F̤(_y\~5Qxz=1=7frAR(f%A5AF˘W..fId&JL/@;e_!ME22K["~BѾP^}JCf*nI:F"BjV84ɖte:c[Bx9k @\^@[X(}~e0{aK!d|zgcirMO|{CK1]=2 A'H[;6yH<T)q̃.N+gJq$Hجm}旭T?`7'dytقKN^bم {-BzXXSb/op6j(~rX2e0#qLX@Oy_315^.Q'q.p`nA`}#.ss0_@[ {X.-Uiz|CޥֽV厅lg]3r#r'(J/;h*ZMD:jX&y~c-FP`W^k"[@xdx|9P}JX2o#Z$%n=)/z ۇpk_05H L2Y#߿ӛmQR.7F !^p*\OKs`cSuj uk1 xJoNFb:}Y~[sD=?jvQܓxiIP\zi|i.:]uN0'WCqǨo<9OlyAc,S*bۍ[tNe>;` 1$b IV;imVVjjZ.rQ{Se]5!?p7 Ƙ{kS8 Mq4_)rZK֘9Jn2љl- 6nF PPtXƐդyf;B|$1ā zKw5`~1>LH@:1%IԆoAkЮ;MNDcfgNhB6㢀oO8AF-H`X-ʌ#4{͢YPS_ߢ]zsؘx48)JAHhZ#|B!d][ Ce]2?)RG4e6f6i+pVOs䂕\@:dH*%L<@J"`,NX?-gYZee513d2aca04d6cae2ab919f3c026ed4656740ecd1779d2ddc889cb6287b2680129b97571dba74da 6b61682130070f87aca58ebeac1f36c985eef21f 5d445d44ac3647af37c7d41288c3b5c2fb2fadc4 6e01e57862439e0265c61a991ac286fa940e62b5 a54a16b44081096e6dd4b16a8e8849a9a4704c97