SQLite format 3@ .  YYQ77Atableisabelle_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, "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 D7 !% Containers-Benchmarks:threads=2elapsed=233.735cpu=448.248gc=37.724factor=1.927zXZִF! iH]ŗXf1-q恈NucvAݪ4 c?[2C IfW/ |VrW.BuECI,ms]$o>io΂usgyEgyZ5|k3A J]_X)1ud٩d3xGOzPk.Gj8Ftd hE^<% tΥg=Z9X_Z3ȨL`#[6ɢ[ml5ТC~H&2-و>_DX=ú V[ J3ƤZ]~o98zP-3:=ԾFص=fTM]e$tʌ2htM=d&M7]AcޒG4 d89Rz۠;s>g2 `ą]̡r1M_| 0nzUA[Ȑgf(*}i\.j"3H `?2"֕i8@8I* ] c x?a;;(NrX KMPUjBFFInbY*0U𧞶 $HEs^CaT GݻtFRq}v W&ooz$0)4L2I:_pwl8- @I"C>Wjc(O+v\*+ Ϣ&i!6GI}#jȸ({v=!2`PwiKw۵4̻|LᅬMvl (i,Q۔7'-F@RDbj/.z+zhɉ:fgcG(Rk `¼Wܦ+EzK:HثAek?S-1 .Fٹ/v+?WYE#W#vAs{j_[5R ?7<R`9n^! tv˱ezoZXycҮf n/<(3+'H o'8Xn۶+.#IFIJQģA2eOLǛבZm7|mf5x xRwt)ˠ@%fϬz U6R9] uPէ$I; ΁B#8 ՄRkN6oMu]ݓ NJx.2׏#JAtZfv6 u EPf~2g{I r=s-0mV 517- _jۚO@B nY}!JNlEd.W$a:-Iz╌WNx\ȻO‡Q9\ds9:ȃ}>Y^v%^c3,>ۍZCu!GCUO sf!$G]'f֤yf|^DAtGe7A/5~ֈ}\XM/)u7";'{l\Mxo/vD!V V"&7t 8>NA@eb+^`<HFZ!Nw`oZ! GMT*KkWub[tǘ T@ŇфtVD ?|\ ,>2]C7k>,kq1SԬo)tMCqg> T:HAg+TlVRKm]ɂ:AβorA[G/]ILD} O%Mȑ1rlK!H05&OcBCTk yN?%2#Y5 *lm0r#?x4P~ $ZwϪch6{H}7tէF'yE B0ћ)PApXSHV5Ǽio@ d}6n1^ЧvLXc;&a:%!f&a8F;V 7?wJ#%8bs8ߙڙ,V]QEG=(zEMBD?:`&Y6-&>}DFNqud|NEk^ cG@]_ڂxSZṊ&d{,i}i2X+I | qڶ," Er|ܠܦKN/Wtľ#Ks(z0d\>[Jذ~=;yJF&/F$yK.͛gL̉ҫ%3-E#JYg"p,k)8k0ieXA>\X hǽdan5& ɖϐ_eYUf÷h\j! f&z+i '~l09SOY1bң:|@t{s&b;-IjhѤ71oe׮vНc쪻UK҈OhomșOlPFN=3RZkʠJ󧙂SEr+a"DPc.  ÂB$91ҡ_[ipxxFYy0^tDOЎqLxU荿f {Rsz;V+j\I43ؗ\+uVa$ZwOa[%U%|$d/3dL2&O)Du&%R MW)aJpH>ͨW.0U kW#i+DpL4ⓖ -n>R5 !G=+/X_AnT ^'  v?l6!Wɔi1S >$boG?G|hׁv'i%iaFrMHXDQ̈́v6-G.sr&8jX 1A{<\pr'>6}{xe AP%_)}89nSӐ/K=23hf6LVRƹ#]R?wh=6v_pI'/D>ĎTgiv-ސ;cF1R vL(֟%,y(bBn[<YH~-d A_r(N$:+9cK[7`ƶ~;dH/ Гz%"{EG+<B5kSΜ;pwߗKMءB@x:|P\ܐuHKc_PHY#9n 'U' Pw4ϷS! =SI ͜kWoij3-쪚mEiP]EWddPlg`dC;@<0W7 1Ftٹe+S?A}$נ3VL|_>K=N#;lƾ_xJ)&SZIH̟_nLgP QNĤ=.̃A!~rb, ̌U%Th=0E0neM{k,&`}b_0 t0K'x,޹u lJp>0! 5&­"3DY3K3?56vq>V'z?}iAf_(qsC;KҡFab-s +ѓ:.2*][-{z-ԑō*!tNLNCa*YJ>ƽCmt|+/I!laFȅ8{U5TZJ_+M H@T@rLȇ+{ *hCdRLPۊ$YJI[u Z'*n\flj)]ǎ)/:-y#8g(d OuS^ 9+v[qJ3fg:S񌵄rkQuVoxxޭrҼ0=PCԢ342( {x[йZ>%]VJ_@t/H ,kC_cAOUh,͇$tg!n D$U|&^nK(lCI _"=N?:9&#=`}#4pb+z/(Q>{YKgmP9a%hQ ĨIc_m¥;BuCf#A{Bl1 Wd!>q~@V>$/U{vqDNQԏA>FGReɳeVw엻]"P1nuM!@$M#[iR194_gus.@|-ZAxĎ,wka!b/ѭ+5nWPU~3|pybE]W~U[ 9^٦)p1 Uk*XȰ6ҳXWO_*,3 6O$Fd לLLtLG4S_X=. 0]6 %>.FmWmVyfNչA?অ$jLn-Ď0]%:vd6~uPhfw#eB9Ok46_0i/B32aFD|[.|-RP+I E'pxIx>h$<F?JLߍW#N}`G wXdy5#8 9wwfDtuf(= >CD,.QAN]2TZŸ SlՂFx?EOv.\<>?)?(_Р?K5$LC֊$Rv'_U, rl=`-o [.0W~ #Y֖g|P)r O.sO],-:Q̌] 3bܪ6OY!HB%+Xmtۙ   XEpASXueG,z]FSnSRo)G2fߍi\{f?>aˊ-rH:"S(0OQ\56r@<0LŖy5Cԭ3ԖL, Í.NcK%Z19.W l2;henvw]_UnkqUh)x-/5S3$b{HAR56J}4}{lIqήUI[/+x21_L=LPƬ/S Dq-3G.Es]m!2q9/ДLR[pdcI.Vs2"-}j^N{AOdXawS"MF7K%x.`1_++`6&8!16 5|y#mm^5B!K]l yG`Cw6(sյOay]t_"BX@[{峢p=,#SL$t,5Aj&TΠP*TPB,bAMQ}nvp+U_ h짘7#%qnMXQ4 [ xnLgK7ZfMiϊwXԵWk1Nh$5SiV Zf{iJּLY840.R 2R*o2mRM-Ivc̠'qLYP'ZIv 7!_v1y<}h*Uof_'bGr< y? D'Lvs5k>YEӕӭe2>hJNhs㎉\Su)Knyb~Lƙ}VŽC\Q*uj@60f sf%㙊y<\~:?+P~iB_\DQZob s?p[ĥ[SP>i)i@,ݴ'XrtLφ^mށT ֳ5O@AaQq-{ 4&]s!0zmcS[y)-37]dd('^#w0vXzoqc6y5Y^,hukI=^jmLOG=scԙ{MU]ia@[Bt;f̀(\vy17@%\;zV$`EFt:@wyA#N?[]4ܢ?Oƃ8/ k҈:鬦6"_d +ХέN^/Qyj YNQL1Jkr9p6L`B[gJIa~| ݳ-2N0"ZҖ㫞/ C"bIN3^icpVGEteplQvwS8 \1qc:dSmEd jAbbⳠv0"vF#Gf=}pj%$%bn{DtR !R5f1 >0渆,ndM\C5`i!-)0ԗ@phc`UJx$ğP|/xz6 D'lT:6w٥|vz b:KT>Օ] C&L*7$a}VfzlX@Ъ}k*b39UQܨt.T4,ۻ PSj!ĤW^X\B|y#\)gakT2Ľ1Ʒ*7 덅{!CuH TmL1 \3.dwODZJL"gyWe^>~m[x{lfmD!5 ''"4jݪHR,3ȌeBCq."x(5b]J/< AHdyb7bg˛[- LęׅԵ(C_0LbAm(zyӉבGno3C9PO T-̃k4N&WJ+3#d_ ^޸풨/u}%]}l3* uXF1|QmsyNfSFX g|`c!-Ʈ|6%Xw\7j00+|3 9NךlPU )X (fɎ)Xݷ:]K5d@>qcr7ZzRȚ,s/ \oY8eg9"2 !o*HUvMxJq|qh SP7)I/r5+vbP wԎ=;iX{>"v.bN PWM_"T\/2V@3|>"љ{ײ=uN&J٪A/z)Yւ톟N G?`抚-*4t'AGf'J#O`P9iܓ 2D)i!dCQe|E=`ʨhI沤J܋>.W̲rV|GEIOcBs|AP=ϒ> f}(B*QnS`1=t0dǷNa]-7xa;Ȫ$1Pɡ䣴IpjŎo-mAq ;G֠k E"]1|!`BÎmܰ@(pIgb׊&CܐJbZn?AcTRi:m`m qHůTC| c{kW`=/j]ca%N7diULxθ]0!Ra`馉 9+s&5CȚpicE(ԙ;[.&K! F'$.Z,iq&q1ƎV*M?N٫CoʧWq0 N&Ӣh|(鶥GRҖ ~WGa…qxv M['ˮ4 h_ /G{fxlj F8|#Ob>:K}e^ԆwE g@zX}bTD܍@9i6lJ]BH b| oeeJ_nPQyBcQݠFr:h@u(8̪l ,kvef8,+Sׅ3̣nwr-.2S)[~o!A <͠q#MјCc?cjb(a 8; }I~\=93\|;"v.?'SX$/~#\ ܺ?>kVQFzzkie70lAS*U-*;РKTP;L0}~<<&ХO0( (z DaxD4oE1[dv@e+9 R˃ك;O=Jw{T2^QYRԮq?w+ kg+5Kj u) 2>KvoGTaةpoRʺAO5m$Xܽ[=6WD81 WHlyM p>۸W'/Id iS722E . ޭMZQ' -yGD{ߨahB!V:mZq2žR8 qFjAB$i gyFpwG/l6)f(8xvxm]X g"H裬S0n49Gː=mQs#X 5g9d؋O? S M 5N@7-=Lܴ\X꫌F!mB]"Ⱦafђn܅<0vq~TpcA3^qO=O~h]'NtM:WPNa}` TCoJ[.]ѩ!>Ϙ,DH,r[) Hb,YF @JTfDxi#"ҩQHRউ;řYAg1; Yk>4 G?/'6Nݥ* )P;˨+"\BdHK\՞6*Dw{Vѥ|Լ9VvD B1tUU,hVco^$MqKwXݩ^Z>`{FPPms(ӓn@U+:q~=[Gn<،&W!1Wo0[#K*>:^?I3 gxR¼ma+.KNz@5B)j.N@P76 7 c6N33Ů&u5@utch|`v):pƒcO:*z5`7}Sy}e @EC4\'~%o%愈KVƝ 䕫TR,+dǁS0m̄*7\IZ l;,AZ#keeMoP̵Mݺ٘F7-p@-,5 b)+VC>-RZ5̼q`+ &_B%&e5@,[\aުΰNM/q8R*q9L`5y$WWqu z#"nǜuGqU33ɐ_|Xo:F#mzHMp/a}F8f[|VW0KoZ8y;W%>(\T2n߲}tM!-HY5娻+ݿ|Pߺ*ZCoF }]l^L޻HBZ,D@54- z wgdM矹}*v# FE^{[C0rf F%kOtJwro؄2/ceRpJ⫙]m7f?&󸣽H1ezIڻw{~+2r3)zڛppUnV 0Mr8|6 DNߥЙǤ)f֥-,;5u {wy1\nGXW8*J(PMvG2NU&E?P kfBиy.y28nrY#@@:sU-ƧaM겢[1XoPk8ZriȠlq=u.@u-žpt$+Nxil xLM?7#([ y<߃Vpp#aTD PSÝʿ@ޣ\Ivuu!ȾODP.6>䇟].ϙDUcʒ`hpCg&ҁ"eA~:SBU)TI5iYs9伫F",pMS۴@xQC|~F̷KS4/,_~L5|GU0} =S@[ɟ8y㒁GEcѻ⭬0151ng?ڝrVE)rwjx'/ȍ7mZ_6UX[ᮣ[wNl(JNۙ\`Ih7\V 9jɜ &z!jx%A YS~mm{iĺc:&*C w 6.~z`(VT.(c>6VlgѮK!EZ1?*87NOmܳ/erAedYpҢWS@@lX mv>w&FFu Ժ ʬ^a>0(6I;ҁ[ 鑒C|^E&ԒuR^4~yq<H} 6PTDHުթǑh4%^^`v{7}@>aɥ D.Ko.F{v.d&8bA>G?s6#MSW4-'q%]h0q5 z>T 6ך%7N`§af}մL21dU]I `eZVx!-+ѿ}iNNfF¸DR!dLǸl.HH.yOadWQ8 M3mm܈ʦtk69 ,dU-qTׁ͜ҽs^s g] . M4%#d)n;y Ɣyue >O_{>.*KBmbq֕15!֬+ԩ?a@,ϯ\ѿCR}" UF8OMT#\SbY"7{ Q>tĐ^)* 衢LC[e2!%_E|X&_٪޴c)CAc ^K瑡>N sI?.5#lnTB¾Ɵ",܍qЀm7aD?;>K:U;5RdϚPr|coσ<05qSd/ԇNH<)緓Prf\uFkK<=|疖]i#D{|"ouLy$W6LReoCWfislp <4V>izsl8ux+h[JKVG"IT(:/T;UWxPsbh)aKf۞X:rGmS F4;c|UbJP 0_O:;݇ơ5AFtQ8 n6}Ʈ"$^C+衱W ״4 xX:ـͱkuU{iQzJY:`drf8݀g PVcs :P!i `*RC~ b(PJq]YgC%]fJg<1aS"]CVtJ]zL+ޞjzmbdh]uo3c*&$v\}tykG) E es([gà .pa֭zHlW[_=*pGK-W#hih[HjJC / >L#UW+BAWkUt8fk8VͲO696p]h-xF{cWPUc l+y?vѧk~0t[Lc=-Ʃ\_]v^3f!H4Ss$o68,+f=l4jk+y{Gkq{tQV>kvLbW4LF8q]WV1/d}{nx$8F/&Tp6.VGGzEc;hXr8Ս'ԇ l󘸸Q8zr wDwTN~6eh3Q*tyY,IEej=ӯa}Exc v\v}5$Pq_ْ4*{rVBbF9Ibp-D=dP?E4>N'(toy&`$~J,Gw 炕ep+hf?)AKN6^V,l @9yAWmip chx}m>Ķ'IW=J/=a`ub-PɯGƬv}"Vwv:yZ.0 bBw+d#pLL`: xyUH~W)i>/X&>Zx^t&]yC\_1¢lF [=c yJM\M8a~Pugx=#lY2vN ǰE++}Wgn=8ҋ?DH2Zo H{㉽yAB1Ȣw)?řRmUIUu]rq0baKĪcUva"j-Ej;x˒f2 m&y6v?U]U/ p!e1@AX]ic:U\zF2NFM\+^(D:||bsV7t`ۛ@؊L!7pP+D?~yd.)}]HL-UfFcs{=GE .#M~^=$*KvM>E8""^MXP;utqQV/.(lkCz`"ehjD.?cͣ:ZT$MN_R跜$&2l4'raST'h6`K^+4#n(!8Vʂ}-bf4=OnsoNSfUί L3DW:}~Q L=7 GIɪrvGCV:#3tNnu qh\hmF2TinGVW/C+bn"|"ߞX5D措CRUEsZU¬w $pzog;lC1hi.N"$&bζ5" e/tnÑnA9AS '9=y<萨_hIX-szvt /LXy)ۖ LÆf]֝ ,PQ KQ/a)AUK;ڍ`_ѳ> :Y%͛Qj<ԼCUMU Vituu+EqRAj[:Ւ. Y_EvF@a7>뫵eH{ac4eݴRJfz ` #8#/ić|R M;{mNKNьSACf(^Who;c $"Aup NTep0WNVB՝E.X,)!yyk4v+֣iDRcҪ%^:\ŋb@-X "W17WH< T՗]ڤRu>P`*R( $Vc[4.!KhƟ p#9ͪa-" 1}Q9IKEpy>;ܡD ʰr[X,n+{slX4o_aR:aP]vr}{˫-E`EAx>qa֎ee32_(|U/?DcY㊋`:jK7W*pQg5zycvטa.bxLAi E5xM=sPhP]3Pd@6qlGvH_= &1do<.,E[L9eҶ] mtAgu&5v˗ ȓOd^1^j`Ia [\<*uQue)6~&D*.6[N\8;M^hRBe-܂@՟(?_zg?Z.m$;IxC-Zv\glNuO}t i;y!Y,0M*&'?z0G`I;L&K-OI_sD)`2ض>k{cFMJ]gE WލQ>rgp_{*lpJOW܈JnMp*L)AZh98UafxDb6$'*P˵Axlwosx+T(3@RLzҠG7?Et 'asH~2L?U- 6>`% z;;YT{wK Q~ylhr;`ZCeQ 9&*sRE,_~'Nr"A'Ŕfo >\n¨|cUeelA>ڌja*i( v$؇12Wf(#R#^J~~+M]Nxr v_ ˦:0=OQT/s 1ή TĪ;jeDb {(ab-25 6Gf'0rv_GT;xZ &WEH5$KMRUL<>0/*g@hf_ 4^`c" pyom>hW (i9 ~Xv5p}todx wpӥDuQj4iRH٦&I$#t>Z1@N s:tN. AP||G{^RاG` GkRxќS32s\P3uqXcqs.Zm$K∳QζϲRV S8o^98  qP $ZϮ:m+N݇w\"KOsq攦VzC8rkȌuZhB| sdncsE^}CP17:5J()%Z}QN!Ebhr_BWv8E@EJw Z %+ȮUG, ?8}udJc`c[%;?/4_~"^Ghh\GmXKUk ܂E^{)m^Bk6c0s-t9,'ǔ]9Je 5z,Q܃'VOoahBdPRP5<@OI ?A>ޝ,A ԒR孳]Lل">ڷh аa^L[ E·i9u  ҔIº|QS3 ,<] ٛ]sk~Ò׸ _\ ^t^S:T,äMk~fQ 0DR? ϱh,Л|u""HBN)}}Ph!) 9w~ ]$_w-XB6RaY;-8ñڄ}Nf&7 : Ƣ=oy_阈nXo45L>`# 9їfUhwyځb}uvh1&S{f.\!ti*9 q˟uK81BV85v NtR61$@*;ζ2oM}q{^NRTL.ȸщ! PSɷ٧Fz=pVw*!,=QxMC SGU,2W. sͣ馱{ "^Qu&[.73&@%tdOIileS3R߭ ~E,}E({zcTYՅ_|[6|ʴO|$;&zĤ]`Y\/|Gc+^u` ЩAyRavDvy[x<ɵdLM`N8u2-HU/Nf#Hqn5e:CyiTZCb(VcvXsD8ij(6/.9EݞA^9_"SO!ӎSۂ6ɗ(mHH$_hb$N/c#_Gw?I{)BGu`*Ty e Q\隆O_p`5U_V8p0G{2A"q"< 5k|,lY]o&P6ӀS>FR+RmUMss],JiSe-\FY-?Ki)m>aò'kϨZyO] |Ziw ̎=MzW(VMEa 5.;q3kml܊c܉2Mj΢y my8qrDbٓuapRB+ Gv#&愌ב=ew k N+KEnj}Q`HT]|ypu[c2c1L=ˣɪe8!*֊]af CEC D'Z[qm[lI^֯I U܂SBAK;|PU ʱZ$x6%ΛCIo\tmU+_M)yϱc0 φ9襬.͒9XI0͛A&7nn~IHe%5GvwpS\b{gi!^r%PY'Jl[jk٦`Тsp6 M=W U*^߾A!R-GcJ-V~TObvk3dwJ{÷ЯmCñJ+ؿ236)#O=)"DW/퇸;՛]*zPl ynP.51l M;XIG"PqJ& z'T؍)2dtَF ❮<}''v8M ZF P+IiJ9&kAoO<8&tyr@_FV39< NJ 5!M'B:B}&Є!ݢHnO ]A폮:-m_+=o6gYZ7zXZִF! -]ŗXi%s%hs:Wi,%R :ܘpڥ0hhLMb _hJH4 \ d7ѷ(IFCT 8tU5&۸PtRŹ&!O^&>b4iɰ tBnF7*Dq;%]֊gH-AciWm)/|9۷W.5tjiMd|E-Jlh,:N.؋CCB+D[ɟ9"ykOұ;];ʮ BxGObit,;P?Q.׭KL|svE2Tn/K0Ꮆ{xĻ6D㐴;^|&&mL:|LkҖ# }]*fYZ>/&WH--lp*eKd Y$]0Gԯ;<&,[,_V*a#p s1g.֔^ 9 lə ۮgMkZ*/,SV;UΥ\6,|7KK,ߗ/t ٤ :+pH&d2ĵ'[BOH#O$ 8'T˼]+( 'zGq/\(GQɊagn qYAB`Ҩw4yZ&nGZρU\÷ ->7FS 5l*C+’-@I6P)V;F zBdM`?@˥V.DOb o'xg_Cp$FO6Hq6̝ZGv.`5$Ņx%.*> 1YGֵ?E^{-Hl5`kTyn'\PȻ٪H_^RM^Eԕ֭/1 oǸ*5H 뿒)ovd2y6>lt&oZp1íȩfR ͙^uЀKX/wCh 3r bQO9o`[UIqt۾ے(FITmEh۟Ps#JٷQO#hҋrW깦޽aex%G#~A1%K%~,a2O q[m}t4,E!U~iDSy6Q 䴳'ڈL>i"STz77p9_+x8U}\7UB뾭tr=X|~A^̞ T`qifJQX֔\g͸_( inM*c3>XKe}r<ۗC%F6xW  Eq4}Ji t'UҐ73io2Dfmt&͙. 6b [2y$dKzR|Rl~ӂ4lTxF6ɖ7ݷc58+c=b+ NU~/ 3I=SV2e(C_XqQ3r?=lfM)!se5> Mvo"7Mc Cz+gP?R33>*M5k7m3* /2WrYAD6=Ă8T-3 7 ϰ -!fH4aadD5)4 *=W8c(@Gw.l+>DNΜty2F?-oM[s0fѷ:dA8fȚ7ew{"gCY1iQTATvwm[([nW‡[ N8Dx É޽D!Ep>:c3^tԠ|ȍԱ;dj! XF/ܪ45ZFizEkh2Ki_4J_f>al/.)+i;ccԑH^q?^6P:3Tcy\ح'z fmV;Fr0bUBL /BV@ȇ dd3{qk*րN奍I牃Y-`}tH]00&WxSp, ߬͢ؾX=z@sm_ *, 5Sȼר4L sQklOf;ym'sYT!VG.0<\^p) ٻrϫimTk㢉Q1/]J XO$x*P9H?֔sJP`U+.+9c?yLI(A/Ucˎq8nZܭLu:&ۏ:4^`2?%TzcNM!iG²/`5x]b>5 go^@P5RJJ, zĒȼyڿʳE6Fa/JIɢ))OU>:HbBZ; `Rr-~(R5I="O3=@M~ʃ6b/C]*Jι~JEbAjfYG e GuXyG^`_\@Bv^n^M%dASJ 'ylC9!_!=.P⟆D>YB%\L}p5=Ћ[V~Jd wndGZAi#," ytL M#8pg).ze$bd1f):Uk[ >j<1ipV'!|GrklQ<؇v%y_k/4}//% Ku'sG$tCe@\.}D@hՇ!*|/ne:#^ / &vD4c}瑅 'Ңлm ź@*9xϞgͩ_ (2*-,ɖCȮ$yXEۭ"SolD[^D²Ǭ3jPd$.Z,4z,GPİSd1GHKm҆Kf9yP^Zʡ= }&q2MKt)-;m =4N61LGYΝr`ߌKtɄAOP0S mu-U4dn=ЬIz\I XZH`3}7Iʨ!pΫM1 '؉iXńljY}يAAe훡L_eZ6şZϊ-{dߗ+ٔ^)EZ{(3"qR1*_-?n;7N[%d%.l/ ev5a1AL9ȏP``gIu~%(LREzke-Jv=3ΝsLQhMU~R.~L,cYkYY#\Z6ᎎY3<*8 &3q)!SDi9;omG\/\[-"#}~ 1sDmcc!-#w=1P4R|;bM63TieDᖅMCJot&d="'#2fa\M<}YZekUԫwj<d_O+5Z@myW`n6&:[JU) w뢍Y}"o"CE$Ӄ'-p_,b*E_li'1L_ͯEs:%_E,i}2߳\C,Ū<3T:Ya<^8YGө?v@^7q2#Y@q\X/.w>NU{T~ýwϤ *B [>鳹=` )p c,po2W{w*+{ I, i0LZ+E^x ڢc4 kjuhQ$7 :VL ׃}x*vi / cNbp^VWtu䠷P$4x)h`x?<:?<㨋$Q: 0,AEP? v˗?>=m9xR$ΤRb8[D/.$`i4eܭ,x4줯?"ק)UlbV0h?SnCA6oobpX Y1f]:H] gf0XE{*!2~l,+ys BRWଂ,!]M9 h1Qt:XϰS#R] rKIJ||E/ ng X`K Ż=:E;NC8+W!ݍ9mn gS4D7moM+KnIW'tu?WM pQAfU@SLg-n*3ܧ+SeOWG, }Mr #Cv ^$ZZuCUWlcz +aT+~qg͒~I 8 Dڔ,V7 ⤡' rs/Erc>jm/e3 jW"hĥmVׇ닦ժ(9\is'&`;`$ X,7 &vK=uN(Ed{wmoϽ:է[Q*^-b_c%՜;3*o't>֚;c7Ľ\2>Q,j+Z cZ粐tU1}n_?D/CR:YrԒHhqIzkZl5O#RM.jdeݺAݍ|[5˂z[n2PӸH+1s{e~FTf|Кv.äv*G|B-^ODrp6a2N0i*, HWb*7ml&@T*N׏< I$M,+4Hsk؉ҡ=a2Q5h XU:we5)m 33c;:Bn,cI[SKl۞kH8P.'ŵs2%cᰠ Rz %~0f̍dd<oxVǥr% $ V~]˶]N_TBy1Q(~K4Kӓv6hˣg0^EޭC-u\M U4;B3\1f>(R&omSd;ӖiO6A^U 鸸.nAIVWEvC_ ma5gL/7v3BIy&0gcN|˷E{Lmll,PO'qm2SYQbUA]0qBtIE5&.{'l7VNg9ܵKPwS 'ZS29lB.LS⥤Ywwc);^lHocl!_2=,C`ؙzg7hI%޿1b em0"O}7HwD&?":?H~+_2_HT\LCVVBn;N0GǕ04 !'MΆ 2$vSU3?ԉjlLc"Βݦ/T3%f''gB[I?m;7z :i!Ckq`(&Tk*-J׏Ay&hH{TuAxUOw\qFm 6mL.A9[uQ ,>'?~)?НLEʃhF$wqbёYm#Ǭ`Mq(|5]Q}! TG͎HO*WPZ)#1\F~T1ܗtR ;,ۿJϻh/ZMK$DY+6_Sws㔣CVM%RŐ6iӃ'ugn5bu (6N(~É^G0~к p"k5BWxbDNiЈЖ}?Q`D1o=# տ|bvxQD](^ Fi=ks=W.cA*+ʦcT|ICD2nIy,tmMى\hs ϧS0I+p:[Z3k~JXih[5nƔ5(t~.j́I01`C K2gZb5ZKfl#ǧcw{/qwvp" Rr^zRB1&Vם+P5]p* a {bx)6Cf^Wk\!.]Wݒ/eoXK7-  2w84l v>'>%5dI{Ϫ?X]"˔SLMEDD:T~Ύū'ke}-pd޴چknn%v/⺻Jn#;gbmj3mWgt?D 7@W@(C@ȗGێj6=+'r󣑯,@?܃*jr H?mL}$?WL٨棤ՋSnp覺*s[q r=nY[a=nOzLuu+HaexZrZbPїC[U;X3 Ea^ӳND6/JEѣ8 ҡPlGo"  c[ܣx&%6!E_Ć)LHD/Av녞ZX S6T]j9?'Lzɽ dHLTABe/M=b[rhYr[qK5=p罩JmwVM8*wN5Hk|_X^&-Ȟ>Gv^L<ͽ|_oAE&|e<}hYwͰ8rR1;A'ȞT;<$3%,t[I'3hS4lS: ^ +D (aYYqM>E qKcȡ/fX@Dv#?XɉAIdh\hWe~;㭕k >bKe"=XSP?c%>S/a^0\&KOgp_U~@?8'j庐5b{!zIn_a$EjWF_,4s*cAņH!3r 'H ha,H43mZy!~73%׮+_;FJjQ;o!ѱGPGf+dUSfSB3 Đ&ӡ'. :io=ٵ5WPd[ FCnav f* 4 0 %zS;$9-EyLڒs/8f7R|4'XdX45I$KaFW9\§/@KB(.:`AN3*q~'XE9IGRXa2I]`ƤQ .DAΫfG!8x-* MO4 Vݍ 8/MT謡(:ܔPd1K,m6ZRLJ2X_0j׫Ç_eo tJw}8 R\7rA7G6~]bAɃ̻}<򆺞FRض ;÷c@݈AE@y*"_ C  ?AK}D߉]J+O"Bn5В06G {3THhLύL9 *WB k>v=ܑ#<N ވjs&?eqdy aR_mz%xɈz(ý'VGv nLܛc.EձD>g} !}o@#BGbxH6i/˱Sk<{?/n;/]oJx8zz݈pO=*8\M)@ư SRD[ԅ Eǁa hERbѴ`sMrRLOԥ>_ e