SQLite format 3@  .;  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 1\l, ]% HOL-Decision_Procs:threads=6elapsed=223.347cpu=1064.016gc=122.948factor=4.767zXZִF! ']ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓џR1= )k;6Yu\ׇxyiRK;vCXkv9%y)Z}OV+"3ÝS:,,('nsgbi(k12˶P2wFWUX#a Lq?ԝ~qJ t$؋GS%m8 pD( ,᥂'\1>quGJxk14E4Ph)5PSl$FǭK0e!8Vdd%: 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 _SyOW"W&ܨkT>+0{m<&dC`i Cd,FV$\>m6\lp;T$q7[~fjė^{y3>X:9| H8!66BSlN˵!W>HىwLjΓ9%ʈ+L C&eniKkd@%*d[ <}Jd>Bv .rvX;o^X5AxTdz1W8 C lSIOkuY{LfP] zY\!c64T[K%dms2"C[Lҕ~F[l@uDⱣ{Mcd {j@&@2\桎dn< c5a>?,O Jfع_JFbpsOco:y ޡ1XgQ#9SWްDym$Ǥ4xu1ux7m\eP &e HI#XAUo>{ ֿ(ːZ7Bol1E4SK! *ۃ z ybfP,.LZxl@gA>Er-mC~5 e^UG^r1E.ePтj#[xġ=L|9?Ⱦ]WPczܓ!]Y:qh5(G0@x=쏿nXN$R$9#!5#ud^| MjY&lOa !.ɞ۔?L|fϒWx#!m]ЧF t79h8@HFCȽ TvÕ)_}SaZٍ|Yu<8,ֺ,NwzIv*?EJٛpr;sŭ\ 1wJys']3v~Z>LEAC?kmj"rl+ډN [fIң;R3V@.k3tߢxYB q=Vy!m|i*Ugys6Y \q1 Q`>a ֧A˸ Of |ao+If4?$|-Z{^-Jӳպ!.zm uŠҳH5~#L oѢ ݲs.UY\~ޓL-HV KOY5-M[~8NS$4xd\*m8¬)3>LU<,;:,b턺%6WyPH[4''Mbtgq)~c 9.=sFgYժĜH8Pvauo{5B0h`u/1-Č*[t _H oeu6{Xa0{:CrpDW~{h~g+y8!=7ń.T#/)#nD4:ԏD$vXmɔ7{nQI/ɔ?װ%E=a}D|să~(2%$,GE]IEU]3]P^(aGq$% vڰܯ? D6KDϘńY4)MoL(;BI>Lխ\J]F#\!y<62wod!C>u/aO')"/H./q,\j(օ& 0ܹ)a͛ C39Rڈ!{{Xu2tp8a巭jdYl! ɬE`A»;A=yW,~D3z4-XLMxh5NKkV eYUyao9VrB֌6;!е+|7YX/?wvf+O03NTVCrXDr'@_gU9pCӅ&F1BSU81CVynMsmؒ)ē*H%4?^S/.h{߬lj[\ O@c^6ݾSl#coi6l'N!vCuQ~S`c`*_;n |N\}q_w_z`l6LMrvՇ)H3;oc~چf3FW|xvBI&ӅzY䬩9<,H{#'!xrzM T ]QԧEjgJ& $כHɖsZ^&ϪA4q_Ei3퉤x M$t$$g熉;UyxXo&qR^%>%6?\X2Y26贌f mo}>*S!o nc ι͚"ھĬ2Va;Xcǵe-E;t}02ysZHe]Yʖ]'۫ K.7PpsnwD߷Aq-et#q[v:vvF[aCwu$ߝk2Uf2D>-gD.1hj_}0p' weiǪ`N mC~)M[ u`BE kJo1eqO,6pT"Q|#wf4vv(B ',b5L9 yϱFIklLG3V.Fm d:e"-Rrhm6 &4 -4 / B᯹ cfUA]rY$|ފyD{'O1N#C[szDkz?:HĴT ؉Ib=T%r]"3:KlRtHĖ~)B= 9 E*oU8"IPޘD"qδXn YT4~B#'XD[ D#haZmsJ%vpfjFN#Z~T n,ִ!K]O5ILP08s|"5mt#{_oJ pî05Qu3>}i X#9Z1]*T=odK}@(hWgѼ| B㺊 7Y9\{p^ Flz91Nt]`S)Ր~4`KL|`_z Dr/<;)cF.TIUZf-"f ٪I/Y˜"0N ?Q巳RIHwm xЈ/e |׿D}ݴY APaZ :$M DC9)0ՓX]T{;Ԅc]͏hS, vnt>8eJD `t8oJ8i" w/N~5c M);]jfih[,r65ֈ NSy*!^3o")!&Qs Т~B 4fe {5{5O{|5z KK`/Yca@qSK^r%as6N \U)Xz7+c < HFeEڪ =drZNzzF]+?8ox(*'K@PcJ]{H@ؾtן9H|\"N:4k1!Gry뎉Cr 'SG0++,(.\ cSe :3d.,׈rL)2M]ZQpLz m⊄w,qG &@/nYydd{h:nT/7a>;V<_A8G k'J -CZJ 4,MB[};{%.YՑ99'8 . MN$H JuY#8Ģ6iǼX)3p.^A8؝ =[SC";*DaB.07J7.vO]mO|jtKFꋬ HU &5v?̣_Leӌ/;ҥ FyhStqjm;t|4UYX3 ߭~GT|D1JY^mLhn92Q`GjQ`fy,.!v_35`JFA"ŐFun'i ՂcQvfZfA)SwLqT= Z~8$6?uHCVJioGj?пN2w@7zQ."SҊCp V#4g !fkiC (@5C,2+r'.x1%txLrlJtV9PغP|zOJ[Axśs]ÿںIF@G{3]wٯ{=h3iw`WpX! b͙۫D׽ڂPS2Y,t{ 46Nt׈>l b]r\zL}qA\:?x@c,rwъ4/&7c>5!$ 4eMh8*X a4\VN\CỶd'u Lm]ǝGy`L4=K\uYޔIˏdwHnrM1o$+ HLinR`kQ|Oܒžt6#hvblK{E0<ȥ?8g1~"3>G؅Ov)0sS}Υ{2av JΦpRC>YVoUAs'˵_.9jXgYZ7zXZִF! [-]ŗXiɟ17L? KxlWP8SաM~>fٺdO^w¬F{ԃ9kGaSOM!UīqkD@XB"u[?6uk#ON,ER=aU30{QA+ XQ3켝l62Y.˝$Ϋ .j@_ROH9gFdǬ_68H XO^ʼΏ<q_혮d% x*]]fC~ljv =ỄwTHF6Iqe x+T3xB(XsdPCS n<_aNr2Čk;5y]w`SU֢݈+;n|WmMs&1h@PKB>&82wZbjTf4gzJ.fgYZ7zXZִF! cF]ŗXi%I=v6ԗ?UV Yۢiݧ* Qi2ME6+FNTSk.c)^0 ftܹn9 $9gg%5Y >q6 n5%@>%^z/>fgpj/ٕmR(Xo=WQgd`/ (;7@2="GEUNaA&?}{{Ta>!ျGx aT<7f(ù+Q⫖1z0,NAYb1̖Gd>_L6vnjM=¯/P*!%rpK7> CvɀqV4tM')<I:F?A4etTA? Ǔ|-skA8ipMU"[YQ%˧>"f[uǼ:ݑT67Ê D=Ⱦ8MdrKn;GHGcq1?M*ղ#PKރ "tdeR ''9J4o hn "`5c6ty-Z <ؼ= \J1|v`M1*?71́sܦuI,YmK.wZQ"a_Mы4xp:k͙ P $ 6z- ()n&thmMX <@i[~3QٸoPz٢(OR*£ct T;ܦ|[lV.lX]pڲ)Q`Ygqe)oLB#TI]=GwNJC8@0hvk-6)uӄ=y 2U|j X!W"B']6/ $oezi~n԰_lLv{?٥L1ev׆q޺X6onP_Wi>g^eo ?g \O//߷@'ghXS,V2QDz)tc_Ź@qtkV]hNanVO͐3r9l4 ]rS Y6Q>$$_ʈLC+(㘢]tl ;VSg@Ok\@PY`h?JRw~S/HHKB(<2@ce[ao#O7p8ELvBD]5"mNqAx -*ɰuyąٿ4SuQ߯3Oj9&qyĦ0L=\;"I#7Adgv_%ޢX}s!)2V'6 {JLYQFͰND)6Gd ȬL;L"}m EC)L/Vk%PrdE%Rh%w|nkpˡvQSע<%Gǯ5<3*8ccXIQ%R^_ kwZǃz+g(DYh{<no$[081zEYn}ףjgqquKUcdD:^'m*HeM8è;} q`~^led'?U~Pw`)Kԉ0-'B}Td"@A-.1:!#88=`PpiԴ疯-c<l~:0]OJ8ۙp J '-,jPC-`^MG|Rѓ˛}o_@. >+i&!@([Vh ?2= Yo : Q{Dr?f2$ u_0N'C8;N_5w9ToQ~YGtS{B4Bjc4l`U%rF⚥5`l&{^٨CKcvǫLo(l\8aC҆(}Gcn CkTaP1%!DaU()W: PצqRƤ-s2^?/"~7%'ESycb?A1( QkFmz3t|@qR87EY`ԉ^: b.nF.#rDne}]ߌh/!N7y| ;*p.f@K{uyؖvՂi mH!ʤ?SN,l4,~'_wOs0J٨"3ZmCwzI|MLxwF\!Xr6NciPX֙@cS[Cxt+c.M_'x|C4609!S%UEUҢ"Cjm-JJ @ J͙/ :(Pu!#p-mHmnCaPRh"x.5@_ȄF>rvE y)]v B.)Q?U2Њ|"wRvo(@18tb<(~*Yq< U]Ҵ/A4oZzv`8lM')D)vlajofubDԁ-9e+ZKsf([W$ElJANko:;2aZUGiXsƳ Cpz+ ,k <RlWqFM82ֆ.Ӧ xiA?R1I:W`&?(ߪ5yItBWx43nRi ` ꪖLiarHPq e2}8M6д.'>9 B- 1D6E8 0&ml dDbbUDe@n #pq/mjKhsFAdhf`l0?sy!^CF +j|(ܲg?j N~T/Пp^EjrJT8K{Ѿ] j2"^ PBߋ@4EIk4u3punMj֦X,YAbwFڪg$ѣ*J|7_:\8,}1  [ Sjgh1;Zd3wqMjAzڛp3 1VZ!>GnŬZ*[Aǥ>' HJ6SVfsXd@#zՇ+G#4{rAch蕻idS,p\ icv[u%M)Hԋqt1}BK:VAjSPVF>AX{*ǖ)L|˹JAg+*t} {gE7|D;%%L䍖"]DҶ"xiu I}90%놓Yf uʴ\Ϳ#Q̒]y,|'r_I&Yg_e[$! ^DcE9vE#;5  szǪX>KryZ""^g@#%z)x\%N(/mo}nǘ$.,!M:t{GGw\N 3ɈNu+cZ!@Ӡ*} cpNpzkiөdpv~5[2nҬi5@5Grb_}mslKbrfx_džRŐpErT3t|,]w 8?)v/B As7^mfp ֢[dPDyErt-߼=D Dh+2GЛj@lPj0GiJ721ʗnc~[K#|6+ %}m*WxCf.V!B&(9[f5'"nn͘黪H2)srPjfO3P+ $)vlvVctxt}P`eŀ".-`Su|#Ţ;Ƚ?ɐ NtuPþ\kG::ƄY ` (PI!"xђN?} %` eWKB/:.gaaHP-u#XNBA@yNssF-v]dwDE9=ƭJ]-y1X7LWSECrQXUƷ [)@QI SOH CE7K6ƵlBz.!8XXm}E:M\YW3:(h}ok=ͱYQcsJJ;hR_^iڹ *WnN =(G 0)evp-b|j_&:W_৙(Rt/s2CA9|5,mH*X<&A㰐^su~$ Y٠:^Ss= }FT,-tF1g#2Mc,3Fq!d1phT-S10&Un?wLOs71r^ K_n'2|%2i6n5>%:|B3@'hF:֞_@$~#t'?h!#϶db4I?D>(l}jΌϨx]'k;zv-_b[CR(]4"Ov/4 4P7󙜈aIk%m V[ﲥ}| :ل~Ut2)Z4YΥ3?wmg)9XNjWekYlnҙ_}#n–l+<-7v=IR1tױO2bh$ѥwX8i:]r)7 ^߾yG͋<qh`kBSC1" u;Hْ4nXQb4`*8YJ~R{>Gpq TE%`s>5ۢz~F|(4}9St]z.bsIPJgk,pNEQOV<1<4dU-&-Fu&,k,aso2OL2.0&$Z;[ㄌ5&J-vɉo/TB-mm\pFX7 8>2—ޕ"- B(v ;ȝ"dYffN$p""iɄHN2= Ux&y8TrV>G#!oRBX=nX\{ (?m(/ŒB[ȅ# rP ˃a/%䖀DEgG#~ B5t7ev3_7pO^uRnuA1`Kuzw$ApVS.Bo\` `镸Qx5Hc42i BW'꧒T}}g(%LbjaD-"?-~kf"H>Gc@'=H!ӳe(*3yw[0܆AWn`Ģ΃7SH(-V䟌.( Mi ~MG-]ӟS'_yW{%;6/{Vf<@6.0eEíH$.dK9q j)W68g~,+'Gc’)1 D3Y;>NNk4eonQ".cN,/㴱qU.GQхRj{ņ@5mo>gRrgO~!hpL~,]ݞ7'[r{S)sA!< 4 j'HB;(*jp6ؑܟxI}uݤh8 W4Wfsq?%p=?pAxpM:궡6K@V8;ظ_0H<dXp3*#ZXr:2`d^㭍]=dZU293dBt;ZpC%́7goHJC_XoE3ub:{MA-1R2Usb,}݇d"Яt Eo}`fޔ=޲}Jܟi%q>o۟G ͯӛˈJQTF]2}:fI?=cB(v0D1P#6Z\߈N#_"wt 6hN]GH3((JoszaN\.y"4@HixeMØkTE An2֤|5^@c ,7ʑbG $q8Fⴓw4hH+)T3\ )!DElD߸?Nv=~ǡt)>>.@"Z9vQvY4gEߓk7[4}|vÂźuDҪ亓6[64~{ &?\ ؖƙVgq?cK4MLYdX _#fUl[30T _l&0fwgfC#o!H8P/?$ L;V3j+D!,=ߟ>(-x/wrCg$N8Q݇l3>e e^k.^b8;- [y7fRx,E Y l <`,˨Og!~IbTIuVa4m7.] !vz ΣUlyl>GI1k9ο=H2N4W._tRuftٙ}db\9Ʀ ( 72X(%inƝHB3t\Ҵog[!R`_q_߲hHčZ-t\iE}&C(Mp㕻n4#T~!DEFxC ˫7Cj%奪h=&;`޲c;WjM #y[}\rbC4$elfWJZC׋9/yH15ǡ:EX:uc$^_"h +-Xeh}&xc87 6!-*o5hw9D׾fW39-+eL SFxK25ML3޲q1ȑ'ugRLМ£ϫ@5[NdN~f j*kGƓI"F)US]s?)q5Y̥%-/?jϠN=5orNw!jǖБ; 14d!,3K'X OMՆQy;޷'(+Y9S$lV>9qaB߼Tp 2>03e ,Ҝ;O˼Pb YJvo-aWNп-d$9Hu2;'e'Vk6|R{"BM zEl{`U0+.@M&"u0 ^{?j ?$@߻J VۗUw.[V-`c38jL0O&x`F=xa9,/ "Q1Sqޙ8fZ\Ք+@V̿5^KDw(~nĵĂjv&II~-Nlvo[;ENRXbiS$Fr+OO]puDLW޹Z@TJu"G>H*D 'S<( x&i'ij(-\,EVY3DR`]#cn]*mG|Al~jyaђ|rHl^)ScrX=?TDP1U0nc9YQFKGZOfp}ۥDo;[T'jIdq{'P(\T9 b}je}ZE`4C}J9+$deu-CB*lΞcLѿ-U܂J|w/LD#!>]fޫ\X8Asxǡ$W1P^" @bLk :/6|wiL&7)cP<&:r)44|o{I w[ ʗ8"YNJA0'wfgACJE7u^;- 8(EF8<>If*2V4X닩w/6BOG&d7qʈ!"j=qCr7~w{6V 0%scJZ"KV9@L<&6\ 5i$$IsG=xZ*'Q<³mcـOpDaE $I1EAS7`ЧHUS6@.{H I8^[/7>By& v_hqefIYUJ,AibCSkAX]vK3cߑQ#ҚDOEP}[8m9P4>=VA1,nQ 0(,WZ4+oQDmBJ#5VsNaΥQzar[]^)Noe+?wL5q^.J5s^I>t0nzy[{ƶD 7h~D@`;Xξ-R"<o Yxhv!œ8Ƌ_+u(ĜgưZ0*H:ê ^ s᧜@ o Aswuϓ {")źX4lLPj3VЌꌂpuUݹ.^LeqZ %m4`IdWI⼂q6?*+*@b Ә&z + GOt!$ 6TL˫|,65'߃26}ͪF9<킸Y@/_&Y ȱr]Q6]z ^]V6;ãgz{xHMD_Z'"C;Nj-y+ZKoc02x/|Cs )m`_)ATWٮ +њU~VհThvr=iS.QfLGdzӰUȻ'uA 턲>$9]Odw3I}r6\^^q7 %joޫCXg61^-,-Qr?mD՞j%<ɍF` k}@Ț]ŭw {ü"نܫ署 zy>TepStd!*tsB3OlU/?}>qb{J\oٹYoL?@_  kuT)O"$HqB)c\&gwZq4q1a=],A5o3t=`5 W1V+:c1S~ My &|pߓ>atiSW&mj{;(1mVpe:N+K7l x}IU; _t?VT:e蓘uUث\D7wZMSpybm/s[yj,ڜ_MRWzEfaVnėE&`:zp'2*I o?me-aL5Bx+ؿWT\F$SYI}!uJ@Ke%CܢwhWjz%;J{`R '_؜u|HMq`lNEdyU[ұ=qLJӴ'F s(WGȡ6secH5q~;^٤8al-n羅݂JpxZ3oHil֛0h F^z|PUBH AKg Pmzl V^b)S%7&v$ g$+`k$z<a`v3LЫoU/,$Kz(R=H7g4#M`C{K$>3J nѳڹj(jk"z0lPwkIdC'/Ƈ_r'V<p,`[ >:ZR%Գ [:Il*9֦xDi s7pػhԭR:6K(}2Z4O5ڹ`f{x2IY?PO򺧮Ǿ(>0g͌:MIU_cB%.vL&l7T`1+N (10il.4" T]'[-J&?U1D/[ĩ]m4慢/^N&Bs&}Kq|6 ù8*N>UWNd_QcئC|)(KE, $'V~ĝuljo/a vP>>J,w3oc{lVW _AtZЭv k/e+[CbT^ojU.Zms ɏyxX'ԕmU~ǮfL\N_K"#.x Ϟ-'Qݪբل.+|pk6Bes(7q~ Ӣ4 6+D{79, )mHɠ HO-̠C%N'uǒx*>C ȠD-tJtlo\9hEz;  kbzYvW6POR"Ŗn`2gSj@ϰ'b" GtzbR]fo7;Mщ3u}~bi@³&ӏ5e?(?ܭ?@=^gghJ{ !l!`fv0x7xv:hjF2LOqk=y^~w!3Rb'1?>j e&h#X8TPYV2yI,ҵ6zXYҌ?aBY~KE~98G1$Kk_ƥwu`|Mwodl73j{[R42 ؕW)|$ēy3M]Rjr4ʓeς+HIj?ԗpGU|o_$"utA_0A@0WH_ςm |PfOc/JT{uݴt=~rc{`)q6Nh#(+^tbZ*ƻ \5+ҁ{[ '%*2E yh=T3d+g=%pgSUNl+(`]1EXuu1R8BtLA֫&Kмq] ȥ=g#A"ko *TF-%+HsC%pIC +hևg cш {eFCbǎi"ӉVu|qX_#E^]ݼ!vNO02/l{ktfF OГ1Fy}:ED%z #et e3#Kǽf5?.1m&a2Y :>12Xd/U ֛zuD&M$5K3izPr gYZa71b109efdf215e033730cc3de820e062053e7a9c5152c1238c92aaa6e4bbb00396561110d931d3c a7e1bfad2be6b3a5081ade61eed213d1b2393434 6e9f552ad36d6a6d94a4003649c1fd7e298d25f0 ad7c372544868162112ecebf16f38202595d64c4 22f3f04c21a5a4d95df51e5e8b45d2b21e6a26b7