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\4 ]% HOL-Decision_Procs:threads=6elapsed=222.943cpu=1065.724gc=124.512factor=4.787zXZִF! y]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓ћiwvE͏[=!maP{Ņ]=YWDI?3TI/Mc^ Cư:g C::`LR QWV!LnI}rSêLMRϻ@`8@RX 6LQi~굙D)Wr^T߆NT^V 82cbĝWI8d;tZ܈ ObXwi5/qNRT*!D1nBZR` 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 ntOnO\! U{]&M8:}`M'v86Te+{r$ ч?Oׁ׈>eK1_^9HMC{w8O4|p"⯕e@>B>_\?LQDDqZ4zڏB8WwQYƒ3:;K=)0r{EMx{3iкposm~XE@F M2hA,D=]=>մ1WY[n Fa_(j!j#݊rU.lx,$IRx+(gtu{8wdi~?L#C~ᜁKQb"`=NcgÙvۂJͼQ iW,:>>%d] k.6YR^eYE2Ogj{j9Qd9(jkp{KVjI_ohP ͤԑ8>{ ۶ݏhVzUg3ԽwmXOD)0\a&klU!%Ko?}W{X]IMԾ+CW_˸Z ݼ5+8;sʊl y?6iBeV 1o|I+L?sƶF`t@!?T4#bz4d .۽!CZȣ(GH}\xk"mNu93q%>9ЩǘU2:Ng-8mo&3;<Ǔr06UV;*3C $M^?{^t]e3/$86\-ZS3W`ڣGE i?ʣq\I;*S44j1 fTfc$d RYe -[c-x|hio $ټ-/lT #IjW8' X?8՞{yvq-P[}¤6X҂/O08=H7;kk."k*aOna\I$]<'YiB CF=_+\ 3!Avg}9 xD~UˡZ%~?Nۊ@0V/v~`ɘKu"*z'*{g#_~(0Wz.6VN7p..Jbr2R2@,hHٵTEQwG>!s# w8Ja>G j5Cy9(<^3x^uPv2[d<㫚XQI4dTLZ;C]P{]?-\2_bhrm҇Ͱ?(ZΣ};}{ZpeF>XƑJf/]}&3Ge$&ڮ֣USKdC B)k p@HcK 0HG/\b3 X (m{FvsiLv w;ż M^eD5 ݤޮs2_i@a)e5qa9}Pl؍Ym۲n7$=Xs$@*~OGpeN~Ie k @Pᄑδ0d|u$ H^Ts#N_>J5&0H꧈ lף}-z=^vaddhr^`w.<=YxV(Fykm༡iF$|0KEY?q-&C~iIuGĕӡQǞWGKCx7śUq/-rR?Ԩ$W:/p΍Gŗ"rtيdδv oǻY(g<ΰ-IX})3`[U9q$mK3iB~1 Yh 1&MCe2qq!䤡zPc/Tp+{UN0n' 10w8,5},f;2рY {hqJ2 liP{hRf!(HP4:V象1x ږZ5Xp$1_m|n}#stiVI Vމt珇 Z/ڿ9(KPjRr9c3v\30Uk/zRcX)9aUEGوKV ނMw§AQ0NːS6Orm-'=$jUN4`I҂*Ssd@+f]* ܟ2{-:Bq}!ԦS*f?D =kJ_q!7@YmFq'F *dfþ=E:ďSί8 ba%]x/}@Ǒu>-p(YbDJ!,9U'^htR0a N3 +.'}AO%ԎlgxIg0g}t\b[,2u57uLgcMq,Ss C:8SŗTv|Ug?LdBZR'tdoVAƻlYc8FXXaQSn}ltIі$; WaGz)9{8ά2콴Q!DcU9E;± 󒯝L׉i84ߣUvϻ}7-jIS*c [p i"cmTwR&(17d=[O0ktys@4~!5 v,^mb;%,S<M=m8ι&GY1[s9AX8@ywQcӴ0Y@kFp0<^!K0dU *z6y6.aI>UF[dp< wK~5IeJz<",qr?Ug!A0nkpY[o?#jnVy9"$<&Ew¹VrErgXNDI+ط?K~6[MlN[Ày(K><#NGބ/< kln;S:*d0 \#mI"[k6fvUg;o(/w*~"xn m\v.uJ94dcI/叾;`b~qfw-UVET6)44E,ǟH/tuSlBL?6SởK)" (^$ Gt.BڧuE=GNHa-ܶT?N(=d2 Ѝ8iβ| f(|LN^Cl]װI@ yĚs GXbIeП_{)B ||aw˒;4ñg5\Uy҉^lϫ+gDC|pcޅeׄ}vf! R*khAКe8`co=#4V~E ^ fxNvWF%5U po)XP^ںv>o/'ڥT8߆Z2 O`)-<y ?+ϤE B% $\k߯ 0=Yh2]\5u`.3ELHх⹳?nY%?fЩIBpOGT>PL)-p "uI9F}ck ,(4>Lbj Pԟ>kR_z%fY ,]r&ʝ\MK)d 4xyb֐;:@TaEԈr}#+CY⧼瞨@M ͺ<+(AE#jߝY'aq5AG{.V u͢xl^ẋbv dZ< :6َܠB&kRmmք|h[b?7\!7\N-`ٺ5`Nlޖȣ̭k?t:S* G f|\xsKToGmDiD80̐bKѕf<2_&R A>D20Aդ>Yq9.A>Pv~sEg)'\yA"&qVZ»4|JnpˋG:]3Ci<?6F Dj Px!31Üe FtX+k> ҐiS}*d?QDi4MyqG8D'R2hpխ_ !{;+ l0~B5Q5mC5j\RA$Ct.qz ki/C;FY܍D@KِO⌑L.R*\1wzZnSNl+iaJBc#B<\aQ.[ޓ5b^C({6(E~l4 RC/n3|f`Ti~śccbZS;nMH)Qh]३)SjFN[ S3HW^eЁdIĆ VPhNS'R;醵,m6>7 AVCtn\IKD} dqrBm1-r.uUsXEJ\kML8l*R V0+K#1c.ǖJ,AkI$]|6*YfٺdJF S˨- C5 {Klp 7<­|M[j㥡$I>^\o՛qg&"ȇJȡ((>qoEbÎ {9 7v.D 1UpÆ9a22?g+χ),4LC[k1Va/&tzp0L<=(ւWQ]50"(ŧ%n2:3JJP`E³{[P책hD:#C-SW1>'q:ߧ֢p'qµ{~,IfC M,|9OaYtɤ/Itzɒ#uv}_o`uWP(#DyT c3,REXQ2)/_l5FP:)U[Ƿ@UYUIR gYZ7zXZִF! ^E]ŗXi%ITNj7.4ki[N]?6۴JwB.}uce0w;jJ8uy31\$p|]'&by.[ QeJ迮/-pBrwwpfhp>GL (V&7lXE 3-g; G^^"K[0 #ӗcP,@͡a▞ҌRv(1Nf&K867d=ruO8EO/[9` G6-3ڽ&Tl1D9md/3ǵLŜ>oD{m4C:[W}<#E@agj F^TIK%ZOu&^7=Kt߻js U Uo@\dōͭ/J^af5X|J4Zd]  erO];ߥּ9GXbHLVs~aߣTr΄6d:ZgA~mtʻòXZ_Y׿\ڳ5@7Hq? W`f/^h#2<ܱ^1 bS<&]O͏.J&t!2mz_&TczeСi48 g>L!h;fyXdy80YZh#mٴfX\~Ostб`ual".9| H2V⣨"N> 5B1ナ-xPf߇ 7A{ȝә Jr޲xr;\ 4Ԩ$ک? ^!6p9J[~҉vwv6yŕԌfzۃUG GHI6DUv%nhʝ!NB3i0 ®DQ-ZέPat핗'&|EqJd`XIqXKy8 - vr"鹊23X6gݩ ;H6-_ߵw Md,3(hn:o;0SAXhnvxP vvXͣXn9ߋe(LK꼣2Iv+93,@td]X -&FI&a["jg U="N=L7/@U7uz_&,zY$5Rlk;@%U;z=IY$#wsEuqtie6Ŋc|gsB!e[; a!dH/X))~g X"rI }YhGݼDaՔ">81dp-S￯u#W>Jo>%R/,Mя7ZXԳ$B3kUc=cWeMw1){W3Y . .MIW(IB©X"'/G{gv͎,jk尠P W;~HŊ˻Mt,/'@Ҋ%J"TE!b8-)#AN%ϩwjjdS3`&_[C~:g&QE W2ICl?=`?+MW_#HSoN7$H5|QPkwm] U/KE/+L#"\Z%1]} tսQnFfp4( `y5:0[\ЃD*=nӧN\nS+ZQ p%&XE1;}e;8̕yǓ'ߣogb)66jNufd'+|@΢*Ü" !ʋ%WAz7L 8:ڟybXdzr Y00 s .ly%Y:/ wR'f_uC \ؓ ?ܥJnaYu xe!*2 Cph)ȸCK.K{$=2䪍9B.b+ xw"M_Q[]j{xS] %( ̈ Fn뎆x$7n6M $SW4MZDz3"W>]0E|էArMmLPB:$X?0V[1j@ZO3[i:$Bӡ;[KFOt)}QC; +|>G|д&̣A}Ħ㶲0}ϲDJ #+2%bBαTRIlHQ89;2˽]TsB꫆MiTizgc@]\0~5|f{"~I׳"B*zG֦ۥ `}p+;Yq! 'j1i/?2Gd=Ń#uIB<$9=KiߗT|7t|霿$e+V`ZI>(!6U)>1S^<1w5(+pUTG_F$1)`~8a6wg R h基GϣpHZAjiHW_RZFD "R]ez ll|AΟf W6U'e̾?khBpj:)iiX^NOLzR(SH:*KT;2ZbȮ|QW'{tP}Ip'-lL7JwKiM_ X[nL.P>"/ބ+&.o-fWHCQkݞgf8y;ڞ6KlcS=T}l"gJG/\v7rda4S3e*еއ%~W~UVbCYKxM o% xK,@hyȸ2Xw5DQO 9jil_ d yklH.di &n@q[| 0Opzvw&b\\5R>lu)BUhTd.@nN%[H[5Q(k@jkŠlE@èϞuv7);gTaN \͟!lB& eҨJ~.2 E1ckY6W~0yKB_nm;i {^B (||ŝIx^@'CF˧}aWs.~/rYJ0ے`K ~{D ^1uO:NpruhhI2^o̥;E~07e$*:Ht'4S@P5L 0aƑ t<#in\"mgҟ"kIb"d0ĭ/`,BٙDtPF}`HS9a]Oό YBMml~F1ug3xYAY,Ȼj 1RMoŬl[U$<^lJ9z$Rd{dP}=k94ׄ S'}BI~T"}Uɖ7$.7@iF KPX\9˖]*?I܌9*' +,qҀ,/ޤyALՎɺ@ \r 4rL&ʧ?ix^}ch~Cxr_SAC<U|hmL'z R4-%)̼@Tf Wɲl^ok)ܹns6Us6@ ]*pNtw~V饬F(]1S/3N먝C6G'< K>82ꐰSMFF `gYhKu0:SH<:M"cD4m#d.Hp3IWXO;ԅ #0S #b9!OE9ih8 uEM?` P"0z_{ԸBO_$= 2<^g7ֈ  W/b?/'P X?glTcM.xDαXI5\8E 6.}twHAEA!]2,SChC?hG}*A8`R7'.T+aۓ+A1nxd6+?aw7't߾+ F.Yk e>J[jeZ^ssK4ah3'o`.5!;))<%* $.0<W(B64A#KU7 ϖx`eCN0jD~‹㧗k)5d^6Of~_/`R_ٕdƇq!Qr`C4\lvG LQe]L~Ag^awcNK.#t@]4"<ֳR?`|JHatJeK+/ȰzhWZM2`n+Rp]^]`XOz˸}O-K>SphdIal0n'n "(8.^$L |8z`"5t1]`OA>vQUTk-=J7͡Z_q2~aqtf92)pJVMّp iMFJ훟9q|MyX(,V0I{?'wkP[)Y[I7_>83iȐ2t MM+ *V4j*eCvyԌtKK߮F-,Z-v: B*zp"E놮)XgǢ}e~mÛ)ƽ 5$q<slJ=HzיHq7Xn.Iz&KEMsq.:1yx7'W_c 3B{?i*{ڟ^{00 Jzeq2::^SzL\D!,N:Q7'kBQAUo 0F/n,S]0#i2-uwH(Nn[d@} B>+_b;VmBD3ߧϔ#f4o(fwRXa}_e;/<ҫ!b#VKS dq9}4_Yhah`%OcrvOa7VmJ̄djzWS3!<:2^\'Cܯ[5i%F@~ɼP 5,h hiM*Ɋoz5S r~(//::<'wdr tR;e"DN%ҡs?kṿT .N,ĩ㪾᰻M0Yhvbz}ٗ) `90C !]n3f[AQLc ; ܌,+εТD95"e#P4`i\+b*]т*ߕ_YFIszOxsfm P87*ҁ6Fzi\e 6PN#:1B6( d4NI*eI LJWwZ%(yߎ蚝1 &!i ^V΅ݼY~r9Toj Nps:Q࿔ʷVܸ^ GOY d4\ġl,ddx<%3Ow5'aS]B qVv^kXkoT  }K[bpdki/h:3yU>r'}ix_t_ק+^"ua{`#mv|:_inuӀr O &.QO' ).H.XOo 昺|Nd}SǝN#Q69HủP9hdW8+G|f2R5%-nXkPX2;la :(Qe3Bq2Gm6C$vf;s{0J ӊ2C{yT Zʟ'&Bԇe 3r֓EI2x: 0aPڧ&dĄ_*^ 1<>͓@#b%:9q -v&s>f,5!>V -Nb]P[q&&+~|_TNN\t%܉4 ǯO ?*kPBD @< IkZ=fmU^w`6L|8 o!vf`QꢖA]ݓm [ Ԓ4w,Z:[`y،I.)w\]Y+eЏX;*z'f14sN:zٙ-+zۭ(fKo B0Ơ)o6(ȷlMȧ䛦/@a;FjeE,4\HgYY`WdnS$d w]U ,جy1 N[.t:drϠe-O Ő> <3Q*ƩqNRnHȰLz%E(Պ~Q-Ա]=pU C~"yYG̵UjK9(\)YkS+G'3T]WNs>Z{4}@;cUt^ Mpsyh 'YnwTk@!.mfA7OJ b4hA=nȺMѬmP ecƻ*D&fl;RTsHHSxo|~45O݁=uFq#[Y4"H^UhS$uhٷ[l`?Db&x~!qȵ{M V{JW-=4*'z8A\jGoMʏ/R3]+n @+ kHyݟ/x{68R?Z7xc@zJVQ9T瀷tzaUB@ǿn~V;jB|+@ v 2Δ,* -wKfIiutV Ymc&לkQ{Y/h2<.M㝕`YYjD)+6Ȯo݃-!zceơH I01` Cu`kQo͟Aꎰ`-=j׳ưFLQ cLFb_б07gcTE"˜C*j)JKK`|fDC!m%Zqy@* ]^ziqst'/H(]lj:m7BbtH z0nieRc8Gڻ'!t {eCWP=e8п'S - Ŝ2Mp/4JԑUF ?{J +lm05(lǙ)j^8kT5`@H(˵?1[kcCIA11Uz0_ TA KEn0xp\J45_GIǟb=b)jt0׌>l$`0P!\)99~$j-`E)>)LcН0p$?\>\A*4N锷h7"n񐏆iTV$05R=d 1>-m0'LVv *RfRgJGXPt1hoUig; RZQʀM?J{x\tvָ&E*izFFekxmzͩk`(Ɲ7s)qѴ'lLzGY }D") J В, y9CK duxJ@fۃBx,1C ޘNä0?\R&n-\8PqVd"ώZ&ZBz x{SR=Ƌ B\YZ;'ή1(ұ#wQVh_/u\zz$=\qlZsX> EKdqV2e_5;бa΄t'{1*پeAz=0Zm  -^[vإ@qUyM<"ig\Ԑ}&Lb+^@T._ǹ?3yӊD+fK04\*:˹uCѯ ~ D TgLK #dʜ6<Ę+^A=Hz=@c/1Q1AG`ACM*Xj Yh #Z+4WDTL *+zuލCb(g>^P<Д=MN^C 7'5)fw޳Xs$8UgQ帚̓.cWb1n`F-FeCuGUWKh`Ĝ㣑Ȳ7!~;p-d\{=y"LC4P[,X',W`[[Jkx1P2 & pRhўy36HJGH<8/Ie8/wh߉@Nh$JNHkEq⇴8geK7Tl]w6DHZQ%(gֻ=0,n .0LQ$UM6 }N5%$gbX@iԥFҼxMeCIޞS@ (’zHu@yv/ݜw s~8uX? md)% wg{B4PS+¤v0'Q>2%ڞ-/%/Ni;n/pnTF{1EC_1s)NDTjVO+'umw.͠-;?*wlj0}wE"_u_u>'2-3͝*~w&4]#6n՜(kTMX3DeaDy@*H7.5⍌ ~>+#wƞM&=t~5h{F-fBOyʇe#Q\)Mcb'M)BscO)[ T!|Э1; ǝges^fFKq:vm\Abſ1eDazI )s5:.-S|ٝ_k7[< NԆ=5<'Q٥15f"u!҉~"]HO wz<;Z&6Yvj}?ĨTzPᵕߌaANDcpW6D7<lkfTKЋ2G{6)1Hu#{ˀ:pC(Bu* <>F͟lUKΧ ŹoήJ=HDN:&&wRk;djrE>"}<1S?XWSRu!DQ%> Z,y8kq*T]պyaRW[ OŇq{Y/ y.n^cho^\_<)cN &XuT mGȓ_S?PX{zSA$qQ6@+KTx ^JwABmB#].kY &N+ke tX族G"ѻ#NÑ| u}c`Պ2g(̟߱$\~rAQ&4V!gDF ̅7.īF؛;? h+8B[:'orQ<& )"9(~CLk2ne*-hj_j*B-/ixt(W4Ey<:{dqݚO$OeLI;zRǕ{ G͖-Iiׇї#!v+b'q5P_MwE .gKB x .#!ƫz{#{=, _h^C=Q]:.ۭ)=|'q~5UC]S3%]k#&R i?@5Z?±>ބt =ʮ_yeUߟ>˺_BLb&4Aߧw·y;k)b :mQG@=,KT3yn3Éhaf6!H^%뗸/= OoFK$ ]VXށ G:5kBchBg:Pr'.9-}YxMls>QxǨm[d䍸ZMIKbS 'ܸ3H"pygKIA{sVjy>8&(̛Wjr( X ԯDkt$GwkEv-[KضCaϴvNIuEmqZBK]Q$9gu^`fǀ'8 jsOUV+=reJ!_5B7$oƳ}`^2&BBƾjz}gtJGm\Tcc33RY#p!6 .,Oc`,>b](4 ;j_D)`M3o{M eFYt["%NɥhդeJ>%~uƛϏwV-^\&S='{JR[񋂮,c:0)d+ػCL՛]_9f!nY_j76?>mb8EM)L )#Aq9EZ^=r!YѱV; -i}ՄfbsZ6YqM~0ՍL{:JBS*f<Ϟv*l@j8 A|$DW1(lwY0wiA;u~WR+:Lj}X#sAr{2q˹h`sjaŋ<' ^hd:$LZe4ݍW6g1nJ^o/aV`$6rK(ŭ#l4z 6ktQު?;6Qal)HCP+m%HɍzLH+,,)TmJ_N9{QϳKq" W/SP RqDAWm 29q6Azݕԧ! +'j!˥krLbQOg-aQLLúP"/Wöѡ3V"4>??X4M,j2ks6^vb'Q9 Va@Q}`gYZ1ca258ba23748d9f8674885afda69f710284a72977140aac0dbc34a2951ed06728ef4449a3d3c2cb 74195f026dac375ce6b287f38a203688d292d065 24b58e9ecf556d0f1d2f4ed7623dd9c910c25bf8 216d4327c0f364d9e83af30739145d44c1f3b075 c9d4c9d40325aa32ba4d506cc25ed673f2a440fd