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 }14t< ]% HOL-Decision_Procs:threads=4elapsed=472.953cpu=1563.908gc=114.128factor=3.317zXZִF! ^k]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)"PN)#,*oY w_  bFE9V>;ӟ b3ٍN+V,Aij|˂xu̓114!ygqX P'[x@=1LCRo4Rۍ S VH[S*Ji@RDqtv 3D 'JjsZʣ?`A_~Z&ǹV[sb:pR@Lޖc"xI-YԡF9kpG\sF.(p1paιq nfa8Li"y$كHѸEE_Τ Ə07fen¶> vHZĦ`A\V /4HGIVOZ ?/(Uw76f= *$fXZ.CCCrE2="} Ex!}=r8.{^`;9emsJir]P<[5?V3CPfplmKQ zgyg?G{Ճ7NV.8H3#ӡs\R {%BEQ_}oA&X6C9ڭ'66lnʥ6 '5+va=OUk1`B 鞀{ p^׷$(*܏Tlv4&\΀spkHނ4ZRG"*gᠿt(O.ux(ZA"[=]y~!>xr_b5EVXuHC9܀?R+]?/!lD[K'DrRM2NQ0<«mH@N1*ǂ6\fk *>,d$/5 {y @&s%lzHr"&UӖ=-Uޝ&{748 A ȯˋxQdnG }8 Bx_mJKHiYE'PDҸ^A}t9ߋ3P.5ޞ&ErѠK9΃vOCTR `Խ0 ` >"*̉wWЎN{Δ|^Tk҆'eҳ_]3#G`$& 0%*u{\׿Ο҄V;l?*—DNud(1 0-w:fq (eE'-q4_.Q㿚ބځW5eP#cp|_ÈĠ wpcU-?9O[_b8BL:). #ֳ2cB5sz?,L9iT{T4̧frSڭ:F4c0=:WBDo-=I<#,&$&"wr 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  UɃt(D0 bL%}y )%r qA:/T@4i 5}}<# -N&.!~NBkfTHBFQ'CGJk%Rlt&qS h攜]8(l+-O3qq6:0U3l5Ѹ.&&qqd-n@71 VOIJ0pv'|XT:@ho>e}W~&Q܌^=Rw_Di@xu3ZXhOCuoŝoz``.[mȏD刽Vӹ;6>pީNtXդF׷z?+`@Vm^dzօڝHɬv{k=lʿJ*a #YO*/z5" R>{gYgIC(Ðo0 eX3 j?%c<zr\;*q sVQhrM)qdfLqLh ~ ʈE-,ЅQdd0~9>< : ވA"~jpGJIx]q?6AO6#833z2p ȰS] Rn:ln׈.6xRxȏVs3[֫? ѯ38nT)<.W* ?6i[O;OM%t⒍ ~&ɼ,1TmP?څKs,; /i,;E`cX#]aՏlwr@u>8'pڸj9ne;qeDT+ uic]׿˱O\Hwj H=18xN(ʍ\$ K'|E uXo@0מ4̺LQ=?h__v{89Ĵ2^ }D/kdK[M 7 m c?&Eۑ\r:b6C;S F\>h=XArwĀO զwҝwԻMǶb`~AP:i?GNH؍/fn3{NWR:!x <ƂSzpفo{X>LjKm8io3sZQKY+dx8u_1~MnzzP@?T/>>@}lICx(X^; 8$9_[6cLP9Xܻ,$qqQB1i3Z~n̬ #hNQ-unDZV0G{QݭLp%)=5CouM9$U<Սg?B3nƗu xEc *9'ÞM'FU9P[y7ΚU:]aCn?S䜰@y`ut:F;AG|fH1w~2fbro`*}<:.m7e߰J %U( +aGo7 Da _ڤ ƜvR'QqJ\l ԁ:uC>$VI'pkٍL*l*qk{,p,Pom!tXwkrdzٞ8>篬5M.8GGle"ƥ@_ZlAQ_u}wؚ+! zD ]Z w6G.A..pzSeJiJ's;Xlؑxx%Y5yq"G{z./> dzqwQ_jCPyJl?7Z!T9u~Cp4sYʁ* V& Iӂ@* $ha 4_79?hRي/~)$IxlE5*";590YU"?C7@*7IbrJ:lxR=jDgH6)q((ЎlYU:vztTjB% R~s18ݹRDƷXZj"&Db>arhS}3OFIgY_-YTUU)ڈjEEhz͆L)M&|E %R>!2{(/"4HUOa1>E-Zw~]8 @DCq.>7BBr߄Q|Wp 6ǵ,=Cow}h(Nb3EL>2Kv-T> զ3*:ӬݦvI%CX y IFmIeAY"sN=#K.^U%m=ec-%Y"ŖrGHʱJIȮRMAžK(f;py!<7,-4m䵩-:r\l'9fθAٱefXHTXhER&xD'mSktEIJ^^ƋՖN]+𙧦Lܕl9IltS': lˠhF2U)5-@y~+A YB:'hK^rMDQ=U2aw0j$( T/" w9[xd6ԫ*ZygC+'unYmnƾ#j1.@tIwn_}3A ֘[uiV"u9B{#~Q ][:1Y7;ԃHLqGzɬ@t9kWE/5 BՏT@U!LQcgW ޝS8[6ᣀǪT$`s+5\0~iAt'6-E̼yw1(H.GM*]D1)U8|-$4YZ:|j~S(]>`+Ԁ.tI.m鹛2Ssmǹ~=(OtIλ4)x-'Y'`@>1mPN j`Urtf1'@ClีA ym ]AeZY0ݯ3Y^x[^[co?7?ՌJEfV"ό/'^J7ANZi{%x3OQ#Ü& vFl]&ӡ` ?&lĶ{;aڪva z5jWb6 Pc=W̺3HLa %=ruX * V94XgYZ7zXZִF! ]1]ŗXiɟ17L? KxlWP8SաM~>fٺdOK2g^ڷm-x_E@@,IlrW W7mVšU\1"\gzd 2'4ZiORx"ah(N`nSGV]MbP6)OX+s%+2.Dֳ%=ęlO"}4~,f]`s H"pQC>Km5fjjUeRi./$a]L,oWD"qѷs|a:~:Bju#Qsx݋ՙia)K?O>P@!hLt8B4#7Xl#j>1@͜nKzĪQ(H~dDu`uZ&7@^7RaH5CAhLMPi@!?2@oD.R_U;\1 ؾV*>[H+ 4yn=2#A ;-aPo[d' UAG2U"h&&0Hw xcM5 kDӅq3=}d /N۸5BA:_RDE/T*#o^f@#?;9׷E..A"PaAN?E,K!2yCmU)mj &ulúEvÝ|D.6HNSpZHIP_~8Gش?9#ƏR\ugNi$=pVDH1mr[Za.,'<uƒMKKj_=Vj-Al~Z3I0a&#/]c\jX>b ecٳBgG3Udyftec0e,(QZ4 yW%(<:moք?o ?]" (\G#͠$*j$ P$er[NEG|xxŏk=Y+n]tZk]5DT>Bnvy,c~ K,; zҍ,u Zc4`i0̴LParg'ip@f7\;ѵ>WqY<<ʔP9|\z-lw՟9dw(]4w86\Vꇶv? Xމ.~ZA>~*a b+vjEK)G8h |L]VMn+mUlPeДue%:8,= hD{z?jTe*P[wGcݾB~>!jշ)XhY@+2q>rdдN 9b }~VdC|+\:5MlX\vje DQ@Ec)f B70LS<A>A){agSlݫ"npku1ć_FO ך|dZ}_s^C~6zIf?d.Wh^W3`q_믻V$s4dew :p D=#erZ&Ysx([m#KVv'»(#o~]1r!Sb;^}`-S1 ЊX Pb,/>ʔ_ߨݿ5 i_NGNڴ"*:";ƯBǍF^*d=fPJmcA=pM,Ep Y8ǁ׼H)ߌ&!ԨEgs>kH|ىsb""'XoIfDՂ7y]rNF-߽Nj[nX?.dAJk@jI?VF߯e\1~qlꇠޡRm!YP;5D ;۹9o3cHQZup}t}Fg]B3CmT޵P|(B2ׁU78tTmN ɲ.27ӨMw_>m*rwZE?([pn*ľ&v 3’9|"~B]CX) <63~ "`] %Ó4"sNwpb JK^dNN|A!G@;E_kS4ܑHqŌ {z߇N9?Y wpe8K(2O:V04u;1XnH^'rGٟB^@AREzb*bzdѯ'eϹZ(ϼoԿ 8ӯjklpOӀ ͣw˝J3hE=B CZ SE3hUzu T3$NMw|md[~YɔS0?cYOa}fLqB>&-9SLVz'awMctDxʉzAY(>]T劣);?N'0p^X7xD+ˋ,oΣ#T]} f'7C;ݼ$)\A:jI*F'x Q)|)op$\ҒV+spcn0 Ik9jy!&㋈c1t*Q`ĵb?P:ӱmT4`ELB[Hck{dDoP瑸8B7MIGFX7[miXrvvYQXn6ujɴ |yukM,ӇA[ `6/3rH cG~N=>E_9NJI,,TY:kG&gMh<($ A4+Tę $;lYxrZ[lTwRzئБ捓gNqC]f@v.C*)TB!B:\#;-beX%E_}/(KV"6k.BE3.;[Ա_uw8PP6,Jlzx+i /ٴjn@] N8Y5hޘ8$muH;~Sf'$@ xˁn-حfQ k4/\XJIH$:xY?>&N}1wHwc7zgoG`%?w.<nWnV_Ö>AP&/ 诮Q٥,!R P7E 6q߹")@GF]<*-7`3:FrbmcOݨ3K* >t|Ublj.xd}ө,R8_c]YY7<0*0=p^Ԯv?OPMXeT{g{ò0Z=7SO 7^ )938!a'\_ӤI9 o[jp|s1#$ 嗺-͗gSmSZW;f>'kw5ۚPї,ko[#ef;V|˥]H9P9l|$x foYy^9ĺC*+.cyN1\v6[Լ\qnDox+Uo.W}rV]xrcӊXiW.>TG( 5u U W~`)e W[["/"s5C?0a,Ko)Ǻ<֚GѬ= z+lw83E>)mZnLԍͪsM|@i`?/aw@t4˟$'ҍ0rx|o3V3i,il[v@;pX ?@P5A0jMI@cj(2UC` C[]谾<-Nd)YjEiMVp*j<(4 h7hC$ ;Ny2o,Eg1ŧW50Euhl) Hi-7r6IsDD,3-3*YeYz=د7C\IEx /U66F+8M[(kxb+>w4'(N톳~(F֙nG@|[4+t)2[P=՚gQ1KՓ#xX?Hg8[,vMq ])9_/dMu<{JKhZlj\^YqrHHs2:`v:* ǒd9lPP:DNfswOQP1)?4H\KธDGilMjפg\ L}2d%}ʮhp!fyCz,bX%D bd{ho$3*(^n 'YNj9M'VI$]㇟D+жy黜ܽיz BͣknAzGwہg(U?* ryw3{iEҙP(.ޝ ?U6)?<1.WÐQF *AܭU蛌Y6ە#krbv!a{Qfk`YF28ijJ8f\r챡_8OG`sA4b;YRYxTWo3@IgOg//ÎYӯ "tlU>d1,B5P9*сز,HC5o0* ˵\qoiQEm@켍[7I:D*Kns n%]iFti 0vK*xZ!fɞ%d dAyAWaߞz xHӥv|PaM+$ Iw$}>c8 ,O8 _k&T^1hWɮ5碻ˢ{t z?{[ + ]9}"-AS9,rS/by#׹,M7ӓMJq'E nE1Y¬9myDmjxSgu$6u{~Y)4Db[a_9:Pf(U2R˽F r}k.SWCN'< y\<81@Zm!0HޞȻMU΄އsnj` %Gz𐲮ϩeN_|2?4 ܷ(˼™ F/25M߭͜_+.{JZ ֺ })xp7xk ;=}F|·.H/P9S~C15X1SH@hp< {1˞̞hD9g8de9 TMx?DJb I%Ss.N{d,unm-@$ۗ5IT20k-ztAZgyFKիA嵛,\;üM7XC|+ةN‰)tx " 1mGMbz|{UQ<*h9See](׿:%=̏uot;p g5גa_n{14;Y,-6p٪ꆴ_ঁjNci^Brg=}SW0hw;˘K 7[>%BZݾVC0 |O*$>߲oz6bD콖jҐHmy?gh"_Ά?vb14Fzn5r,xMS!"GJ.{f S±r޶]ȀN9lvJKmċ]]D. ǘ: 垭`$-k+35R _akLm99D<<|/u IKA 1]$P6o#guie d$uҠD~2TvDw;BtIGңꑅ'ī^jlrqdKŢ^l .fKvg&|-35fP^ P,Abz`qOK6.iWYV8\Zw' [8 O֌.NZ7}17+ԛLT*9+Q߭Af͑!fkHlXG/u,C#Q֞fkE>7lw:mdaI} Pm4'#9Cq4PQWXX `=Hւ(^b?["2*j8zviRcnm|jISw9EcItBT/סjZnٱ8f .}@9&bJvټVGy O-s5xPFԜ_ml݇XEC $/aADܨ0fnET_k;xn(3A}diD^Cm*,%cڞp_7Rm-ln (?)q?LG΅-K{ft3Z*kXcv" |k0f0mlLX-zn]wcK3YUeygVX4%wg_=;-I\:PMRԃTfm> =1“W%LQg3)O]ҕz! F[d|Ϙyr slýhanMȬ"2N)yX|s Y;ȎOL J\:A7kTy&@o#l{*/$wNm[2 ]֌N(鏥:)~ xE8!/%i0dvS 5,N9f~>ar7Q2 [ ʓ-aK+5T?D/E , Ban <]q<oؤA DxCɡkap_RzEU\];Ǭ [DfLo Ͷ)ƹݷy'8~E;7([: )NO`"jT"HDmfBxwaVQkGs4d/7ڳYl)]%|O) ,+0UHr*y/gE6 @ O@Z|{ɀD9o)!U/]z=kغez=QXOh&Jk{?sjsSx $.qpR3l1}E3a~0# žv&afljr",,hÇ݀<ʈS #*cGH4`W.z󜜳'Z>Zu?6 ʫ~KO1jv\uǏ]zO0pf?g/ILnHw.UC7|)OE+ኋZKP& R pGl}8#GK+=AYP;& N<>$uǧd]1h4qHۣX5_ВmK]g2-%/O;Jö7[v'MRӸ:kډIo~W1!;$@qWܖ9L |isn%4wgbLOzZc""c63SU^'2&?=4- n]k\]χ V]Qڋ?B;Y|r DˆxqXa-'m*%uyA$ DJjkۜV+|#4倄Q+wwTH!eeemRnݫ˝D9N#X<`.# h^@Y},TGLW+9+X'`&t 6B KZøHA*18MQ&}т댭&H:dS7-_(mDҪE4_\zy^8'z% Y"B~OBX^5 tu;9r\4[o0ьya>pӃ^ގߞA~t˹Lc~-۩UȊJ;3+cg>fslHM5GeKAܵ`; |@Ɯ);L&j1 DE-",idv8L0n~˾_ڱ~M /M+4W#֙ |(رmuk/-ԩy[Chy8+k'CP,oLUpDO$Qb/dy;{&Cv<ސm BYcn*b,n&J$i$4ˑ J \'۪QŠ>H`[HX^у;bnn֘d+rXNLF-ζ._;pG ,UZPvf 7Ŗ7iKOD}iǦQ'<["sBAp2Q@:<8xUHn6$s֎ϩ9P`N^k_4qCnZؙJCS.0Wiڭ,֠%XVA˱*߁Ecݳz7iS>gj7'[S,O E2k#=ۆ_qr"^半([7" XfsC 1cBt1F&Y\Ò.e^nE$[gjTJH۰7L+PИ=-o D^/ EN[Xk/Ǐ*[hCW^B 5Y20Tؽ7 hMŝYNz[N*ч(g!qHyI$5k ͊ن : !?KSiňo3!BF]@!HԤJ5'Pv@\r:fw 6NTt#ދ,!#uNEuC Lw]?6]X"7lԴ(M\#/@ʘkrwHjMo:Rh_Q3Wt@AvW_%?hځrjFȉrkgSC[sBh1w5asF70nxKWྱg,%h [ \_kcEZ{OBR[񹳉p֛Y rojvo~~jat䅪OX 2b.MWͱ"7L"9R8y1L M])j='Ϸ$y;.;ja&VUwnbvQ=x4R e;NGwXq+,@:U!;J a_a'O[>sxvp ~9TQe_u%"3硍Ocd8Q́QTg)w1/].ztR#S(dA SQLnH1c4.EqMneڞhZ-9sYc{9%K]KPlKz}&,u,Z)&Sy HM<ՌZ_b!:Vo4R5F- :YPuUW*K.>Z]rfz8a7P!ҠW9v>َj&~fY!y~qO=?7&2<~5dl,^v'~5% J!vu̻` ՟PR5=M\3s7sh~YI;ycBM"- sj\ID=N熭E>\9I7yOwevYfx M K/*>qwu|+&ãYUgߛg_T;W^MVzO0JG^DH'=(,< jD1Xl F]yj Ca@|j ^#.=X8}&Б+UޡX!ԋ~W0`.D8Xf_f;sSbmnvz@x*y$ ֧{[^sD[?"al`'`%;^[a!yxIZVn ?9_9̣0s1vE$WVw֏t ٧F&4X_U]|>_jb}:yWTz\um*Xӛ&Y.^S ӚmB'y*HL3ַHѰژ_~<)TXo~ wR;3_ko,GM* [JpWՅp(;AܵםQQKĺ$>AZ'a3 /n w%}t=;|MEe=N+4H+4 u.=|,|VNÌ_D% &Y7_dqM8w ;"W)h9E2rۙ>/`(\m\ 2eƄ}pNl@Dn [  RlJ{jXhe:`vq˲1O֍B@F2a*v`+dF8p{'Q xd0$A7gg@ƿj!M>SR"\>%CI,A}6$عqgxl p &  >zaRHR\uU0&tj/;;`r[NmZ)0 긙V ?N <+ԳbJϣNtfJKBy4e FOt)KKg# $H4G$z{]rw,(OPw7FAc~/!x}:1VSsD4,E-Tg[9 '`GI8Iև:p f,m!^-V$z0 XuS7011cJ.͕gL$Lxjr(?YY+'}" ) ݁RtgN)@;?i߰*ݕ%,MDtbc!knD3< cGU#"^qw4ܚxߤͭvxN }a91ɾm5KŠ%> }G޳39*j )?>{ 6?@@Ξ>I8ƫ*Br:q>khwY>vuhLa &mn4;"-ZY^VAp64}.|\'IJUmT=rNg5/YԹ_bR0`#X.j)O椫'"Y-Af:EQ]jHwmUO5=!HD>t@V<-!#r LE:/?_t?Sx~Cf#b# 5PKV*D4-Iꆌe#Vb:;k'[7m LjYPa+po]nLPiS,wX1&o׮Ot^G+\#@i|pjGpmMXvzpsE*0$G mEDu(|\5mdӏNS⛃z}PEĆ9U"g"|] JPgPZ:66^ r֛%K,3`[Y6 U. v@ >tc+jKEV-,xC|0+ᛓ ]ݶ{+r\kF{XzG' va2zT,ɊKg~͗ț~_s<^-K%60J6~{Z!-(AXΖbH;3[ {7$0mm 9Rvh!v'ErF6!>i<`Yw;g$V-)kh-"% q!k0&J qMFL 9j񫡫aPY*:]j}FςTF+O m1&vfAB,h([ ׳ Ys:FP򮙓?A ):C86sM-DH;ib$Y_ v0+nI2HZ8 \ګէ:p(4-#,ohab;ʌ~j5#= ifZ@4 8RJBQ;Q!>`Ĕ,=k~e|G>"!3=}l' ŝerH<!|PVT$r0=!1#Y,m/ {}o=b欒^̗)yQXlzk/{UMGֲEIsop!\8zqg1XT>J!jl_qV9jQ7 EHTȴ؊a!;r*iJfP[{ #?kKI#RiOWOuO_eq "'(ōJIMSiw[W9hbAiuN^O}H*Jոl!҈TLVNs2+Ҟ[N EEWgamKd|ιU;: V[7 Com5Ǣj>p{@6*m`g3}7HR7W藂--E=Ǖ%Jk롃 =՚>|g9(ZtGWvl"|R%=n0%ttƾeаI/1)RUīK+4 b61(TӳE3TOjw% &*IA.|@8<.tyW6z u^ uH 8ዏhŇ jxOo > =3$êH1๰OXЌ +è" &ZRA +ZE8ΛJ҂xdjPiny^! #PcQjJa4w[j)pH44फ़'02D~=2*&T\0v91&~mJҰ ,C:_) Xp"S$U&E- 1=#V})" E/BKL]IXA9=;ysŐW<@ ]y VGMxpJ6F0<)8tEE GԈ;ooG& !l#橡wCZsR`5F\C#HtF]{#o($QؔhvW:|G;?2<'ځ8si2A`S g Jh"MaQ2&$U]GoŖ/݅pպ@ AZu1dDpqtb`^>Y +nu5tso׎‹z ]Nq@\P "8rfT°_ߍ " ( ăwa8}ZxQ CG07.C70yO3Aldo3bCpZ8#vW+G^v \Ѩyڕ#heBƠamf6{,-V s `4O"MK1ޫCwSËYV'E~! ]&K'lEZwYk ǷŃ JXf=MxL4?q F k/ugc*< Z-N+R0 Cee:'Na W;IߝU{nb.w"Q*ڌ޵hdR yae^F?8 fu׋B47=H3h'!Pc!n*ׁOZN4ioC`Vr~K H~~[#0]F7I2LTFÿ90{b4UY[z{xc6D#+u4ZcX˷k5J:dċ7J|^S'؆9Zjc߳lGG2BBwOgOlDid'PJɯySIe!k*1%1#s bmDyB.v3!毕3ȹJ>g |:RQS OE @Jq*ylo erʇl#83a5\s{SCqԃx*eNuMoSBf^5+aHis;+>! ϛm5Y L?#ow @ָ;M38&hn|ffHmUZ;HxS_{` ~ӁZm+1GvPj @{بUΗ*>B} n>L @9E8".brjX >,`bet'!º;<0Er*d'wʀ63tZcBAU+O5 _m/k0(xClB#T=5+\|d1)kY;B#HK~7ʉý^ߤ# m=lHuۮ(WP-a*C B#FYﶺ@sd*"0q z>5󝪌7j/pR$9ǖ%B [#Oh5͗?^VΡ."+SޠIuNN c-H#t3ꅷW:Dx#:C`x~ztGJ{=K[_D͐Wm\6̉![\DyJ+/zN'=w-WZ s*+d'޴>ȟ>D@œS\8qP4!Q]6dXe=~ɹ #?h@Q42gs'Ejix5K=sv;g_A,)Sb cxf7;ti(e5]|SuOLn[i=^-Z$޷uw֬Mzi͝NN=Tje5 ki ޗ(Pɯ5gqvg}^c4,iWsrL >Of{(F EeʃdZbIJ~ #Q/"vNJؚ۪~xY{Dsr uq"ThAW\Vg"\-_'FTܼ⊤< Dԕa=~gREdfcY߰ysنEQ$K4>5uҏ؍2gdztsV:/C"e' L~=w;,4W=5sJ%hD3i"-^Iw.v:x԰OW,ւy5}l 8J.6Y04K"^(D !'O !,f5s+´)G3c=AH KXFY$Ȉ`Ktm $X翮uK~J u"~bHo2G^$5 \'9ǩ-{U5*zk^D B1s`F{zdנ6@ v I-ME|Q,n.rbY:PJOjVMH;TPMUp;!rx^t/Ί\2J\Kdv-W7@[gQ͟c~@:eض <6/;b!|YÏa+ gO]U([$D2EP1TO?mX@akK`>iLZu$&$o LW7`דȌexjh_#ae7z$S"4c6;NύBnDBa%-|ȝa;[*o_=լG}Fɧmx,e 2]<'YՙTm`[ Yƚʩs40MxbءF{z@ -ӷ HЀ𻮹vXoCm5} $$^zI<˨/A75FRc2A * B!_l ISL?`J*K%A@Fg!2^E# +C$ߧ0'_l 19N #%d]5a%4 IuxApږG \NK;#DG9LLȃ0yZYm<tZnBiJ˔ͩbQvl-4nal! .JhזۺXfqsō8">yê6FZ(0HQ ,|s9/ sc]H [5rĜ߂]IܤB 2%/hj}Km>0qb{~aJ5&-~4,!Y'çK['%=bH&e(GdAk!C ժz'>r*N]}8QBAunQ1D&3z^9h)ϻGM3=.(Hq](yێi{<'=7vWmXȈr|wr-FeAs\W#Ɖ"H@tFri Ď?HIŠ?I ?<rI6oa\]:5kY}/}WbѾy((G" ^8;bbp#@V[8=W!AsgjޡL='뺾v`#[~@9]aU-vˌ:~N1){-t]PZsQtD=iԣ`Í&jc\֨)fyH Rk:Ɛ K;Gs;MjA^%6< YHyao류fzJG^J5Z-m)~)p B43>^T`ȹ<ӐÇ(wUyt7NSv]ž|=bոDu\Cx9٭2e 4*?x8vaw%Jr#v/ S:6yvXTOgm EvWGrgRP)_!A¢u.DDuwB7XȋZYR,YarX05ZU _e r%ăasƈCcg99ae+:l( jp?꽐R1^dÑ,N\u!Hs&(h>܁P'666p*}|fʈ䵒./Ó*MbZ< tSP?pp/Zt )}z`@8wБ6&BƯ$WטI#ѯZDxԕ'Aa,Gy~)kK/dPE2RϦ ~J18-N'6Ei-wv](O3q!z;x% P}M\C&”W}M=xLK ]g@鬢q# "(wsQ-)o8`(/^>T./]S\[Pj6ìWcg1$Ɗ!^._vL![ ]q仜BAu󉮢Аn5$TnU/c#GYԠ|k%{8F0|Eׄ;xV;R0-CwE77BQ"~}+  ~P0S%"c @aa꾕?#{{.6BRJ Ӥɩ>ctVj͉cU74!cFRs8o|Tn Y$ty1"OEzB7H 3O[{QOƣ6(RZZrIT]+5rh L||9vҋ"F&X[ ]IZLeڼF6F³x9pQ,2kiRkĿwlt)VQXKhlTnHc3AZ/K~,5<Rp]#8bʓSq'Y%ZK7쌤ҥJ-*mnIz)-FbhݗiJܪĒҎQړ$b $3MSz05ױ>]pG„jׅ=>~ !4㛝 ݱw9'&\x?槟;ŘމѸ^dv œ8=\ƈ]ժCpHJ"dH, Y^f'"ml]YWڐwlp@k?1L6-QMBIc|fŭ%ыK RTɋUh4|S_Fj@RAgO<#v-#*y |Sy!z"T .0gaÍ2-PRAя?FhlBd}6ݿ2,mǴL`n (u*ԠjpJx"X- u*!a_l|GG`W5JDD;;5y  )8[́$Np>E7Fv5`WgU9JyL o> FqY.$8(t:O4_-ÄvB^sW5p`7M oR3 9 , G̞#n_腦yZE\Ξ3CcF"2Ú@i[1Q1Tp@_o3 >=Uծ𲛖^[Xk: > 'i`<!(OۈMLd[ $1ZNL %8q4=KT>kƭTi|(7^IëH$`p?y1v+]F; |KK1>"sDyV ?6*uƯUF'f߷[LYKVK9ldtE"I7GѵA\5],3{6`#(F$~ gVpRn t XFݥ.D^>&3V+B6{?$AgLqjMN ͏p^/gc@H5Xf @lwr q`8,qe;I \8Ku1uh7ugu u4vrQbO{'Kd@LrW܏'ΠCYDU͖@),X à vr"pc vud'=8i-ö;$ߟdK{n6|8zfkKePAUc½\OPhퟭ4{}9֓hYbS+aAh;.zbX+تגYmDw_řKlFaZ[N0{XqtZ+(Ua+ͷ \9J*wI8o4M P4D5K@oi>|TO#7Vc.\cDB.|iR*^o0_rK,aϫʸxBCaeX86疁byqDUdϽ`RTad0O0Zf^Rq`NRӽ T1YGKG3Ӯ__CS3z.!=P$ZQXEb.e%,JCtIb8)X?~L-S4I=>=:8HMϥsmeq2:u99`s|SiϬJ4 gErFa(1hق!~M,(B{D]>60oGk 3PmS5t*(3JJRƿ=L!ٷMO6\B&$%йT1+H\'6d2'@:dF۬˺V!~w=MW # Kb"/BxKK^ݮ׫T3I);ׄqy$au+31r2MBY"sgp@8l>!ɦS}3F[1d uh_ȧ&Uk|lJ5Q/>tv%rCm,-Ez1 Qf1E-Z( DR$]F0h f7F"hE&(N踯*?mX@SD3島.6MRlQvx >(~!I^ٲݢ01 nw&0'1@yyU"T'7栀%kuwӡe.٫:H[}xG=,bs[}^MI$nY[!>X4UOo>8UTm#/MQS%X'YDnTn>o4e7q*0ZT#`Ptnjfwv0SUFMzQ5.L\rkg[ `_b]6甆{t1ST@mP*K"J#[%&]e a}3U_y1#9z1Rm[}?%5Pk] $Nvژa<,#PJV_T\ZuAZ}jG_P3̓ZB;O;!C` r3K\\L/{-8MDwyś)@ {$g.꤫R,n4W\p ;Rϑ!4=7YþۣBj2Ɗ$Gk =/'z'TR0A +sb2?3tXWz_OR;C1ik.B0yG0;hu}`E` ME7>'i0Pv,l̈֕  #wQ_cuAA9./A(yZ?b)1ik-mZd?MR\i_wK[ ؎8Qh5ar]y"CBEliLe݋'~Ijiwpw_.͛^ǯ](g:R忝4 Q$>ap|8X*L7=rg`QTKZ͕ͅߟ ^ OEym"^7q`Sv;ۨls53_m|CW/!Oh??Lx Y8k@=#]f)MjD0K&0?&wy"i 0WO Ξx8_߯+nոByO>ZAA u&&: 㛧KdwC>DF0+"uz.[S'L[Ěhu;yH׆4j<%iT8$b -J 0Dol+_QPQ'۞xYJ)$e]yjYű$g :J%8,W[ד3âp|kh^8g !'&m! \֯Dc1mY{N4@ -yuVoKP ^Bs]'AN&`&+/!}u5)~GzHf.e>AtBVt/dc"Qx,~ Py;rM`T uaRjtTe7dQ ~ڧ=. 255IiPu G.-zMr0l $7,.Cxٰ3-AE'CFp!uT tEz*ΞʣM"t{c}oW-\ +ɖAjR':F#afg+F8iZ;&Q  hQ!ّc89TE2{^ȉ/1F7™n mb3U$6ؕ@N Nw_$`d;FhfVn%DVef[НAIɰCϹRH9LH9#lX !o߹HjhUė8<jlB&7fWځ]0#3=̳Y+uh98gYR7ɧ9f`Mzה̏]Ps **i.h@ok\((4MOZw68x*V%c#j ^Gﻡ1&:=rk@7htv1Xp9ZϦ/&iF w,J4QOKqˆG) *IVDü]hu_)eAŎ"|V  "j?1 ]g_vZσ][̟+%Wd")hvZ']t9^ͥYdmW4~dI3Q8AGW nXϰ@J%ƕٿ>E*ap[u_Oxxj͟I~mb?Uʺ3"`!HDb)L~HK!:2[1pći{L^i~Eae$w${~bYL^6Ft4lX(&>WOQX~{IbwA9 2&\<9,=wiG{t !}9aM0AjDpfU93eEi̅&Nߔ/k>=-8ܼ]~,W{LeBp`f Y4MNnu3i M*ByOpQS ӡ1Pas$ڃFdemS(aύl&i/Cc%NЬH{ eJ6w8eyQ$', 췛w8ijs :6Fc=?2*A;6\ t^y A߅~#ܜU2Vjk3)GJ;LO;K!3~'bT|ܷĭ?ϔcVw'q)vH]KAl[.6Ff(QOڜ%-x&%G/4iѺWNZ{F[F#5u+$fY  ¯ (/2bah6OH ^AUChU`hZIa o\O*M1Xj trQμyCq%#m#C~b[ 9"i"цl`D {ӡ4µm̡cυJBue (!NmR5o"o vdz|w)K;_֙ͯl+v7˕<Ɗ5ԟz.ԒuZWQ ia 7n.m.*1dgOVW/34 b/]GEkR1 Jormf"IQ^_PDf̀J]vx#lR4Tu{wN2^:`CewFπʱ } DLYqCkdOEuOdhڼ9ܚ]q]7cJB#\bq#m݃lXhيV+tDϭ8 ]G보:nF_{E%m$v jx6hZ.glwtiψ^m'KwU;xIPu@Ӱ=̂"uHMW HA:X=]$6t![: ZȊ =~nD]Oe מEy Y74ǼX]|æDVwv98J0+W}QA(^dCXw6gc\EN@GV2j(า]tSE^:YkO]-XCWb+ZȝM9(J(t{, UU!}+q!ND2az"L*FLwPT#EϲM'[%$Exr3׻:>+C 2>ZBC$y6"}؃ڣK)NW팧Lpd vEC=d Q(} w`7a= )LўɒsdԲI/?d >aP$ˈ6]RhNFHrP:KAzU6&/kGe36[_r_WUpD=HsQocߡȉ3B'=1F5GM2~3R+=3'fQF!9[BTwXc\8ƱPwAf?YޅQ+9'9T^jaKlWֳXCӫͽcg:̠ns;4 Q*4t̨,k⮙[}k!"00rhi0b ?21O$Xfզ[X(l@@UU5.W!P`y$ro[E{l;c) ET:C,2ç8Ios!┦wUnHWe+jZ?e!G^O;/8 PaeM.,+uVzlW?8]M $T9Iv0hty0ɇ)HAtqrPZ\_O΍w%R#BRnIRgG,P#\SM֥99gk "!H*|'%U ohك1:q.M/xRâD ]u4M2jʖ#QMߪ5fUhb5 2g!i!bٻ/jx E"TzUO@rR>. y,؏qc:hDPnR2h|!wkaFشkm׭P{+#ݬ'8w+hA`,p:lc!ՍcZ58P%`"`="va.3vc{zv< }Tbi\S\I@ɥaݷ<>}}EwU6ٱŃK½! |ymLa!5mi얉?IoҤ[> z;,ko?Bক qAgH78~T0O䀸J;r`S5a‚V}(c0aCPW ܸM1cТ*hd,`6+2ͅ >*Fv)!anRi3 A+J@ˇu@GUugj B KÃ`NF\ͥŰ=Bҥi8#a0dm>8!Βg