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  \ \1dd, ]% HOL-Decision_Procs:threads=6elapsed=219.905cpu=1000.868gc=90.020factor=4.557zXZִF!  l]ŗXf1-q恈ŕ׬[p){thyՉMx{$V;g֍SʑU18 gGoC5qnRԊX&q&\hy?vjJD3f-NOX5= :=mdXHq&'(Ls铧 JAq% Q,"FQ±83PYg9R `1IMַNPnhfSn 3 ?{}K4uH؞a`5-'F%3Rv^'|'3% }] siI,ZP\J܆^?yIQ4Km2|;4#^l^e@ HG7x;'$?S͹]s?Q0cr.E1AcvmU[%&'8xq@CrNRËᾖ? q]=]̾Ud{E~3-/hjVd&Fا4:/%[> čjSpSU5%PuUxp.w弧@"f{J*V4(7,s\őN'&;,Ax>Fa>͛EBŢ& >w|* J#Φ譎KM2}s=ǀPJTY! mltho8`QҌտnP dM% e~zP^FhR5lxe 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 G֗[.5"w܎$$ϱCmM_ť-RڍQPԪ d37cUR'LA?OCB|Wo0`dçKHm&ұq%ll|R+R%gW NaQt8KE;St?GF "NeXRX2;z:h*08Ŕ|5>$?逈>QnhŹ ODS1c!4M$ҐEش8U`%VIQ'NN"We["ԥtc f(5 QCpź醄EV[ ?O2RLJɤ/B274k@?_[u+-?,w-,⺣̓M]]qeWVL\ {Î5 +K4$`?VSէ{ ;ܻƪ`"=?n-zP$ B ~c1ì(h7 0@ BTi4<qInQKw*6f_FP%!%6,nMt %453ֻ?*a}tv7.wn/vjKjpLK.}(Gb x:9z LSN;ɷdi]%(,% y93R8SҬ@ekҨkMNNazcbȱϧYjtpe2`hIHI hANFgؗie\VbhLbGL<8>Ņ Ѹ6{V <uA pP\byhuoX6rAgS}f hF -DQ^9GL#Y a;'yCE9p`?Auŏ;`nJ-kh0Z b;%z kLt M!)M8nؒ\%aٷ1 :/ P&q o݆7NɅn|MGY- #JiI!HWG~ 'AɇKT`֗p8͍Aty.a 3'Q"'3aHX't;=}6`004KE}q]5JDR)f xzmehjzpܹRL?Zp]`#0gn*2a_bvɋj| OLfT@7C|T&_'Ҵ5+n-8'z 2ȑs [Ɖ6; UX?h\1 yvC4prn*wdž= i(%^M붹`^Vi)EVA,iF;4}LRq$Ob 1`{ӕ ^ J6%CDsu@ު GMCưG]"(VIk!LYؤi[+ޖ[%%]ș1^TƹXޚUC0ӫ.VMhw;\ҔX&؀2M KbKVxm 7`S"s~|sdf{GmҸvOד$8s d+Յ13i519ZB`#A ္#} "[ϥyrj_*Z@lfNCui bɼP#m|윍)r BTu"u>#ow7 WfH[ X#N7`!a%ϠgN' 26.jp@iڴGd(24_S"Rg3eHL0ށ69\u~c:v7n g۫ V_I)PR5}=:O0yW3RF[iajeaz@IJtC> bK1f67{l.};n7iaaLk@c"0xB!1h|0j˺񇚱;!nܥq=򾒏L#KZnz d%o{Wn-ԼĬ {.<Jr@Zb?!112ӗ!OG>n:Q.̱;92X-nk!19j~[ĭcԬYhMKpu=HCZso{)tD1?5/2YyTPB )"˿h'+r4kIڏ[IfZ`u"V d BeM&i/yF `} BTOwxg)"k&aN7 S%>/W5v&fMa'}Xzہ!ՙ-@o0RN~FWu_dSO \a\9qDDq_ I$m1 ;&n87ZReسaB(4F.~ڢ*Tx9aZ*oc6MkLw ("h{d3Qgu$8~ R[vYCӐԼ`:`v:YFj2V+4xm0o=1Ma(>%*+YAb9FdƎ|m!)eKY +k֢>A149?'6A˂),¥IQM=-:-ˢܯ>4KnoXX^/[uUA=vd E % >,'kf9+`nJ-$R9/c[ t@j#cw 27k#἖GtTCx?1NL0SJvό uW.iJMn"2 r,nҕo˩c^25K]cy2L34R}1i*tl>ں.!1R>)_vJ:",[VE_Bbh~Ǭ_[DklRʉ= kDdXp A;$mؘ08Ф lJ=YqWI0XZFYs]2y[F_41lyEOFa+2_ʤrkuPG7tqAq0(ͦAQYo[At{Z5yZE~MAҴ/l*?߹{1#*4q P@l| "x ~X~$dFn6 AKޞtQ@ B?OF G LW+Tn\;`a.xA>D<1lZ8zH(if/:gYZ7zXZִF! Z+]ŗXiɟ17L? KxlWP8SաM~>fٺdO^w¬F{ԃ9kGaSOLȆ(1JC6smH`2:<G1g_IZWI}=xFނycb'{B(y*4ފ}E`%bR/cn_\|C'7RX=0#>%s+uK_-IzH!uʤKR !;6ӏmxg->G%0cmd׬+a!6y`'LNJq2%~a)to&IS7:GFlQ:WT3D紪^mlA>/IUknFNk5犉d. ,b&ܧO Su|?6hQ3ǵSA\\~ Z]~d&Ǻ ՗" r"ކ̄i.1OgYZ7zXZִF! p9H]ŗXi%ES-Q!sr+qA> o-D)ɲ5s\'.KIG@=f}$c)6hG83ʑDKgN>:rv,j|ˏH dYŏ\ͫbȄ%vqX 7Z4a&AIOA*VSQ5]P!\P_-RiyNz~SLz*VSOeA g4Q .-IғůEYE$aRnUk+C4@'')w=D6x&uJuiBCr$V@Ã. ?+d xNYR݉}~ 󦒹{4jj/I)d2=fX[@q$!ӳjh7ҥK '5v h&cOs#-lc.F!=7H f((9Y3-a׈u]H8dx.s Q`2㖻h?ӭR%} piX>YS#VR{K?>༻i7zXXWBFOQ#Gvh_2T?sWq]?+2ڮɸ%nqOl Ӕs;:M;i+Hp_)ϯ(ϤkR)O~9&۷ R. E|@fp2X7abgWq,[;_PpڗmcA  FPzg^h@FipN \x; lFW)`8LqiHH+2D(,HXQte4xG=g2 c %r:{P^(%m$j(@3N7}U,PmA^?6 !{ӆnQ!V`<# fPչJ]V3~ BIY2:#ڈJkIK;XVҕo8>y2v91t4.R^MnA0t@Q/֑C[|5UuQ\s2l%/[B|ⶋK8?EZvkՂsFs GnuJkuu pEOa仔ÒÒ'8&\;ɒ֯6 _8xbhpsi9  F[oYO7vkuwyr`mNMvsV؈[7j|؉M[vظY2,fѣ|99AڭGL/Wu~G؊s4`zex)Kh|YֺJIMz':B%*XhmĨSA80XB/ҽ= s{ lnYO CwS; G"OַAۍl1EBDPZ{8ܘ!N(=&x.aي|][% Ulm .ߑ%٭\ uu6흵󧪁^,?`%+(]q$I`yQ"<2V<5" .$rS3,5u|ɰF(.eg j<"sϜZiU:ٸP}oG-^Oqvtp2X=oGբ"oy'( [S_Zhڈ(3 ln_exWǃ?DJorvԹjϞf8 ՜Ta*Ѷx 8-2CMW~tY/э28,1`p"*ATz? 2?r[Zt, 3cM@Q6Op+^0:,%ӽh@\.+W mڄlEFf߷y;0 D=b:f| ?eve5*5\uԠr30r'; ;R^TdifNk@@v91t?B]zo/N:YМ .+s,,(巳_{//c_Ĭhf5 ђwvaOVVHe.c%s623aԽ;%4t"C-{(ϼ,uRaMyЗrWȢ0;q%D`GvyZ&h! ᭐}Ȭ_z LO)MV7GЁ}pDwt0˞1< `gtId&E"<dar{0Im*L>7ѐ;Q#OSR5b\OMϴI]oܭo&Y( m,KeF2B XꎣԽ;ZN>K%@e͉yaǯjbE2rA;j B. #f&ŏ sFc! qt%9 /TAd{9_"^+T09 sFQZw _sEԥ Z8欅F \lc'@s>%8}E*;XKxps ۶V?*{.hfب6*T;?(.m9P_ʺV$E&Lr Y"&+KJwK1co$*W>9KS_tĪ(XBb&"CA;d~/fQJr< 0;/$ꪋ#[,sCw~H勀r ,u]BٳkD k̨R]5H+;Ž@STW3I>RI jF:6VQp[g 0MnBX=?Gݘƿ s<'о'. uHa(OpADɼ{*r*kp kf#°8aȚ)tHEWyި55jcz %s^*7j+3݈Z6^íBp{ 6vF!fvReQ,x`q_vax+p둣05y5=RelJ޸eg/P:o_";7~m<6[&ӀƜdjͤ٫NA)6'ô"X(Hd*0AU$JI2$  c % <š0삼L^ꯎ6Gjً(ȏ#'E:J$I$O:jXA;p[3^gPqTqzɪ1 BUԂ2"CCr%oH<⩖N|D9$KyξS#A;jg[ZS u(5`8%$ :KMOGG ヽRY\eEPWdm8,ؿχYD}8-8ʡ jo^Lj!뮦[Ao?YV+i W`Y2 ۥ7x`C m={'1#r;v^?H0uJbpܫ$ 42%/=Ґǘ <6?I>ɒlbC.i/JϼU^rLd@ˠ5C,?v"Xb @־e~^&x @*tXvv2bG;qž@5/I;n'ɨ:7=(JǛg,8 ֦Ue( b~}B|/u?5u7PDR3yǏ8M,/M[\.~F#$&4<\LElH^7*=VE,o8#KtOlqVڥ^XoZDA}%Obhw]lCO=7&5i2ź[H檂%u;JV󧪚br)C 86LWO)kZM N eAO!@C͐H]i86vY3Pfe+n6U ݧv2a2\ NȪnC+rP5^+dp 2XQ]s4) gLa1bٲ۞sL[q^˵fXl%I܆>WG?RQQ&1mCnv'EEǾn{#iJ|Pv rY8ЬH'¼HH6\_~+|uAFئ[t.%6%3: f߳4יwzF!QSV9UP Gx?W-h{i5Oy!72of9r?r Ӕ},P&~u1NA{ C僅Y\j@c Rnv!%VyV 3B*1$oSy6sI*Шʲy3x3k-p)G(e HHU}|n Mu 5Th/%-OјcʌYՓd jv4Z4XD7bqFkɸ(f0O0!,[ '(k2))Eq*#JD=E=BPIg\[`V^fuUOK'927/T.n$Oek(6!5'VcY߆?jޏi;E9o( ,,GfG0V @lZ>㍟YweJeϹkhC:5ijՏvA G0bCI9aE|^*'աUeދf.+ZgPu*l`r֏گlo,0ӃS 4_:S9ϻ} e{Cb:蜘E*J5MQŤ6 \e,eO)]1;/Yq 0W?l.7?[sU':{EWݖ.|,`;ѣHµiT)loɽtTۚayZ@pnOB(FQ ń t;xEe=WicMm"=w%TM>B\M-FoΛVB1X47~([;Ho>7]zK}dܗ JWސBJEzjWV0uphQŋ} ؠpWy;֚~RJ[=8cW25Ɍ>x>1X r嗐ȟq9r˶m\qMgG Aڰ~)Rlcrsmx}V<Ҹ]ݏ}%*< ol)85Jfbx4CA 1Ԏ,4w\@}A< M^3~8:#1Xܬ4<Ǚ\;h} jBq9.HR6Uapw֟E.q4 W"^@P`1cI k5zNB"N% 4˖Z]XѾ(I5LLvd #Ôwk^!0L2.,5웠`P7#ev1y{$l!MAm3оOXt%udtMQ)*hiJ_eNݜstޛ}vWfK!*Q E۬U uQm@ D}'v/g(gf~% b!h= ]SS{y\"GyX'NB`h\|#.0^AܙeD}+_nINtKY7dmW`ITEa.T 2O|C:0 H5F)Jo{z)=kfP?n~%+, 6/dgyfrDH>Fƹ4&H:[VUPbLuq^~@89_on l(| Z&s6 ½0 kc*ɀ>b`z38F^G'RXM">婫NY} 1+8eR芵( 8!l}R@L _y @Ցi/$p+ 5_./mh#|qXS-́o.@Jqc-":Gh|ckƳҪnd`F]3c3Oi,CHvrOR1TȸX5SfcnHhĒ:Or"gZ\{I/ T8s0}0/$a`s\ 뻅)sD J-w6:9ݙnB5ZHEIS,=hE5`ڣPwK~C,y^>i3]+3Qi5r.]~U@oIMѽMCooӄ'.\46|*s B%gV}g#8[/%3uő mQ1!#ԧB%LԊ;6CwDXd-"/-* lӪ±a/WE1Vmt8?f !N o]N9#3?9zeCI LAVz𝉋=Rbj9U˄X('@(x ٮ+jKxV&an"*c&%Ϧ6<h$tT3 &2"=7\U\EXhZps݀rURKYj Rd$-T<|o=* bTWnʤr.bLDIV h &ڹvyfuJtM}C}Ԩ:`Z2볏؉8Mz3Hxpq%AnZAs:KvL:<)챫U U&b26VM,D3t+" T=ypNBn?I`'k,ث49|-Yk4WYWe(]RrA|*sYS#7::`WQ~Zԡ0< zHf1"46l)-ݵHB֧Ɖu法1ٟXܴ #Ҫfm$lzK~t4-}nxUeCngQEqThx\yx'KU6пe֬sE00W+^A5JTn,nQrb 2:58sC,1>q<t#8͍`L'ßj0bY~NŻ8g#NTHVrB!W3|' i`ajHE{ÙN h} 23KuGa;r< rsf̌ \Z珽wk HqAX8b,ynNPIֶBYpzW?)ʂhW+ZR7W&??|%K!|B=.OYynxZ@KY'ApIBvqtӨ^%>OJ SJn٥TQ8 H[RymSY@Ⱘvf­|̑gɜZ[1<]qRשy%aTwD@ = 4Ț۬ wW,a$&?K8s$&02nȬ`wi 0 zI0OUw~U'$?=wҙ|l~%.9d??u _9ד,{`&da˗Zo{% x$8C;vVxtpDž{??D$ H8cRFdO0zb<'f=DRm] o絙-?lŸIJdZ@l[+ iVfCMRvUЍ\["O6|ЏW޾N?o$4bD^W TRq{.v2bHzI/Ib3  Tm)3 >#%zG#N@ 2ůaIKE#WKɶpF*^mR|!Kvw>/kE줢 vկ<ӫ~g+& B72]LĿrJ dW3Dɪ aM?:CAYʞ)k9v׽B\E0qy3<*0#߅xtoB+֚5]Vt}0ɯ[Uz w`%V:>O[K"1yڇ <OrSYcgQe@y?78⒊O#mǘ%rخ&OZfH;$,iNaiǨC1LYYm N՜vU}'Mlc&OV}6씙ذNLbGmQ:HfLJC`8'#4ImLt)52.bػR%g\UNsmE$?_\:erw]bTeknRs'P9[/Ry'R LAO!"rk}55%wJ E"٢W_/m:QCe˞W0ݘ0hHlWMYqtt!8F* 2AzPzsղP#(څT( [v1g:/BnEl >Yu'M,[*5Nklf (B<J9W5Sef{G67/%/zī ]^} T}I7$G| MgfՐƈ_C_yRC.kV{l@!BĮ2@Av6[p|83)Ca%HNbU͟h'W;l`l<"n-oh-+3PGY*\,+]TpeXbkЙ+6;a[H[U1ySüChdu߹r#ސk.Ŭ"zm|#oӃV8A>$vp9B>91[3h3Yk:y.!NRÂTȭ_&vdQDuLyЖ~ ]XAAs3aS NZmt¯wn#;lWprnT>,LbP9F_ܿ0W8v<Dz辯1Ȥ}6mlC)W+93T<'a(M/Dͩٽ}~/.]Er!wS$"-&l􀑶afG? ["3=[Jl$UYlWk.g[>_<=,kksȿ9nŶ7V!pڻ+p G=ZE5T ^#֐5qق}` Qި5I/s,Za,%LT:T 6;yQ*]y&%3B\wKEjLk nHYTwy  9&SVBXpX ;X ߁|IN/+H|v- EnB)#W}g, 2Jd]K=˂`$ZZgU$5m-_-%"u\b2jn<Γ7(qE8[(l4TSHsI xXI$3ޗs+ɏ@@ ,:,)U ǎDY2}(6@ggq09*{Grg@"?)~χР#Z+ь Srҭ o'VDc("Vx%*+0܏D^=%Ԡ7 =vq >CX$~9mNcDo(v3_}$چh b<ݰ= R=ەG̉)b+N6?bx?yKZ=SyQWP+cQkg}`ٓ>v‘`[Udѐtp^.K|m02t!*\1 ^U޲L,IǻHSyUNt\5ΓDo5υ[mܥ͈Flkx n'B(GqbE8o>f_֡tSX&eO3G݁3Mri<<;Qܯ~0ɕNn]* ~aҵH caxؕY=ů]ْ>%`GF"|q?iPXb癵+`B|v6x &i]!gft+5k3843|[IqYeZ nlBac*vj+D[ wl .:M{.9E\ʍc]/xo[Q&d]PRba0HG*( gy\Za"@^Q^A;+]jjnV}k91nkF`ϳxƏ iW舎Kͬ5R"w5CO@;0Ӛ''53u& pʫc$i2m-upSUJ"®'a\1z"OZvEZ(:3ڣC<\)iTi]͹{AxbިqW,:ʭq[)DZ9/H4-[~)IPL1F sbt\[e<9-U Qzy-5lp/9>l%vTKD K{]#Ԯ|\$zUʔ`eH3PՃe2U|o`ĉ o=OcO*8.TL=aVޙMK2I/CN,Y$l!kPޏK%w Ɠג<$miF>5?8m.!,;!(o#_sM淅!SgX`pdPl,3K:]LW-DT` c~ʧYڣZĖ|!aZz"Y+3yHUQRTsDC;6Eís#m@zdK*}~z#ӏҙ.puV{fwr8:x*$p9H : p ӨS>5`}j 7QA(K]f2&ARk)ID1~aK}>@8ߥTBΌԖy*kmG W E۠3()[Y\~W;AfvZW_Z Z҅<^Pw҈3@v-3P,vQk*gVЍ<-a,Fndxa X/75ؘrVlJh26<ˁiHyE`#|JeٛN6W0*m!>tsWgIҹ`Cw⥾ƒr:}."ܚ13P|gm.ȓ2#SּQd(3 cȰmPxaƖ4亰'JK: mbۺ<|sg;aųퟧ1[oϑӃDVb!r5H[(+=E@ਜ਼`hVgD[da\O&wifIvT옋ݧ1$^?Eȹ|QD Nܦ&A qz7VbO0j@_nAe}gH IC.ۀuOyu6 ssLy-y~ WrsIԵ*C;DjQ7hf?Oi$oy{eZO*:8w ɘ02U,_vل"AX# z?ވj.h5 pA$P3(3YQF^˷"!&[D)Du+F+wq8,,J2PS06Gd,{ e\?W {CRqs@D |x-#C5 h #i` 4d iPUUG)O%e0; @d!C(TJ* ڑ}.Z]S:w`(wBW3#^Cy[fS7d]pr6¶ɷ7nCpR_RoJoHF]l8j.k)U 9cLfM3/*:S`DUʁR~m-DU,$bT!M t"88^Hu!qN9j uS}AjOr[\`ڮmkl`jŚckAO%1L]`"=#uv Hsk!R@sy]A /ț.8c)26VCaEM/stFWlebr/}y.c`( j^dgƁ⼝'̓隔B%" JvhIbKTWpǏr;F(אhDn!g? i&̬<##ms6ye⡽%zGƲ5nA$s.8ZyNѐæ(3a{61#0oxkOGw"#V UIpu0~Zʍ>8|Է9BY&yUQԤwG>wk(V;QP!Sm ,?XM8yߗ%ѽ̤O* ~2O9h|6-;7_ V&ʛ&b R(%#KdaQ܉Y6>CO![2G/3<))oWe2-VtA: gYZf9bef0ca2e3f94a71357b3012939d55e4bb6dd49d9aab2f0eb07e313f7e1d8ac809bb79600fae4cd bedc0de0e02c39d3dd892b5a6a25063c7496d425 1c93458a5768f6950e1735d11a618ff572d1c471 6bd75b3608de81cdf6289b273dc3a417e2e15180 2b80a328ecabb45927bac44dbdb173882d46b963