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 22.1d e%]Jordan_Normal_Form:threads=2elapsed=390.072cpu=657.704gc=16.708factor=1.697zXZִF! J,]ŗXf1-/6vRZ݂Kjc wCGtnH]\wB$$+UqНs#V'W@O`qÍEɶu]]D( w, rQ$bۄT>~IXK,2hduQ֍U@ je ;\6Z䶬˃A/YΨuߵPK>5!6 ;F[AQ;Y@$kJ2~c8s =e* At{N\ѥ}F?˦\ZL;I#󐬸E;ϡK% JuNg5tA]BO_̀lA|!>t0Qk-.-ӳM13ؙbRbr^_9̄dխ,F|S܅m[r"nfmCxRts5TALr+|=)WeYo0~0<4Fg{NC0~ rg8^^VYD9 SnW޻<9).aL<Xm"7IqiHz'^>F/2mIb[tK|Q\L Cf'?Oh^FHɒj՝-_mL-Z?7)ZԻg|ݝ.p]q=Q@T W3Q̾s־9ԝÆt!/$w5]e+6d VzTA>!Q.bS~2}};Puk/1[Q>xd`"\ C)]Wj{3@Q  H]x*@~DfR8;l(F0>77#xbF![SSEYGuaA JE]@+x*WW^nڭI kK>0=Ւ0ދzu!6K(Y4E0tnҞ :l I">1Īk>ttYV$OS DŽ\eE%喤4ag+T36 C+Qn`us?ڀ6쯸`Z$ٍ~ e7TxD&{ɮ!3|rd S%1!YUhy_Q^(/b&sW"SD߼\Gz?VTR+գެNԵ7-&;k.g_B,9`Q"UTY|}X8RsCeSrS[Ɨ8piE7)dzG\=+AXdn֬]S'=' ~{N'!g ux= i, CIœLgg"/"A6OCoY1 :O z[Y_V\`X3Lg"چ3&;An ZEcF/*+^.&HO=O. Mѿ[^u9@Cl =$s# Ҭ4 h zJxaIGpRC!IDK#PW^ : 1!<-o"Iva3*M}t-q?'xq(@Q[LY\h \%ꍋEm?q6QD#hehIƢrl<1媾Ltڐ[# AZ7[D'} OY e>#NZlsrU9cMjI|ڗoVIO`i_M8N' vSSK8Xڗ +chZ6y5e@ ǩws=Rc<+fa꧀#ظa,5.~DL*140 tb%p[O/ x^Wmm8E.ZD+ ˰Y7Bq3)>k1׽wWDI-0rUsk8W`^rX,OJfHzQ3vq2EsS;f5h{gxTzr-_xC?H:;e~k.Vʙ}䎰Q<3]8bX" RB(oLr;+-~LOϒ0:xk5M?v+k8d8+GJٿ 7ϋ4 W$C#Fܳc ~nf5GQȣ Jdc3'wX-"ݵQ4oM( w~+|8(i4 1, JY(a_9@S=fHV`fTd-Sj# 4j糉4yoZt``#R?.͊ .:0Ǣ,d3PV^5,N}̞;(s+r~Z+]2@KHZ%Yz[=NT-nɭpJ0b]ճGgD)fOQ,]fëpEIR *y5s #ԫfFXiԱ6Ee@Pq4`u6F([;p&hOԋ8wF֡)2ŽSA55420qlLo?Xd=(TNeYa#%9x]fseF:v.%#3[%-u.5Q49Z88aeв)iˊ `1;Z*3ľּ]N9^it82!8=ǔB7X 7 IbopQYJ{YlJ6F9l#\UD_!&RV{Pe1xy6i@<[Y ޭ? ( MzA)}-US?[UA;bAl$lMU\Țβ'w7.3'`mgF4i߃Yg uwBb(5b0 ;3}2SGRXv'I+n1^jOr|C-D<}]ЗmdZ~Mch>xI.'#6#ûVFL[]9o5A!h5$N,ھS PR84()hv!LHD/r渵h'`bT/k~nFOG_x;hSᅥLX(:JiIɾjv+똵Ǣ{ӪVznM>/!B{5];d'aCGՎNRG4vKhTR$k5!LWFVtNv;1A?IQɷ[bk;zD[&${`Oj?] ՜%G3lʂ !H]}SzD08[/$?ߌ켞BH3RǎMQwPz$,g"tKJaf%D'Hhp\0 H;(j1i-kJ<ܧK%GR3K)t:SVd]Yޖ1J7c?KŠmj<U_l+hpE ʠ @j(CÃV|X1XI2JUIОfb!> ÆmYSqnɆ5&KIEHwk#({ɌsޑDI}9,eFG)w+B$CSQ{:0ݜJV'|pU<9ʏK߯$*MgaqQm7@pa,W\cq3\\%\C8"b@7fSY >az$AIP;@EeP)D:NRiQ?ޘh y%]}8>ȻfCDSe1;j#`iɈalIqӤ)Qp*fF6c? _6.҈^ڵƿrjk?ǽfCqO(Zg v#b@r_tnNY_ m9w}hG7\vC;Og$Jm񥘻fǞx=bnP@f+v/iFA>4ԻV wҭ\l8hsΘRVYI#ˠ[knpQjZv >+c)Mv6|W6CFi;~69r+KGc p?BuջSpbYMkb%2 >(T~v:[n t?0bsu?A<>grl>Ne_zgTHU)~pwQT/q BqfGZ ɭ6˷x?4X_d\oOFAzpb_6ݯO!}o/[d) {*KXujpbuvJ̅ R ks rSStժt6snhW a7_Kk#epH 8ZORs8A{Λ;siF6.v C3~Hqv|U!,"_^3@#JDS0;3Y7q 4,xM$X CUhS揬`0E?^1}Ŵ봜~n>k Xp4FVP#>5`7#xtfƪ͖S% M:.ֱxf=X}ܞiu`mb:;Sqvw8%FSIWYu|s˃eUƣUZOOΕ7VEAp,Nz#` ~ۆED 2H  L|TJGE2t' X-ە %RJhb;]w|Yj:gCjW]#dIM y+ŻdH|q߆Wj.g?Nb."0(J :c4[IșlKkH*b> R3Z#G+謇%syXfys& "Z_@JT_ԇ&iH%5HOq\}4 yk7lenpd`[&XCOݱ V3\S1>8Y|!E2-ˆ-S4oz˽ys$JxK0/+^ʙQ}rb5{XsOp@dfvКuFr;g^ :I'vS#4t +POhzA:.*v8r@/Hƞ16&a>/xY ³Lj$~Ifh޴QCT{̈O y_T'OG9ۦ#%=Wn9$p5@+ ?_Cvuݱ-!!vCIWy : 7l {zUܖ3(H?|mIi_'SKnmX2(W ng~;}E|hl? î3yH& RUYRMU ĤjzV `-kZJL_ ;}o'm&#\g_:TSU陓6MxNhKZ8Th-xiUdAҲ6;04ޚ?*C=#EZ#n3rxh/-ʊ}7EXWY N\ M E|C_W<|d=ZF+ekه$(Wz$\:i4Y{GbXU!n9o/A r@Xxvt{ dgUhF]Klr7;}e-viQ-nxvL"|j(QNBqF'ذyIQ!ne'GקX #ɡY'ltd>6* ;]+o XHըyVrd2io<]#-͎1Z8Jv妻s1b?nփ|>DyO\h?e4qJQlH+?r IyB0b_J>#̠r3O%%g "R,"kEҾ|(QT_ N|œ}sp4x\–Ui[xO2t60K`w`#C7 kҌ&a<=8ugVd}5c 7i/!fvF~ U)PRh>ξ..ig5> vDf y0U<:1b̳zG18Y] Úvz.$R 1,pA0;.J%G'yrqQsFCiME6D{KSBzjMRӖžv򜛬8d8-E]_\a3{+ GjeJ 7b-dt_GKL61- ,$ hZ;ʵ@ObY͊0kY^ X)/櫙44QV9Jj-jl fcvi&oXQ7r |# FSd~_B(Aޔ,0*rzJ\Y^NkgҞ#Nrd .Kͫ[&/ .ZUм-3Q֘lT*?#UN6zlĉYWJπ+J@8S@@1)#J[Uc)# :_C+(1:Dxz䫊3ח|7#!F_WUKՊ7cPVܨs/##FF*xvە5ۼ[VwJD0XB@U^$e,\6=ਉ+yApE(;;WWc6,6諡JXPNy4XtJ`JrY4K.zA8S K|%G&g[S1:vEl%$Q?aϸBٙ!4h\]P*VE]# LqhGizcM-Ϥ⿭t$1<[J&ԒKJ AJR&Nu(ٹOؽkY+[XmA@͓%rjWDË`#qAp|1,<&IRy"+lԌV1 B1>/:UV}ȳЕVgk=΂O$7`Ae6ւwd^9'Ɇ>yC^3TkEm&`>C. FO|Im#[{ ܹKJq]R ?¹ N{'^Ql t}VO.Sqa}u+aV?3]9l~0(~Q$ 6cOhf2 qy4KE./uՏdRD]-w9 9T GT'E% 3! K_qx|IJO7OhV.t:ȜQs58?xq hќ^0F{e@,hSu=5H #XzqIuZ c]' p@m"lK5k&bp;s?x9g̖4sN`=%_it@bZA#!၃~3hlå3"1#iǪp2f>BR ŋޏ%@ig|<8_&oX Nxtϗwqk<} 4BS 5f(ޓȹCs1BDz,;ЄCRx뚆kaDf2{_EZV R߆͙N^t$`? GG9f>"ڥ'n橫<UwD~$`nQ-ѹn5R)2/%kNQA4z&d]mDm櫶\)@XKt2}ȷZꩶpJ05H^|Zcgӻ|XÁkFa_TsSRLj!Ze>]|_5I3PgH(Jbٕg8!Y>pM7,O#?ݸ/s [g-6WӘ#."p.A^V-qnVyR|Xbe`z&e?8VONON .# >H)֚cPHݫ}lRcNTfPT+C';FbG<)E'`"[v\`GG=c7F6Ԃ05}ɾsTK,2_ ̬H9Qʏuyx|@Lhcm}\E~VbJ˪E|Wy v9DS߶$S1=gF^?YtLYk|BcpԢe*?^ohش 1Υ(K׈G |}K\ft¶=y\#_ #Qc2_W86җU$T ^^ccNbPPz݀$Sۅׁ]C@pxinep2 U>[ :W%)G"1L"ly;k" } JLKMˢga9gă4>'KZI"L{@j}lаWrj%tVkB|W%D2.$ha$_$j{غseFh0 !ǥ 5&37*I0wc^$Ɣ͈j!hOn>ʤsSzh!a ȓ_*4osܱ}*9쁋%ms0]ADuy5/ݘ&E9"%?VCiG:; o㷍^y1,?rFho" 8"f8S_&sR`Gjw>ZKj./S?d ;@@qB1(yM-h bM%X5X`>5U6K^*VEDlo;.LM<GdsHۘG5ܧ'G?bƪr!3 U ^f ,0 - q^O".1Ⱥ&iJ aց|l_jNBnvg Ń񙢀՘ xSz>̉Ȩ\q0^?IN&,ܕfo|K`kWЯ EG[<_ߖttӶYy ~ߤ ߘ 3q]ؘr|K>_9 joI7rz;1wcČt\ʻ4a&!`3#3=Ak5(͸˺h_P,cp}j.ji6T  dem&fSe%Kn CH QEgŰ0o]#||+7ݨ )-)kZ?|A~~Hf}][_/w2jy^a+()Uh9V-Varú`΄F?워?w %Ry y4[A{a#Y[п@O XS#A}H,{)HgsJ%4dKinό~sX m9 Vݰ3Y(t؍᭻ftSkXB֡4IFiV\f{B- E ZɡF$y>>IV}pwy2Mc\Ҕ`2;XW@\%kl¸+ӯ^xț02J'o߼Rpt}@@n+^LYv$keIFnt=T׍3fa/V}Bh ,H-Eh(TP[_oz1MRN_0JnV0 {~øWޝD0QMONķuΉRǛ3Mob+#kӓ9do)ԇpnPlef,7+bo}&-@!cKL=VLyɿ>%2ʝ:p5Z^RN0cu^Qu5Jy$Ōf!T/2tD(F7u>b]SsP #L閄'(NP qY83TMMemMv~J1~R-֠O䖵ulۋE`ţBD?ykOQLGvCdAJݺ=*TJ.ċY@߯tlR3h2LH]޹O8o'Tqu4r3n L5vPuqϸ2@>NbRxhb<_l 9=ٺZx}Xߜ)XQqQr@0->FkeP/ͷ- )p#/^!)V-AXl6ac<:t(^T  ZsQSiC11rnmkNUFZ4{畲=fl6#[m3g9EV̗tnsu9s" a!*U1;\UyS/*fnB$˯ }5 .ܘ>dOM@9RcYD8 M&~ x)Nge>[*-e|dMs<-j[R@i'tA)%'K &?Un/Wz\6IN{Z!_$Zsi8&U|]8H*ρcN WkiKoFT i .(eLKfXLKa:qɋNG5 ftZy" j(8TvWN')gUHZwN}}Ęΐ4MC{fEAd\"bsH#mA}uJ䞀 63 D*XrPV*z{~b7m|\\i \^1ޒl-Zõp_x#V|>*[sfRvT5s|}Pn/HP"w-Sqx}ϩ}7tm">\#3ɀMN>b*zH8Q }_莾u+J,c̡wL|2g Vg P5*#GY=(2q쵾Iha$aq4=aGQ<*{19}ԡϸs}^7iӛ;)2pc'QnۏG$;X,_dbif#aFDę1:r46܎&RQՐU8D}G=楙,>o#V4ֹʊy?LW #f%OvHQF{W+pNFgJ-yi D#k RSiMԭ#z41B :sw`錉K(^)rA" žL;(`5"X-Ce˙iA;*`m_@;gnM9P׺U\W?@cR5TjZMY4, #[j( hu"xq|ڬ spr}c 2k6+4z6r(/ ~dąn z. $#O&1t_ѝU_"KZ+mHgd~MKʕl#"!ky#Jw"M݌T6Ӵ[>dwQ1lON¿_# Mwe<ʵ:aTOߎu z7*^J#%ڵX mu0[ kDa.VmZ=71?_>}r FֲTpJp0{P(3ޓf9|!\d2vVj۟D~ <utp79L#i1S~wx=`R+_^5 ^eՀDqOs ZyG˿.{}FuRɠ'WgՄdsI"po8{(1XZ -;:8WsjR@t^2#;jN8Ęxfk6ҕ 9<s蜹 uU*^|s(@}NKfoO&#>S(1x }(⵮J&-0kB,pݒt+ZZWZU3@H|925GuQIDb}ceVC *QD@6QǨ)1[{,PzI۷G x.B!;O /(FKjL> t(8|󡝩d_6Vjct=x?mE'k<ñ OIi7`GΝ f?cFSZm %.W;TfeBK}wӜ(mӎ>/Z9>,=[e40P ]n =qD-rxAh- gA%yvÔh@J Vm̯h Rwg# ooo_Kٳy֏a ӕ(H\Q(ױ4 B: ϷruwD~|iSs W$Rӣ 76AVAj[є*XU'Vn?_n; ².ݘj5J.!Ӽ.]`t:ml8ٳH:Aɚp&k+&J<``*ᮽ~ 23WCW)wN5BvZz ma[]Y1ʧ$lreX`Lt/R 12Q?U<~rZ/E yݾ+U&M;xMȬKhLψi:y_LP.zmizΨR?fw1 oqNdGҴG,n,NHݛ=JG/NgvC9[x c_ch]P2K*%-O&FlhVv}6ţU,i3ww v_V?ΪhN0UgmTtvTe |Q^6%2tHtٿ#{ &o.O-cP~ՂE1+vG/#A:l"?;-p zR -hC* cgWR_6/ c2"';aSagl'-&*])svRp=H긅%6Ex|dS%[Nh%,Y.W!'DO{3jBYzy\g9q<m)s&cY1|~&gAx;O]SEСaM ܪ: <6,=Ïj#}]tTv[$DiN bQZƤ d1CSZoXﺜU ڿotIR=>%V4;7 $-_ ) N zϰYzpY1 w(}ryY%Rx>2KID_F"2e/"yNֻ]ޠi [ڷ {HM/k}6fL$-60q fH9]ŗXi%zx3s?8Nn^i[n|p<5/ I, pɓ^ w\{R|? '8w4u+&'³e,cةr`) )"A9SV=6p҉ra>~هmp3KwWH!PsYVJ*י2Jh%)04mtN矃RKW!d+.2a.'.Nv |wLzY LVo@.=8F 5m(% v!b~ La(ނ\bwRYGuY1H tӛpF0Nj<!kw}yV+B99({)eM`!l4 9X=L3&R V^x6 :eyѪ FE`Y/& =D+éIAg\CȇHI-#y!^[ԄK6`&c2;P!unt.1w?D ٚ[-i8fɲsd{UitK_VA8߈NY1GBۛd1?>#"Ggt֥`sj7 7˭ϟ:{hoZmǢ)P-!%f.*VH,~,!xoN伹[:oCDxq=\x}GdAsª:ϲAr9n2 |{8W$Lh>w"傼e| c`B&=cz J`:bVy@v L~,X  $V^Wߌ DF=q}Z)]@`58^*8<ǐ"[3}эGKXFE5@ "1zUk[ٌ1N,s>%OOkP(Eǀd%Wb3 lAN޾7"]<`P;L7A nфdwg KPd-yo:9`R5:4PwU2a墻<NJ:j򶸝g([Hf;wJHA?ƔM)rm} V ЎaU, _oPԱ|s4M cT2O=LC-0 &NuIcF#R[ qD9%5@W4xn:(I .%1'C%^7_>*f= Q'zQK#A~31WY^n湸б kg:7Jlɟ=bh 7D'?M7 8cslOM֟aĦHquNM-%g>1 AIu!XkT;0!J?BS6kbٷ?E 0_]bcO %rA1n IEQyS5LKAw\`ρ h?#:PFc at$dʸs޹sP-qlј8A iH0YiDFʸ-ਆ{TSt=9v7_&H=]o GO\b㓬MgcX.}D;@#xV來SJ. wׅS0986'Ie!n!PRbBs#߽Km}9;RbcUNLb %  QsWύ7bz?ûE[ya7xM@ny7cl) uVfx507R^ŰEgf'9-oW\HVH]n4 1g8PLGL& f`hsSCqf6:_Ȑ>k5'^ً׍-W96ͩmM'ά\0#S˝J@]W`U_f#an%Cc%^ CX!=m9:93E Rby.s>P&m ⫲*cn(dBa1įx(<ץ(<97_^׃QH(w+6J 1kuV7bSW9gA vYib/p){Yy)$|9Q"8Xg4KI\|9}e<ȑ|(!-MQj*:Z-autj:4x5X&UUAFFo^ (6n"/)Vsy<8ҝqɇuȌ?e༑B3C bcqo j`%R8d;7Q%W+MJ&܇b%%ew'}V?!H17^c^7gf턠0vpf26܊q(ݪ|?jSVIcD#ްMHrp3~?;RAJeVHiվ*!(Hq_?V5d>p5F0~S'Zv]?Zw.J d$"iNdEƐ^;zf&Z*v@ŘfB15 {,mi/nK/;k]ne"ib7)d _kI~|YnOx"J&[?MqfR!M5ߤN AN.wlAc9N4Ks!})6jW}NU\Ǭgn+˳vDrG 8UB?Wݙ0$MZۣ14D+PY rbO_`<09DS=lMJO! @ lKT)eY+Ɵ[a-mG䩇8MHېx'>&τ&6.5M&/S"f!=?$<3j_x` .; c\CXM+QvӒ^,/~yf~)Ϳi6(̭[<wA [Y~y{JKFua)Yk"9С\twEy0:F|~5im~7K)l; 73#rW " D66 Z5,W +;Y[Yw  [W̦o\7ca-Ic>~c`I`f)};c/h1z$ |RW ~"9 a٩>_҇1;>1'-D-6/Jnb@\{$7ᜣ#Q:`ƪV!Zwei:BdJvH>Jv!w?D)&-^R}0f!bz7wa]`MkV/O1__KX,˛0̑ܘ_D|nlIC!B*2z*o ŋ(@$@Z:wO95\+ "_i{ =ƐAcjW1szeo~!=q^ R)`䑎sKok R`znCsL QNm_9y.)3[No9 6Վ06ot# RWwLjT;J+Rul϶~3"Wq[o {1CH[,ĦB.UrQ-(6ހ4\(#]y5! |R=BМ /rz?kL'tr;\x(M:2;r]­`DpAx]=2N@ԠjK[e/A)͢])XIщEYNm otjPSܳp-5l /H[h)gHwy$xɊYA2l&)v|bF (aGҘ+L >k#?b7xQP:P00gY#KQ.#jQnDZwɆzüv`j7^q&3{hH#q*d$G'o@ud(8'q|'\B0OM0ӝQhHJ*}hy(S.^j5OdGd2_t,= ^gHLI~гMz!t&d[:v+K ǹ\BAW0^onuy\|KL58<@C1p)l4mS$ g$fVNH+7L1|$%Utacr-Q>˃^g3]m෣ U.r vBF0.\:Ű(_@q{d,k#n|&))1\<#T_2 5;5 qBLLl;}& ^ pqed Oq{e7ۡR î A >yH2ǙC6EQΑx/]h3j'IT Sl?%ft^e_ȓ)X E ) Yv8]H;b'ZR6Ѫ9z7;գs ۪mJw .nFaZCh+H;|zAt[Kc ͶV !n}whøɧ|qqů|q 3h&1 rc}ϊi [TqóY ֆ\T)ZOosOYj?cs6K+0c4T38_dY2ʅ`JJ99^3MSd,d5;u]LDUĠ~A^iD~ %D(TBQ/Fjv!١'a}|dvԀK ?F`bqjݕdPsM $T6iH-ޫhB:qj>fQN\TCrĤ@4ܞm[=U2B`DS RC}톅,EaLaI0Zi m\D}rs)b\XI <Ǯ#8adB$ wat,%;Jhg ŶHż dUvs%j#;32346Yq=9* k)F Ar90tg݀D }X$% )WBq][=vC@ BP(?u s2>3>D~+)F)һ*G k)KfW5cIA6=,bτ4&-8'bSq&Ҹ=Q?z-pVx/]\A/CՇ' 7f3s'?MC8wӂ#6B6Li:kI[kcSI" $c]yҏ@-Afota2qfAޘ jP"DN!mhRL2":2"-žZ"W ɼM_8O5ж,yb`H=tӏ9X f2mu(O*h-QuRGbdՊc4OcO̻= ]\|2_)E˰(907g5ydHlqޡSsB膊3 5 [ ]BX\6-HKFQI "}brvg˜X G$~#H"X)Pbi`eVGr2٬}1ț\]-pSc`#Vf^z_,:as&!9dl:&< \|f V'#!.ծ;*|5~E;(9MoDwd ӫguv:*^L!2 j<:Sve cAOZaL,Ypl3 IfT*wAěz/tP8|{foa]m;+"J"A#:;aV"QsŔ>2ĽGBDA]:eWޅI|+Y—goy_j  >'\&6Jm, PIAtW0TX̉r(UK V1v/HµgGhvܱUkEzË<݋X[LC*VլGn)QOĮxi0 '=Om;&lj!I fu *sa%|=Y,ڎի&"zZq2lS)Rws~T AxfOH`B^#^%\ߦ%^vٸ x*?pt%ʭ } d8(VsS\;@F]s8OQ=$%R%b8pI ~"W $.ysº|85 UW-.P)lrGaL*k rhD߁\p@ht46 VLZ_1>)Etgy#AZ Tp3^ z J{7fbY0kՑ~vSTUo;tRӾkykQEs2Hq:gSFΜ~r>PUg$W}Y^m2 zAކL( ̥7(% [d]TjO4}3ZElhAQn6= ОqdN[-*6'##'~T|#}g[ץנ]a;Hz1 +m5|yx,b~hGUAaGZvŰs TV-\w=n6T|,hnL̥#$"?!mՉ"wn`FA&ӀQ ߶,YϸQƛ}eEۋ%\QeHl2&|?->ׄNl@$Je^Ί_ڗO9[7M~)_4a>dP .{Q4Ho/'ϝCwXgi4mRhvs Фql~ZBa8UU@b"gǤ>,SED~bY ]0Fi1nY]魇0>2)jgMIۀmDŽsOOsR+֥p}- b)`ajMB7NQg9,m*ny"Iи-KqT!3ERB#]4kkӡOS`{Rd7JQ!)ĴeQ %Wb֖Dj3|\Ed4^qؾTK"ڄඌZw6"l9yz~ ъa)V8@nO|k0xMlS^Hash#:P!N~d+ #TqJ8翩Ph"t̟cjw\HK`h:1gl* lƌdgF0m>+k D( #XauQ+R{T rn1ʤ0_~*ZFE}C>AjoF`n'<|_F+$ v5zʊ\+΄ 087+PD&4/ t*NJ!,JEhެ5oƉ҄җ1ģGY椶6&:N?78g7t7) Sjyxx:dn$@,8Gke @.W!HG@& >z{߹Ꮎwr |NJk"c0Ai}zA8*]2[Ňt@cW^w`4/fU\ny{6JZNQs'Cz:эId)3+M/9bNqw @#srD?on}w|Vʩ%$dARS. ˗-% xyS'XA[lcb!x-h8uErtAv*u_)G8ئ|CjQđM{,::Ws M QAo4POIw֒/8|Kœ7鏲ji 7\[%aP<3N}&0~Ҏ4*y/* Wz/۹PJeb{7?"OVd>'Ct8vɉ,ke>Ժ[d(GV,:Q7htJUl3jMw7luG%)T%+w ƻGlG`4\U(n^ͥy #īE[by YNKB6Y6"b_R3OVN[Zޜ 7#Wy%˽05J^[^~ y 'QnG}B-H&tK[ (FH^.nNƪn(8 kp=8?|.34qJrk?כ9A*]!AR[ iyڍ|ohD9(2 dN:vL$^gvυͨ>Rԯ7ǹrI' *!5qUzϬ5 e7؀f? +G:,!\U&/j#Da7MV×HHԽiN0(jx#k{uC3U Y䟌RQgCnXax_?-οQx-5(*>עB;՘f(ƆnMgXřzRu6,z8-ʍ^:q@Re܊cӒˍJFVc_^F.ASOMZQiҵ} Pۥ+}>)R=LG%GVR<OMÖXo=ia#)fq\V v!5@abekT˸$ڒVD 7L.̨ a4ιm7Z"f~7vjcI҆N^Rk۷JE&e*U@+YZ&ךG(SiƒKE8"+C6fnnwJcݒLz) D s:mfHڞˌs ZFɫ*pB|f@9U۬dXUiZH9$98Y8֞͸oLƪc@/\'t̋,Έ":]<^:X֧0C|ӏTf瞆PJG`P|Y"z">z]D+)\ØwcPķ#H1֦ޔZ%q=n~hXj:-XMaKN1f٨chb7{r Fl2"*1mc&7ҹ<EֿIJ2|XF:ץa!bvnfʑ\$t+qS ˾M p pT1#8:7lHŒrBOqƻgO 8 \܈$·u|ĥ. M]U&_5OZmr,DlJ,޵}m(i3-F߉QP![ВIbJp)r ]s523)wc^% gR~3}J}VEp&cV"LyT~˯b |{ w{[^!\aG</fsEAE%hO}>O[3/S5ayh}-q*:ďA6hyƖÿH d"V]3#R5IqB2KnBp?kB'VEg )sbv|䋳JW0l%U?W5c8Wd99:r_{C3B[iRYoHpO ȀHS%{5R E=lA1.xju>Vl+qU+8Qu%<|\ quikț}OlwT}1p=?ׇW;?I#ݬiljxMb4ij2zDn>0u0MHl(U.tV:b! [#? @ޘ=0K9}ĆNj / vll +!+w"+Eh