SQLite format 3@ (- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 L14, y% HOL-Decision_Procs:threads=6elapsed=214.775cpu=834.352gc=82.584factor=3.88 1 HOL-Decision_Procs7zXZִF! 䡿RS]ŗXf1-q恈ŕ׬[p){t,Ox𳼯=P48mc}>PWH811.3Y1*rO 6P>TK.yGcF޺v٨١B{2B|, :!# }Հ.=&[}u0\ %T̯8,󪻂xwW:ۅ?Ą}3R(jbc/_ x]3Zٝ+oXInு 49fTCTra,ٴn|4Q\ȯ!{*v 0JNpm\p&JPjEM㿓Md:,c@-z텽ޏ h &$(05dwe5Z1+2W/A-KHq5=;`Jr:=T.yH--Ԝ,0m(˳pYEuKnM}`Ir(s,)$n9Fn.DbȥJ(Uo)WP[kHb;c y BiOЩbkf0$ymi!,ib߮|E&I+]rZ_?2;̪֤^}8^Yi 3Iؒ=^l.k^hGSXC{YpYgW|gJ 6 hRpn$cќ%g\^\!)55^g ;z`Jd퓖~M'ZҙPk!uFʙU U|mA 2ASA;?{ *f|YM-OA'sj icZ0. ɴ-O{ɡtӁPUs*w[I8KwNpvGmj1V- D'LeLhhĄ}萱 w^W!E֨\hlWt}&O-4⎆xKf 9/6(~ǽ{6zݩZma{{ )'  p. 1#ė *9)3LnHs [o y5]trLyqB`D{C\Z-/?`2Ś[Eφ!:SL«6vt 2\@\QnF9F FO(:?e^ڃyq^oކEqTCWԳ~=?\M<ye_W4`4ztd#y4K 0/ K`-$WVGsn$2ޤQH;zL{M4/Ko yY 0'7~zVYMHyF NoIhb;>)eK1k|ߔhj*EF9E^w\LxZӝxD_ OOD2eR꟪jqVXmJaL6ނJeʧp'ߖqo'Se^("kF*:gd1p9a~ d4oBk0(nܷ>M%]M!T/v u":9mBstI^ŤN q1@>*QŠB%qةEuKsaƆqa!SEq!҄=i4RI·c?G7ɨ˯?қ) 8<ҘA:gΣw`^F?VxG3, +;M _ džz>2kyҊ|Xr)Fo1} RoIׁy*⁖x~Łg.I睭T3P'PV2fħ8}R֏^T7¢؀Ls*ty:eZ<"Z{ѨZ_>1rף Wuݵsa0I<;9uAZG83׉>o|z&1!ݠ)WB G zo nAh3XU˒P(ߺ22JGLkĝ31҄y[&d* l=JύWY -In:-1qMg24#ZXTnSoy#cErҸ23fP"b*M컞ZXe<:?Chp4}L!F/V:釔Zhc/X }(^&[Xqr6E0RLz_f+:jTDVH87D ֢6Tl!":#`Y3,*w9tSCes 7ڗB%"|HC8lAF5 )^%ݽe>9hүF$]ܑ=-F[WoHQ/xi`@5a@ p!on]8TemP8QЄP NYDI/rL;-V<7?7ҡ2@Cϐk\Hw&eq/X^?Uc#r8 1dbT[s:"ViRCe2uvG6(ԫkwpyd@>,݃ SCh5,$yj 8Y Ott9~L8XjkHnmL-hȏC8u= xzN`y{zƜuvRT*?TRZKH'a%&H=%i(e=gB{> Omm$ ۀCG.-W z'U~6 \8iƕYrj ʯg }gcH6̈́QdMn(;?~ $o'WkzL^pvEem|։ ͗Kr0tp@ɲ ^@m؞^ZUXYx'1u듐r¤Q>ĉ[t- ywR"E85? !'4j{-WqD~'V `5 4ŢBէ]?wyJi,M]1u-5P_HWԠ9H؉+y7j[}<" dlxyd,-ukʘeǧTEm/C'x?NWF6aLb?u*fRnr.y({LLJ]OF=+dH6 ۣx4yET-PLIA13~/} ɜw'alٹO]ѪvD ْ6 n][[[]bJ{"fͧ2~Be+R0 -.=H˃F<_HR q7utx"}ΓsN\;tV-QOcf0XS_cJy=q;u/q ϙQE+ݕw6~߲Wa0fes3-)isle)?8?Յk츩u"!%oʢa5Ն޾ 3 %t ԴC@x?|Zaߩ|50EbZ^s_Isa$?]5LCjs9sy\zQ区ԭT\[{ARoĸ$To B)v_]&qv?G[?5矗gq5,6Ν.)]v @|:zwR3GL(`؈ p Py4&-P~(^r@e!MɫdƘ1ZD88&h}DjJNaхne0E0;2\@:ܚ-Hb7\o,Zwp߬&1}N*Mh僭{+j( O9aYAi]-N9B}ZP * c28hT=.9/j&ԿltcZT:h5K V2YXiJۂaKIf()^1>F8Mj[}@MR5鴹ȼ$Tb~5)!d'o46KA]Ҍk n6c^_Լ87sSu.%PS;B͊t7){2+:T,H-:;~̍J:' -P{$N ;S5 fM0{kVt_&ݼ=K,S8UǓ]2{Jz nQ8V^,Hʐ8yS.sr}bam2N%"Cq@t}r80 /ݰznL{0?c]jظ{Dݜ+{tylS]8bk;z9 #tC;ZR5؅K9Mס^HmwEշi9E ]h#`:N˸hb0"RZCk,؍/Ķ@_H:a%,e'\k(CI㣱b|7, /D ~ r"{O9F;Giy:p'IKXbTVX\w; /C }̨X%T.QL-$LE9w)B!U>Jrx; \T [23den EaTKRTx%Q5 ,)BۉEHjuӧhѾb>N}P,?ڙMhQ()7ްI vs шj5U`2"A%Ys+V 9K"o^B shиe]VݨX : ;[L%S$5^Až*}AFl/QB }"fPpFNb]x(h9i8 Ґ;I$[ (ź8qs 9g2 ;%Q?;XJLAI?NIlC%EُRuk払tImk'FUJz?gɱT'L|L(_D!֖ Cz?Ԫɕs]]\ ]0;p׶GB~ް|#fqf2 6䘓#;|Bؾ1g{f*11UcK k;>`)e)}{ mSP'7ХO_}]t>Q{M#M#e<g:"u?84ebFTGX:l< 2A 4Y) z8-Gn)jUiPMB-\rgVxa#T#THE mŻQ?uh~ށN^wRJ"ITX:1)^ CW6PT켂Z<ӦVb"/,-c{+k^Zc4Jbj²03[P#E-L~@|3Y~"CpjMs,oe25ŽﮔgzҌjTskzr;N Cȼm|&mN<+[RB2hIEAj^g=a 6EMchvD d %M`iq|\=ǔE@ށ#g䦢:IVky8,i{Yŕ7܎>ћxF9N{)/8A% CLVLxm|+kxK>ԴL@ҞdJKKA~;GCtGb;Hv|'#Pa#/|J"k}*]ˠlEa|5`z Mo < Y҆u(fe7jaKB;y@^!1|Y0qAuUzJ@2Q\3U@篧"Jaaj9^DIFVMGa:Lgm!G̐&ųA"bX; qTg%0r>l"1y]: w3LS{ 2j >P~zNz~r2hvtl,RڑoV$hy5q6)%8:3XsvO-Y+]4W 5STOGPiOmƑgܣ?1@ .u  듄M˸{G*#HI'w^gBdl% L$Yޭ+aTb/8@X-]zWu͠mC| ?p9(y`G`8;q:P/ŲO_JQ }x>k'1 !رp.#/f;0]%ɐSvt}Y:ItVf6D ݃6M{wj uƓ;k%͡|QsI,We:* ?`VK2uKaJ:9)&IBL.Z_|br9+/E> Ktt'S8''NM!GXF*zѢE,pNVŔL_+DQN~P? CUa֦oKt49³+05[ &=76lK'oϝjd&ɰÂFZ~;T.^}˝Qש.d6 \B.mYp=# (&e(fpC( 7kVp:CФgs^μK%,ߎtz"Y :o]7j94D {AτIX]|fu'-Lʷُ۬ eVjtaDDv7Y ^)|Я'n'\A>a<vx"o)p[~,8-P֝e?\@9K`XuwI>6 cA 1BeDboSVRj'JD V7Ϸ"yekL3*Фxa ct}7s}u ԗy*"hyZiZ*OPsZ-29ճEް߄k"r/ BvjΘɋK>>ڦ29x=E^K*S~0E gvN8Jl17BdpI 6=cD U}E9.(,5FǃyOiS |<ɱ2+%E'ߔ&w\W& PiBC9@GTp)l K+.yJkNzӒ6C`*D%p|ϒWOx5^oUzL`^]8;- N)v.']0zӭg 5+%7yJrl7[tDX#a8TH)]V{u—]*pG/e k'!q9q,qpsep^y¦ evl^^YR[(_j \7;5[~ӵA߾$9CS(ט{~o C֨l`6ō| |7ZGz!Wkco[,!U^v6E/]b>u{ڱm̶^aE5(eH^,q78mՌvxpjY;͎qL)gOWJC' wi{։/ * ^2u|&m>l8P:im۸aX/ҽd)䤈 np !j^X 3|YT٪b-IpRfUoKFGp G!# ky]9z]z%Q!DwL [vY#-"Kf#p09nGSX&h7IA1VH&kjD_l?-T ĽSNSlw\l)Xƺ(n:X=xkĽwba= 3QaQ Q>0P&AG{ 2㏜Xo̧H͏oڗ7oY10`^">`4 yA@yxt\(8[rΓ;3@:n|?|HQ|)@ kW܆ &ҼcC87|{M7bz h$9xex*NԱOug*׌+y6;@' l/(ݵFM3Džۇ 2zDz~lf{mMvn+e0,٦NTS/?oGdwu4F49q^qKdHAA|E2MKAf<ˈyvWI%IxF<)goR) 7.$FqَCo/3k & {ΩPԽm+0c/x]jU>,'\dž[]k]0t%4HfA0$!0t8k2AÐN5/PB+ɧɦSRC$FFHÂ1S *h{!%@dc!k['[*VOr]CNc~5yҢTZW!*{׃s8;ޕNoJi)W[Hjrޅ arIf* R*; ~e$}^XLvqAbUa Y1K`2{:_]S E#>bqȵpՙ5lMG{IC09_MR"?I.yi5ǡԫ +\jH+1o4T`S}E,<nc)BҳX֬5%`]'e5Vwz׀C')e"_ ),b0^Azvb_!nj1b=<#L~y85T_7>Gs6,QWA< icA(u̽tD%|Ie+M`2<Ճ4?qM xJS >]wUi+" q}PSo= &А>Q'ͣ$xf$csK%wbxԭs@YɄJ˥g8! e}}ToM'ȜLN:5F$* ݹNPp`´Tw9MIMJ1zY=MWB}.!{fwH351S^d[bGIk1*q>B]تϯIc&n+ iP#Ldd}RΆJΒ%9GMz9TO}ʱa@@-z[W`4N 2,ٓ9Z9r}c>Q,e7b+y߲vx*9uN (ٵȞ9,ͻNGl[9n {|Ypexwkuؠ/e`D3w/;e/O}7\y}L#o?j+F5 _"+{lUR01^sPZI<[/6*T8#ŀ-OW&}6 AZ eSٹSSQ}ijnؾd'-Êс}V A-N+Z`SJiOJ*\DYP@Pk dvCq'DbwٹLx~c_$_*KĊ?>.~/v><_T{ku&'A蜇G8&|ނ +]X6HBQd^ϸI -R1B8 ըjS6} 7NtN&4wY8˪_rlIR! ҢibG0Ղ(X܋˨v9hʾrKvBiZ_ * ;ˁܞ'Ѓ( V:1E+x-_ޱbGybv|i712Q Xmq>vT27t;&L2|:@? io2^Tl7¿y|ɲK,:tWg#ǮTgn@&Z gd[L^8ݱhCJO UuvsE:;hPӾa8V;%@qNQɌQc,#ѐ\:G huH]Kg{c;p9l*ɜ+cIbn_Ӵkbh20T2Tܔ}@1/s)6շG|ƪXX-?g>`HP^ ?ftHE>5o75eQZNB;db8pS=8uAC܂ˇp*IZ+LvXRlր;̯w2| [ b}{fy\{3&7s9; ,=<?^2 &S=~Z,{;GDgċ2A.kU[m_AP$LN$5rgt`؈_kZUgP@I \ 4oȹxvRص4edZ9fQ9ぱx=$h:kb<k` `= 1b M4Mʞڽ 8 A~`' zu^Hҍ4F/z<}D*S&0Xc*y2W+"BlElƚsT ˗s-X5%- }ڒkVb>or9uDS=,]PFD1w\=x3ڪt pF_}"ĭTq0.DԆni`=tOnL|@B7(`ӹѠ?~K5Rb5J\D Mfwsָt˜Z'r?'ըyfb11;w$IVx@DYwr5C2U2D2.lžO5thF@ 'V=%Jα)yZ۝Y$h8ȤK)Zu2xmJB0Qu_u[vvrVO]@7:cWi ĩFwrܢ)VM,ﻦM| L07Mfi\nJA'VmI'o*)RMI UGkk52$DQ!K.kf*KJ`o{Na!.tMs>gMKQ=SRJJ\)Lafpiȿ%WS¬hl.n,^(4'/\gJ2K8X ݑhZ* v\,`G A9leX8ٟ.f?@FKV[̺=V$5o\28V #u\TobMRlFN[QQxu3YAl&ى rVIczZKä)]oMOFH89H󆃉 \هkeBfFCnbуD3:G9w O7,|tSMD)QӔ_:vsZ T5B4Liv[1wG& ě,xl)`=Kyc3?H6߶]80ʚ*#o[.j ?w{/ƞ*RdJ~\Kf&ֽk(şݿo'J&mhGvJ,d;[Ȧ=>U!dDh"zOx)8gfZf!׉Oȧ6ѮsTZX, '`#en~=Gf4!/.n MLSAe\/n@RbqAN"SJ:'!/~<ݹC! [ؠm=M(H𲂢Z,Mp޻MQ)loJ]"abCK3 ~oQs>h jzݞh ;gn'p q($ %gձ>I~$`bZy} (\clYg- !Xyl^-x $X6;Q*g+ݱIEU|?7 H^bYai)7 Xr[ϥDrIQlv6WwXiwLzW[)B㟤EozL?[7"M.K6f%<;>k3p 6Fo=)_\Ӝ}$EIyg6&{R r4?9i4s!woxNɳTÕ 2P]-ĈӘD> =p}D_7^xKl%ݶ%ҝ8fѓG{Ecv 5uO퓦0v~kӜsʺڋ#H70<OZsfĉN^~mҽDz99cnڹfq.[`D\ec?"3 Y3.~{8D5v4jY tR×rؽY2wSONuʠ&3Ռ<^OQneSzwC>V3GFQKI1OÊ6/ `F􇕿.+:U\4sdIJ)wZ^jT E\*4DC?>}@Ǒ9_LʿZC; r 8O(*ZL=M܁QnV8h$(C,I!g,3y9_85K_P_ld-Lݫ( /]iKVtd[P# ׇc/Ê.AQ;%f[/3H+ZxT;|1$&[*c;)젝ZoS;kRmfs8̶ˡn Jp0(_-j [_IG*RZ:-9 ]Be e(peLj=9xʼnVKޫX*~E4LbK4K~ !O+82kƙ*4{4JN5G6k`eyqCYQ xH:]q~_ݤ)UVǾ%zK}?X:=4`jlZS;{ U Mě9򉟵m]$v]:Kt9-.7Jg*L,as}VOݪNw\`'l |πLFd ໷Xo|%Ö{X8hh|wˍ{?9QN!R  yNS12O:+b?$eQ堬IJWvYTn\Vfҭ/DjNݖ٦ښdZ&7Lw.]m[m_-Бc4O"p'#hf݇Y%xCChેބ*o&$:"ܮժzKtjwZxuC\,etuT*l;|EdȘ%Bni'&9U+2ag7~dK 0 n; պȊqgДJn;cĺc O5?{J=1 n qͭƬV_)o(!h@~9e327:^d)J3LO}6ڞUy)ߒ)iV)vCM234gSly3,B W7w</VfYX dkOyO3z ǭ]5(cKluyTO.㧳`mSv],AvP$'SU}*& HkEeޟifN9 .x2lHP|*s뫎1~q8*P*pcK#cRx&fUM1v&bPF+irLYӬADёC8D؀-"i2b2UGU/cAD%+-SͨZ| ]? ^Pt(t$q- @}z wi1$kN`z1b$| L d~.w/ dH ,R)jQp?8GLM@]J_)̲B1צ~u3;:A <@gYZ7zXZִF! 㶤:]ŗXi%qPV&޾".|:bZTI$N$ހPiЖV7!3|g,FdBn' 2Dxɛ-q Dt`{fZf-BpŸgp>*[تй*&zo-xՉUXx,gks*jpZ=\67bc=daYTa,k=+ еX(&1*{51;($-C~VW9ۗK'S:[AB#ccF%*hol\-u{g_AFžWsh96P(Ff-y !UT%iWd}Q/1L@m9,]ClA%-_lM2fk;g Ѩ#pM9 7//xNA5G+$Ӻ\FJ5:3#8xQCSAXc_FZX0d(eCZ`rpX&cb.|n \\} 6T˺ɸ>@ȱZH2|޲*a-t[˚ +vPWZ>:fU`Y NW5u# : $rciʠOW2὇k9ސFͻs\_t&n/>IeJGmK/Z>&PדDGH<.(NagXkIM8I=ޏ0=zCQzT5r%N秬mERmA$YMIz|8.Z`zk}HV)gx;SNb_к:&}M;0g@j^q#*b*Ξ6Pj[xiBVuхODk@V?TI.wFL=B JgY{)E,+< vZ#W~ :Y L=q3-uˌ_^OʕםaJB 6V?S⫟2g(Ն֐yV'G y"?Kߔď>b}0/ H Pa*ZZѢar>Μ^vk'juiDi)֋])1_.3yWUtԳ5B=Š̈ PW! Oj`حiqfPEb T2xaO=;Nh(Ɋ UnR qAf]YC*%Ė4XYn{_Y NvZk=OJ&J95ql(wwK\C*'jec?Bm_{vf0,d 䡢Mf裾O!)B1+f`.d-&rM՞<ºRsf%7tL_/*Z㷗 tE/.cӧкM!a@?K*Y{о!LW4ޝ>x‹[0s]/,]  / 6SǺz%RL;sϷ}M[96 6lv w@eb=@ PXqHod[ aӒ<)>ℲrI3HѸ@|˞3~= Ó^o_׀┧G/ "N*_V<܎^LUg&FGzHCx[+ȑԡfVNl9#V۹ז Lg E~ڜ>t1K[޾zDW9j[;ޱ zrTo7 &=CE &lOw b7iK8ֲjec%@gY,?2 RӜ\ x52ˣ&GEV|P3~6 x?*1hRV*Wq˵X _sܭO/7v:L.qCvv5~"&LL*@J$Lu6AHov t5(}l#ƥ֑|">p k2c""$cw}gYe:٭wUC 8{ӏ~Yqc8,:nB߇xk:,9G<ܧ$T-eR/HuxUo jWD챻@YGPA}h9qc8y[<ƾzѡ}3A8{Z xHo؝Raʐ6ot|="1͌8[A;ݡTMR~ZW9B#r݄sH#ti=s PPMS~|I Z4ILq()-O>Eq4PAgy v2Yp$Ҝ^36728U" vPBH3x;`xJЖFyq)MP/{jJ\zu9eK@t`8AF,:w|.!S;aYbvi˔hJDQd}_)'x@8ԜHو;I")KԉVYaO!=XUG.w_4H A+8!ᫌ8U~Zѷ魛J\.mh|9={gtp.Tי-^ @70d<,YfXk;U!|䬳dhy9Xm/fa ƱBګnm-% 1RufLXcҪ78 <RA?g(f{PUُqLZ[+j}$4t&Tm$Q) C5=<` D+Nxvء%Z Gljѕ9BgFjXsfS7k&s[k P@I_uI7z9f"t\V{_PVgXCl fq I,Acv$ `H ȭtƠrJn ;ּO1dZFh $'P}~PWX<#fݸUjֱS( s`icšn32;7lϸ'Q-#Z^ S[h!2ta H{aK,:'{mKKDrWn} ?:*Z+@?!_ؠ.ec2ERIʌ*)"KEε~ KP4eMSTlo 3TIU2 :V8Wo p%qpp y+0z0[5 \L~$!EF^[]$WAVh{4paub4{>4S9\ٲ9p#H!JB2!Ho>|,2"<4SI{6d'e)տkQ2sVP Y7\hLX[4&T9_}m>|~\!hsIFC2kY4/YCt:mU,R"LiIu9:—F>^T ǂUejt+e$X˞ȱ|]%ևC!)zR6c3*~S@i(rmc sV,{b'Ke$ǓBY?r/dvAO^] m(Q^u\W8KļmG|.|u.ت@VSB9{gj0)<2\uJ3%!4vx{lwƍnd%yu WC&F盏+>I&L6O۰o?ѫPۆnv8Tދ˻9k8DUnnX'blTKv;QW'ݸq?#Ţ"= $ T<K;/.>և4 z() iUμɗ )#&5Cq/Vl!HU2wn }GЇT\!d PUE2O|A #X+ DA-*ڪ(SF*@ *"R%ǜa,\];|n=LL4=.OC V)K4k mjf,$C NUtsF$ g[%;"d)(!d<رæ>ft$W;yhoW-Q-͵ƽkbfKٓ#;Hu=w{c'WעrR^<^%Q[6%" }kek[s-x3QnKKh5-|3 P5(P" pk0;9hi9yT=-l\K]+6`;ެٝ8beC1ZK!0&ue=֫,LP92,˱\MпEwO&EXעQ@IJV4í,T WÑ`hn3fe9 Հxmw±R5QP=El^/M->k clxSYNjCs `gʲmT!Mh%Q/3V\I:r,ڷC|·P> v"N3;KNF7I"7]fyDo4;P2 ^J$y8ފ(;kL Gy&c^S-_ ׻hFD%-R-CP!-d6Orׇs,\TOf &J}f\W@uLB+ _<6!]'5Ǡu%\MiOJ;?"QG@LafR,bR=hzLx=J_|B ]QUoc0&-fӑʔ[=`@D)lqx`!U͹54mz:?%[s ,@EؐbBS9p`&E} :Q-`aU`%hTV S+he㓾M f> ǎ34 2:PDAX؏)fhQՂ-Q85`Qx6C #xl_2ia=`rbhBun"KguUؒɚ!/< W<7{f+fBz V‚w^DѰ'gSw+zN "hڵUݞw:Xw:Bcwٽty9)n^5~A:#ź)c_qA"` WFoVTr>GZ9xrLÛZ-j.i YL7_I{;Y8˺y鿔%Xri1y͇uzݓzenS0h3>ds) G@n|0lG{-fMo0yA s$ӷL Z?dw܂y >8%JEB!noS37](?Nv=e Z; M 5n"WǪ$ZNk\lV,c%T5*8J/+ N&_H@w#!,wBRxDE[-?\! b=^RY-[{d5qߪm+)i4? ߳^@'C[8܈lg77~tcHЭSN?@5'ȫ!x@_{ղj7V`k9"v7oY$\O*~C]lSFjN.s87ÜzgV)J21m; Tr4p_K$Ma#MH̀#t4iZpUŇRo#]~~k5BamN"RӍma˪{0=H>%p?%YCfDHI TK3rX @.]F@RSA =Jzm BRl+@vo .OW-cY㒙MF*7aB-3Uם/]L)%|ƵZ'k(5}ʇt/].e/2X `qM7o~ZGV+#ʆRj8};r@2y\h"M1`q}($QjIZ~ǚFa)Eݤdﰭv[-DwCDhӒX˘Jjւ4,40Wg˥V=J}j4TJe6 Eykf9>$M)~QAS$x >/YRJ D~H> {@ dmZ,GGVzw5kz;*IA#k}oXOZ{z9ac۷PW  z\T[(Z}EͶ]wiN5!yGZ0"0]3H@sazy#VB` ;[[*pA=$5+j#@cގ{x2'7Ӭ譳 7\$DɅUУZ5k)IE&xv)9K@xLu^ 1Qǔ\MSXQ Ϋ\1lM6T9//bNxv8zW ^EH8gTd՚粃%d,&뙹 i}jjS!!؉\|J ٲгݯQj##S,"̹S\n]ںdwQhjh-:1ɛWXaQ%Tg[%= h=1q״ ~z7}v(ZxjUjKrkGDx/Yy^`DCR9ъ_)ԪS\0F`Ӫko.#bsai2(t)^7#H< ]xΗWӖbZ~2ߌjy FXf'(u\ >qY)wZ·;>cl{7-\~`Wa&K,q'aZMf3& ZPz {-2*lFTuh#A#4lV-~E»L#<ߝ-c9  bw Suwk$ dx8J$Z7r JuoSNk3iX 壇?z[~{Nzg1ٙ&LD.Xhn*8Xfҷ75ײ/eQscګ8-g5,VFGep}d[.gZPСF?M";b$Z#BT9WiG MQaQNS@ek G=0(Z}ZF<Ǵ`h^hϯڊv)vmݮuS?[0V<5$%V@^H#Oe)W^LFNSy W}ӻR])03#󛳂j"Ͷ!f.&'"u%<-ف4!xh$IЀz(ɑS}\f_\I0ّXhlXP^e9 c"P9#Nqc24?$$RNrxv1J5>.%pejmD]e|*i_Ue|P;zݸHb,jK+ۘ0 u JVFN'dw `|JE֌z tLF:ݍ,D'FlIjFd9/(Xr*<&mD\ xU-S#fɯ|U+I9f%罺y肾nƻy3E +3 P[]=A} }s0cРa6OHIV wNÆzA*ze4Uٛ$7MCEH(oME<51xb’5:蒸5I,e{.\kUe2m{TNgʔxkj2S;<*a:["7. C$J9  aAfM06;9uZ>c}T>*{E2LϕjU(ẏ,(3 dN.ȣ nnۼQe|NMw }.̜P< S:V3W1doM_sSZ$HE`.@jJzgԿ9?s#G$CTw&HV!'D#SO<'()(ם[uTS@: ?%8AdrC@RtZb c͸f,g{r \{1vYA5>}Z}e`MХ $̝?(<5<4O7=(c[0jė &p| vibbԜy\E|OpL%j@ a2~hHae;|G$eM6':v:W}ѧKud}R~'wr IQǂm뢦h7M'}O+Md΂xp x/lhV&X bU8I! D8l)L옡N&d *ma)rB=1k$ŏ7]VaY3NʻT^pQ?1A3;IOJF܈ż>A(3?Ⲅ^ *P#WmMc{#t J M">bUsk 5$woӑQVsɅv9P?Dp,5p[X&r Kȸ}MQ)fQn7XXwJ+[F5g!syz/6..w9oF5[|SoT÷]BO:acG"jLm/pNPЃT${ѝuXf{M,ܷsz2*Ԯds_ S蝄\X|V™&~3ԀnB F:ԽnG/HߍA6Fac[a k5;RnKE[#$i-;WY asZGD9,2F9v?eI_w`BO嬹.;(&M)5(Vm.l 3Y=.Z+T)sI% K}؋`C ,dHM#KWg+f6tDI u8G S m#@6jIX_1D ddσ'>=<=/!K$i;T^^vW"H̿K[ՁƘVWtE͝XuĤva΀>0g4B!Yk,m4k^8{@2BuJ9gs4A; 0vg`` # )9ÞGę:ݷ^P5r$THqL2$!j9$JWvlLp<}(Zɦ [EH-DCHEv!0ݫ{F̊Œf؉//bTp<4Ž}%"?QѪYWx2P