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 wwe14t ]% HOL-Decision_Procs:threads=6elapsed=258.949cpu=1133.224gc=171.740factor=4.387zXZִF! 3]ŗXf1-q恈ŕ׬[p){thyՉMx{$V;g֍SʑU1799?]7v5~pL{SSUkB"ĝ0; %[p`x08/a1-Ig1+'ޢ.h0V+][ lLP2'U]VU.VIF 60CZ.2BQ`^,.+b &IrD< 7Ck ?$z7QL֜:jv f t=maҢ/g_8eYgiWhq"Q43Fp03[np4 wR]'qCK{B v++*<1@{,X k)50zkӏc:n)t46'3?Bv"hͺܕvhD.u{POX7wG!Nrg)Ih>iX"DC^RYnм8B N޴y%E(__om'Rp#Ny9D!JS)^%)4>pK]fHH#5r Ko&(X[#X 6Pi)g˄eQCsMM0+G=afXB'=~}W$e*@- (m\ؔ@y o-wXYQvXD  ^6nٌ}J41 cs] Q04z4#GWָE-W{*8 !8~wє_R #Xs Y]YxfPn9Od)y!U9U!#9kLIks?Bϰ.kG2M$^9XS]sm-*oQNUUH z<粛d+Qڗ]kd7?8&\eVvbVXz:#*i p <~Z),k/%6&̵Xήڒ3O](u FXnjڻTu ʒr2= Eldbp$ +nwzGko%Yc~:m,k2Oy3zs`žvlGz5K{:O*/+eCNu(=N.DV m/@\ēS?Ll;q|7eLJI%ޡb 77n/Ap~dP--71b%ZWZB<Doz,LlA(̋V܀qR} ێ3 Figa/bM>"n );WS$qcI<#Q /8Wꑙ(iҽ;f?>!-" {d5VSݬ^mZ98X70{')REv.㷬z+"?*ʭ "FuA%tk:Mq=Wx-Das i8 3r§C&L@{OvB).?.azz60.?C#P? c{y `x5-LZF^&$CD?R|Aގto欋 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 2c C,=_g~tQM_r=E<5>a޹myRz`{Rh$0Gf}+a0,Fb wz4Ͽ$_{ &`?Tp~OGZA<$<0LԤGzdj5!SvS-IRr~/?CEM ɒ?]7; FZ4t)Dd0Z]W&ŷG>w'_b|JMq>E^Gu6 )w" |tWLa3˺ ;@[J-aWotItN9[fIqdqn cNQou 8=7'e#[~i&;ܝrU!Kѵ(^/xdo{Y݋7&b RMx/;rIA`]ɨ[QRӢǫ&>qZ^rnHF@,N7wxsHtFIeTc>oɪ׫nw@}~6,J~"6+R<(P? 68aW]%_/>Ӭkq6*P 78?6BzpcCgG _Nfv8QP6?J*/eԜsY0w#9y33f-1 ͜Ct=tlKУwjK뚣,KjϛY"b%$.Oێ8_\ܵ!mpG"| G69$]Mi8y%欲ޱwy#}Bڠ1 1ZXFhKLͲ}fbPy3-ŋמC12;KO&tGUfG-XQ LB<YnMk)T8N|!w ES m(aA晿4.Y«3 0{Uï\O7)4P.ƕjN⡰ 4C[j,*;mL Zf- <5ˁ%Zkhp-hZq"$>#8&WدlT(y"ė-:ؑE旯ޥɉ.]Ikr@upG&"J3}ݷex6~&T>eA Z[hɔjP;!.[Q*&͋`w\G=w"UFv-q8o}!Yg#vw6("Cx.#igJ{Q< |$Kω;OmjL snUi'rrBY̻ 0f8lRz͑F-xg2Xnd!ӯJ˛ef!U/fdWS[Oe DI iVsfroV O2 1qUAu(!v8|}FV!c:)kA7`a`Ӄm^"jR"dSTɍSg߫l>Mߏ*M~j+T`5>l]d_Hv8:k=n?2:b넯?3M/fƿޙ@u,%jbG<8uI j|?(|onhE#@y٥3{< J0~,Jn{Pm.\kF(,h!h>K.堢<]ҖfO?k@j0e?o =΅KOW4#U3%jVPˤ,(Hfϸѻjbm@!c"k9M%S轇go~-$#x'mQ?rhM>G2RԬo3T-  w 40#$1hd۬%ѝ!`hZ%]Exr3ECK!9aΞ uIe#@ yG?ueP#J5MEŽ/"xd:Aą\QoEKYRxfG8rk~2]XM~q3Yո@Nzyzҙ՝aWoǠGéO?nY[ -bΆ Z)^ e}Lˍ3u0;.=.uZae)T$c[&2 'myXN?ݣ!mB<T+f^7ІfD<[A$*ITDe| %yPl-TQ.s"C-D>gdk hhT7ІȢ~sr +z#~ez#Y6'fsk).2ʪ+ "$ZˮX㣀÷:0߾!ӦL`I$أ~fj9^b#f{U]4Iו^nkRlwEiEmeϱR=ai@hM n@oтPxk)˟ ]Trȷ4WӖmY>Ym1kت;o vqCgˢ< X((E[w2vJz6auDKFNmwoך%a4 7Q憿/ "1.ŞQYK6(+M3n?{( _n[VEbjՕ`Nb `״\xi:22Ev o~Z*@ߠ'P>6ꣶocAܪ0[M\"ܼoGbtsģݭP026т$`o[RM* 1Qt^`LCgL!fwf~{ԫ^6 Y)+uhPۢhSTxl;R9*x"T/,҂Y!yֺy*G{M]v; &4{7z-W$*zAOޜ׬:CdC?GLH()cx S^=4HI\:Ep-ˮ{GgUԾ7uiمl9)!_6iD>`=;T?>M li +!Lff F$z[؇,ք0&,KL͙{C0?,ZQP|k"ǁsjHfW;ڿ}Es@Fg,r!M&dY )꤀^R {-W3 Km~ő(.|GPf yF{7zdzxnW0ƒ K{^0Kłf8;m2H Bgr`f k;Enр|~"M7 uN4g>k b/-lV>}В]\ z;d !dsbUĖ}7{Glx ,;A&YZ/c΂!>tHBLmM3,q@C*O NT[4]ͮPA۸ehL{< gWn6^ W&)T-)U ꮐ瑚iޤ"ǡ= =k8jYLo\'i9BOٌ#}buЉP#aW:=.4nBMGm'\\vPDxЋ^e H8>oQkZ_hST*'sZ-8u;U3KT뜆#}tPV֭& #95K=j?B~7RE~},sjG-)t4yȱgYZ7zXZִF! \2]ŗXiɟ17L? KxlWP8SաM~>fٺdMtШ# "nbB:13#B{E!KYR0Kp#sP$ʢaѸb/)jZk[La ͍Asmw 4K҆|S)2qqK|slk-D/!&w wL ЙS2f"[Hh?gi5mOGڒ-| 5x1 amw_c[ etHʈQlr*OZrڴ/Ho˟ xCvS]ςR+6Up (^PGC?ܠC|uǾ|cϕX"LQ:AY ('S ys'KW, Py66A:ͼ%>lxf7]|-(7BJQ{ky̬w7}]ɕ鉀8'턅F![jERM;$y TIMokP@(Sf1hg⵹+MIe}n3Tџbv-dOvjhV@f{}~t+' Kf\ !N3Dz@BOHoEAF>ɚQhǧ=*~Ͻ)P-f`e62jr RAvUߒc\. 0Ab˶A(zu;A)bd7y o,:VۥT +lsVFy dt./Y#{_nք̧t+Y `ݡ'xh5 g쵎ﱬNQ__$(ϲrh{t7ar|X MfSSv=Wx+DMAb`𓣬TEۛսV|7\;ۄEQ>\ |vpTԋ1 7d .~C}? "xE_±*>kM5Nag}4hʈs{;:h:ZP) |i|E١T +cq+Mq*DPd[9?r 4|}]4Z/Of+^̑Sk;)& i<Glē81< wΞs:BKqOXTGK.}sf.`[{Vܙ+b+B6 qf~jgzh%a(Jyg*<Yܭ%}'>p 12ZRoF,T4Qˤpa|tfrØYK~$-oHE"GQ wZ8p"_}Lm@7? F"F;z3E.E` mGx<',.&o&3h|Zz)v}3jJ`ӄ/ogִx 0,L㐾|Ȼdtg]tA 5Z&0 eT(;`|lK qCp ߟ{0F ZȨ)މ?pZ%ixwyN(KA( &] lshHMew|H=zZi& hGSJ; Ě^qf'!` _*` &Xl%0|h N3Q$HJ_ۜ"xnZ"dpk9Iu;G5%_"11l$ʸ|sp?ߑ GaYz'lάšy٭<칼K2$=.Fhw=;'@!ujM>i(^u% ^ ¼ٙdWdu ;le0" f&))">Z^1?`lIFHɉN{'d|%^QC(?Fw)l_ˌi00?pjk! EBXX kߋ 8T 29gCPFG/.1 fx\Rb}T:[ٚD)a|4in%洽!km43L-\ǣ:& 4o@PeE U.KWB(h*㉉"Iv!qXE| Vtn|hW%Qj4L{}ֽ{c%f;RуdMD+ǠB\u(#rv夎lq(a j|0x/*kWdʑ&tW.Bco#$*]wvd1%Ь"+M< v&O CJ|QVq vjPCS"E{KN!D,Ǘs_WVj^$T%/s&%=F- WAâ瓗 kF+$; p-Ӯ1}2w|"Ǫ`Cޏ" *QR>4 ;UPW9oBotSQ2z8@dJ;@ʟC횓*=r$qpR~*n?kIt2Ye\|CHnT2ن+mRocQ#!I\pE(1σ!k)f&z:6ԯˤҨ"$R5̒;Op^~10`x hŢ7%2oqHxSyMv͜`)$uch.lX1)-A۞'LR~a.sLV}no!qz$nA <-_!0Aeʁo,LPtxal_N Ǥug ^ǝckb=5,E8Z5wH~L~N;~ !K6{6eٞs$pQ guvs >֩k`Ng{@.O8ȿ}弞[7]Gzm_毮bYZV[+UBju)oq⛑;edA!Bs1\ h鼼m5gAUcPR&o5E) HM9#1n-xUy"rÅ3řiqXwV4AK!BukHHGVuEmY`=HW}6gb z1rk,r 4O%Aw3= œ#*.d^VO.unӥSL>ƎZzh|Vǎo2x10e[glQO)N?41UC}=6)ANnq\C~d ̚"JڷZsm1LS$\V-|҅Da|,F/gUK0Q1\Wp?<ۚF_y[d[_R?l#2{ިT+ydFTąЇHGa25 u-4PoDHp5hr\] -*p \h9~ƾ% YL<\<p8,1= d^:p}/u7R~ZYuaЌ'6P y(B3>N+h Z_vݔʼ'OqH< LQXcw2DWoɦ˒̞1/7gaMO?臂 3h߻A=8lޱdfÕ&)Pw8&@s%/ei8b(KhZRc˺uQjbMK_mM[+=O+l3Φ;e8 RόѠ( j$WHgjdFfJ&Uw.9MT ]'w6ݵ(>`mg`S]4'$tB'h|}kTnܓK)4"yu M%µkRp [S;ے<ē,*h=P]l }\815a< zI#{꫱UсUqd;tUoZNTK8{Twm {])N9v3-MJ?Ֆ$n*N5Ҵ\TEkHܲ“.%Xef̣mnņ,}A8u6qx1quc $I.ʼ<Щ)% q,"b\m 4klI9O>e puMjmIuΨи/9|T[a B0*GrҬXM6T%@MI\3vv_Up1)$% Rv9-W:r蠋(ZjOG$nlЪ*@}5O7bz׬^Mq-ܵ\ xٔ"D, lWXK}Bpeѡ_G6RY`>1ִY9'r Ryl[ے? HD7b9wlh5̽M^%BI]}[(7r|Ÿ^V,B# DȆ5iHyT"P^Ҥ'D 3r=a擐ahCW0˷ќ=LwDG Ujk4|]UmQn3 '8iqlnE# ^fv5Xﲤhl{R+LuRU"AUS:| XZ{d3b(MOT~׻7?ow Is[(};W%ZmUB wipiL,#h5-(l9YG7͸ҩ ٸ38'gHtn*f"̥i@MG93N4DjZesQ4ؚsvЃ_[!昢7gJ5LZPPl$?z7rO<"GtGl`i~(2:M-Yb"qmZQXaK[uts74Wҝ(ɏz(&us?%b~jj2S¶ʽVa(ݔH= ՜SEw`'ۻ$ģZGN--o9TEsxW۔jMfDqÎZ=3\hb Z,x^3 *&q]Hls -xv)?GlZQoI=l`G:lUA1uw]+DIkۧn~U=ڞ U^2UXWG|<{8W!^96caET=Wym[f&XH;>תlsˆn-K3;_A28# /VD\>4々5DmnrM;QZs' Hr9p69ܑ~ժENQb Ζ/U$,"aAC5 q`6UMq\P\J8\bɋC tq̴2Jo9`\vE<h;#kQ$fВ44_tDz ܪ1ujkBx*&InU)ɟ>!g5tCdHmFS^E/_NwmwB!Y$j+87fAPGVӉD]1-?CnkJQK1{y')@I\w9?/&dlu3}@V@vaAoL*#6|h͘asŌlktcy,!TW {r|t>99c8FɍA ()OwIF=/NFYT5saYJh]/M >+Ȍ~ҿ*'G?*IK^&27EYup n`ܮfP1^Ug5cyScVC1_K ѩJcNi)dՓVoo?zj\N'}'#OΛ3p (OUAfv>&T_wk˭CqUE0ΈgDS*D@@;8Ĕ25zވ0 n;Oj]HVoXit'tDȡwN'Bњ^/φ>8?:Sf8IFT2ثsoʆdO䥰Jo\ @`!CZjNs|(u; ܅ցNw%m7?'ڬgv*yXD f)b6ȅdvP[|=hmi) s2.Z0F;X}Wj3?3;$gE;@'fM[Mcv\iy <#FL|bɶTV'1K.cp=LօdVw`H>ް q(`(UƏeҷ nbCE:31rUu1eIǸWUbwFսّeyZHCaXPcK }JcYptG'G!:rVPdEFJޑIK7wq%NYFv_oaޭѴoUuV2Bi}݄" xu>1mJ&[hN .?\$ wS~ 9t=AR*ֻ[]O=8 ,<50EAPmIےB(V0kZ5%X}J,s !k';N@?l)~Q2;vʒ34RhQ8q*0Pĵ7yNxʩWD{snɐrKS5ʛFA0O \nE; mH` *ghEPӿhZG/tuep7}\y2}]{CF5s*֐NdynmqY1 5nB fcJQ^ ;R@3bſ(oE^I!ATs`F93O õ#] 77C88&H*H@x/ ;xLܦؓ$8ȯzc{B|h;,ֶگ|eA#E35fWթ AiNb \2NpH!Uy|Q&u@QJ1˞Ci\`@X2[]1S6^'&2*O5V>'.XxmNl<qd",JޗX0Ao>ef' >}A٣p | ӳuV{R3䣐?)sYDg@ 1ʞd(5'tym,{'1^O:dq \CX$d]Fkr Y`51;bqU0ȱ-\,?҃pn cK.R#:WH䭝{k$X:iF“)XnQS= pUnxuYDbzL72~T t,%xӖ_Y"ЮLqRyN )Uuƺ*;opUc13XcB>T$z?%=f%yw[zLX[p,^3J^U%EH=ȵTok(z/kqųYTOM<aw5`sԬLzW*c ZOٙ}ܐkm1ԮSPpk"NC6v b ^\E6AThj.Գӝ-o(]cCN9rH\XCq|@~N fd,C`)v4:a ı6a;G6/@[\D@U-d4)T)E {Mħ tf5US Mڬ~Ŵv^!fָ0Ļ4+7xVFk;~jS'v @p@V"C55x= [ 376("غb?@#4YX%'dGF85]lk gaApk7h`fާ2iȎB&-HgBLVx;&>EYpsd#*W jkZoV5CF(| u@]l-<{]5m{cZLTzCd".qHmyNlc'FJPOlvzͲ{CPF[Qz^@. 2k.Z![uA*+1Met"J+T !Vp"utϬm-i٘Eߌ3ݦYIIܕULoyBO3X6lR_[-Օ}I@6y<[aHC5|si{wI6E^Ug*T 'c1 h}dJ4@JYu,'LS$Z"[#KvBu=A;"["3-joλ*1Ml׺)_Fc,[D&b714CF^|M8v(< sQ:u:(ZYVF @:ֲvu%' cTyW᤭ FוiWF#G@ӎnJl›Ȱʢ8@ӐqؓomPEN>5zvww.U Ğ`jO|Dŝp#Xεq>}ˆDB:3(<0qqO+70Ihlcg3OOV|Bȃ z"V/VO?[ntHaдxgoPGJ=㳦MJ!B/ 5BɄOy+SqgPRIm}zaߐ\!*t xv聘kbʂq|auڊ07:>'f&y*H7 ?qwuTx+%B,9-fAC>mX3f#aW9fCYLӘWx Y'GROQS28 9I2F(ټh $tiXЖΓd+ؗKI~5ɇQŧ;E1}Wn!Ry Q> S{FE|#e2+U]WkwK>>EsYTLqaNmp} G LZWszJ@Su$^`ϰOR+U#&էʭ- H ."nxB ZsBڢK]U5jG[Ǘ,rLrcHv3l'6#L55Tۋ>Θ,,P` Zlu}J\jJU0~DG'K^:ch.q*[9P]B;,A}(*)M ж1\*eo 'Ɉ 5͇;.^w=pKK+mPf41'Uݏ5u[ř&`-M mP{ ret&dc=/"zPs )wvC K3 5*CF\gwtLqwK~YS2Ӻy3tmVh=|*TafO]/b1 T1_N YpaQNInBG0jQ\w꿊+6~&{Fאc /ɐ}و:=3.8KZdIa]`;K(TۑwO vzʞLn坉dg_)IȮҝ#Zc7$#t'L0m֍L ^KI=:gFhi+q;-CL'Ea[]ff 6RЂzӝWEΫq&zBMXy63/Ƣ> \fRyxQj@ZFa}\m)A$X}rmCdNPz i~NzhX3EdKZdBPC HN FV|/_ݫYM44i*{*0:5xzmDzD4$%_;ZRQ*&۩ȿޥp?~}M#CN6^JuoL :vUtYpNhB/ΗK֔,3HΆ/_ P?m?YL \)68P_R$[? (xN]H y`[í+C Ff$ YPpՇxVbs$6wrbs3bmw@En8k8t2 A}8]m$ ~ɛ+Ltg\2ꉔVr,뎲U٫#ּs݆'rVP2:݃ pz'WNm <JNA9o&ݞvFLY7ѫ DyQ-xFdSxJ\4p?:137_@Jp>BpsƢ$[ݯjcMF)M [xԍp])j@#h'`tkF8: /lÅA;ca\R^N r !΋;YL>7`:0sq%Όw!IQ~u=Vk {< # ͑B0xȋ0LU#2紥@*eScnqj*Wtne,m} ڜnuWZx$rZ͵bzX8)frxܢqL et4HtV,+*?芛 j>5텗6o~Ӆt̡YlSkM _ʧXþo2 V{dC#|;b(1 W)hmx*H G; o}cg\yiJf/d^}nmz3W2,t}|#mksvLPi{k0Wb9iYhv"")ȣ/AQz'FsK-٢1a1:9j.958;2 HSYP|x\(Yy?m W4Y$HB8KK= ˲H\v= +3^S@*|NbNaVX h[f:](ZJL`=Sе=K.?\ q+X">wP!6@Ў'ҋ-6J| ;*`ROd}´-u(s*8c="}dkō\Bɗ-,ZVҽ HZEqa̼lvr6B\eS$nP__ /Ϩ=أF L}5zp3sr$A v!(GAb*j &`~'xs WA^l{RM fzЭ4SڦH/u-4['Yga .+Pxds /1pr@ew4i/umW#&LHF9.+PU릵è+-2?%%) T68 9K"k:EƦ,v'¯|%QVX y̘ͣU3)"򱄊܏ _3oxE%77MϫG颭K#_R$kؚ>cז'ZZMv~PF0VDT"O`e?LXl &R@gؒC2 YGlO6"M(_n % } 7(=l5$䃨q^h"؂+n ֋ڞl) "/0߄EԓOHE/Xȃq&fZ=`&NA 15VI^ pWO \-,Dc"^tD#mx{ 8Ya\?ٶ(^y|"j /dV/ME? |\4 iʑF)c%@N.h׿f:6e&I+/< Z9?Pk4:.d3(B ;jVOTzw hF`#_Q\8H./\g~־^doKk|:[ILDﰠU,#x.e7rTu9!&[c5OV8(lh.aUC8FÓچ0Bnsđ l=6>;?ज़̓x(#vflط:}\A& ]vCSvuɴ񑏠؝>NTʫ]︯(F0Q޺ͫ~?}L O{g!/g$+}Aֳ n#HE=n8Y5|˳ a JWyV\ԓUd^ RSǦ$ <'Yjw`衖rJkMEW!P9&Rbd;|þ/xi|L8`nCHc>S|ɴItTZ+))dqf8LPoGE-3H[ek) :+aGõacGSFH#{7w~Opy~>_aYmr)=Z!a{+.]nZ}Y(%%Qg(8z'OD}Ϗqzc3{&jp-.:FZ=zx=bxyK!M,*G$x^ChsA!칉(OߕQS<jFѿD 1guF#G؂5h)+.մO b.71ٚhm5A " Qn(#O݂0BG$\u~l$D!~+1;,[*cAUWXj<4 ;tqY1t r'*h+瘒"]+ 4HZ2ҌJkDd!=VɾCv50O[}`6KȯAMilMT6YDwdؤ,~?a׳gIP%>ʜ2ƗxWۛX.Ta !I~,iD*k/E`RpV9_$6PpWeqP/<̓{2]8½8~ӚcFKqQ'sE;T\>LωuQGF BXko%E-[PB.ғgrj;%qͪ7]sZ!ʧo%%Q-Ĉڱ;P~8SvL~#ٚ!>$ln@s'F; a`]oa+8q,9o+1G.ȴ Htcl ;>WW+s ,^ Qt뀔S-H3HԓlGpK+? 5V Dk0NFKu'#*W맩Q315( 巍D`\cED@e t|e&4Lb=ɫX UbģĎBpl4 8ѿ"mNaeLA1*Vg b QUѐ90xzT(MNKLh\S>lr2Xe`z )?'s![?ǍG[{ 9bpoW3}-l\]2rJ8\4Q'mő$zudK !QܷI)?8C)fApR$.~YdNȚD;j[@lPn]NgF|phmxE6?UC8L4 ta@kvӵrɸ}BTG4Ib [LnB4/OwkEK8*+A1[|'rơĒ; yt@vƍZ@j gأIayϷ u5rk^ռ-ysTFBK"lzÅd  )…=QJf YIOwNPtԙF eXڕϜ+ td А\Ģ75^O'LbCC Vdf۰\qx֠!Occ*!eYRCX,S0c\9@?4>) n)#.&]ǫ)&Q2z,(Ogc D8}oN4B;I+T'voLpNLj;]~vSF VVya+A|' ρT&gHUkqP5fg]b\50N^瓣%l9-ip&7#(v_\YGo&Nj1Ś)Zܳ{DaXZIO~40~{USSZrUyHK4*.aq1%cV >}umTVZ=Lv +*VH3 !4Sa89͝ )Rw>QKi!4Ωl6]y7_] Kŋ-nT;"Leћy[3zDU \*L,>>e[I<\@`>rP,6֒+v6ڍk|"SvYy6[M sN:`KE5Rŭ)U'CF̈ZyLi 4vl rqGMN"ad4/]fynaЉ.H)}uLgHŽo[] =yL"#q) Z!UydxXsl' .U+>ȌSY^u+ʣE8^ y}69Zv{IwҽA'Q'2M`xF(R=r3f\}Йo"ޓ"MI#q_\oF( UkoiK lDy# cBr_ζqގ-=Ě}C k1Tw_p\R?׷[5p@f; PEBXK[z"67ZS{2ի49z&c͠^]~|L#`'bEw ໃ;Lnr=Z"uIa,w,0 q\-)2,gzyʂ p͸e#Nb[b߃%fnqh7|)n6~m@ }"zqs&L'R~W!K/%(|#{L| }j([<;F?i=Z(ݪt{m7veftZ{|]=WRg8P90\\K Ks_2DUPvϻ3gYZ5b1b62a2e6345999bdc0a4886464b971d570a475efc28eccda00132ad1b67401ee486ac0b5a1cdf9 b1cdb922eb1f4b9cbde0037d18a4b856bf1bd352 3d0dbf89acdceaa22c6509bfda5410a0426c3c8c ac7a5eeac414f041641d2a6a34dd631f73b87e39 75160bc4b3f6d1757b7472864523ff1708e4081d