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  Y14\ ]% HOL-Decision_Procs:threads=6elapsed=256.050cpu=1129.768gc=158.388factor=4.417zXZִF! (S]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓ыk\pH\͝\Ec0ƶudj{KZ8\dgoݓh@Eأ;ۖy7à˧fQhOOCC8@n=ݫuy_|y;a?ro5OhU ρ'.~7=pIaz_P O*\Tu[Rǘ!+֤Quy<&y1 X w뀆PGݼNmstmD=ujCe4~ByX+ޭ}LH]٥iK> 77#1,eZ >IY[N3Va`_&/F^6VKJ <[Ubz܊Pv DÝ֊P/:>G3$*,E}vf?mPS(>xO?+˹ՓQ{ MvQݳBkZ݌Ui_Q]sF,}r jHnOK7iwO&S|\q_xV n\@oy@f( oZX_ @G Jbvh/ߍ> {CmO)&+\ez(ڙk ':'~U(g{$٪\mM|؈+猖?LoX#؊}]:P[vex2†[s4XZ{d{2M&"Mó7v}eEоY%yӗHQ|-~md> Q 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 v.U`sDa$|GITm.^}Hf1reIi!ҨƆ%C-dkgxDʬ ˒~@(4V0'ѪR2ԥ*=.shءwLJ @Ey9hUj,C SlE/{o;~ Y1v׾ֱ%ugE+/C,hYae-Y{~}LHq\٬wcs 7 I疔P3E9C֭`U/_Ub! ROIPؒC:MOlG%gj6O5凜".eQoJXAw/^=f&\qmBkrQ Wӑז5{_uxI٢#$eS J_dKqdMh*~@ˁ>Tc;_afaL$(5wXSZ^_Ɏa: h2'x^/_&c1 [h#o n|>dӧ`$90P\ݝZ~j>E%6mKFɢ2~*ΑeĵaEZnTH",[+lpK]Ij~Di:3Ib{Bg.5EHC1v o1Ki%h1F1 ݽW|vݒqYQՐ#2喲s"Ky =6v 'fx1j&:9CTo-bϢ\Ǎ-X w]Pn^m7jC% ɽ>,<% A $iY:٧Lgs `%TewN45L5 7΀%$ܕ"d_#(x&d;mD'4!1 QjF[zg/ U2J#xfSPPtn1,k-)\ʒ0NZ0tR4]? -|+&(#K)ʝ.Um;O$yu.Tg5KQ%w[^peC3o1Իžׯ'Wh#PE9޶@L_ڤo׊+!cl\bG:`6' J$ϙ'N]4ڰu -[OeV=> Hj Dhfnۉ I@u'ݾW)NױJ ()ZWS5:IT6Wd解t<[xzC5mەJu3_Ï#F *UMm06\ :Iv{ CE F,V{y-&K5*'i'`:"=(4:~P?@t^Cw[)Ғ :hgw 2kԳ D8:~;G(Tr_Х'sc#m;5ѴƖbo|uQv` Z3tL&~! Ms-VR%G,٣9,3Bix@6;`zS9Iބk_3R&\>Xtt=GPB2T?m9yaI 75mAof8n#`KGRLff<{eny:xX_Mbjycc1(<c5%!']+1̥XXXK'ף'2zo9ݜ}R"[1-r/~j0ޏE G)5|w/TF"gZ&Z;B}w֒Tc]l.~Z5?߰+XM!A&2>1PHpğ޴zi\cf,`ɖiӶ腴?YU'p TIE:[t4GȞn,D]*j-N11! X *AUN lжqs~hD_Б`$ U=<T<k.HMl? MpFn%fJ)@ʻB&]ÞѬ7o~^Fیeya A='ċ#;&753. Li_`zԍoԎ[$|MM)ʀlqcZGXkuDs+FaB1EMz;rvs)Kd)22׵:7hB-ks6Cʤy0T(-ԝPG(JD\#ej%w]އqZ .'J.*}şU^V/z S[ID$A vo"7t8-Ţ;Sl >'RRL̢!Zn|HI^:3اZڕJme.e[폎LVMy3d n}dp4۩ԍڰOm!%Q8S?Kz=Y*B>߽{B@[I}o):H9*7[+LBGF}ho뺧:(39@OuS$"P̏.kОm;0(IDP"uLpk%0z;!ARʟi[DBFeȖ^gܮv\uF?2!mz$XKni {iyec=+60&|BHPZfEAl?aWHm; ;G29Hve>z!0Bȥ!+3 e{k׉q7~']%׼=e uo:rc\l! IjUoz|ZgؐdsWxCuM \OX(xdp0u <::+-hb& 1vk[sӍaZ+WaxEi9WI4_d rרRS%.zgl Ԕ1ft^׸d'{"pZK~i4"寜'~%MpU+HkJ\51E.6G6"*/2TҬ%;SdJa)RId8M XuemMH~43).3;},Lͥ$HN<0̇d,(mf;$mv | Dh2w&p2O{kR?|~FFx*v2,m,(g2aIb㏁@L)͚/ZZLj]}g2x-'O<[:P୫zûٴW{ kvi)K&Vì|:zȷ9];F^Z7}1 :vC-bEGDd XL `܆$3(v*ԁ ,Ho7]..=aBwrgg*4XAahׇn1 ۉ7*)*ӶU $ ? 1_8ߖwEQ;Uaxozc3.7{;#] ߥש ?ji ex2=+ݻphb+]2:HtQ0RQ0d.ǎ?pFd ՟~XTC}ݸPjC(uW3Ud=cFٍ)e~z 0Ϯ:AV#廱ӬMwjTɭ 4U:Jjvnft7| 0*Ǐ>oR N`?^NZuj02u)\gYZ7zXZִF! [']ŗXiɟ17L? KxlWP8SաM~>fٺdIćOut>s KKWRlDrP_HSҗpT]vI8v&s;]~&ZZRT FΔKb*}bhȷZt`RRv洖ZWB( 06y0^EE" ؅̚MW%LMmf[ua< *׀Ζh3LR'WXN3@Kv. zؾ*G)!PW#/]Ucc@g@= ҈6dx zKb2rx$%Yz5R}!)[>v]\ {i^g>sg٤6>RP QA^{ɷh"~EmFSw9nu%mD}jN[æ[oVܡoVZE^,5DZgYZ7zXZִF! GV]ŗXi%E\v^U _+`ϵU2\KW Ư-Z:DzjcBQ%brS-RL $FwJ 76*XnU%@{j&4Ɂ(Cے^ˇYo*DŽ *#ߊ[mxjKqyw-AA*=EMABt=JyG0Sf'Vs2-ȐS,wYV̚.yœ|lrURY`U :_&S^EJO0w &A{Dy $<*l׾  ilÀfؼoS=FX@9>tEBHynd?굚bp5\T"@/J,\+DSQ#M".U8F(y4 ɱݐ4WZIna|~OB<7덟:pyy r~`־_B4qƹŔ/tF}G&mΰ3G\̎pȿ+G$Qxl"ڗ!DYBbcŵ#(v*~VLu2XƇ[nH)HX|H׹be3w`NSYlhDGFQ붂o7K# G78-˃7SҰ IYY뢴*VK9 7^ ~})6 kx"[/B(7c-Y8J׌O+- b,܄?ȣHie87@\R,>dѹ!xlGra~ƀEV7a$k*>ͱ`@Ln BЀj'JLrv*ى94K׼ВM13eԪ'l 5 P){NHзQ(KqV0Hygs#Ejna/{۪o"ܸ?<3xm0ޱ\XV)H˛U+w|HGD+GsXDlhPož\)75RQ]F8.#(!UFPYT-薻2F {7(+{5(k9JVCc!k]MP G|e ?(p#é$~ }"Z6V"Ȧj- vRx7B4,J ̸8P!:Q6jk@gO_OJ (uVp='v(lV E&Tm1p9To:TA4ⴆ5D_j_̪:S#AR_cgXAt{ # Sb=D^2K. Ǝ@~|Ɖk]Pd逴Cw'}?[35ج•T=Eh#,/q$bS6JӊSgE ,H眲N/S4g~Y2_T)?8E"/}L+A^2.`X%]B| 9(&Uf@R7<1snUj$msKn( 惟s Y/̔>"ZǠЇqA99-HۙDsB`7jr!-:^Le㯬÷!åjAcq?ep#e T]+d4)J8}+>c6S~A9tkVS՘Ǜ/T.jZb"pRGm\nafhZKx-K`Mܪ{J3:*6գ.{kI(?<9by!P~;3{`t1%A6fkxАc|B(, >U׿=^^W q I]>Ӱ|HNC˯,_F)#,Q*9N~1>= ?潠\k"%!S9:y]i_l|52&OP|rb(b%SwЋT"#ocHjmaciև b:GB(7aB ^pl!~ m.߀}[g 2e'ͣ[@`gAlχf'9\0K~$'eiz=@%[ IT_C|?5'*ڐv5ԂJJ-xř KÅ@2VҒ1TslYt}LN_h0{*dFOl) L4s{{>Ɍ7kh%3/VvGP k,9mG֗[NCyמ.edߖ+S)+﬇;N#Vuqz}i0p=hE7 Ao`>|.F訜Ɛi!\p;_ Ksw䋁pL?*֩E!QΛl;<'q_@dK Aҟ 9\]߳Aqu ;,"1;jTr\ŲF,mMqo@]rwfӍy/2X>뺢yX}C5=b9PEt +ļ>|TgX(~гl LԷ,?N7sӾ Ɠ'Դѩ S aDgAVKG*RmXZNCfP.^5`R |!HAFi70tǿ54e2 ph%gv+ϐ@5~'ws$kdzoC(](DݎY»' }:9'NeBS"--Z/H$Mt&Bk5?Ȩ`K`dY=poKL+b%[q+s"sҿ)B [lӾ=('c ZՒ-ȓkDY]B 2uWE쥽*ऑ^]p ;u;O{Io2Gna t|tGfu}K#E<2Hz~A%$Oފ ה GJ:k0[vVQv4@z|lѳњS*xJd |wzhۻ  }`lW!y4 V |P,Aʕϳ[C>*KĶ$W/590],wdĶj.vO$D;ב)T4k:ڮ%wWI+Lˆʝ豳7RqsjWP`vѢՠ>Li(0 Gxߠ3WZZ/lZP4Gs/t|ԢP#b[`_l>`3Wpڧ-#_2 OD ok ﱠo 13j,Wp)-O(;a<FaBl!wVFbz/#'$v_F)F~:?{ #Sl02&bG]\ P=:TaTTϵb>?ݖ+I2+:bRvad]5 x SA6YhKi+ΔXX Dt@Q`bL}A WI?鬖f,,U"RXЧCxӳCiN wL "gf_TMxPm:~JǓSAHq vPmI#f1\ff{`VzlR `)zgYN^ Me=2[`]ATjgP8L`w3B3db~}4yq@/blC]P*a>iQL$][;ֱL`Sx6`O<;`l u k͗ $Ck=ۤۓNy'0' `ɞ*{b9@>Hm"IT'Z`zcer߾/dh*h p:{Y_M|^Ɠ􏑹׬|v@k:/͙-rNy S~F4~{AtU!2 y$Z%7z%V98۶v>|,`&L I!ɘ"l5^US;B Ps:yohi-Lv͟gc,s_Ee:!ԅdQ5~gtOӝY.]S t ORҜNJIz@nJ&|u3ҫrF OG5N_Ҿ237UnU+R40i(Alǧ}y_7 .ZTC9P#zuԤLJ1/ΫʒNj-!!8lJ8Igfr~AddmMF>ݶ%bpGW~Zn;k6 7jݰUg11j+?(w:E}x|$RE\\;t~ܚN\i5Lc*isBa%mɵ)9yH7a0R]<H_f}\r S}~J :y׶b1*THyPYNo,Bu<! 6nq(+zA$8+b3e.:Lm C 13,'9ھѩ(eeuȆܫo)ɟ)XLkFVVX !rnzhL+ywQHQ"Tژ  Y_a.}u4c4j"azc2wAasR }r5-c%]%/kpڐEL# h1i#c/D603k̪V`!ݬ_\K/>fr LR4D~ >5u&c/q,/}Q֝3 ( ҷ'} y榛N%0:E"VTOz דpBc/'W %ek C졻@2TgU(5JQtje=7ECKW=.ܿ 0(رa6k5}E{ r@Vb^gI;m7:,ud#N~xoOzJA@?1\o4䡿+Uus +_ u\=n}ؕq5(й4:X9D?aj:zWs^4n~~O#LI/jW>Ʒ$;["7$LIZ'8t4.K`y&3p`oA_]2-d(4;a׮n.ja.Vٷn"LqNcLe)9RGW[I"0}E^+z vfΛgrT.^r \$kVpW})~ϫmO!7HCOW|2T(^uD_\hRc(斥nN[jWH w3bl2giW*8^p>o\G1]̤t8z*mlp{'5Y`BD5+Y]xS?m%]xnoYJqԶGtnW!gkpI"866ݐ=xvv,vn9|<0BDM[o"DmBV EKVk2e<=?oqA$*$on@Suqv\2O%j/3d5a02e(W#1$CO߫)R)KH=n9Z:Z_6!}r(Ð$w-Z`̻#W7"A5SĨe뽿Wx`1A]fN;tz_͎̃boUS5,W9MG=s1W8lXy].8>pEC;l% yKڥJjhji7i=^TSK_?pͮ: ƝѻTt@NqM_.!/xAofHtAlA>hQ *ʙm/ʳmז4aeX, oˠ$?Z qF]TZ ^wj [J$,JL|k!u˔.Qޯf6R"4  hGǻ(} CZ4%|/C8̻4csu 55rlwH5Fugdzgp}ZJobN-MuM#WK-"ŒC;^=5D)؃=U[YTa~[H3Ԓ~i u(q~r;{`N~ZĜ nP+B,FL;DBd^_)T! 1n(Cꊺ8)-B< j *_JV2 r.Dk80o/>8!u)͗0OɌM#jm$'N@pne̡gGCPTRIrt.B8Uf6Zj== Sj<[z%iwGxou3 ZAC;'3.e{Ix0*)E?+hU͒p02rYfgT䛼=^V4PS(?r]3\Z_5^zް'3oxGeCC{g϶ˣ݉{4t\K`)')r\T+&Oj/.>NaVW0뗨 oGWTMކzF(՘׬@a JN9&)7OOe^6kט~=̯eZNn=mv,8[!%S.8%`\DzGn ˻2P?iӠ8dPZ~ۗNiƊKvշ8VIM߀П""诶_,#._Ӳ,\ ŀ3wԏOl#Q!Ւʗ0*qRx*V۹U"#M CpqŲ,F/fesMrQlլ8i`4R;"ijZ Lzkkn7&u~LWGI!|yj0 WB "8t$-T3]K#aNr&S ۀ6IrG0Sی7!@b%(y50r4嗦6g&h]v>jl=~# 8AQ"Z] ^'&09c4:s <{γ1 SRuG)v1jakTfi+yUZQXJ`xOdK+BwW'وZwLX%fV]T7#ԇLP'6Jj]7iPNWD) ~}T~vҾ7ZˣjRO=(9lFl½-9d#x經 - )xn|]iH<ăl Jwj:i7sxEDH3\~W zh_~[nۮrlnu%傓4m)o9 V6 ӵX,YcU 9T>Yḡ)a[Bmjؿ -&{NR<vG`S i.q5P600ӓ_Q#*)<>-@y:}l,̩g&Ĥi+nng&#D1ELE|eq\G(V+ ﮻ O?/7yVa~S2qtΑoۄX5ʤALˆ6 @EI4g Xz`e;^O~$ZVlk@)9e5 2r.VLȓCY#g vjROYcԹ6?Lޠ򹛌 Y ½m2ٝХtú',XeWev8_hZ)a)>mFX&:A'A3dl5> F3и} E28tɉZܶD!%wܿD\U{K%us/AGPq,f )щ(SӘ] d/m4&OG Q~՗A,i0=S+o4caLaW#<@eEMa*˻>ܵC5+"hl\+~OÓ{7ίb#L8k<:JxaC, 7??h"R"mWI Yީ?cMP4+*F [bB '[$dPѩحRSf+*jr,Z"{*.כ)8X=h+Rl<+̉Z e71 .HTݜߝfyqO~*vvzim李ojC ޴G ;Û؂3!YZ8'XOW`;{Lzm4m['>thk }* JƴJ^Rթ*ِ͉bF r(8]X.:hҶ_ZԽB˧jk¶"uI[:]u33,| 8niOxF &Xdo ߜ:4|`h>}I*ߞJBq!'oW(`'·uѨȫ^az3B'$ӠE% *%Fcіz6XqZ'cħ|8}MI-|X&植$ :܊ZsQi){cQ<(Η w"蹝t)h #63#Fg>ؿVkKs=^QAΤvg;Okr[IacEE!=P;lDbϔ'F6pYJpH]n3)@me^/$[j;9OY/ ńGAjwh9[wnÇYH[; %^ib@f]Iz#֝ 1>r'ϨI˱\#FK@8:m)?pX"],b*92kIr,>L9=s`=)%OK47WI18 {Y. 1NЋ,ɡtɛ>2VX!c`e ]3,#.} ojq "nR?oib\ 6Q!ߗ RS#n,[l?¹{wt i1Zɟ?7)\Q~kxEB!vĀ*1Ʋf-:I_ k0 :K2E4ew*c )F^c${0]B':ْO&NEoL>Ϛ ( gIhz.JЄ"KfBOa,T`Jb_ ѩ  :1'R".r'h`y Mim^;\Y8k/ِ 헧ǚG2NтYN_6XnZ-:-x+d/K =!ܲӸ7A!1D ϓ }FxܜШ8ܠ|YzfWq(&Iő  ۜVz*h_\# ~!4{T/ç3o]1GB<381pݸEM*1b§7 @qpW\cpab^7D9EYQBT4}9Y$.dզUˉW4t]̦d btt3fA+q`$ p:=SwKHV*WbMM~Ʈsw1n8cO[%w[+KyƗ,)UYTvJg~vi kT ,p7nWMhe,[ 0nb8:@XhR&Luxf{]4\.}4Ғ pwqW”֣%Q+՟MKZ>1#u&'46*D~_`qCB|*{? NjiSr;~ ō%o(4J㫌g@*kPKj1ft[M.ϱ?U;$_T- w%Tm48pHV70]BeqA"8IJ|vVpTo&̃Hds̻3Өm /B9-D%ծ1aOE2ٛ9ic IֽFS:$|:CPRIb]h@XӤ䝡})KJ~>GT .h N(dy3Vrt`\Ӡfl Mp湙 ]T{poW˼] hʭK@R䦌pEav(^ى^ykȪnP\ZHO2%=WƜ l#63"]Ǝ:Z>av_w)gXց+2m:|UѤȽ"zRSfVZL]~_c)Ao~1{6Khѫ XXy]M̏8醒}9g<-Jٛ۰^{ PtV`9oA^WlܞDiöy?FX-9ai_Ͷ2n/9?Ei4 \0Ö۞CfN _}uw6pْcMۗLRt2cV BS^CHޖpa5uk]nA/IK˦Uuqs{D7NffX#pؿcBfsɱsm(c?^KsxcI{ܔ$ >~KZ'~Ġ% ycEHnڴmw(=yB d$]O]Q(/ՙ7T0$'x@˴vF:었(:ciŅR$D9{;AAm5Ld\CR!$lJqv g_`lDl ퟋ.ZoaJqF zBڗ*x? Mّo BԥLg̏;U<~8,wc4pG3ɜE٬/3&S aMfm;%P/ޚBȵiLRx?)FMDYN`!q!CT2 9ny+ B zJ܍CjT޲T/6t CM[&Kk$#TI.:m=R&uP He ɝNcWLfܯ.Zs̵WoIZxTM(UUG r'&SRC 5 D)J 'F a\ȄNĄ_b^ItW竲$8mҢ0k18X@W)DP#4W nc8] g۷/=w.3udIQYtVYN(cDq.HAӸWv`vYAq*qH)ү_FS6MxzJSe fp6r(HyH8P_铥>긳:dwuY8PޫI[9MΛ DCڒo/&^' ">P42"ᄋu{=tuBIK8CK6 S4.X=WغRќ+7ٔMs>"q_ Ax.(U@sK*sȅL-]0i~?}<)oυF\ir(rg |Q*sol~j3_ X00sfbf]G*Oұ!:Y-tTu;Ԝ>&"s,hҕIɌ,^Րh)#Y8+;wyaXʱ>W ٟ* cw1ܧq;$=dqog)6 Gp%\ jm'#w$~0UrJtC1|XF8ȪQ"{w}8Jm~[Z ;x@r%L-`6 =}>2*A]cFZT5mRByM[ wIkcU:p铻P]jTzT%fb윈 YJzAfZ嵐 A$p:_ (jpr=PU%AB3^ Gx/S5V}+$V_F^'Q!qړ@FkE^~TΖ T߅Oޮr es=vxkej=etGNݙf$ Iش! "^(Q  \T~=YAKUc—}~ ˑT/ccFLȢoW^Z@~29.MŝEg#{ZKaJS~gzc)gt"vrwrUI|}^dv6L8C`}:έ.G"Cg5n BFZ!\ QʺQC/'(q{AO&GfyVsZҌ͋7Mk[ʭʃ8pWk9r7 #'*pBh{E/`CcI?R#|>Jrmb7ND>lA|H5)ds°Mmz?m4܍@EWku)`, 3C$=&DR̊4CTa>1|@XS_Ƭa|:Ǔ(I8IĈGvK {v[[fp8G*@1Qׄn ^/1wc eyvPm1_QvLwUAz E?ҋ RҸ_{ËDԞpbj0%Ϗ;/C,5)23ם6qy67-|ޱГVY(} RHL d?|\)?nDpd3OX,&l?SG;H@4F 5 LFVaҺxSX2sA/G PSZ5ה\1iׁΟ1a'gǣlSh-\i$BEBtAoaX񛬘Sכ M@&SG$ڥF:J%LK!Ec̀E?,];%"\)ƞ>Ֆ LX Bs9SHnG4u]ͅUaޡzezoH%&.@^58ح&v^|y(϶_&uyCuY*IH$Db5zPvSOE1U5.„ģD`% z-]bA$זn<ĞɄS$7/~"Bi+juNbw)6ZX9ЃA}ѫg~ea[\\5g06@=Ow6X ,1$h%i*+g&F>Q1b.)l?pc0\*rT>k-/,)"KS'EzV3 օ{|1&` ޓCrcɻS=^IM?y iJ:nτBwip1ec|o`Ė(t);5ǯ=j1K3+'8: o.SAeBjfߣZA4q'#_vz': \ WQwelLRWWR C/b{(C-Pf3(#*9{kȇe+Rbt'$CYK#u=*H8+eD}#r*(Iu{ Pћ+ pıEk妞k c[ bt?؅1YȽXRg*͔z־kʳJ-dȏ.='-5f/K;{k <0r,3$ p?> vgͨ5X&PE?zԾbِe @ H9D@~R!.` {[ ,ہ|?n/A \!gp=x}[WOHtct jn$V* m-Y$. W&,K_ތ#7*{CSsZ+9H27<*ɒS`&\ACtyZ@!.|Wzˡ5Fp l0%WZw}fS^Ang!'XGI!hs* W\CFgf A(g$]0?pc"V+!mtdK?~-۵xb܌^ꬹ'ɗ_ >/+I%ﺭR=)L蚋Rzxy4JW\3q7/ɝkz"n7!lVڪSt Ÿn` w(?ͻ .Ҟh քXKJ3(h~ϔQS…% |)A/dB:*Z %}Cj HQ6}(uoѮާC}V/XLMT~Z)hӌU8m]Le6tTjztM'͌@N:J1P'.*CBz870)n:g4a'9OSVݞ~NR@qd[&[X[@ٽ%:rVPSR?ϴи,8L̲]z@ٷ.j !ʳUSp觕S bFbj 2uĎ }N+y ַB=قs?{u)] ;Љ'9T,YϡHp˼+$@&-.*ăP]Ƞ|UM0[UQ^/B  -%+G n+ MaTadS/1X iȌ`xF+4K[vg!z<["umL3rSV;Dkb=t>\P1=Vodz-/d뱞z>["I!iΗg}Gp\l~^ gѯo.DgW͉^ozy*߸Ӌ{ R-Es X-@]eN&k<ΞЙ]mcۮWON\&RCh$RoHhKx(~\_I~2!23M2ҳ];xa./ VuNB+ajYs7AC3R N6׫z.G%j`g&8f3iLJTjĖ-j3Lz}zAW .=}+:Wj4qbӲMy:9re3HȂ!,zڸ=DrUcU#RG#`>%I^4Z1+ȸ{"ncZ7MMJZښ͒GBϐ>k"*[/ *TWa)VDjtHU#])=Ί\_Qj߇. t>eW?O YsGrhS+EW=*h;"4]]C/kKRd5&*6!:n3 Rn~ (UT aT|[9^  {1KhTLGMeٯ2C#͹RCtCe6 \\:".,kTf5{GWHСFDHasogjh kԮ~VBAL`ra李@σd.sQ륕#DJxb@X]!&*DqOĖ0ZZd%T>FLl.I0!m3rإ:O/rjўй?}0C)5.Mv(PȞgVnw3n}f^y\> ,{\tk%q{L~ pΔsED+@>CjMRHWΤc}=%wJ6;2HM;}UjXw +y>y c$yZ:5Ю>q'G/}uxdzȡCg֭C#g .  ޹S< l.sZ.ZdyحLNGY'V1N袟O"̓W9Pc~&N&Tʩ ZI2-yMI j$Hfۤ KAv 7C?&`z gf?n7-n/GN:1(AwwDj@Hp仡 t7Mnv)> Γ[ddfC}UZc0h4#8u ubʂ KXʴO\6'|8pl4u(b^XZ'AͱFtrZ5+ImfcgLsq}tDf=IEDWꑲ/BA=ͪ s䦊Sbza[iV2D|3ؕDY^I\)ǘ}m_,g2!`P6˫m7q1kkTtX)u8iP~)svZ-S'YOv`>I4}Bӎ1Vy*;ʴqMbF@tƛYoN M5C0а͞RɫYA%"OoL֐leqPkfTM/,Cc5>7:Tf%e]26`n[-4`[w* *v#^]sS*4XgrT ÏME5b QךU[݆:Kbs XP)~ɷ]ABTMyy{v[)%BuD:Eu{SjdJ O[ ٩-h'- 7w;Fzm,;5ut<jLnÚ]{xC鄕!ysGnk^P$ oi64:Hz"(mrg)NXqaH;[#|m7~rVnhًI ]qkп1cumt n H;lvS !ww*x"9K,fcӥbO0lR3-u8"h>yL&v3gƻTPd|E SU=(#uaPP2Z1`f30e )"#^nM;$YJ\)4X]?4JaN@Bgj"T'o~@MڣGn_gs6@{_;֘0B*pkΜCɇ:u&Dj e Fq̳eހ1>_\Ki(,5ZRKQc߻%7X0J~mbxʒm;eytP OIfkƥI"/S+-Ao>{`M =,֦e`% Q8e|%i񧔘`ݫ30 n[$̷K;h_B