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  ,1,d4 ]% HOL-Decision_Procs:threads=6elapsed=220.752cpu=1009.940gc=91.788factor=4.587zXZִF! ]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓ч#PpIPs=a$$嚯FzF.bwW"ngjʐ27xE %Jzf,Ahɿf@Hꞛ%d-j](6d9 lez&ӆE/ 4@ Mˣzx(_FJs\$}jUZ#7 Ii!ݶ%=TQh/jªCԛNa!_Q$iT9 c6leeҒ.';&ZҶʥs7:y' Q}$Ց(VS0\^ay,R{ȼa<4 o 纱'&ɕ@>z֙m,xV^HRc J+]>ʀ3خa{A`?|׀$q7\ }:r%Yq[)Qww-_v"Rm#׌a< ޷PB'S| 0/ 9ӧrdjo1M0 aPWwDbvD]6"f8-/&r/2GEdV7z~dXT0sG{,Ϗor: -?<, ==cLC1.JWӦ4?ΗٶG@&U!K5X#L'FWw"/otqq1lTVfXDzq;z)YƱ\ 3*z69wvc: ]qr;O߀ 8^{Mc&\'9Bp^PP!cO' )^z6ENGx ת-',d5DlV sS 4m v@ |8lڄFBcK?e!.I Km ]K$ȓ"jfGS~A6a#he-50_N%ul: g~]8kE_ obcek: lGMm|' I[$vY0x%eDv3C[p4Jq&v0:'j&h;^]rMN~n55k 0-hQۊw 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 cQ@s-]_j1.:XX?ӻ|GLt\p#)$)"Fh>sS-ujvݞ59H7ixJ ]~k490]كBueVe륋ϋg㿦[U!% #"&l+߽Q㷢49Tq7`z3! ;\9Q^a}+'4gS4c* >_`*Գwyek VN*,՗4iZЍw ,ӖtC@<7a]~hwx--x&Nݎ8FF fU) 0٘ށzgpәK"tH[܁F p2[A}`LAeE(2j;GN cW}˶LBUn^ƥϢd*נ|a r/sOJ])z z [&_E%¦lK!"ԖY(ht3oy T7$D3Ab{A r,tF( HW' `q1oT2xQ%'=F{8kfzG|AhVۮ֮]M {Ā: TF Nͽ[J6cJ6K|iK4r+'s,2xFwcN/9$=*'^H,w'dXɥȆ Л-N)Eى<1iӈ/6'D!&BQJkD}:*XZ}SIJպGʮɝs)ߴM k Pd@T Y-{2װJEpԡlW0zz^_kE@Ik妵vP: ^ H q rxѼkAFf1bMJ{鉢0pbl^l~Դ.ݷE^0g!WQ8ExFbYdNF؊Do{̝<!C8dW]2T`ɝ(T| Ȉ{}l +uw[-U=9#:}:sτ?,&yKʥ+JDrW["k OɚqHQTYOnQWIE&yqtՉxLuQHz2T ,|k<*XjxKi,9@c?i. x1Qb{OU~ɫ>Xzʨc/(`A}uLu(ሠ*@V.FJK2!V|:@KJC"zŢsԡ1< 0"f9|صon K}Ġ rQI Wxif$vk ~_WI)gۏPf- > RA/U \* p}g2 0,,V\68UQ/"osZslxk͐Wf?? (FJ >`ؿaz8`5+ͩ8UN]0QCl]@H-/j4* ~4ҰAchpoR}Z +¼w-:I7$?q.߄R88)s]q4%y]3 Vs٦bPn"\Ad,\%CnFS[Dc]TX׫k%)zi 2T֌W-U e=[UuQzUm/Lfgo$?Cdވ~t%SӤ-u(OoA+DyOPkɿ{,xI$)" ìz'(= 3٩R9 7-Hq F2 Fxn["a2nX(mJu'4̪3a'3l`=9A|%+v6CҴTfQNP:C%ۂ0&PHᑔt5^ R)7צa4BRiLH,5yƊ*=P;WT̓Am^.{AHJqus))gAY8Z746֩Ӝڕne@3&TNIX34 k7rq<ȴy='Y%T_?h5FC"ܶfO.Pn<8LZWNg+X46HI 'sؔ`x' *B9}tk\;qc^= T&́OʦIoB D W?nGM7y;cÞt[K?b% Dq'0(@{֑&;64w,&P p ǵ~z.g&_V_T爯` 'rob+n w Y*!`tF|=qص9ĝ`!P^W߻@])i!r;{8 r ZWgX^pסwR\835x# et$yrK gD/ũpHv^Gn YmMBwr9j(,xB?y`R.il5&Ja\"6*N^`%L^լ>Aq ИDl!OTa@@]kS!b jU%2KpugGL^8yV6! lmlͱ:VrY]Nfi{]Mm.Py#]؅>ɰ r9}Yv[%>O]8]1N]R\M_)2ԕktuh  Hʁ8Auğm<>>f񀅷8 s"Wx&Bmy`UVibV{(AXH;x3T),pjm@G^"?:Ymďtpz@^H҅qQ8O0 MşS:n:'pC"$I7XF*X >%sp@Ї`-eW /S+gYZ7zXZִF! Z*]ŗXiɟ17L? KxlWP8SաM~>fٺdOa;UA-\v̵8)D\UJf]A:;oy'?AV%8gR&5 hЬ{LHgr.T4 iNz*c+얛 y(ZtZE|hKZ hܚI%<^8Kq:.^=9+҄/%W('~h|:kJo( LVr5|vM$&6(/& (h6}apsl?ZW/r| @'n͡$yLcGsP-^^o!b62^jDaa;Zc{S҆ĉE\R~zeJcf*෪"PuXP=I^x[ cXvװjތd] Sy7~sU{,7Xsmp1?ۿ?bW>R  jCI5+/Qu=;$-q8Ǒɦ ,L^Bԛ$ͬ76+Vؔσ%9v!:׆GWXCuZ *{c%Q GSLө}UN7xE7mY" f8܊)i\<t9ӞbYfվX ͕plq;@J_օK1bp"Bxn,7@~UQJE-վB/4)yoKWE< Mf!tГĻia5I`̈Wڠ~M"<2;^D tq,U&;]2zq[MADp0u +ĮB=vt 'CCJBF+\7Q:@G.. u ~02"FA6㬨Ȁ1J;:ZgP{xb>QyXc=k5IscPb5^q-Wfݾ.|8 ;UE,Xҗ׏O޼9顇=$em>/N5:X*,բݗ*U~LUV-v}v2^;~ v#$K3 9d8BDS7ӓ w*S늗(kKɎ,B<ΘBKiL# ɿ= l#W T߲ٮӔˁ*2Rp{fQD0^zEb}x,ziA+PiѹX`b7礇)b!rH[] B=1fЊݰ'x$K2;QYٳ1[އv5y;2Ï#ci p:PB_+`hPr q`" )tH5񈂡i1P1uԴ!+SnK5`,z &vjZ+3%^ ˙nIޗ^CV= .&&^i Ic\cT\n~ <-dZ9=X=6KjkS__:3M ۄ02At"ESk/b{!FNk/22u{)apˤLOqrHKϡ% 6f* +^'B: Oovȉ^ʥ[Ln#|U`zgvuQC(A,>rU/d ޢ|/]/&4*@ TSJjp%ʠ%=63бmѡ Jp )":@aYK>۱[\Tt\YbjpT!ϸB-{RRk*ƍi (aNor`Oƪh32wN$c82'1:u]T#t=-%*ގb<)Qя}(=E%J@+=`5&R# `w8"^2+F.c-mcLS.V\*_w)DtIZ?0y{DU(+..v#"W$<| t c.:p.hKؗ? :iWrafBԆ%uqfx:͐Rw~'ME~+ Vp.M)i!p<84U:8$ix|oeGj[,= **D,R)|Sy:]b%[1##ku_5 } iVi(>cN]i zb4JZ6=sXv0)MiB e yT|ʫ/e+_ꌻH𞯭 VCb@޽-]qK`bdM ݰ@TX68`2ě4/x;cP/ &lD-y2ΘRaˠa-*|b"?4[΄r2 Wcy=x#y+cՓb⧜KeI4soCV+%'r}N2HfPmN_Ri$wu$p , 9)q?Ap6Nj!Ua;yo⢫儿 QMڴbd?e0'+9}} ,xx\Ԩ~o>y-MgmQHTc׉27gay PiJUٹAؼWITʾWCdK)qM@4奎k0RdhF# Ԯ0֭Qyi/rRO{ix6E~.Xe˴2QƱW,"`3oJm5aҍW_AS^ )G]).XW?%y)B6kxpŪq+,qK`@(1ݘ dOt{ú?lDvޭK/ ꩞ב4 Npm1HL9-}eW*1{X;缝w^@lPYe#nN-i^,w@5Xri$ۂ$|]auԂP1wBtui Du.s\jL +BP<뱴YV%)#@P5 3N@vqB*E=<[G]"\B ,˾:T2VOr; &I5}-lm{sбNzGkE$αPBp^;3>1|i`@,O$^ M9rޓ5陨J\Z6`y#eǺnu9 vMs>2x% [wvR)I=&υqVތ M.ݬ<#3Xz+ z@t_OEO0hkF5)'RKn?c_־FBfB`dtZT?C":n i=l棒->Dgڰ~ݢqWxYR!m4&H}唒Un8E1DV^%&YTA?Ψvb hUԫ$k:jgomb {!ۜK#0,Z46YcFU L=?.<,F'P|5" KnN`6q]cp0& * 35NCxsIg:>0L̜Xϛ_BkX0bxuD|lI&HT¤<@,=iTߞH=M\icO@߱Դ.恇ؘw])Of 5ׯDZ~^Xپ\{k&xVèѲ2""8WO6Œ-}L>ݰ  2]cfUIVUq*ns&Q~ܚE?+Kn qyV]$B.(ej92v Uv3:"I7K"7f9MXm3Z/y;gZŅIㇹ7>-^BFm.2@eMVv70{ʭ*,j)D9^4sQBv3>ݲ/_kd0KɃb:N[[xJy˅;^&r8'WeT3 FY9ٺU,,)4ˮ-}6ϲj <?{Sʂ!+P(I,8#ZcȯHo[HT&$'3{5nAg5ܭ'd$.Hyw}ٓ^> ɄQ*n(z5d˷+z@HʈMm> kF +Bt5Z ?ʞ->BKNW"5rյtLTK*VVB߿2c%vQMAy1^lF02mC[z[/wN56{xr//dSʙ$@kHģcO/(fRvL"- *GŪZ8ΏNJvI4hI(j6ofuVT˕&40,*?qZ;,/]`(r{|ؒquUԐ 9]8̚?5r}0Zmh28Y( 큳`=,m^-c* IH<ǎ!c,7Uŧtjk}:lloʨ{(C\/@go}hô4<jRF~ ,eH̼#Hحe'~wĩ"t4.akmQ܉]M.Ah" 嶆^MEv[ ǀS{ +ʙ &N-n 9ǣVh[꾵wP5jk{\Je"Vߴf_˿j/#EHv_`x~3C80m׷`".͑=4ߦ 8;q܄ )=ukZ+\ki*.9`D xf-}hʜSY.ݏp>G knᴟ[h>\I{| CnUfkʽ- Uߨt|QacH3dy/KMY䷫}Јe*/m E鍫ʡOD2Vo \xե?Հ* b}@r訇"3p6 Ö/ gS_y?": &Cltx>O<ɗ2H& 3~a!dMvf0?5/pJnAR 0~8 )r,T8]j{S>0=+D_(YlJ2FO0HN4?JIGnOyԊ=a A:-Ծôa`<Nl9yȄTSJJ-_u{:A[ V_Y9VbupM3mx:*fr/iAngR>+"n+- IrG8| fk'Zкo(Zx^i.Y}_yyϘ֎;n#ݨӜıj<) dN M+r,C} STJ_4&ٚ5r]"ujOtj$4'py9=sܔN@}? T%)/ti;'ʼnG.2Dy*x>Ѱ,U Qk0c?}cWzwWEi%u)e<邩h;mp.;G_Y9hcp+\B~}OY[(P9#:> c$ڃ+b od|EۅGJCd`ĽL 藤cI4d*` > .GdWyUXK+XeǢe4]U0nE"YB2*? Ĵŧ]x^Mj;&gl LޕYXwN\[!&Z KPr`<$^3L2_VEcV CF,U} N먯_sM{X0]@y<*!G`+:u矴{jeG4b%4Zzv("k-" n? r5,.hG"`LaoǛs798js; V,1 aUʽ LH? N;V_+.o$W1LtX/]f9%Hj#Ce^YI [ܶ 1ĺq01]Wu 2Qakz q{aJVId>~"o|/i;5!N6,NP =QuqZׇ$/B2oW%@y-^Lx0 ptoD]mIB1Rn 8E 2-$NHdk{gxkI[sTJ{} y"hpR&0gX^o{K0T?@oO?ڼQ/FwӤI_Aj/tݙ2j 0472-H% K&Ҏ]c@(_IX)iU~s7"meL-t!Q*fgBв&#v?G xXO#nD4 98(sKoSID5$uIfZbQUl 5AZ("톂&oVr#I c͎|u*PM" B˳+P{J1.[>PvEt*ǞюkY ('^=cv[Y%ts@R 2g| T+[ŞB-٠~uy_cI5, 6F76!},70]V +|DAvdʶdtwjBRF`ڿq=1G |7fHd3Ԗp\8dP /ڨ[ XaiRc).'jdvPԀW}'-LQډR8HR)k`SP$ a.DƮ"A2]| i^I$Ya]/s}⪏iA}'Ϣ6_kb X!/xmqЏAczN!W5'`CfD~9B|vY{34!`~u6uNz虭m"Wg_$"&Cx2y*Kz` ɵ"t1Um6tVRըu R韹 鼙|))&G>r{WN5drMNh3s,=-T=\";0bgTx$^m#Y'e(Z s&ՠ ".Mê|I+|yb÷_Y[ o0.0CW^㖨ʢFhqX8Ll[qO^u4u|:K9Gb38W M Swh-d .T h &z-Q,6Q f %͹hQ/\풢Eeiqm5Lf[yzcØi0qzD'[\KCvuo Ys#C(ߔU% d L\5έ e>?dWoC AqyP"qp~;N =P"ˮ.a:G x,4mޤByonr/P"0 !3wGvXnE[S2__tNn2"_СrZ-"JW \ȾU  ЙFK6Ւ P*nbZ̽;9Br8m#30_[9%lZ;'9 Aws*Snrq#HUnC(W[yUoI"]jȽ}?M.1KwkHԫ}^1 I5<9=L_ba!ģaZ={1veێzRS bO31=}vnىˣ}ؑJx['y[,mN_i|y*!KnҥxĭWwZ,yu"i]c4ڴ)ϕ0n$3"S<`JkSOJxV$#[ioM;Pף&@("Mxv `_F*TbV>FcWx26|YkZ[חxl4o]&oVdrOK Fϐŀ"4d9"t~/VFb5sƝ%Zk#(݈σËc7i0kES[<ğ$C!-Vށ,YMo BrJ x(}\g*F>۾VZu[(JJ)́E[V5E7PT>GaN>Eu^6BQ='n9M#ͥ# 0yu>?P6Laaذ[TN"#’ (,Z*{L _^X@KgNqX0w UYi|m_<:frELt7E-7+Y #봠, {"k–Hf. {Bw$?gTj u ;U"~JeDeDN7.yVOGo˽JkL11"k|WνkHwE=X#g܋@6VPs;r&:iirQ^pA(pF> u?l}b=^G#%e7\_D`b5QV̕ hr# "+o;<[eV?S-XJB_1-w"'֤X"){0~q2Jj$I#8\qq'F~2WTSԽN}`'"E@rpNGbeMZz[ف1/nvP[~V(wL8 v6kwrHԄ%řA"Vbىa][ʟgihPHO2l|d49׏ @ֲ{|. &w~YP8* HrUSF33cCq)!Zo);BSwRm:T({wUB7w:l ~Ȭ)v]>HG缰LZ&ςQ~w!I~е7X7KyԆQ;Tvrv*E"f{Cp |g:n=\-wnQ[]e#GS!Iq!lϧ?R~AUwl4y+/#tk=D=C&-(G2~k3  W4[|J6ltu7J> NtGK{y\hVe_[_AzE:Avy̯>r -撝f}w,"J{ b{N*냓c 9_E!y:6 Uf6gvl鎂O?!!r"❴M9l&U__Vd_fFR&mq;0 @Nqz( 9H͗N',ڣn}\/a8Rd=㗿y I]i8 \iB "1WCT-'ۥ JsOҿn?28LE:qT%L\%lΎvu7V{Bx +!E@3BCplkz:4%nQ cܵaD௅iݾ&C>zgL93=OJs&dTM`P\VTR{hą"`DF )f b{--zj<9:SF:#-سN̕bR^B8 [f: ni1 5%ѽvmmmY8C^뎴@Yg{UF#2#eΔдQrJU=RhߣkzAz@b0y2HflGVw29`698 ?h eܦlx%(=Z,t]̩Yf:~@i}Diaz;T84CeHLưJ'UdaӅb*?rH+=NrOQ$\6n9l.]h~~ Jy/dW6m6ӕ!E%A)#O,$$Su#4yB1,VBp*X[u$2dy֝aa^ K1)< <`$wK?8l}G;Jolq$jw^t|s+dIcƓ2R!y"'WeQɔ2 Fj ʹ::Ҥ :wIܐ<8vQ_up+ !mkP$5c̍p oCFHC<DZI}vyGbdrgYE`WWřeA(YJRj1{qx \08TVӝ(j&+$ P0T2iI!2(ݕܗPvrv*R|to o:S/p2Oqn6AD xexqm_A^qlC\VB! [a&jۣ9Sb9W RIk5ފ$N`>_K hbwR 6IF (5o!Lg]s׵Vl< x[q. vVhԡZjrIKp_PYYic_5'6Ovǣ@*hVE<]žվKaQT)"— ٬S7K>k4-*@9S;!4 SSU"/{(#ש~tp$4:ڒar[kA3wbm,ʶ)b EO5`EQwZhl,w?з֞i^ն_Y]߮ĬU홵td6گg[@tuco``.evM4 J??q)dS`?g0{p#F[)L-fkYn3;qz|]Lj~\%t0&6O?>\* }ZA,۸i@A01SduCj{auɑ}Cvka}QyIj_j;5S:SrDW=iGKY]2OrW0XhYV%q3x̵ hPEr-o=A1$ =G/Ya?Z/s\=*0cGL<%Nɀ_[t*ߟwK.95ji #NH7~RC? !mWNut8h/ 1,> M;l1}CdQ D,!?x `.;u `#H(eJfQ>;qW:7aYaPKW̸(*2Q}J+p䢜"+[ t w_jٗ7V,E|C &SXp|B=d_80^6S"Lt"F8ct%rä6Y/ȦX'=j@y7j҅JX *}鈴 *,N35JunO<ᜏ/"V_Uq 7˅r=yoĮ=wه[^$Б_FZN3k{tZ=VCqwLzs׆Qœ6z