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 T1\Dt ]% HOL-Decision_Procs:threads=4elapsed=412.236cpu=1354.792gc=81.296factor=3.297zXZִF! 1]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)"PN)#,*oY w_  bE eG4ݶvzV@#E2<'nU2]ޕ,.s]DaTe˜Nzɯtb4Yl҆1xd`DM$Rl?7DU׉,濭O\I_<|+CTmܲѝBex=@^9=<rϞVj/U?qp7Zs.l&cF@)RiNV%=}zs~\% 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 Tu Nwrf:苛ɻ8/GG$SnAGNKz8xp s.ꎏ&Kf6%C5 <}G:C1 ~`L9nsW8$JڎK $FhrtQ֎ <[w ?K+086j,XÓ^(?5iu| W%o Jߌ&T2Tf֥SP$e&2Zen Fm~Wg.r2UEXt^P/Oos0:\gZ+U&K,6 X#dy',{aCeiA4X^ޒ[˧7ktwg 5Jn W)D(l**Xh pv,~oaDYtWq;WcWJ"?r|ũH]X+ǷބItwaG'^ȧ{n!-I6.B ԉ'̸4Zw;;"v!䅓'M dy4x5lTč2(cLjQLہP2G&f#Y^5jtLpL[U,5Ʋuz>*KE %2ް5,\,eScs Yj3J9RZ jsXӭFl\rN oG7vހ ՒlL  CcwSh{u{'tNgnpyLԵvrל[ox2싞5.oc:`8[zRV)| DQV 1ev+R`-˚ZSr`V;PunH,?ID*:NԬԍ =K_$Rea('~OFоiJE#@g_M}v\l~yiq(DH ;YQmBz2hW7 vg%ʝi,ֵ 1 !c+BT5օZs~ւD- 㽃{wB*R؄|!}CX 15&Q|eײj듇/Q?61~@a4XSS i}&O2u> ^&'I![/Tc"ʡZ4؋0_UfpH F’ݕ\~/XXs/0c6*t,Q/ۮVklcS()OVj/Ò[f~ ^R‹u,I}AM\>H\+g )oZT$* |1T0΍ 4`W[~B.lɌG44jg/ WWFf>`UcEMN燈PP%-/z* w2R@ǗrřNy9TmshTeC*1p{OptԌ-SmaQ,k8\}ÙVg6j|S3vG_L"ղbPQfK|:fyx$IE流v!_ qVCxkMAw֮8-* !+Xv3R^Tj̳5H(362JSIo䭦 lx^&*&.yߙQW^WUu{M/OG(6Wؘ >4I(cvQo,UW'eCPl_-9ΜԖZB@$]#7BVbh6N Wؠ Av-HZi  =Qr6/ ~@3 tkA󴩿To!bn Qb|nv)VZ ]6(O h]m[c) oG}JMa&|w)1 :2Ŧ9dscV%4堆u) 2sJR(ӾaWŎ[ZwdTFl!Pu[׫3Wi:O#0܅3M PQXd7$˻5HwQEYw |΢0? ]gs74e|ם[ȱ}stfN#M20\eQɣJ|YtǟeSn0_:pbܕC?2L/x_Ӝ@*Zic/QsCi= V fx卉|uxM~fK8[fs"Mإ %N%`HG6ó$z{ysB ˎmݳT/Р29b1&Ďy5Bѥ!*2lhT'y6U;R[RcfGl!(x4-;wPK[%&u-X>*=ʪH#Qe ܉flA.IQ/]E,;WDyAs7m-(*~HOL: {yQHsRnbrF4X_i+ܗ=KsC7@Mi@ d"+ p  {=Q>1a@ E&ˆ)Gl'(/[@Werq=z75NXv Yd7G+ 5ܪ@U@7T)"̆ X5rej~jZnfC}E%W0 Z,BaMHP C1D/8֌$,>鸱J^9~>'E;e6ȵu~@&4g$)<ң 5_JhZ-Qt-ᤁ*‰2dUozs*DІvw"-x6F]qdž9fJP+cȺϧΟ7a$y+5nn_{V#orDL`͢Uߥ\8=6 g@-B?Db?W&Zx0LCtak>fݘM'I-3C* ki?:^0dSp?bP%qõGS”S AGWb$Bұ#9*_;OhCN xq1聚N3oMd wnPP3(en[A9,ta}tıkuئ$3 i:@4 D`1x w& BpF31n/CH GXU9w`,vavlwgJ!wE*t;R=gLdw$XtlZƕ0[*-$@H|Tu<&mۨuuD0!vH7.WPh5jg&v+<K0}ɨdF5FƷb:)΀t7 ` vɕ@cr%0X(#O ~m8n3[ɖۢ&]*ߑe(l];r_R"bE?^lih/9C(>YJpKA[5MʇӖM|uE<{3_:.7xR-Ds,]Ĵ#BNXS{ST#? /=Aʭ5JAIrz}67='!Z#Ufٺde<㩢/HPXdE63Xf,{ÏAA6`|-dޅ>eñx$Ĭ7bON 9oZ;dhWg> krm?Fp]@41g:BNgPņ5X)~}G|J'GD+ ཟA 0z._UJPMۇ:Dքo11ZS\Nt7} Yif{V"WD\6WO>;4U)>@TPGFF:ɶ &cU#;`V3ƃ<]B$[P֔by=ڈ"K'դ0F&E`~TYcڮP59"826Fn'`E\h"!hFhxZXszC}O_sDA w,`J;/HCWQv01^=3'F /OPKkV63{5?AI^fWEh)BN0m5::ڱoaZXs}<_ og:(%^pS8k7/Ԡ?g-{M:n@nktUN6q{t=1gW0_ {ԫEJY# #_.~ !]9Y9S dUHa M&W\g-q{MJMirLZBf<%})/ˑ, W@\N _ڼˋ-@ʍW0ܷcV|^bS\R24L. һIF2-P[DgWykO҄J2+=(Q40a5#PIeX*ÁM{I:\ (7pDq(cHC}ۭ |C֠ jBU/񦔹 ہN<]Q%i(ig#M$JeD2+j(s$@/",Ng0~bA_!\bb^{mf:`I оÉx4Ex{L^gsZdֽq/g辣*dt-v__Üg 3T4'hr5վB Xd$v -(r^܉4=S7d7gW,ǔoyS~ZWɽ%>%~M ʁ.V exknQ5ÍRQ'DymzTF[-ȅB@)̒ҽ;S?υ8DoDz^,$N(HHe_9#_Qٌ7#Eiktudڗuc GB`F1Z|I 6s؃_[G ! >i b"/#kfJ~yZ˫Lț&Rwއ˳+C` Ar3N0޻X҄KvsV[7s_@G}qjʳ&;/ Q@5&Чh?* EpoῬ0yҷe&8-R:ƚqR42>㬛V剿[]VZ4&!۽i~Qqg5 LtG(H-'Rh|l4\P}HBV+f؋9 k>x,r2v8k7(6fw/,o:Bi{9^}iLjvpS+:^fUL,COwG-Gi0WN@u<Z:C p;l4OiH82m dV2ro"7xvj0@fT<|ͫN1aasEy dЙS28Kz`N'9W;ؘ_Ӗ.ʦ3yAU "TސGF Ŧ..CSYk8Ȍ*7MC#bOhf2Pl>S喯3S%C[r[aFA~u{ dsh j*cZr)ծ (ڗ8(Ěm.bbs|GoCul ??_BL,9 Λc/db&Z5F4)>&6_ky( T{xK>C~P|tv{A>(jlu`IQx,nXFN0]^ vs^/rqg^ZWkhOD2YiMM!Í0e4p9,;cAm=)]*htY53AQ. `_wb(cb(pLM`TPfAŻ?ꍉrˍvf!<-z| Ie}sn4tN6/eWZZ M&.ǘP N/c[,82 dXuܛ"M\d+SW5Y 1i\YzjkhZ S&`To>!?1zwI ױ)_Do<;teCmD}׽8qуj>ړFڶ>90}z#XHR:v㻧e ܎>:ڼڳEm;.}b )M˹D`fp8iB` VQ KfucQ9[;BElC<~K-T ɀ $F5hi+C#L4܏"o+z_'ZjГߥ~E1< Ao[lEf@iy[w#kIF&px mPŒ%>_!)⮝S-' BE nCٲ0uY}qm1nlb mn>(*e{uy؂z Su$?6)}?0 wⅣMУ&{Cd6k˱ԝ=_:n^u_ZQ~*6j'Fqs:4(h'۩{F J;`q@^ wtd(P maug<sjIH%R" [ (jD$tNPY⌜H,R2H~X@e{08qF1dK+P >a"#2KSt?]ONspTҪB7s^*Ngr d>QK󃰳v}vﷅ+)i)9{嚁P(3?_ԧuL 4Tg2TYS Vg:W%#CC@=s♝HQEkyTX?$D$m3DL3 Ĉu#U{5>-Cw =7ѻaJ8gK/Sl:Y?l%ӝ:?m@GGt>ȨYgA-^4~ph?J^{r2!r%aX(joEFEYPҶô{qM@%0\_WE$MSH5u eai!@Nb/uO2ɾBL'Ub U<՞4~ 8'DWdՕ@Z.d?rTRGÌ'L{Φ{CQ ҤR)wi;˓4HhPB`SaQ8Ȅ^A ]$ jEr?tNeTxy[p \_9VG<vq\2-Y)9X8̧tj=2w8F/FfZs*xJŷ3zvL-9NDO lY"ڼ]T;j|x!͘1 y5j FP^sjp@}jKS~;[Q.^H-iD 2#ȌVN4$D{dVϹw,?o 7tPBPAy[3`U4 "5$+.[3:,>!cPCÌ::^z}4mDh!S, Xb1 kb 8ziHײQ/#w[U^23B3:|fmѓJ ~P+ev(3 ;T9I֙Џl)1YC7'I ޟf.JMrҳ+$Q&ܼQ=,Hw3:`qGt~vnrzB]YjÈIdzzDVфZ/?|M}qPػJcM:JpayU-h6h^꒑3- g)SD,j[iGWSImaD !N{LB9p{]r'rQzH^p3W)Yc(vG9-B\{Z;JYwt1bF^TKۦJe/b%~_pfc o KuC6n=夺6xPCdS \X`W[v -B*ٲi-dXgZ̓?zfʼnZi e5Y c;y$]MNqKK(ҺuF|Z cam985!Y7$,Fa6v8ދ櫜qP/(U2&y>M{hta /X_$e Bg:0ŞAM?CG͗މۓU<,ɨؒ9mkhsnen<d~alR.mak䪧JnۃI!{>+ɢBoKQnGưsyױ|yZDE& &D { |AG]%-iMC]zt=cZgzhKZr_' [ns+&]РsFֆ G&LZ^$,5RHzӽv[u|^q2_${bDŸ* JaK!ՑUsjsς Ǟ!-iL+e& du kJ<CJ?$kG?3Hjٕo@^䇫[WGJqȻM<D~ADM\(7/N{fhk2"CEz .?r}`tߧ˅|ZP9;Z]$/5@?sZ$d3KU,lXK {7U _?9{AELnNY+ѽ]Ѱbt:{a\R925[3^vkUv%"-KC2h+BY .j F#Α6͍KBWh]=dpO2󍃔eo؏\=&4;i$er)хM:ژQEBϰ+ʡ,tprٺgd0 nݲ3wfn "ԅR1^d}'nol89h;(j!*3s+y5+xE^~1@.>!:Nb]*jN˛.mk֛$M)1U[9Wr޹^ qjk"ؔKfu!A<6m>d|z j4_K\fHM'؆/)abp>PVćڳx_{~`;wK* 'o@+&nq&H{qn):D=y&:%2`JErrƺyiKN;ᐴ`?CFzqNN͏7-&B>zL`cS6}}Ѭo~k1 kwCV=8" ; \vr")>R12! i%!sC7#q)2:w:ȉ:`ŷ8k-lᔹZyךuiL!.)D%gzܔ7Zf]#bE+#/pɧ5.m!632BeE-UOʞĤiolNZSh>J=nG#cȂ㽆Ar^lkam/5Og(t,S md .g&"jpR.}!Jﰀf_ĂB<Ǡ(.|4S3AÁ҅Fp/S`I/CJRrtO)SR~gvnMU0^nPCJgKET̾gYς6^Kӽ.qVKNjɣY+Lj)5 ǵ?R>&Pe-ZE:A kddž"HC1VOqS^_!?^nm_cI8 9 a9kΨzAuDcb:5p'q-6;Tޝ-sB6Լ*xЅx\Qg): _KVzxtWZqC^XFkuU z)kx#t;7ifmR%hgO>LR>߃i}mc['׺_@aYW1lMү-UZn*zM6"\-/^! Hh'/l|{`T9$#e[{I擜ΩJYV$p^8>RpAJvZCT1xaZ4f$+ڶ(G])ҹ EAXȗXN'Ml`s~IVn܉+7#,?ίgs#ʞC6 Lrih.'2t;< LM_b߆.3,fplHpC 8&K4 balH U̮\2o8Z.usE՛u37 8A}]OSc Q7X .T4L"Om_" 5Ϧi2l s!lt7ʿQO;Ӕ=A֢̚Ӄdh)i[Y3v:ai4Y@\}ʽ.^x3VQonMxu~<޴)C&qq$FboOBfD)_Qdһ_橾w}J7/Uf}ӫnfiqEN&X#!nc=!"灻xT2B!Ydb/4pՀ ׉Y5EC2 ) EH jj%zRs:Svd:,Ǹݐwp '>:'QmX= }$FKF>#t4@׍f]IWtI*؞7euPs0ꏤJ@0fEmsDI4RG,e횽'c,=gU<-H/M]I')61kMOk1!y$XO_iD2i,Y^38 iQbjL x۶ZECK8t{j`KD? @V <7( zv O/r\5bQ9&й‡ kSt &!.2rD?<Ά)K' j6*"M6A`SpI.38@YX'7)7R}LHyK%4YO ? d8߳8 7wH-Ӽ"5-LoG5#{Ԇ_q` `ghDL,)y mqcn՟ZA@u'@ ݅ZkOטvrOEcPgC>c#LYry|b(~QZS݋+ #h՟'o bZٰéK߷m)ײZo%.Gxe;/m.'@z 9M⾼Ak$\Sn8e.F{,v%04rnloIOv6۸8Ԫ7/V?ZB5&Ś!W`sQdӰ2kn?LPxB<<4DPÁJή\!̼F }#A@[;dO0 & hQKHYv^N0V^NIW9]؇ƖY(:Iž0PbSHDUAQަkNu w{HneU2c-:kqIkZδB\jաBE[l+o!!~E1 [RN^ϯb& zK_)+5ҳhp,'IOO]W)y9y(w2KF";!mhf_ pK4+()V5]Ӊx ځjČ\T '"XjtQmGAEq `E[8 kcmHTRPEw z$~?MSч="8FqG!a2넑 aPnۗO*uWX-OiWҜ^gjA91/#;W{!RO(ִ\7-R$:2j9@Wp޳-|P}זI1­E5~< ֟;iuNN)۬o&BXC8Ti pZͬ>:(3]Vfg̓0QIkq'}1X]6HX5Ԥ@`ǽz #͂4|^ pzvh_;^8uiNl:-b>Qj0FpP\1>Vj^E蟏hQHg΍){qS6;os`ȝu95Mf#j-On! 6pw)j"Ԧ_٠{~$-A ȚA:vb-L%n5G 84dɴnSw况)W\&=ԝk.b_1)nEUVCfN'n-!4K 6PFMhWARRI!z"oF jʻ[aJVt\PBKHw%#M9s-@vZy^a5nIݼQmž#QB>thQBWhPUQDc=AհYu/ L`4[$z[X}$-;f*" D1vS5{,5jd<* 8Yw-G0LQ +ēwܿ:y\x̌[*Q6n|Wmy1ğ)_qn1hxG Β aJ[ 0:u %#3w#6U#d?{[ K 96w{`G4E~;8DUCk'0]J?;(xR;\ϣu؞Z,o^o ծc(Ž"Trw[0fzk:DԭVbKrV<}ud M) {z4Z,(vxWqq\a Zo;y}*B3W"Z We{&,YIN\޲VArͲ) 'H?|T4;ہ|bjŗ8yha:?)AE^:V)f;ڽK ðS 1~rr.]wh<<0Q92;2~b&W<<NB0. oK;~0W_W7Ƴ*cql=xvti™X.SIE?ZխPTUC7EƾGCͼ7V°p!k$nvrBצYs_";*mJ<欎<l W }8L~tY@ 3ˏno]BO %@UGZJ7)}IƱT_K }>;_DV}[elʓʪ$a/T> 8C =SLNDl ͷڬm\bRj|3NLPK7PE/V|_Oe /iU0RvxJ%s\"LQ^_}Kd1e@|р&tZATtكA=‡Cv Gp6₰{)$DSrUACJҼWkyF)~CHƭg*:4nUVVPL/{|ntwsWBO:˅-fz$X_{Yl#V'TQtx2`ѐ͂ Yzl^iTO ҙ1fX/RkDt!lx0 a󎝍>U?[Xpc9絿dBUk8^XVo$qޣ2 iv۶ie[$vmؐB>-^fotf|$/SR*CH]?qlE޼}WwQJJMtu9 q=9!t8ϯ,oSOm-`T&<FOOfSgA=GEm٫jnHa{Xݔ `'[S[zOye]&/ Yr4 .v~m?Zis$^bmmdW\P0Q]ho7L+d4gǀPJ/~{Ե=u21-,lΟ8 J2:2yA;<I:J*sqaY(=&DΈ6e2Ve96}\UٜXC h%S&uL@?*͎q͛L1 |ZGͰڀ}o;; f%7\%>^::l:'T`Cb ?_Gl_Z2E|$ ir,IZ9%Ÿ C?eNa~F-$$ajg0mOsͺyNν]'5S*0TROZs>՜Ba&rkkSmº ,NZAz~f_ vN{7I9G{%YobOq y&YeҚ(xUيd/[EiHIRp7HO~+&[h#.,wS BO~ H? 0S"wxs^b|ܘp$D>^SX?bStjdѽ~eoW~苾CkMk<^΋hD,fyYBUnOL1X{pǙ2@ɘn0xR󿉖J0z*8Z3"2b{[VϠt !!g+U+}xǞn󩃙'.٭dk-ԅ!>U#)˩ ToC>>umjG1 ve0Po.jXvLgD}=h JJ=L!0LSTU٪ 6QB?g]ǺuiѵMp}J7P(~OZ>Y#ю>W燠*@Vq}]D^JGXl[8wV6A`k 8joɪ}ϨtP&+Q}!Q3oڋ[Zj W {{uC yYsB9ߜQO۰:HzòQɛd|5Lm*Qdr\A?eY <$vUn8P`&O&@1d@)% fK Uֺ5a۪@迂lx< r .oC'!"f-] [\n-ρhH}^qRto9׼Nrw N%:o&QZou}v4n-|.'P:?.+ ~ R9HҜ@*nZ CBFR|@:vB/ FLrH ǽgiB~.)Q9!œ{Anq[?$oKy9~k|wsq?)wFy{{/Y`ʿ>㮐|4%4{}5za-^Χ2{K{r+.f\{VP?Xd[N+\ǵUM(4EĚPEj򨶇l jKym"mER -IweIX Щd$&2l,Gk'Oe s:L(5D#q x,Z6֖Q{{&B*az)iL&E4vHtiGX4]r;Mz.ɰ赍[7wk3Ժw-~aLN0~]ߙQ^I˯tBpvUɋ#J/[93}~+:ǪXDjwNi)EUJ%~W^3tҤTR0J+@ &a17M*S/Q!5t |ۅV4AaQd6$<{gQfI{ɾ8`wy(>jE"+? dk0-Dj$"?[dSSZ8~޸ hĸP@whiPuW"ybv'<(swf:0$뎔eh|Ɂgf}'$kN_;IIpZGZCo&[Eb6i}T޷c~*U;; 'h{L`_'8g tH»} p0iQ꿉]G8GEai*FsQnMfa*MISXŲ 0hWuoLwAp4Eώ@k  #WJ=Nt70J2M/5wPo!KZ kI?N&4RT|4[G(SjQQ8|$i9{EO}wA SUgV>79k&cs<[N8(y$UV 2i_4B|d`$yq<,<ɊUdžS? 'oXȁR]6 C_H&}NQ+yR-d+MLI5ԖC+dc a&J-sV#@k@jzV5aObt^Q/#S̭Rnx,\gw{D%6D$U(o+G=ގR+n!7g&an1p6v9p5 J) lMu)qB#37A_vr7]ӾZv]1R dR@AMOtA=;!f{M;VgaAґ'lEt "cOx蘷MafG7Ȃ".=2{3`m#g0T7aYdρ03/s6'*liV舱հ6<9nHۼ^jr!4 v2ow֋Y ۑu#(;f Y*OF!ξۉgT ldCYۢɡOyY+/I?rOgH\B1ϢN I: /=OWe]Eo޷aJޭC_4.|HEiM+]oϸPc_]{Ĥ0)Р6_ j ik-Wmux1~dE\[Ђ XXa@^-ܨ5H"[ x9,8 Ao ?em NK7k upoå⭯XD1G~}8&؅Et$qBIpՎ=,K7,WN>}Xc1y-(?,/dn</C?˦1rzȝe8{2<[ٷ <$(O Y'/QwDbl.9HRc\P۞ܐÇsA2C*+'\t&;bYVviw<"rkED]#Ie]ZIUtt9oN H"kf c=uןa"$^/R0DWc.*$M[4K|(\nYK@*YjUcb3 kQh>Ȍ'D<y,5;m $t{ō2乐+pKW=ـ6#,-7X ]/C$+ҬAYbFs {uq7 ?e3r][mnH#Y/~6SrH}R +/16h25D)KYAFsEWZ9@"6p婅cYuu .*an=´/Y򘫊clQ{ߓzaa"TVj.#bm Ն6t<^,f^xiAƞa(1}7Rl^{|-GlW7Zh@]Wz1wdqH?"&+nSnmAeF$\B}l(y+9>곅hbr%B !ɖBԱ!5 yS D&4'S@j1Kyi0~QuH4_@FqQTb^t D/g9T 'Cׂov)~Q2OݷsMp};weB?u󙞸uҕ]蔽#Dn*ٲ) - XۥqE@ 1<?t4ˑ΍S`6bs & yPg @P"hw*Aw쑈v;  ɾC~x4Pw|è4ߞ&wXAQww[c|{"[ȅyHPOg,mŬl;pʍX |h D؛]k4St{ّeꟽH12WE;u?VHzِ"|;9KAr_U`S<:Xlm$g%z.`%, cYeqe*^QYstvLaT_s/g.*#uwe ϡV'jm*q;CDg];Hv`oP]e+yHKEO؜W%Y=b杩؟5m[ {>$dGˑ(~wS򛅬3> qdp.АgD?r0Nx &‰_.;\z9M̔Rn,"܁aKEz vuC>/pO+ X#! EjOKRm6@)E9J.Ρ4Wc99PVs:UA(u(8׉VcЃ:_^!P5y1T2ݩT)ZE#R8oo hz[?Jp(5%66ՌAδgawTI0qu=ՑwTFe7#cO{Ddli+cU|qq$|z WvÜ屟,dŪ`ΘqBYz~k|!x"&3.D{kV=N;mM3/o%.⎲q y.o "Z5.|| fBWAW&po}iH6 < Ӻ:`kRlulЀ F͞׀ ȟ岘jhh %Ѐ"`OGFi{uUt"bS0%8!JL [,GeYwwml GT,E̢қN/KYeZ?@lZ͔VGVh!dC"OֱSrk '2yOz97ݩwYвK'ء8&G?/]6/1m]] Kvjb*>{+y)DiF%G44 p`yp޹kzms m L4_;WQKk4|A(D!:f%q}W7%8O BB"@m2Җ_MLTv@ktwmR ͑مW%6 ?Lv| X*. Bbz"L䁚? s:3wJHؿ7v1/W49g)j6'ϲB1D!QL)aEc#QRSTRXIL Z4>2,'k~GeyPaA@|^&1EjN8w4Ϳ}=3k[@'!|\Krg)py d~QH]#^='|;6KY!k*3E_l,;i{H/2V(jl:ErqW ϸj{ Qn)UzMvBpC$ ѯX|V"szܫ&xC-8|*=IU$/޹"z/l.Ǘ(P,r¤6籠ߏȩM/ - XX(GCB\=/@9 W~=aQRkK6=ba."3N(uJ#J|ժ RtE o_ s6Z2ß V u.QV΀\<@',>;RhND6:lN(a3.!X{sY9mJp닮ir7W#>i[!ϽqcX b^ Ҿ|= @Ez9IG &Ob+M'*u/8'>ӟtp_vY,=n9}K馹zOX-#lN1bF;*M bP؅I_C/G U wa$%AE] 籃R/ň,ũPKhMBY(s>dL'x)^1Eqؒt]2bU 2{&STbv<@;k\t1(njQT2 J| 7֟D%OsJ8x yx`4#mHP*>Bp۪`SEx LvP"G%2" Nu<%|Q1LH:KrrEOFK#l3-eT M azqŸ{Md#%}v;UmSO{p _?R@Z[# !ƅKWrO lFFRz y-!k3b6_Aj2ugV?K# dbl#ocêUݾjwo| +[]Wh ~O  C!8Ï-9$ZZ!O.h1*adUjxX8B`[ ͭc&/eؔ{\\ C 0b, Hfdl~JpNF#g6p3̣!rG=Й70نĆꐦXGf`-sB"[4Y!?@qxջa_k{l j+lB^a2418Ȁ*JjWY;&NS[d{lKs5=FK0qJ''#-3b{ ;ktF|3^BnD9S/-vO8..uTl n!@F*妙)0Q5.XNJt6$7,BF:FƔnR# ǶGލo/V/.ڎD[,<3[?oy{E IP@S%{7wsTiaL.1DDhE]j`s""$txX ]bW/ DmФwzH`͛Ԛ Ws;'~uqx{c{DU"[D)I(/m4<;#=b񀅶~?.Ϛ}Rނ xD?@jC݆f@m^EhE`z)jORRMFučt+e,/abhDTm<`,ƣ!d_LJ-^d y{* t:7@ҦWϩLWTf>2ֱ|B-ib󅔓4J55c38O{^#:*qQKe=m`Ⱦwb]sgE:Zbb锷[BMi%:EO3c8hoS--t儋y=|JLe'-'h1E:bU]N{ Pg*QQ@G:OsV '\Z VSk^MI)e(M *J0 G'LڹJpN`gV[$}^[Aw?vkÂwjWJt9ΏV$|=Ω&U0'Nf)?e-S!3O|"LVHCf@p%H A 4Glb RlT1m{/R PicEb/ߝRZRaxX*GcUmQ:8y |K!HXɆαn*j݌_"J2?UWSbALsHPiF@x.UġpwX$Md_P&WXϸA0U K\)"´}legڂCMc]%(Ldz4ifLʉ= $ c݊ZE J+D~HzqR>Qe Teەdz(4+H|F&y>l.~zm,a UhS|9p 6@ m'f@mDFݻ~?V7Af~{Hڬ"6 t$G|nlD'>83tͪxXfn @n))"!yӞZIS-Pilx^/Y(#Kf}/`Vg例+`TP0{^IS+sۮ}D1zfX zk%cIP$tx$h3;/O e`*Xd0SԾpdns~C"&@2|cAkX-s4QG}D'*xK`ܩ|;fpDhsͣ,dJ׏jY|4I ~?aj-uyqK^.doqeB+xmv (O/)<`TYNi"Bלtwhx8Tip&.NX|Z3<1)p<80Qn\JJk  g|͔ Zuh7i.WZ$k"Q7 Sa'/ƭQ 1lAzdF*Qs).wh8rr|7@nVovnOdM4e!~ZKP~_puҠ<˨A-+|EݓfdfKν{! }8\Z[ֈ߈Lz?tIg CQEp"()F)F.6@"8 VꇶO4BEϚ|QYmr{fzp "@G1R#b6KZjXar8#].M_h9{Q37H.pIi?JdPz-ʆm; DhVk괡ѱ΋~!rw;%)y?1Aiay{4?.>m!D,Wd{%;$EQM%OxrnB @:aEpΫߌQΤE $u`nMkpԢL-H+RG]U\E>VImS:Ԗ=F4aapmŻ;~BJR7@o gv~q||uȧ"Q6E9WWwwG*5~62^k"YShe-[pԆavRiM|8S~eĵ9P[8% ͐B$ kj :4Zy@J}'G x@tY;1*=Dn/- 婅>o}i=D)x>hXl_޺sEEKћ><9bm (M+{t+5%.N۔>vo}tz{0 rңPo,< <$$ܐp2eae?ٓՍ]8ZD( ~舶Dx#dzo{E =\i}_=pDcB|ک Bd"v2ohx @ԥV&hHrlAP̺pr)(еSj55ب}qOaC[U+Gp<92[/(o2@zVIt|BW7Rv_ VIfldYt;zRF_ 5zy*vI:,ֈKBzG@N}h[n3Z_楨ʨ݁SN yHbgbyV`#:b.š]b31 Ӏ+ F5w*` oZω5Kb`úG^'5`zxkR<"!*^'Cø5Ï( Iˎ1josz]7>]Cs& Td3B v'bck_XHOlʩ>vl~m /Za;N! WBa텦̰K Fn#,YD3yYM>J=iQ ~%8]V&.`b8R_!]J1']oSmGJ+^;㺍H4/IٖU%w"Of3S;6j  C]G7M^s={eˇHf('rx qZl tzEWϪHOH~WGi#lKqT4M@Lٴ cӦV:|4$ 5}1 m~ %C<@RIg[5́0WWF;&"'aqJ\+tDsIr8ΗKl|`HQCYqȰW@XYz,~}uBU}[,]ce[ e轖R S cW'[^gO5H][\Fl&؝U#brǤl%| +*֜Cp4]MʻF%ݖ12]OGC AhӮZFMK,AVޚ_Э{[p'J6.H|UŰ3!>F:k!4d;fي EaO/yDy(+G״  lCQ̱oҦ08Q$!pGsN[^^GM((B3& oSDU0}!zxPgʡ@`.n Ϥҙ%DvZI2#*A}CWª>mD+2䗭(F+FUHˤg1YZѶZJ,rex/opT*{7MRCA!lܻ79C՟,o