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  W1\Lt ]% HOL-Decision_Procs:threads=6elapsed=214.585cpu=983.344gc=87.120factor=4.587zXZִF! 8]ŗXf1-q恈ŕ׬[p){thyՉMx{$V;g֍SʑU1{B̧F؆1G]HG:jQLd eNr;[ &BTyU_=:3Ae%{ l xESb}`V΀1W)Hi&lRޝaӆR{>2u% Lyy}'xR*"gurF#̒pz~6yha2sF$ir'bî5WGXT#'k3}H{6%H56ݶ|b~O4XuZ]H7'=w7FMyF`Tp,If=1@މtZևl?[Gg정09Cѫlt$)*gKY ⱒ5/-{aBNH^[jNBkz|]Vs#XdلBT5 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 h:Ԗ =tp T:{߉7S]kSyUcMb)MQl ]&~嗠ED~otGQe.*tm`b0Zl5 .0;^6 vq/nQI<'/B(N"KYa_y>H ~"5Std8iU,ݢ,FԀ^j;Uz+K 3/hШDmy۳ϿB}mcW3Q41&H_p6wk5# Ⱦi5\m`eVB>3r]/A, õXa 6- aFT2FFx}e+(*yf}dbɹh:/ "^l dO+x.]<6ݽBET?z!ďծlE u/E9qFQ{y[D ̦ro@B,eu~]꼇Z'-<ՃgfM5 ɵ7]M<.[bU-B04]%b[QW1C1y\/z Wji I@ɕZ3JKF@d|@:'d~?ւ l95Vާ < B.lJwQdYb~AC# 6rcihn1KL!6"}rA޿ ƃz<::u "S&Lx']oԿ"> ^L4b|k кR[Z<*kg'ň5[ys D%;/+ՄGƓ0H5ɮ-/$5-R:5ndBihOɳ88eډ@WvjAJy]R ߁L2nB/-?F0x["&>xa#+rn7"kןv4cQ~@< "K+QٙQvGґ;I^4,e -Z*EƳ&OUӾR*lܻP{G-ƯqP7 -&yN-e܋x2h"P3mh 8r{.=fV^ԉ#2Q+ r¦Q_Nsw\26>Ɂs*u&j VD!/swFrULu3%Kd I#ӅocG/4ށ{V.hΩrY@ +?y{mBa&S 5^2j!7wgV!Is~'E󖤜/E=PXN3:Im#iCS?T=7LƭTR`:;ds ) %l" P|5 p̬>bExl{a*S:rnk|߷`\B[V! n!,:l1!Ugs#=vjPqೢ_X 6I?3b*|dJj@k`Fh L&pt [|-yW؈Aّ|.dNj__Ҏ2!3)^>WđֽC@[+a'dX9UY蚥K8/ЄIc)6dH|"(w⠦Ӗ0Z{8DpPҕwB6a:_"YɵLh4A*{R%E/\4!;b@BUT"I-g:D~W YfzCc]rT//Nʀ*ZHF-+.;6!yJ}up e~Gg<9oXģVQSjXoS1*;E= U| L:/hOhlIr b׋}#{Z!C7K%aQNщ5 $] |:"W׆:M [B'~s.2V햬=:Ɇ`6Qsav Sl8!;voѳbMQ0۶^l8 E:,fH*C^ˋA@KʆF).k^n2#YIZ ]f8,DYm{JfFsmhCǺ!Knj)rܥW Be2bm?Qc_M%gfh񀢁nͿ`FCgkkr(9mLMлdCL¡LNueb.D6D0Z}l'^_F \{DFl2 I"iv+#&{)Hf},\8ėvG//ⰇkmD.1oE[}w-N\y|ߔh(&xˢv͘2I@'d N:?aqNď} AՒs9[S-&3cV,e3QsUr@\Ƴ~M8r{ŖRĈY/"a9Je},}c86֊Z@-+J![nȔku Y᮰2Y5mjv1ѩ=Th=ޘq߳% ys]|:-,HМ]{N$?86l@_~ZJbè|!X1Se(rmUb b;(hMLIuӼE\gY7~p02Fah9Б{DahCY5rݕD>ElBeq̤Sܔl{^7_P:A;LFݦЦKA+} E>V`PGZU4&ђhP-=Zmǝ {X`Q9J$OIS<;(I<#5s7dQj)~ AŒaxzV b0= ;u׵ug bXн{fe]#-wBv)9~|nmJUY.Ō{ g~iu9e_KC 0T`!WHN. s/]y4ߌ W\ۯDže(h4қlA4xuX_s+g( S 8ٺֻWIdn26[DI:! })j0ciQaT0Et9IKh lyeFߞ|v8lj+ـzm[kom3E0h[(Lt"$2G*)+@8rmvl9!ڗ( ly ЗZT6ڢP.*+RgYZ7zXZִF! []ŗXiɟ17L? KxlWP8SաM~>fٺdO^[O(wb̜*wQwop';qG3¶$1"h#-3.{q`OlQD3vO}q4l(BT5l_I{njӿ-΃Lt w>XaN;$l 55hx?wzK 3uBC#eCZP U,zz4(ieE<_=2pf|j msq5QӞB>Fj2Q{&cf#a"кu)O׺/fnFkUo*F~؇ȭ]>R㭕 Dɞ9 (Jqѿ.u;ɆZLۣHaq J[㞶>bKEnzE&Ӿ1u[ @(b kA!zkpU7ɬl33!@"ڏMR9gotmErf ״N%SgC 4d $tU`:ކ9`lCeнowz`L<%,di߆rIԁ`opa@uV-fkӜ+3ngKmE'VEˍWo]Sdhx,{4r`A0ty_1Hz엤 K:-U<\MJڋ8`7jIgT u/bOR!ɍ+G/@5A)_Q†w@xGe{hPx.zC  ̓@Ԥbn #J~؃ZpcPGFA.$7)w7׆lTåjgbX%m$Pniz)% ?Y8QtV+좉Ejܒ S~74 w|!|;Edo:&z\ uz'#>ja=w#XZ0O/B94IcY4^=/3:*g"E0 PV\?{AO QyusejBaֲ p,jl=~P)yI)-OJssPZAǨ#mCd^Jl[|7 4|es'vl~~_E.̟_`(xݖ߿stH0L_†2\32y#V"9] H%$ZwT0ʦmf #T8*j l׋؞\16"HxI7W$_Ld;)t:҉ִ(nɛߩDj55_-`mȼ3wj-RLe*З ݕ;V); QPNrLN5.&~ ~Z:4IhVrfX# WteY8.9v8B-@5ߝ;Ѐ$ RЖoM Z&S,}/7nʸӚ wEexɋ bzNtZCJ5:T܁#Ys BfHv|L|p|crc>竘ы^4bÎ(|2]zyKZvqp0Mkl@ŕGTFp6T,L[e U*R5t jyS0ЀKd$ P95aAb)6 &ũx@.oMR&_"~@9|XQá9*SqSr9iHPh! [a0+(}_֍[%"n0 Q VdImI34جR)|$(7>c+:!KS EmߴCu8VWN[WlL{8/aۦ;%ʌ^e銹Hkxaűώ2>RL2Tj*XChcN rt$0C h3wG~$w ~nJ=C(xh~Lj?ԏ N?c?S4/B{eQ&ObbM豬VQl>^NG M`=W>`03a.I[0 v愹@wVpf"CE@yM֢GRV| mv>SVzV%SD/&uohSkZS#6ֈ+Qq6bBUYv$FN Pz1r:H}{$NwͽŅ|jqo'hyDUQ^ێŌcoIȵR38Q-\^F{""43יii~#AʔJ))naTaΞI#JUb#Biľ+1W (uYO _WvSxz=4CP[_1oZܿ1q=Rp͹_1em@!!~Q8r9w3<<ۯS/L5ƞ=F#uY ItCD6UgTT(Xn+QaJ?EE44F \~ %5@DfԦ-{m_.϶|.-| 8Ucw}tFlY{a1~X&'5G)jpD{u77C@A,(pD[DUn`tow"v&w™2UmH8ze+\z̾r-$e_CN)QD _Ň"[pFQg}'M@Pvy 4Q2SbÛ^:}Ts`k5( YREKQq&kGJr)1K H̕1"a(fx'ޡ#4Cx'=1$}0VpD j[G4J,:qYWKB2y[> WB>="4{硜fLyJoiSG;6?ʛ-6G[+N rXY>BaE-9#%[ G~Ey'e.ܷ:F.EuoJמ`g[drc\')ʔ$CdZ'0#Hʺ!"luSHx k brU†aD0oV`_y!lo_~CHCC >)}T9Br7[ z0ÏX[{¹r,0rNKl9P!dKWGaJ:D5. LteeUv5*d]|w 0RB Z #S6'S |{o-5ⶻ C[ 6Ui$2wc2QY}yϕ]0C:m?*wZ[vcPIaz`K$ap+{-P:ᴀE*T@3Vь&~1'w5ҰDq0LlXpYO@DQzԎ1ks0!rb3P ;۝I.GZ0z).og,hLْ-^]DMtD<+Z!2SJyE Ik];'f|PfNCBD2tsа}ȡmg 98nh©MR`|OӂV u@Z{vaF5rP+>@ŶVЗƌ@* E}uQX0EJɖ|&i\*}jVARR!aNC0E}-Pw ?۳λ}9FI'p9, ,ב ǥ>Ԧ< wFw0N/7eqlx;,'8Ș`G\>V^S1]%m%;;XetWe"`^ǿj{{^c4INRgh$pJ@P{×]]U_!gH'V+?ǻu ';9S@jp/ⴖ][%dm n*|yUEuP tG$k_)<{p5Aw>iJ'J9#&]=E7;@*U9h/o"HGN`YMCȍt0˝5 k/ƒBSɔcjq xG(ml]eq156r+U3n)lir%O/n,lj| ےJo"F-n -ҥ1w. Z!ö05^ܫMN# A)^S@_MFX.F&-3cHnԇSzVl_ @es|!OCnnPE[ZMym)$"o"DPH5Xċ`#7Zd-%2B|:6SZx1|̙d6"VD~b@eadV:wQNFw.x]) zp%>#pC4 y b *:c3ϸB `Ҵw{@]05öLh"+- )~WGn?3[G' ,4֗j`bo!1Pj76k 򴉒P!_ EB VR ”sAȔT=Il[otY McLc|ĤlQભ-܀zSV'Oy } ?zאMdd^  5sq+z{CgC<70c]$8fL8jK DVTi(%`', S6$GAYs<ց bl$fXm`Fn/X<;vAeS5KyhVoz|Y"N x"3ظku O6cr?o:[O^<~(t .WRqvH;j)vx91E OnDy!ʪż`VeK64z_fh)E(Csl3&QNCF+U-Fv >Hɓ_BPH#{z#^IB1wag\MytٵVl2͑Cp>xh .wQ㽍03(5`~ *µJ45!<7="a|RTyǽH;tPl.U"@ISa(T35:Ã`aaEwl3Y]ԃԡQGp}U];C2ᓓ#g'De)CxȏN@# (qoJ~"zwEG+ȥ,O!c _Wb+[ve\DsmoZCj,,Zx/SbRƴ~(c-e&cl ; ?.FƹQP,|O~W\@J>R4G*0Qxp%B8d-0 eo1am~svR$!:]]8S/|ҸoK_8q:ʓܚRjT\݆?Xs@бezPC%z6BC!8 :^:dZf}zh;!^ u lQ΅w`.fx$4X &Eփw͝ҁ=ScV=xN'oٝBXʹn/b}r9i }+c2}|]wݏPbSB(ê۞?PP.?w.Gd#XEsɘKvh&f;_1=?GeG $#@4dѠxO.M֖qXz `u.(X>⋟D 0#J2Kz&' ұ| Қ!(z#+K`s,k'5n㳭12D!A|&Lrֻk~t]aY8 \Vqj"={F& Gэ4/jS=Ko0 kٔ |{MS\Ǭ|utL`JmΎ|\ GF[7nW>i=Qj?pg4MIF a129d܆j,R:$bI`jߨ,MIIbi8t)jE,;G={C0 Bm }[*=ka: y.xx]ew3b1$%-.~7Q:kC>!ÙCE Ė<{A#B;νվtSb0H;NM-vWv08J'C𫒯NU7Qnr!ڶƐh6Ǹ_xA.ݻP%z8> ]߱a)_TD lj,h꙽h7wZ2ysB*AGERcuN.0*u+XA_j,OΜBurovw}4vse(S"Ap _L*I\/zʚ_nԻzGv_,kbOX& KGcǣH N?0r3t .+Ggg&Pf r!,|yj"3ՂjH!: ;^7xyW]MYn%دJ!.UEe=\0'EnSJy$d.qS~ޓ)ıQމب(Re]UAWt ϱqGo(IwgeQK8wq3>5 Q*X1T,WٛI[r h8:tówdaBX3(C_} Lg ^a}JAPODV7#d)Wh vvl l؊ A☎H޽.E]p/:QsdE(}NȣmAE0 K\?{ﯭ{P:C#}de m! ±_;F}I{I>s#W $OP#D2} ?sN6|Q6.0Ig@]~a+>^^]1J5*&<< F Y4:F^Ojp3 (\.90HʑL7Xn=]&GOn G1;_¢{#mLLUugǵkk 0 e:9Ţ6tƛ,2w̮4/ }P ɘjO{#9]>'82*'ȗg5 ݷUU^|C+:hZIp^FdetPNQ %TGς\QC23 tWxt, G0X{q%L_K :,N42RhB㑕fԀ&j_CSJ+T$=P{=ptsԟW U!=u_@GWZkKyCƙd,PY|0 }= *sݚA%nZLyCj]t,}&?TM[q:k6 t*x`O`a\̘NN[WSNC3c%6MQ$|}d2Y\S3*Ôgj{:h!{:332oX w,&30gdvv)nc٪PP"Kz׫݆MS _aHNڽ\D:C\>.yjd5TtcFX1oLf>OC< 3ÁG$L܋X <i'9Ք֨xf;&Lپ8{$6֑Vt|8t~hG dw.1o4W4 ~)u[,{@ ,>g?RK 5qNj5nflnܠXLZnpVD-Z r;bЖ/ ȮЮK#o!DU YtW5e s)}fS^7V ȏxQ =;!:.4~$STSFwHz"W~أ=!Ygq@IdLx@1-AA0+Rj߮ sSΉ>h&p1rxۦWQZ/{{?w S8iP̒i=KL nIrx??6.Ch91&}PdGǚfF:| 곃EG3Liw|S4vrjtyey>(G{U]P[s}Mi3ǖc]svB*#{s1AE+IN1aFpB?ܲW2?JhUSjuy!VkIR0uf)8^HGx8R`5=Ȭ~3A!g?I,Ȃ`ǎWq|GfG-r WTa<*_ V(+wm`J4/Qin.96Erҕs╫?kܼ'Ҹ!{N( 3IFIvFvG w)I g~_7CYP21՘w6qс5O}c a1+TVs$8oI3L0F]10Eb()kGԎ '/}4WW:Q/ErOx'3Ƙv {NJF'9}HsqE{c':̆yW Я7mZ􄙎 <}!5k|;xFy=$ꞈqxLo!; BEYQ <"k+ O_vKͻNa,`lN̽ HUUf{ݸG?(3|g Z,syL{k֋LL{wz*EYYN6pb9ݟJ;m6,!:i5gcc6>ѬO!ϫM.to8hƧhM" įS4Ü`呂ᒔ22bR޽<0^kmU%W+>7sHSDP.o! 'EN7I4'IBH%|vcؠKgā H.Ƭʻ$5ղx'\{S/Z ظO*/ףּ)@EXxYC`N KN/RuS.~wz' he_5k #+c×~lN*US ͖kvd+2;h1Y3'dd8La AjEDu܀k`dx;KdvIԫwb~s+J$ $ g$c^Uҥ/݌hxm&-eozi3_$eiתr׏ cj7YOjb=j9ܒM`sx Mgg3bd;_ߵ&btz_jB%*t"Tɀq4t@OXHԺH1Ѫ0mD Gיrt8zPoG|*[SW[`YcT,}k@ϓ?+؋%R{q{B,GƣӦq?} zXUӁ)H\M] 918ld_}(y7\ӼGVrH9<]ۢ b8g2X"1XށۂjHs)O_oR0jUNpր©bܺ)nQCw2jтA bXmZ|g~Hwrtt-VBlJIj9&p'B:%V񎈼N ZvwUfKtqbs޿Kկ>D?y>6!Y43ݹNIC3i`='9UƺDP%J5j( xd][nHN,hgx k/l|puhx ,I1K1ZL\I 3CGۇv Oc@Hb L鴉ӷg \Fz,4Y zGc/NdC^k\Em q7m?&=z;o#zMoSj&=$ bdQKQmJ]{U" wm41Q9_qSOI[aErza^+&T!L['N:8UG>Dj}hx^XW nm'k`&zM,֟I7`bYsqS7~T}2 P6g7ɚt %Q݈z~]jdv"*j:ޒ'pi ;#xZ2ʸ,wl%bOZ/ ۡtA+dOq$c6mH^Ma?zEg9/$)%N~lsHMn\$7QDXgbBtT% -$.36BgSEefaXyjyZ0{nek) |O>o uT143$\4V>}U|_T6|pMD'qyO&Sú^tpmn#|e# uͤ<ħ]PAH85\^({F\Wq1zn$c(bw*_T?TE1*eC[#%3z " Y"cNwwo-_& nNԼ+k:Dz>pVI¨ '}N3>bF6fS}{ k]i[cQ#!D{.=N`Zs`{= 6$wqVO9!7&rھIopЦ(Zw\˪!3ſ0EyehN/w&̶5&2!}-gƐ%$a/&~Z0WO=HWLtGwZo!: uB32*KeWt_4?[Y1딢% IJÇ57 Ir™Q1o`K_[>'m+&x^xC:އ x:11.=+eХ5TG azsetC-IkFw=G¨;K8\9(x&$.A*W_L:Fp^[!QC] Mgy,{ Vzl;6%i:Hk\q} NtP(_yH HJ2}f\X/lWq* нC m3~'@OB0n+YIP`(k͏|O]YZ)֟SEVNu}0O@TNvVZY-!^i ]> w@`-XkE) a3;?\v=&0d]V8!Yer !ଏ1 2 CBiYxy(BDbfCP5U SR[}Y-)05oƶQPCRe,sN !)}#ά Fq99A7w],L۝7_l7 rRJW!?N&059cURmnuFf9rߗ}ЖD mxS \vm+yiЉ,S$h[̐2>f9B:BժK`A.﫞Z T1o 8>AAAYS\ȳeE_I_}Vsə/N(59=hVw/iwo"ZM@H1Ey>N`G8"L3dhv2E?O;yI"ԏoo}Hz68ci(+ wD X5q$ZeN/2^wmJ{s$`SA> x >]dD t3eXyAB{y, L u7r8ѢC`Tlg3X;Q3hnY)Sju[Xw[ycŦaKc<{FQJ7lax1zއ^93I1s ѥ*שǶuz~ZgEXˡpYF LJ~lWylS+.wJHI -XاsqN 3w3_T;O@bJ~8%(]yZ۝?v+PpKWj/>,o3>-v*Qf)Wɝ<>zF_*E aVCf;_K!Ju*N@\7wʷ-u89a*ƙ.gcTN馻@;Fג4vO`"xvősr\E(9Y2(X(3˓tXM2-F،5:؝*~t#Ulf.ƣ(!1_p tS4- XnK| M_τ}E􅸫޲%hbմ#V $n5w&d^~ӿ\GΎ{o!ՙBԬ*`TPr s$lPu賁ܩ"jUQ" L_`Y,NT*ZGeaԕМ(n-}w#ӱx-'~DjA 4 r ӎy%YY ؤ覶2N>iKIL> kWp*]m9y+?:N0尿{^#fX MwiG%Z07(@yϽ䜅~.0ؔ 6 q -6ߦ7 D '[M6,&$-&ЗY7b@Wvh4t#]%Qۙ]K.QZթ%,o6Ov΂ؼ ;!XPM'f/εLj*YV"͙'bqZ._"j6Lk$p2+@;jJ^aodpsYS4:CV@NXdfX׆6:Iۻ"_)*+@V 0t* Tz=cFsh ճV}C ]h1y`'N|CtO26}lj,S&UU vXo