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  Y1Ddt ]% HOL-Decision_Procs:threads=6elapsed=220.689cpu=1057.212gc=109.412factor=4.797zXZִF! ?]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓ч#PpIPs=a$%m7 mϮPz5GE1E9|MD=öQtFCcN3`.3w}Q2QLAM܀/8Ol:{7 @l0O91yE ګR$Fæ<~ *.aqP^ʨl;AX94ܸ ~#` p<SHs>ow~cn( <+UHKY (2Cy:3^SBEµLo s!=wpџ@IkU__G -s etݿ. TJ;(p ucyߦtyrtW0z8T4byXg 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 =|nؿky(~v:uܥ/1 Xo@9ϼD'N ~~ѿ[14,g^YCD\yP̽h3rzփds͸hQ3FUޡS!|@:.K 1MHznZ2t?=¤z,3K^ɐ'H3Q6ʏCuYʖT,^w, m6ef=zZQ$̓;悜b}cް<$wz[ !:L1ٸ9] 'Ԫa4.&3oh/BF4OKfRكLgH űTV΁ĊZ!R>2䤫t:_1wD\>֤FUk=mmanӵE>~blKjäI6( ~>{MI",hх?"~gۘc2q`'VN/P#CABDP;-v4(ez?k ZLoQH"K?VHOjh5cZduoI(m)l:j){!rNDׄj@AUf `[m`[QJ E"p~o1jG 6.X=P'S~ X4c+! ྥSh\DTZEzɺSIیR!6܉F_r׭f򀋆!u=0%,tI%4`w/0禂@ߨ0a i+ƒk{@#‰gorq{^]@WNwFc%_)~|`<;='πmF\VZXhHkWѮᦌLIkJP"dW<:^) BT~QZ`}/Ol ^2+<-"H$X1=I$ji7:PuBun?J^J6lƍwZ)EI' < Mn%wADed&Ptdگd Y8Ats%pPI6CŁy69(1U..UR|L9@W֖E"MGZ-ܲXr>:G̠fS].w|'eN|%tKxУh:g.1rܫ㌶ƻ! @6aU=W950H.~ .^MMaH k :\-8ॖ BKV| ^ ~s7Ц) d(qZfmm󡸐tr:I$ݠ"iWrI:}:b*drJ2wRC=B`GAO~ޗX[1C(kQӾ` gEG;[\%ZbXj^4?`мŮKvؤ.:rZ#FP ^/#c&/ }ݯa߉qh !JM{RՕ)6nLpt٦ȿ1d|~-74dBE;&fk S,7i!V}:*%?W;x>VЀ%eiZN :b%v=@H6q]yhGr|RɎsk2ptZgdkh%at^$;,2om&B'=ĨQmpʘVc h4׊JLQObU3MjT+9{m|1 飽 /s1M(|T^k:thϥ4^=@93m Bb̩EHAd'p> iK KwAʍ*zX-0!@F ht_-uB\#@ 7,Í0Ud݌0(r|iэ_v֛g`sLxt - H<5DsP;aX=Y[P]B#"F`؞"|(oNvcbfctv}$D4ǽ$[\mpf U ~mRLcFU|}O, )xgq_27pn"3u}Xp)psr2?Ujnf5R;}+?3K3|z!P9>h{ `u 9Rv$cIS\p2!QX!';u0Hi0wq-o9"ퟋ.o\,Z5>p6e5+>OFh7bC v ` yt+BN٨3p/3N(\EơU 5ѿn \eJ̽MYC L6\zA{}QF)½&~ĺmO,$A ,tG(v 0Fl05uH|@v/La2?mZH;;!"i)$7b4YzGS;pR>c[N!" EVDcey{Q(s!.19)\q8E{}7UJ|oQ@󵿮[W Ul|~j ~:DBS5︔f섹O>h<֡V><:d'6c0[i9gy sv`^!D8m0uEU80@fkٷX~6͢vb Qbv ",0Xl Z(k1LvV¬Z^ͽXYë;I+4hCEWn$+!J>cc/GkCGȄ/1[+QqB>V$m{}M p4:9kIAŖX,pQj4hQM-⪘<3Y|_! |eXiŕ'B0|6j452"܍f И ڮmTnnI~FGZ'4*^f_Ԋ l)쵂h ˏB^Svqe!=Sd}_D6lIQ5_vGd$4ގ0:['4'aan63sj)d/D| a`Vp崈/. LZrejI`i}$eC+ m ^)#Wzq C;TmPӓe61P,OK$XlBMW>#V/a|k'c?9xT&v{M#/W[D tNGBl@##*9 YVڼt_pBdXF3>N+~AA˕d~yy~UF˯m)ԇw-栁/ybϪKֳ_)(!og܃fU4ڻ]Z&|h8F\,?xWhR5'qzhͶդ3{ð!=¶,=,d7G=<ݪmUٺ ƛg45ҷD} s_Kd)佗1pWKZI\u~.Rp3>dl+Hq`?*V-#V M_㍨A8 U/1b7&4~7L^N:{ զ1EHI< ?#$n~> _;FȽ» M鏦؝zTZ!.+h8^φ=Uno\EXaߏMH[T{T8l; ͆Y4EPW A>z˻w^!]9l3.]s\Wd<7pχ$Źkv0iEX\3XDe#̚y>2an_O{Zu^Yu"2ޑ}Se1F6&>z1A^JW'j$^J/c2*LᘢL|^XJ%DkwSU6ˈWU\5}QT vÊ-vgƫ|i[vCOORURw;<Z4]3[iڂAN@b X lIńTejNe7ЅL}{vOڷ)QmS_ɆUtV'G(n}STS%}H v؉dތKDKckZMXA-:b(#&cZ Qba9dKh.̝udX{7b0oɵyչ.q(n!!=NLyla'MjcI&Hbk[Ol:q.USU$KCU`8j+0+lLu G 0Tx=(IfٺdO[a/4Bf63f"X(R?A uP~oupUBP{[{NG YUx\ȱ&ƾW-^$JDJ+l)tefڝ)芸MUCsPfaRVg_gYZ7zXZִF! cF4]ŗXi%G\\նuLO(D%a/?p?,mÅ^3fwQr"Vݱ:s'W;O.nBاw%5HOUiLi/5Fwwn6yJKw q@ PVI׸OTiwU]W!fWs:X f:*jx,>!ksءq36 *FK πBgQ-tvz58gQ=T+qtq ,K tnŏ[!ΖN0CFzUPI? j-ƥ |4xu+Zꟸt!oP?:SNJm!ynO+9c;YwV}1| #JH92f48 4i߮z居\bS`i& ],Hp&WJEd77g͟cz?m.,!YXwj: Ǵդ2Nm%^&ˎW{&n|Ű$*%O0H,Pe7ͥA뛯{a[;sVpi,AO6| .& 1(UP) VěIb33xҔij1l*CǞ=UJ)*?F\'z1TqL7 N<,Wғ%x:.l儽 _aKR/ntKA/jb45ѵ_Sق̹N[BW,g]d>*1wVͰDL7;3y ?7ؚVi[TdF$qseSrS"n7W^ 7}!>!wK,sǍ Q3P$6)=^:׆n!}{:4Q$?鄚I_< F}2MR?nJvj_$:> `_!D5;yR7GE&D`@ 'mǝedtf|cv?>0%^>Hxݹ/k,tσW?3)5Ba5H8~]f"Fm(TyBwL_'?e-ZFRM~xpK@-e_/9o\?fJPFn|0yAQM s?;PD\>[3 bF{lī!w7c^.ı=5W HR*| bAN;;bʢ:@y8& e/t#8sKόkIG5Klm{F^b((Ao#NYC}E*&A;cTW+R>DTwq"d2/QFZ{QP+ e ^d#LC&F=\leyFtȄ_q{;Ѹ׈pW׿#TaA. &6 EӑrΙT~ dr٣Q<KQǗrKb~2bgL.MOӟ #] .0^WXx@ԠH~p*B)jئѕY8iq_3ԍȐ^P7*j3aɓ;k(ݝ:Al`\jJUmI< 9 Bg\;? Y`v{gT}{CJݑe1`y*HBbHI*QFZsd q$Qe4 HarM g圎ɴwRɳۋȐTRL3EEb|dvrX:o;}vE`CMKADZ>)m x~ݻ!IOiO9rj.a>ac>B{JU[ZwwUZc ,Bi+Dscdw YiH .،!{fTL!HYwP3ڪwLQ#%`rw89p/pe2ꐰ'yE^t+9Lp7Vޖt"K>.I]2B.K3,"|'= :-e"rorS#gTMhw| {IݼwjYM$^yJ &U^wj:Q)Gdv0_/,ҒoBLp͈O`5gRyuy;|+zGJ$!xuhNK3Z7("m-%sJ[).0O0|USF:g`z|;:KpyKczAKQɣ|peN,(Ob8S3vYY<##Nl#ǗluJ-fMh`{fKF,evu_ũx`3xYx-4;xhPo!=T1ΖzJywXlͻ;Az]8 5uT`v`7M &(r:PoA,"objV-v\;\ejBԭE@ D5E//Ǻ Ho&S_"! e3d Xbu=f#vo %Fc / vާg7Mla34dlXz}۷r`Ad6D&_p is{·Bs]M@Bձ-DQ~Mm2I quiD9 '#rľį/(`+!-A&ŭ"aⶇVΆmeJDT6)Id2zu("*cs=9 vK*=pPBb |@6 gw @"R}Ep z5$~78|C>ۥ~Ny]$ U% ;4H#kGe]{r58_SYxjBFI55I\LQ]vyk0?DP Ѯ `}:uN9 rUB\/O,R"W8\8|Eq=a7|TsuCedu[y# F䖬]S!zȱ>wb #E-$vثԺphQ3]v8yZ*8_{bD*"ky ;^aTUțCW tMR5mZW=rg9ZqQZ&Q@9 h%o*R;Ѣ o V"ߢ jX \ 2ɬ/ID )A(oM:宛R%.DD}%/y- Aլw"veA Xe&OfA{,8VQ63dh"0UMSٜHC8b/ [ڤTZs1 GDnNdeKv?;3g^/rśݐr76R\4cEտ٫{ZexМ䴖ˮavԃ\mxPJA .ۃ_ӑ#ljEBuӳ},|_40"Pk>BF̲5XZ%DQ[|DAJd#K S.3h*|;;Lv/5jokrH=CfK&Td8MNde/}C&afEVcYfwk,L%zG >uzJ0hZG#CNA;dbNQd W9%y&]GR%jHj/.z! &Iyd1CJ_<@0؏偕_>)m,DF'a@<}=i:ް88E?bp E#a ZdsmRF٨I9-w@[Y&e< W!V)I2,VFnC%#@0gFܱn%Ȕ%24$S*ㄹG7L)"Tkfk`pktؘɣp߈0o{<`petLBJ4BЛe4w&L >k:>Q`+F\B;ǼBʅ(~}nfVQK3M$L发qm/+`z2EJO unR7nq;H] lǍ:|"-=YF Ɵ;#+2iU3RQucǷ*9xTD;uNiռO_Ti'-(. ";辤md6P[{K%,(GS|lPC'{:;bt1 S6]-iP ]!p v!U櫺Y&+T4"/"8;՞Y*%nv T*]zN\s涓-;+0390D~:" W?/>Yr)5KamO^Ac!XѯQ=Dk:mbܞ& *|li(ADug ;/t'PF׼Zܶg:?~yXKLr̴ PSx"~"g/Ņ9M`v}>]+_LnɺPݜ\Q12U1î$$3)E/$0b,K֝.PhgըrǎF5sa[g5qHgD E@노Z㩖ewE0ָNɀAUVόMBWi? -I|'?UMk#KH>K\7t&cMX[gs&]\xA/-Z5FCISpymR̭}4F27&}dicI֠-5\YJ#ab>+G6%Otc+P)/*0 yӐ&OxIi)hb}_{\N>ec+`O!D$Gב׎ VbS-*?.0Ż2{oՌҰTI`4wU ()o p%b81Lnb套Sv$@Sv~,"yn8{ST Cdj̘%+HUsRdM#(K_xDbESäs֛,儠_s03{Ԏg3 /voc029lT$! ~+wvX oeJńMG,oj _d7wΠbEr.3IRst[bB^*Y9"U9kR{& *ڙo'd}P&t˪H^0EwV*h(ҫA(tڬb4j?glvl$.Nާ%fl! @}1W|2an61vx@LMHǛ?R'*[)֙nk8O$ sH j֕}FxPYb[M=D!S'!nBVO3澒=Hd6W@M"Q&}n.^/0P}*PNb>QiaUַV޴Oy*S:kUvED HiFm{ϤZhLG" 1?TS 7 X<hTTw)kɬվ7ݵ q۝G4N}ReQ?.p9"6":T9 f.-K>|-4+h`r+W? D<(wyK8g)Sw;j㐤_W 1G+t)YzBC2ؗ*e6rb*/QɔV46_c$Eڎw:kg`.\2Inפ^@iluIoͦkZ~0Ob[VqZcpu&ҏbI}L`|A.z#0Y>˪F~p'J]יȻP`[Σxk*22(~<"'- :[AJ_rG6HMpNV[ǺRo(Q,. I2iwY#?Xz㋝)ASNLx(~ PӾm'c+k^j(CWא"Ďhs$܉EMrKC+|(|4!ױh2}a49 ,4=jAGٴ1۲wlH T#r0Qډ0k27k}~V|.j:PpKx'5t\(dwO vA +Ī|{d]lyxG*Ab*[;54`ԓƌFZ?G,X %_[1$O}oiYYǠΩOY;V|q6WB\ijKTVØ 4n]L 쐼۽ g} %FctֵHݻ'? ]7eۓ5Kh')-*cz\b'YE;?Ӹ#2ŷ5Hբ vg;Fv+2xx gHMv/g b-9䊠NR_WCSU=J ` ŧLXFsA:R(-%iJXgXBէ2B-\oUU h7/~&Q2=҆ٷflrQqeIJNXOƗ1%e . tFR1g*kٓޯ|v2Û|t;E>p˟930+6>3)p]'Sȭ2 ).x".ɺ m f1 hG샏7PS3йb{z3gsuT9K.r] ĕ,Nϣ;1U m&EDG3mMQJ+dF!/!1KwrNӋ㔇XUI0IՐAU =phn hoe#DL݉_$bŠS4E.fX,J%6Xؔk N~C#xc<KVSX&w Ng irzXVXTzba%6}dyMPFu$%\G'`J>(*M0I~"+ c.5?2+81Sq C;zghauLXq6' -0t{l$CFfrֺJ$CՋ4qy3-?ؗ-q; g[DJљXg(rփJa3} ?i`4Ȣi-vιaX[aRjO0\! ,4Z+0Y[*#lpyF:SEڸ_޽]?վ:wa4ɋZW_7K]aH[LHڬ~p ῍~&<ʹ:q9kqQ""Y:OdQ37b=s=E@%.IҲض8Ou'3 r$5eK53'̝󡡟1LQv/"XB.sW%BO4␞I0d{I|6Sa`u|H`"-"Cveykkƞl\0KPP 5= fD6[?Ӛms2I֏ȩ}x5MM@5&:׋Yw km?QO\ٰZP74!PJgAd B[U/;!tU-Cyi&r|făswƒOt=pa|< ])(/_m22hi«&ʀ{ӝrB(G@B偿$z:~.\[cqvBxNhȮ|Xtv{%vcdcKgL8ϊdkq(mDŷ0UϕB21^1pAluyWnBq&a@[{"2=; (%+$4I:6mvxdvI1l vJFTVK _25b f'7.]⻁kTޕ"!{0-d+_pQ}K>)&|$0b1|gxʑz(:jIilnK1-7'+sT&tYX˹qJs b[֭NmZ|S@Ž]m ZkE$!)ZZ+DkgJfP7x›o_}99%z D?!α~n1Zי&Ӡ"K[}m>5sSGct; 2aY27M%R", ;g9>6K"LekTL_ϖB0SAG%I N$ N7tjs/(i<ϩL;q4>UMp e=|u/FW=@?׾1Xԫ)g_{Vi ?G7BlL#6'NZ戠B5P<=\8ؽ-Fe6snXN}1VC0ɿ !5UqK#1 $ך4vBoz9ȆHI 蓆MטW9 Vc!(Rӕj=?7yNl ud4C G}hԸ$*-~``ik𰵎SGJɕ fsͿ\k{ 7Z'Z$<ȨuVyr+i'cZù$ܼCF11*kn>) =Rܗv./wmh?\@@LD@uq@FxHhvKyYW\0ß;QrY68N9*U k&fZ^nz\+-h$7 M Kl~ S]%W]:DJn寐yN[wd+'$|slFLnĔ T&lz ҷ*`/;yv +$$n;!?Aݑ=vp`XnA<4w$*2LÏ~ߑLAعlR[agV}Kt ب"\}(Y22`8&'m|K;[j `P7tehRx9^.&طW%zw@~"d2p3̟=\Q6BgAvиvA>R>0HcXUcvO&46Uss͙1Q ]sXAOc/lGs~q'M7 F&4Sm AfE @uZFoV~^47PC. @qP#"H9fyCd2!C5#2 P[JY8Pa FFYmjP5:nu)0ZeE"Kcs JUߖrޞ㩚h'ާN-PxwǞ[%{]atSs.wل)Xn: .C|`[K#?4 ̺oҍ"|Iy}cbs'u;3߹G|Q\qIQ~+Bw¼ = F #Ď%?>vyt^ֶS~v%ᵾ.HE12,lbCbk ulugr" ͣ6fNy'wϗTzSkXf~ZtyIVY =`O&qC妁`6ko^|(/(%Dm,SǛ)Ǭqܶ,7<4 4HC7MvbWZ9Ib!aA 2Š7h}rj֖7Y/.M_# #3)8b [+K^ 8njռ8D,dI6B:_)8 +zJ<[c=< EpCh Z}&&4AЧ9s?14C4(הr2''%m8q5ff֯"Xa3Vnb]ұ 5-9߷JSSU$WiJ&ۤ)-M"f~3E$RPIni7eXCαpGWX Nj v!83ľj5<%C\ |6Pȡё~]2=R'h.]>Oa-[ /lDI0 .?Gf1qskϵ|C n5: u[I[x >dqM-!Q+UaGv;L!@RrtkyQ`x;ct_;Řb/e^#ȐY'sP0AŲ{TOh:I\$MOMwWؘ^[ Ɖ\ (xǫ8 FM~BFgAGAB2>D*`\MʶF\GpΪ3Xx;Iys1X^}&_XP0R$M%컧90[ VČqBmg)QeTj 5b2L - E;OR_69l R1NypYW"̎뿊饆fκ{80j^1l6hV̟pZrt}nv;a+&\%oI9uIIf)Skd{S-m2u*~6FBQ[xh(*3$/&ڬs8 }BIZdq߲'xSPнԀ5A+}:uHvw-"W?83&"9 }Z4{cXE:XH oRD6k~$k  \bSc 4kkA˫c˭"ypυ&r&^V,ԝ7E <>7* sqftZ@|> қW])*2wѓF6$ڲ9eEEBH_G+9nP?jp M@78S&'i-&heGEG='Dhj]"X ['/azo\kL? p>A<` #KXpDaocb-. r8Ž%e%^v FVm*l`9=,ewe@龾T)qU9V\L,[):,N!^h`vPmKq "M$@2Iˑݴ%?z};2 \q/L!ncCa^~Clu~nj̒WKҞ#HNt%HQnNcPkCÅ-BZ-)!U7}Y oz* eE˳ nE!:SU\y[ȋSEq4I{O~}@>-u` `*Cǧ%drac]%Y^_p7$DQ>9i urmdFp%͜,UfkjW^(ݽ5M%ěZG0_6]Z7vW: 6C@+%=ݻnn]ɐ:O"!` _p`#2>i-訉xUUhz6OIO;T'(?:)BxD!z騍GK6yW