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 VVr!v4<4 ] LambdaAuth:threads=4elapsed=68.535cpu=170.932gc=3.9687zXZִF! D]ŗXiɟd)&]hR̹@#`wor/kɔ(Cwr$UDf S_XlfV97LH1b-8cU,L/T7ֳEq=l,gJѧ#!+/+piɵo(ܕgPn`_0amɽt7/^#"Ƒ4_c1˶9H-Xxu|/#(ڽumLu7|cy!`";ȹEYqK?+FT Qԛ5dQǔ9C&E j| h=*AkP@ cL#h%XcY1S:0u}_ݺH6{.n=Ѕ^]p  "B쥗MI3C-vvE ea3d/[T{ {z9\.؞x {+C:Z7n{%t7\TDE%uZ bqՑ`mI8c`)N1+GN^#'DUߌ. zO!W[Sl}{[QZ=7KH]?% d89 npضLA$jƅ肌NoQB ,QG_AVMÈэ}^Xy@"B^-/Iu]rBh9&n, u4` 򞥯xq̑z:\*E>._ h-x DϿ4k=dvuB}#h+Y|v_.#$PasaG1 @EnaJt [(NV;cG\(ԪlfMc nSf h[kSWą1*V[ юhyCMlXGRN٩=K|!9[ IHپIlG0Y j 34ګo2)h$iRSU f P=@iTߢaGaD'q2L2{T,|'dOb.VN[D)@{,gF%cܵuM'+ޮC)KU,7hmD-:K~ E,r(/m 7^QE R׵G9Wp~fm9؛^qա\HY1Pt$=F%]Zq;ɿzbJњŃ@~+Cu_S22W:D?"%'"s(^eXWVĥY-~$y䜉Bk+V$S@l=sasڼ^{T n9C%Ȇ[FĐhzt peJk^4\ -Ke\k]o_URQnyI՟nmztLS'>VR-EGAm3QT/2*}ޡr .P9ͳKNcX V_¹Z-lfBvd gAIGY$\/#|iL(fēGv͚R o bh6zx[5 EC+el">7LY4P%Nᠤ̹G~]st*&ͺ~jS~X*n>+r (cR\jaB[ţ1* JgdkÐ9ES3ޅxLƈ2)T5HmIUsi|1 tdGb :%YajteX}tv$;X() xG];k2N^59J?:J?!-wwDPR^d|]so%aI]zy a*=S =&?,A+14xoU/V]U'|WP /ՙtpGG,$%v8j.K"X1ѐIȥxǹylL _UIp Hv3NFK7vlhc~%@,l_jdyUnzt1;tRM;O+Dq3pSt-UOĝG*(ĥS@CtIv 3RvpH6>Vmp>SHZbl!NhBmqB·DZ<2HMMJAdS-IDGg"-d+/ ⷝҦns]Uʂgknc ӭxO5ėY.mi5w^kg 錢[euB{5I?K16!'P?D7϶]7C?XԲ՘vO\9gȿ o?Jmz0x CjQ|}q" {-u"ko<*╚2b!m< g{ d!A[q`BF -\<>|Eus8"! #P&WYvb?Q0O;lKvHNap!&qǚY"Hm#r0́R H5TqF1W?OlpJp]3Wd .p$Q(o}-AyA1N{o%Vw-u/^EI7 hj,P,_ʓO˻2hg k ڃ0JHhe=H_PMjȫa]'J ZLE?3oތoD53#:?n z٦Q:6q{OPrkn1ږD\ϰ.% sf(oW `ٟ*ʦטޫB!G1= Ǖ̲g=~#}x*uyy{8lGH.W DiyxYڞ25W;DNC#s oI\-!nJ]#q2Y¡BIxIia( Qzy(3UH_x7*K4X ~iJE@n-}vN5͵0?4|ҧ3o NSi`mx&IGW*# !%n<Q0+W`]4:CЯc9[bO ^ pm)=yIM8}hvIq4g!w\.F +\t+ʕʖZY.- Lp<&QgI=.O lr)3$ ;>j|GUxVVh\9 @eEI=_[4 _H/ t3Ebe.F *L9B ,G%r,n wG7 ) k xjYyV)`e6nF\Ҵd:p'< a@&랹(剝&R>5d=$Yh'ƞMSq:n@a-xx lo#{26xZMfS :GBu26piy6%yCN>㸑H4vx_5_W&S݆=P(S1}s-FVy gV6\%$7WD'D#AHHq$w~`߂}ыaƶ<$f}(LLP ئs>ڑRNH{:.^{6X Jl3>|7}$.:g?jqsBzhiP#ɹ[G!H(GXJxihe B_H0rK2{W›r.1[K_Iuz/^!@}Dd.k< T.h5x<@f /9gOOWoFM s/ip˨>qY|Ӟ#xlD X̏Sʬt_/kP  jvV%B^V?=bѷkde.Gӧn#b}]L ӛSRB-dp&&d ՙ7|ce؃zNԸVѝ=?}:"&h/<ԦK'3ؕ3xڱ=S3oT;[#)Ic-hxkTƱn!֡\>PcL0QͰa"h>s:XeZNV[}ق&?`+HǴ&0|{<2fzƛ̨XZtP!|0U MZlG047Blef6p^b{@bNb'C0|*Wl7|y\(^#X@Hbr16[_;/V:hJ8v;WI5Mgﺑ_-&`|q ӳߥKEyoBKUl:ud9iE\ve#_]X XYβփ):B jXh-m6)7ZG&:~1Z5e8n)%RN$DjwJdPQra`Ѥd.YRYX̫H#t;䎠EkL?sS XXuHںw1F&Dycҟ+g9{% ^Ol$1*GVd O}ۇк @xkxF.r/fK:A< mMGB!fT\^>C(~3驩 ކcSW"MN/RN-DA%{^Hgc6H p؏o ?ds– -fUHyȘ| ]YF<OQ)]2?n穤#»^\ z"J<ljMl'twL([X\/Ug³ꚌtbƽQkBvAȍa\st+I@wgy&.֚bOhk.>mjmVfOEQ*ɪ\UXlJ3wIgvh,ݧY FYY;0He4Z6w$Ϋ!a_Gun:n #vh$l,){؃,GOHmK[l[]Ad .\4{"T YrM5EK}RKo"% { eXyw'Yh1$.NДDRB$.ġ.Gw8v$bJ}t>bYސ+V|qrZGS]l z(*1$6:oⱫGz.mG.h90hz- >"ѣx ږRBm$GUYSR[пZCj_ :5$ qu6!v'B\yYp\ Uj+g u[iqux?$`3hBbP# :菜p+:i} Rͱg>o(X}#=^m9RBͲȶ23JF$@^ &_&},pxg$9_Y!tR\ceUHLW<cɵ>s9f.n VQ` pR] Xt2؄XO&0"v2ZeF*.xc\ɰei[ g2FD|Xf&ca]y]s~נJ7*ǂ-1Z"LLšHbsv0 \BTN /v$_\ cicB.:- m %˹&F+qxu7~~Fla1bl$I%9XbWIwc1melrb LoJP>&yy>_6P" P-D66ޜ $LHꙙ]boHrю޵er)S \s5Eg T@n ss3I8_q`*h4!xP?9\H ^qC]Y\>Xwe*W;3#7&ua& $!θ(-4Lt7ps Pn.q)^VL1=b&iN3 )bceɧ:}t(+z "|\(+@J?|S= `+`%_ 8htqGgZfj86Y'F6ԵmmGU@+RjN_fj>Ic70vǴ?Y4{R.Ƌ9Kƛ(N[n f3;!jƾ\ܚc X0otpRЈTr(ɁCK݊: E<4uӝV6y6g t 7$q4^B[3@P+v ^ V[|<ז5\fF3G&HĞJ;~(&w'gx0/,{[mK4h9KL3]5Lf}#h_u)DBos?obH AZNA06\@*`ҙ YFaJԦQ쏏\6-6('~T G m *| .܃ ZQ* Yl߭ysX/ hwK6ܓ&FEЋ:QQ dz.'^;skIA R@:Acÿ504xouL&Ir +:U8T"U/l,XO!2{RxGqoPr^DOýqlMxF)B-F c)].s"oBUjX+wrBHtea/xޤ"dfp=\Jѫ 0?Z[ 7ZCYv?RΠu\yM ŜdN;]S\.,Ajdp$;^Fcp۶+`Q$XF7C$>>Us': ~ոDĬuN i&!Fw60S$%<+R$A>N CJ`΄KCU6Tp5Gt\VZ|`ghfeGd&4ڮi0j(ߴ*H` KEѭ:W静8g p&+bc(2S)Y&|mMO> X#6/bah)^ -cMȈ ȱY>!̺h t8{v1((B%&񵒖qTu=N:PzBggz3/<+T Fݝ^۷-w[jݮق i,+3iqM_Á>5d3d g[4.z@أp*߰?4j8uX;| $xv1> KUw%R0a2 . ȉZ֕9/+md*FYײ ts Gtis~-DXċfnNAkV$^dǜ- '8=S[gsV/;ʄ+~_ }GnlDk:=.'E7/D/u~,/*~%Tȓ #6vLf JzMz 9V6@Զ M&#-/N ͕Xl b<.!vj&IMS)PE 4/kl=ݮ-#R*DMߦ>jl$!k Y'/' HSea #i-7ɣI82:mRl1GkJI{@hJY^'|\zuHkb%5ޱXn)\pe| G>"WLXCub2{$K"Onw:mKseq[S&cq RrUG/_Wv7Y:X")EcO^\' Ǿ6p&/`a#e;ނY$ގÜ3pW"lt2*؂$#ͽ+i@)@aG̓^1ZWtSf7vRxEp49?w5ОOsQ:c:8%ePFøH#x⇤U`vb/m,]XFM]y@"oNvVOh5&MefLarMH8|fF3V6͆Oa;Xk9z8h}aHغdc4:z@>"nkԍ@i ~+\8#[gۘ:lvtيXI`o""T,C5d^LcV4!{gnr%`s ֬D+Zf'(a!(Lep00~"/•9wl<7$Fɏ+A#G9 H:W\$E⮢3"0v\sԭ;4*a=D6wR:ӈhS\#iCm0#e4T/mlWoVtIg!Qmf+B6-VIu_h- @Zɲܧɑ:7HY3`T-DF]9QF.:k |]'*N"dRx4 ON')lexChqks,'i11q0y'fQ>5r Ce$Jc  "%!0 '}W֜Vw3vK/[LiζSضp$(h:S "ƷhB^#.0\|\#>p3ѯL({Aww%^/3py)UH-xxN}Yir,%ja&R4v Iޘ˔:JQT1X:(p[yR7 TS͈l'\b7' 9CTGŴP* jLDjr]щI^!%^^szk|3q USwt* tܯejE +ENU^T! X 63WbGU[8(dV95 QU_ "u$[aAaOD6m~S73;sVPHd5SucE@wbdn#P|BoZG֜ Ng@zH(!55X: x`3F!SuFgzU¹!HmHEW_D  |Y31dcY)Cj:y u ĶVT?=wUҳ>;7~ emu7B@94c ۋ@N B:6KpyU 'OGjZV53ugضޘ[ <,]qJfA?X 3\2Z]J\MdBY̦" e$ q -d_G(+ 0Y T[h'QyN&(<|`{G5 dJŚ,'ʬ63atz :DiDǙs6OT1h@yvۼ[e_Rrxd _jr4JJ=iX32] AiHdH0A__:Uٯ-6t~ų\f }if؈T䩿zZpg)*° =h72}p.}˒]wQ {XM^qqvڨسG*df#a`[tEjA'jC,*Δ88f1__^09]>wqU7nK1iiz)b$>%Do*]ԝёkAi+ v,W;<p$wAq4ٓag9ۓZp$PjX7ڇtf rzDeMSMn5,𸿪_jr}v7>n=֯ եFzR{Qħ&kaK}'}W/`^2WN Ɔ=j䞔Ѐh)Deg-)95]N[k An5H/YɸGC$u1'-ĥDfuQӹICM +==^Xΐ=p)0ֹ;뤋uFm-YVdr\g4! ڰ n:aR%]^5V‡nDPF_vO\"ܠϼe֘ܥ*]6Z|o"q<ŋk^p#(rGJ\W̽ ce,%t 1#ĬKRp_'U]Xk +2n7$^ d4XW\Φ k7 uﴜx <7J^c.Z:H#ƒ mXVS!]"l\&+"S2WVQ.=Eb^3"ؒYH{O>LZI_-O S|D~ª^wjȂ{Ha !n}p~p'JAbK^,[hKoޚC %p}fW@zmɹQpʧ sxG]wo<A+Й4K 悔E$ qь?eӴCSen'HCTN2.Lth[zQxFQRx 5@f(#sJgv! vł Z(Wf w}#pP׸b})f9Ja]3 6Zt~D uZF_m~V+Rq|~h|2ɴ2H[\o߄F{E)P[ષ@eM6(5LШ%K@0zF`,g&`t V#Ool 2?쪩 Zg5o n}Ы kdqBS$BZcu97A*#p!lm{bQBf J?^DZyJZ~8:dMC8Э}2=9DJ0*4K??[JQk# [] y;}0@8C%"oޤ^0KᄊRGM9˪U|jm<␏2GޮrMTIWg{*8AX?vDD/sxRo!&)! O"ϭ?Dj Y\t5ŵ cTЭlOZZ[𜲽;ݏK>AޝϏU:_b4qOa{6~ idP Cwr'8(ipM KZt gv|,Y2pW(nkh@3xzvd*Q#y8葟tLI'Ì2&-7o2RZ(3xg :@L^Z٘pEk.Fj7Vew{hjEB:9sIyZ=]! xfUg=X!U4nVz)3=Ǚb>2\mܤE1H! XYL q*|7ޖPhb+hIg:%_*kEzXb9DzniL[N?A+:Ň:JQX~%&l!7)%ұ@r$BLkl"p@^vo7YS{Z=2$<ϫRy"B oxavSس߉sn䠆Ωhؘh~r(}[-,dOM5d.|~o 6v\G˪pQ1F0NLZ*$X'6ūW Vm7v3BZ"PA ˜ ::. $s=T@! sab[HBg,| 2Q/N绸.'G-U,O]8\籍nc@>;N@^][px:72IY3:IU麂 Uҧs@ů%-'UMxc8m3?~&Mon9e;k 6:g}Y>A<$5  nzKXKRޘ&^:tOjb0 SuCMEs6dNXDRO GkIO0śaZq1[$Slސ93iұ~Xs\>XdI^ ]:͒VA"<1nLXr<%"ũA/A헁:oJ*F8\r-@g+g&:gO|*UuB_3'n{Xn}xA+;9ZM]/@4Z*S."ߍ+>CaMyXyՒ$zʨU(}_dlQ%4ދ;x14ZS LPLw<+ʣC٧-IIY/2X݌vq7zg5&xj _! FWD᫓Tj2 Y҅vitk M+I*|T1`(,\@Ƕ&<)7:|"؊C4sXO\w2]#OhdۼB2bpT#=`tqhS9b D.pJ[B~B<К:`[vUZgV[Z"rtxYVH<4^ID %* a.F5 yh5͋.s 7=]@x5얽ɽccԦjK^3Qsw:vW Rs(q~w]F5C#+x?54P% Yewvsa}5yqkҺ?k {Iu|μ)'W>UN o=*2iXb>5iZCW޷ o=5ۢ#3WX`S&_`%)z'! Uq+S)G(#MdzKa[u'@UQлZ~,!]gLA w!F #[HpSf*u#Xc kWqg>eE`zh mnyHZp*,0,!)" H޾]T@i%HYTc"ɒ n`"c]~( ;[PP0yLdyMMc]d}YL{ҍ7,HZ&ִoD$=VNEzDǫr|n;w $A`7}5, F]ĽA_Mg7LlʥdRXR,.s+5/ܧIE2a+GncyF^M_F;ix+f(z|Tghs0Qp;;%֛%عV$&.PW(, ˂s#ysGH3e6~rm_jY R[6P*|Vu!jt%XI1D4x ؑ{s2*hxWm+zQF% mg39Lϝ_KS]ѵK |Y#8,nro)uXB[-N6p*幱C[g#w\"+tӕ5F'w%|׳EМћip%BG&bBMvsI7ήB} a XBߏH[Sf(+`1E 箌倥 {0SeI8)4~3R-B{ɝYuՀ#~^+]R*Ԓ*4C&PY8LnUVGOPW}-oW^a}y=1Eo;PrGru! Q$m*8A;-.O9ICzVɤo߻:XC\)?8 )%>횮(MC3穖aN[øȑ/R&K}J X@;309)F: +{1D NJCzyAcRZLqs9}Y5xT0y{(o~ˀ=>*@Ncע82ƻ)(dY*%#кͻ>ОjT~ΒхL;ka |u2@pvJ#;:TwYy"Q](1wLq?1#H7xj߰SWA_Rh!nr`ɓ'&+ p/͜MH[ˍ<7|tMc <]Rr3E$#TZ>1YC_n6T:A#}siwDB[*[Z;vDhU3)I7k95=Un{=Kk![,yȦ[߶JYe浟;%7xre:,#fZS׷3pvG*X#ߟD/DjK y51o(ʏڍ)w[a|7vIx}圁 O7ݑ Wnoİd;~>!M|z?X g'P/<{/Kv훥)j,ୣ ` uDQV]x/odCYb}q!5;--|)Yx7x+Y?&l^Xfs' IjݸBiAHn㿕-pm:)x^bK!@s"ſ{/! y*qM_'~ɺQne0뱞6zP"R.lF;\db OTb2lBQz(Ż 7NP*:wGLφ gh! J>_oBWt$ 9OEaTYs9+=,V=5b {*6eqԑy jzz]) 6E^*Sv$ O g¾NBE&k oi"WZK#agtTNrKoy0tSA7TYnVژyR71nb\2-6d%"OCunބd /rU%I+Aup-)I1x4OH`~9U($[vmPʦ_"a<2:zG7m!jAf@0Έ7* :ak-MuFoY1 plb}mX>@Om[R?^4j́ =¨?q qXM7*N|7U' I&7Jnrydx2~AdN}o?ND۾ /g~~BL5dN_Px&-+t\Fn$pFv7V.3ߏhH}["AG#!zn+BRZ>28{3|>>„'̹j8r fǩJHK,:.)m- /T |m' GO(:h_J]!5=fZpC]Oe_TYNwn[vfRzߜ'ɚ¤L`s\7tD$kW]+NEx-{}:Vkۅ@#a^ҍݾx񜻽%13x+.{^1E^ma|g_@gE$k \]_''pýO5sl\mSwƙ7f7{4ax3̡~|# L+||"p`/O؜l&z D d1GBXzmZLdfQj;ԙr-q_!|ϖ`v(>S FPu*q0@};;N9L9{ՠRsiS!7 8h`Lޙ*n&PwxAݿ}7g(`;D~]*5!RNi׸&SL۶дL"sұ'-+y1=sKߴ8lP[W1QO"jXN$qz? ⺫.C# [M[@Nre $~-Џy)ޔP>dF6jR9bm @0"6B Fu>)gK%kV0=TV{i 8lE2(3.L?񭄦Iȉ:ԛ؏ڷO7&3=Z߼.e^'bF:PVQ/i̘%8VA_F0S *AwH`Y{sd!,0BG~9Ɩ$T죲mP ċzc׿JUxM[⏶9nM6EOLeeY8 1bEٜl1|8lchvӢ G ~j9KW׬.n [YީQʜt:$GId]4c[q):lhF5 윑]?`7` -&QX:nFBtkh:U|8lI⯥,6\=oDcdzHQaO(Mv{atua砄?fIB-=x% Zp&b>L>R#}L0)$u8iF],x:8JE)5$"4]kmbS2b!#:=)h-Ei TGENu쇇MqtȐtՀHg:\x@D/<bN5`eXE$unot mGwݪ{=gAG3~^'_%x֥,|m@tt|5IwT.3tS "RsCwAjS ₲ižnWqX@_=`3cKfQAò |F;2dD`LH߻)>Eh]D"SeŦdfnZnhUf%7/Q)Hy.3fByd7_A"}Pxbc'xMD&eY&"JajyKL#^8'&EtAtB:k[NB:jM* 9q9pJC_i/Y=tTppLobuڞ1LlZƹQed@m &Mv̊ H͞Rc o e/+l` }9yl<=Qx88jZG_yIpϣL.c~wVʯpt09;-@5oJe9]go@:"rJg͹Odpb@pMl3@4pT1>U%؄%4OOdXc\ Xͳt9,ƷȊ=#S ecB(z>/K'1LWintdyX3Lc>\5SqmT4rb0|i'I`S]*DW6Q(gSNGQcm(#W|h[>=VtfpƔ3' :=|aY:sهz142]EGN/Xi{E7šE,9)12lj j?fd^ 6Ԏ{)\@_4m(xkPMNIa!}U M䀏ڮjoϰIP=s3Mx3AQϙe:]Iy>@#AzkqeחVDp(`TߛoSJSGOT15a+X8Еʠ԰I/4"1$>!$[bJXk6 {vڮ-#;r)񉟧ߙTZiRFlǷ[ l}$+9mq@Z#B[/CRQG g93.djr ZZ_|7'^"e=8b2EM:ͩL޽?OLcV 5L wXב<';#hX-dX3I7 /g(BNPmKg״q%Ǜ#>da؎ZW:5 W)$)Cd1rݚ+'lX ?1xoi.PwcZW2AoSqsc"s-ƙn"Gڍ0X!CG]Fx|0מi4}ܑznֆ ә4tM776a4165YEKIW7JګhSh9rﰌU/ 2lhF!׮~ݖf_Xw PʔܡA{:i=:W2RzR&CV/.~W:a6k+UaU0S\)SȨ´W5,gv QbIߝ`֑E22MHMmĎ0;_Rt^؋P- 2ܶsh;df%_\}<.'6EAވs $DRAGUtB(0wNM9Dx_% -?,[#0p>SIQ0=ث"̘{nyX&{z ?gMs;g#xQ\<1:iJeaoB<}&^)A3s,<1|%F΀L6;B"#2eJ>X10CUv_`H⌈NM2 =#ҼOP|q+BplT8]mٛpe(ᕒ`i[s[ Vj&5yM@ѝos2aEWN '?W<>P//8N[s,h ij)u*('bH(1ɗD#کB⒑L- n' oy] MrP'qP8zn[y-[է|;W"R;agd2̈́ n ӿH K_6kt7+ןuߺo!,I?槣i@ -BIQ5Ԫ$ O?"aT-SFZ,a老!dW뇉([a0pR3iMuif!i(7bJ$fPNRwcdKe2ݽWZ;EiZB z'hS܆ ѯm J;z:]E߇I`RHMW^IApBVr%(It35ca 0: JqkD3T" ^6F qd\MDGڐ* 6Źj J qRNz5SJUC-BPXxJčOˎ?5HDRE Bǣ@ _\INO vԂp,KFJ#)dBA+UA_ԕō9P%4}m> ʻ-YȞj9ɩZM3w_U'J!<& f`qGܼs/CJ1A{*E}CLSHq09!ue\K֞8I|-{ߨp䘩!#@D$H@r#ЇC6-63 BO"怘ߘcXp>fz[æ].Iawn2§wʱO/Xh:]hXx 53hăC֏g%zZltNF`Oꂕp-ih-ݭ ]mQ {L!X+ʟoM8O{f+^r`'dDl C=av}QK4)+`$z$w(2!V>}r%seZ"T3oKhWEJHcޑ,itR@CHUyB>m Hl-gI 6A:i?(UxHwg$yEame5ЁH>SpP-1iaa)QJ?39;&zh؅voOFe]B\T*ùm~щ/2]KB:DTzvqx^j;®xj dx'=ᓸʲ&pi[{[":m.haGy ",#*fJ4<:#լ"rSi3Z`̚F9OY4aXh>/VuH#NO88S3H*7`U'Ef?:H%{0qqoS@L\_|yõgL= wAݾݗMwtx7Jk4B/[@2K% Ӭ ~u2"1?q@Ö>5gش*ŊBD8xt2+'GnHW1x&XT<>n4!S|t3C{6~PBdp&ӈTRqUכԚ|8׳5vo;+WɣK#Ke)!Aw3uo|vN+nm_w"V|ŵ[VNmJK\b>>uzjl;eNHG._$KlE^A KW9\m;)w}xl]~`'I̍ҵK)ԠUy7 /bq>bY=IJUQIˬ_pW[b[ 8t ,%`#y cgrhYr,Q{؃ri ?" _N a-ikߘ肩ʹǏbÃ*SWƥnMe5Qk|E܃BhڠQ۸ic݆?7JHڵ1BfKaҠovZ!Bx$ YxL$0ώ;ꇪ5[ЈS?83= ٻ(Oו8jSDVTZsjXϽvm_$W~dѳRO'+-$njdLGʫ] Y 25s2Sm 9d~~9IΒQnNޖ/Ь`)Iö$爛?-Cp>gF,kBTdv357/U`ݱϜdyفIyǔpa ܉㟓qc;xWO!IcmƬ/ry?ŮQ%.T\Hkfi7Y.B{JT:>pX~by-IΟ̾ndZ-vnS?"2c #{  XF@Av҇*sA&m:FFd,zf zz]P?iX,:*Mӊz~9uuoTlK6n#}s?+ߤ%fŘD$co-WH01kq?ئ ,pV1Z\O_OabzN'iF'n})ZQ[Vdzv "Mj?CWS; KAAsDQ é>I塚>VKuf Rm>c~.&DžvWsԀ 9* K7W ;m (9'uBlUd Bv-i4YE~k1ǚ}AxY.@Z>)7 6Y Z(E.lHjD։l*^e5_ YA7CЩƿL9 <,  )xalNـ`͎ _P@a:OeJE0|6Ynj2jʀVaqSp9I?M٤筻lN@ĦPMU,uƞs(n[Xi'wRqxjͲ<%GuC|/473|6-m2[dz_Џ0삦Ɏ~VwD~Pc^ :{ؐ;MJ]5gQx;)ЬHvǧC¶핬Ƣ%=1S6v8?`3VsPУQ'+>:ϡqx_=%$ "y38n QFTƮ,cL!>k|`H~ >Aw<ȑ,eNj/nI!B,vet)7|**$AV$:DNAiy)ɜ')9aFsKiq,uj&Vr)Ud000/ُC0=zLE e[eKgS-`?{?LD eU&Eh.[ZC$:0tpr$>jޥla1Dp1M|06w /4n /*  c+kQ]oUoڛjƮeB3@W!]tWhJtH@4}[.<]taiqOּ*RpU:e說yPjgkoFY!b|ҿ$H xp*\]!7V[%5+Ng);pV$wIy,Ydj.b/lضvD^Naͦ(Ҁ1鐺k0MeD >K+SǤa:|?4u{,2=FA2GLKPf+{eG[^+j}<݆})D.+s ]h.[Iv3aqҎífJzN9șjo RUqe 8dFNJ|G2xSzIV- .GXܨsa{n6 C9y?e;2Lo5bUXK:LTj)qTxz26t#"(o/1HKh^QB.1wU&.w,@5 _Cn$xF$aPP#7^mC-,Fk8RX4Y,6("TV>]?{T o؛}f_5iީ"H) <^#Pkn7_M.CӰQrlNVq,fWN~~%QL;HE}VDzEՌ(**R*=Pk_"B𼹴٥'N ȝHRŞ[<݁"E:mO6ܺY Ե&zI%jwNi <sܨ3NsNAq/4| ھ &`pkcq> ߒNZ#]*? ><_'b>y뀡0AjĞ*zgXOKTc 2S Ӫf萚31T )E yp:7Iõ:`&ղL;c 6`1\@CO,ҩ"(^_q}fJ)pz݋SzHsT?01umWL e&I S|GHd#ZR=*m 'RWDhv] 8$Qe/T΅g.yȹ}hi#)~(0s ㇜aM:m8$Ȥ*7_?M^vJ/IM:A> oUs"Hn<8 ^g";v?z3X6yiqmH8"/D{+&=mIi)Z9␐U *BtQЂHN[t\G* 9FÉEyhF$c$m>Oノ`b+vBucc zlz!L ^EiWŌZ>4u 4M9첽@]i%`楚 J꪿t-nj';DG\ռGkۋB@YT[p^ ܃#M jGRMn 3@{Ew\Vn֝ʌrBkGlsiNm%!Gp9fժ[KNh' |- "I7UgY-"=~FDnxhrWA;Mga+/7 Үu ad:܉ƹ67wqf?\ZqA$'9*ՊG\A/J\RRpkp* =>Vwv14js-`BNfdaGy!abğ fr (VtJWt,;T̈́P[F(Zsqb>,t5t &IY,+43=g5ǿ3O Ak e3щ #%y;ơ,[\}V}eD _h -ǻ=c =MgrDN@Z}[`JL!.Hxrq1nVJBҿm]NJ1}eA /`u_-5"bb~e/ѿrt DrΨ -Uj_{A4V &^ .~ZC*5jQ Eʒ@?{GZM"WoL>'(ߝo/WH|/%%Mvgo;lmRREFa׌oFyw,;mw:{qNj6 WW@Ȕv[ dk|:;`Fp[4(VPNx.3k ym# T.\k;l3]4N%3e@rSAzbeJ0;ǎ0+,5<"Ish[[ꅔi݇CP6ոv5Cg20J ڜίY@ >n) / Uu~X|\1 io`ο|ejw|4Tg?.%khڙR<[6~%ׇ\NpELOFB{:ړ0Yl)+OŕmgM*S r.aO_o ,$ +2ĩ~~nj N-Es9Wj~d]m>rOρAt8˝Q6#B p\ovTm'Ԫ$QWWĖ W0~si`$W'gtr:j< e3`K KTarsK;KRlq"eu=3[.l;:ҐǓђA?ӮVyfsD+0V7:4dQjMNem*4ړJSa]sPEkJNMGb2J$o%/u:į >X\[W+z *HS3Q3<*B\bmKhRXj̥8j69_ǗYivowk$u6 ~oCB1fͧMd١#Bb-Rc:Sr3\Ի?p,ߢ0qbS"/u.}=7cM J5 kSH:MWE&DcSZ޷\rIlN4sWŏG ߁a&ksKޡ=BI t[R6wlǔ@X7]tVO:cqna23]۹]gA"kn$g;{uoH\l;Nu0kݬ NaFt-;➧L|0kԤ }ԫdA=:$,(oB+?؄&[.oȶ)P^ה:Nv}5:VHZ`b~݉,=2Cu^#K֧j"k\} 'Re=Wžg1AInj4 2?=h_8q JL^=Htf'Xo&-JZ "xDJk$!Ąۦ{]yZ4Ik]XA F9ú<0=EQRO [!2yޝ7,/#p ^$יC^9 CGUS/}9@v6qrlV N\Sp짹ϑ4|08rmԮUK %(}r<{qVå<|>G.u{ʩ's Y% FMU>RHi6BBað;\1[>ŋќ諜"Tm\@klSl [&̡$GΧv7[}n7K#ƩVȺQ_! d-xK#u$FI9/VNfr6EבO`~.ˢ ^j"}3^(qSlK1eޔ. ; 8լp(~0.UR|s6Ih3  0-Μ\[!x/A)ȓq-^@6keuj1| (U5ң4WO84=TBpY}}bZKVHj0d~ e>e$[fA$[A;m3E'gK:Y验t$GQV}m 6KT<ט,C( O!*ka<5-3>0T޻ rj3M[ὂ=ƞ%Zӛ_ ԩT)oSU \`mD!CFNJ9#`IGFL_1IʒC _]L$P9a-3X̏u`4E ʲd<՚f(@R[A$-bd 'fKJh< ]g` ^OmcF{_gkr1N]ۓIB&2s/25O}I&-R.plMȉrʝ'ч8wz$ =rm20{>y ^nZJ'cb*GrS T jqFpuq~My`:<魰k9Ob'o.5@$X AQ@D!rL³gퟬ)r-,"u%|&v|h%垌^u֢31`$Qy|B1xBN &bWaUL496ªtf_@mǢx8ά |Ǣ-xgՐtjf { f">xsy/(pG>+ rH7 -sab(# Q Jsȃwv7jd]&@<϶vrUWo <5WDxEgAoeEX,gzw65n%5v2v_.,ͤuEK^3 '|ץBL%يuXԤB:bE]ݝDGj#fFfg1H b"vlGJ# }RS ەYΌ!*>czlOڪ3&mD|c/vutޓ8 Q [[("\-Ϋz|1q?.Y'3+zbk!u$r~\KU#Pd @-U UD͹j/H"kICǣc5s6D[M[/)X+Fq0RaҒʞȿ*qG}Ply<%7y/BuKBM6:{e~#WgRW)1`RAvFtaXԚ2la\B `%do}݀6P{Re@mFJ01d>{o88@炡\dvHmiTo)͡PjD,s"s䇕ɩ~N'7 6 xʞ08R7za+!?:% AMD{6cTLc*^ד>l٤RX4v׃M{2Ќ& Uڮh$}"/6Ö炘2~f>Lqԩ>Bt,3;󰍽:ɘ%7ȋ4Ӫ >D.BVpM[ A^H!viNeX! yf)W+ kyը)=ZDZ(S5? >9Tvvg;vOAD>XېNFҲmƫ=AJA{fZ3n;aUף3H ?V_ c2f3 ǁ*H-:ۧA2W9b I^+^(6KuPF:ҌWa@6(R!pİq5ݠ񝏻2iǭch<{/{pA7ࢆ)V ^(hxNZ8u6ku'?9\ժ]h3S)GN4Gĸxttfh=a|9S o1ڵV;lgɺ3iQLfB`|F |܎xVxT"Q0s7r-s" Vp#sY5~.*'ެ #P1rz`RQvu[dᵉ,I7p@F*R+!}IC'_PY͗AоSUlڠ6f&g@E K2x՛yXBNlI˷/ _Xb Y?w|tISUG/-UѠpl.Ma֊c\<,#T5;M><8^ڇJCh CATؑ0%>Ԑ~iln :ȡ͵~x|QYʹD2pbJ_Nlg(nejw6+g0ZdϮGV\/PZv`lfaqcwZNZ +g6SIe>C29߹i`ڸ LjD_ikifwg]>9; ʚP˻ R>Tz+CC0r`MR0#Z` s3 "[3hkL"ܚ_>Ŀz9P4_P?F#Q{ tM:lAGJh? y}EDZo\R0{S۷MȶG}@aһIRrxf%ҙVL }iht4\G*0._\܀Alr.pfcopJ(qۆ5ϖ?Ieizg.|HRNUw,8Ğ76w|n{^k*<E(RSkPV0/E񤟀D` 5 ZRkz6E?6\s("@0$u/U#r=^U $I?4-Ѳz+q`帀2¾7?͚# y4iHVm6hs=]*(4*({s% bIBbo{zoWj X.ijO7O[_WC2|Яq10 `S# 0z3 pl'r,uN~ԪzP]L1=fW;L{O@.iG1-QS#i_2[//m 7NƏ4FB x!<R!Bn -LAC <4ᯩoNzƐS]jF0_߱Gfdd2=m|D늊_*4gaal}Een4S@/ℬ-ZEyp3/nh{'ț$rH׉;\4SRBY~Pz+M.EuMD&lc9smJQhqKW@4eX2k%}Xq%;&y/Pk󤊝n?*-@]eĩzb?hcy0o/eE^ Yя&IQV7;z;(`hgTn=,uc 0ʻw}И{Gq2<ɭz[Ý}eo+sr,lKe5Ax\=3 GV)s`[5qM`1 kħ d]ҽZE)[ad9OBųIiBR.UJuIH~A)97l|iޭgfUtp53 H' 4CMZARK.B=mجU m^0lP[ikZ>hm}rAyRhts^;.==n1MUt"[3c@֔m.RwK2WYl|=!8!%B=9@v;q\U]x5oTfU׋^aPKQ1¢?q,u&/7u0}L_Z8+ 66xʨ|)_P_Y_ 2ws9xՆokd逝`իh?0^X7=%jl\g]l|vf$M,5}q3Pzj,.>E8]A*8 hb##r*"k .%,2gYZ7zXZִF! ]ŗXiɟ؀#!x_d(ƌVj}Bɻf!wJi;Hd:XGb*,ƿtΓ9"#'rm\0 1CwUoث 3k`{  Bw[aC/lTH@i!Dn]si G:|̂Ԩ>x]>=֔?aE=o/pd@l>K4Sz#;"M (ctlsxi"R`œʭjE.yVl3',i6rgYZ7zXZִF! Q]ŗXi%L&Z](P8RU%b Dw;^N&t2u#-!ւ%Sx{QMP/k J&c>D+oKDobsY&,KYLa?IȺ,ا%[b}j`L_E%(Eٔ˗<O_y ~RDaJpgunr"%zq+,M=/u/_A~lV+bΜG; kxPGYw,d^ͮA@d=`(seث‰a`Ҧa^uP8v%pA@(|9 RS$ cm}a!ͼauH:g0}΍z7m!,ݜ:Oit ZD@\Jð]%ΏC,~BIV9 >6pt"bխ!Zǿ ฟ(,}YT!QƻQDsW{ ЭRigkӿsǠ:S7=%hf2bwG,t&bػ`Z7`C҄n-A`h&ihƊ6ʥ.E)& 7xjT*՛(lGm'xW'i|߸]cRR+$XuBa@!Uj#ϷXspSpB,yϋs)#N7r7~(ƱcN/5fAB$Pu4;IPG`SĨNC> #W 9Ҏ* "MOuUߝ-?!4ÄB<{ =]x{ѐwQWUA?T^JWy:(yC(`r'@aKˬ9Lqk- z)]~hHAP70!B0CTZ8C`)yM9c{s tȟXX8N!'ӛ4[utJZ;4!l Z2өq?#ˊn-g=;ߜb=q&8ęUne::Ri`gWI{I#@+_, LpEkM\[Ai GGhG$.|- ޓ[86ݥ4x8q \>MoLkΙFyXdME LЍϻ;m,t-.9]@$8+EFLv!1*D8\ }*k8!uqu__-:]( o TڏU(DNN{0hyySDMݸ=2ֱƺũ|R?`L_כp[; ;%$6*y[\ЏܒO3^fghMW- bBM/ mkn Va:>w#,"D&Q k3,L %{6RrHP #`~r@} J7W#T{J˹dkPXI&QDD<,_DҸhh qƋ,֍P⑅Ӊli&̼[o5@oG Ҿ(U➎d26A4]!-_mG%tg=v(Cܳ³3h+- B! 3A#?4&Yas,/;rqr"\n#cՖJo&*T6q2tUs="ğ5bmeLxR<+xu}2َ 8Թ\)PV>Pv2Lཔ]yH ґn ӷ+zs466{g;z'e?iToŢ=QZ^<Yoo#w,>,;kl5˹>w7ҠeP&&ZHMnQ"{i\)FOGb l3<فbqI" _jX(3+ Qzyѓ_/NLYBuUQʆG*vW1s鿒;]fMrZRYm[Q=L~P (Ym0)eGWD LbXל$h_Wv/B;JTDljE5G h 鼢qw|.u)]gd1P!  Ol4nQ{  *.RH5! <ޮ3cԿAt))_8)0u@lKNĮ&lΫ~RDj$sr+ƽ3K{ɹۭ9ba<".5$ ~#I>]ؼV{X,&^Pn塓!wbZ[ [_ {<@a/eSD@bOG"A?&3Ǫ`DFf%XhI\z"umilD=$8mX| <ydPVGN`oM"x^c?:X[oג̌(b%hz2"e!:Bp6 !/E.jGu29CVN'anx$JM Ai@C. 9ӔXp#U)M~\cp1 T!k\ܖ(X6+ɡ;⼐[pnP-}sprY@}E5@5;tTyDbjS"Cw`#tDr%qwwW"lVd:{#W4 E [ Ki A7&nӪiM^G.3g504 hzWZ [)ŵW4֚v/06$kwxaMUSeL3 ٩ hf 7u!˿L5BB8 ^F˗jo,Eilx +,IbR%5~:Re`wmʹB.չ| ꀅ% (DH0v o+ZY9S20)KR0gYZ25a9c63aefe8991161f018d3fdeaedf3bd1bf2629aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 9e80a6bb0cdabea75d97f888551583828ffb8623