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  "3T|T ]/ HOL-Data_Structures:threads=4elapsed=447.244cpu=1646.996gc=77.124factor=3.687zXZִF! Na]ŗXf1-q恈%kV^M[-U xNo[q;O^.%{ժ"lZD:#{bbvuv*G^w 'd!?JpqJ]WMs$'3g,'ocnß!ObJ]0Owcg/8veyS8 v/0KJ N;jO'LNً~J +Dm 0j-rDg9u W;Gҋ~!k,L/e\~ yWDP\}5a:^Նos/݊8{$A‚6RHdIёI/ # 3 HOL-Data_Structures  'geSpsQ-:!x gFXtƠ~! (3h:FMUR޲\6:j%v{qdc[g(2"YS9XrFF:y^B.G?vf& /*K4=_*@6*Od$gcG?c#[#ϋ,f共6$L+m^ C3lrGxx {bݿ{BFOpv_CޝJP#,RxGpI2 ^pk햺TN {yM=}GXPne 7N\e]x;tk BY6p?KLм-Vp<(<#v \ҩg {,N(Z{68L/"]!( 8:$*;3r>7ziZd)Vٷ#0JId !=~ICjHc[|a!8\ڋ $ b}zvHKo쩧'՝Z,c4H<@k!j8motm>q^_15bThAr*FH ' ֖NRe` LpE˚فeAH;CoշJNJk *g*`>mSJQ\` Ɨx/l1'']4؈]c\^'&`GqRSjKy-~inj X?8ˠF= cY ̈}*u0dS`%}&1nmj.m.Gװ7 X.L)%{A5$+È)Qً_Ot:bbӕiP< H!@g *#8[ՅijJ 4x(13*#*ůdvDLa(E3 z dEjQ7&4XuZV* *dM^^>NYJ"w1. 2 Һt6[uOqF7ڭc|CC_/F͔Q-ܥ\Ǚ~^PPBf,D'*LOw_M\Ѝ0] D5P-e3M_;7^\6sC$Ƹr[/@Sf\FJmp氒\n/6Jvpj2Sg6&QA@zfd)^ ? xLZ9P,SM?U?t!^DS쎦|.3#xqѤ3dFޭԕnl}P;h0a21d:Rk^^qq! e`CQ-Įk˪6$ qa$ŽU5&eny{Y(/6akXk|a:5~ f}Ejq s j e7gȧP&\$Y> ,I!:S)$Ƣ*_?z˾r['_JӠl5j! t΁ڠoPjNծ7Ekt#c"kIF}7'v79+!>rg#1~Vi _șrTj)K'+ެɓfWuyR+K"yRA~cgi [gDǎ>^OAprR?I[>܎L#CppF8'WЗ߫2Avv]v9^qưP (jìuγe Fyp~TMV~jR7'#%Դ{*P|V .% [o.wSvk\/\FuL?]ph;u3xGͪ X-c[}v+;|dHDgjH͇x*5'WSECeMIH(7*`iEP+mn N|;Z#e^_)w:&1,`E$BaEpDoQn9al@10RWdMV=u i@{23 6!Q-_9d&)f^w*>q>Dr+;Sl NRYQuHzJaᘺEdr 5-p`0E'p3_Iy@,rɅ=ՓU71~Gu7sU8RQ9PD!p&y ^":/mA,Bg 8hl 5W:\FO(Aitb~(~!,j$+v6Q _(\u!]oY᎟2IuЦX>94JZxiio'*b<8_3[@U9rk>HVG͠KT1{D 4 @"z6}hA{ևۢ&z Yl9?pL.f/QMY#su*Rk`4r] BqO>h61/VGq}Mg|pf! fs#wN[12+h;!>YŹA>zKw$ M>\Nf:JPȚuYU:OϹVIC399I;i94F6C"F]t48xՒ$ *[ R:_lR Y#ĺzk|q g 6zђ$DiploԃD[~cDJ*7QgYZ7zXZִF! ]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻3;hmSA1y 5Af:ŧj3(BjQE fmL7*B7.0QKi&gkƗ"$x9kYf35@Eb&Hx5ԃ8{aOML;lL&%V!T{ ̃jxza *Uv J k0{>wD.цNXS,En[2%\qpe4Hpś?Ld0,4;csL2JKy`X&1 NS7MH:Ut¹/ b& Bz€ 0?X-v5d&G\ %,˅5_9eZ~l1J禬̢E RǴƗg_4)NeM$zLm BjtK-9C+5wVfMwߧG4 nhG^P/N8hp&<]~4\9bX`JE˾ȁpϱ?+ _5 /`p<1ofbSCI P1[jE:WUWzd3`&<\騇(v?EN5չVs I؈ۉ?%ucx3nqRCd>xx5'/>nԕߞ"2n2_Nz~^Hk*ͫptwj_qDH;Bwҷ>2Rt L!'룂zlaT3/}6qՈNs?J1[. rZ[GQCV$Јal7Roܿek[m` N #?|JK ZDuNyP؃e43ݪY@AD?\|A|B 8K٣QhtIfSaj6g}\XyKׯcʃ#(sAm_RP~U1+su<hd.[C #^RE刮PbFlwwϹXDp}@V%^?4kG+2__bIeIk`a\K ÎxmS8g '_b;j(UcN&fsc?<*K-fͥM7)~&tW<)d/]̙]fxRqW|Q:d2_;ujo+?['tP :b[mcj|U^{΀(בB5}d4Bks@yHaA1^WL@(埘N;>&ǿ|s|V~1a)cg鷳?~Ilz'WhAB9f-WKLN@{0"kKfS{$?ǹ󽩞39Ref {GX89<>Hf qvwEݻ}Ǽ_?7?@mT%ٽ2 @u$JbW됇Z`R1Hv?mnw"x}~ @YD$۽D P, lfN$E RYj5tW^j?"1ⓧ4ad:L()f&?.!5nxThʈp[qT6QFk`Zae\cC-4R7K_;gpR+Q~ scJh3Ch_nIxYq$,!,AΛ dRDr.A[4Dk8"v1:O8HO8Es`£7E`ʅ̓N !\$IOlnNFPҧ#XzW)$Q ЯEfaCGʒ'an-oY <ӿׅb)lkw?!sWJY%.%i+[PNk~+W'D<1iVyAZ-hFa1@ ?ޑ [) V7<†7ʩ|"b; 2|W` &bs%]cn 78mh1O&SLmx̕HZQ/ G(W8e RD0qHRB6Z#o*`0۷Ahڙi '#SdKSYH/H,GОmd'M5_+ܧZ |P37VɣNc Śǂ)%T?Tyr=hJH̃A@zca:|2ڷhw7#ڦ7E;ڑ;|/X=@R|D{J Ï־3ǹ2~`RmxWnܵ-TayӭU-UvĽ x.Ski'mnzR?smfe-/3r zϋ6t>u|Gs1~pM+~Am8\kHw?9TAJ_ߤ$R: mp G"Jy)s06t_L uwŐl#nn-*5R>;P6)(.RRȒ1t:#=)G뮩:;qDׅb b/J&{іx։o>~jX.єad:أ{RK; caM~zzO]i~,]f\W`ѨuCk_0+rLJW>zgRXyOϬ;JBJr] efXmHxވ[%V~GFڜ=Lu#db" ?%iYZ@%_^ihH+2O{AM*e3x'leTڈaEMzք;-R}&?wMǰh&=o%_xL y]Yx*ecv_I>2?b 'ҷȣ-5mSrw?!'*I8I˜c[m$q^HDEc^7MG6߀2d*A9U/-=htҎ"l //Np-&IJE" "~}B iѹ~Igvt/fQdbxd 4!!˟Gct4|>0eL@3)A@V4S&N{@!Ex|YoВ%\f2Q!b 'Ol xS05z&Iكz<4 ]j4N/ˎڡ!WHׯKD5 ZK>_j~|gY1>ruC>N׶$#io6h׼5SerY*ᵏ:SL#V|,{ ²~!FXoHyu`JHe}@م4dy>nMc \Q]_F*2̐tĒUa؛"U)G v>-T?-21emI\z eD1.ӵ xQVC j3T~Arz&+]s̠Wy[ 7S~GD2ѽ8.vQ$d ѣg{5B6aRC_&+R8f=lk+;y lJ:0p;O%hhY Q59kLĔ%_> .asQH=تëlv>؛<*_jٙhٜ'z/xq=NJZY Kf&% W?8 X 0} owp{='+*]<Tj V.!Od9Cu:pCq8fo}(=d0~%5%Hm04nero3)mwltSPVYΐ#a@dwq~P~q>-mu׸g}T.ix$!Y[}cX.%ggphU=CUT\ Ez3=tE!Ỽ!lwӒ(}Vڼ:ƶO2SÑkpclw$%LqpE!IyݾGwAUM QY$Ga׍WXm,4%GJ8YW<3kz;&Q]-`>=3`x6v>2bޜlMi\lc Зlq߀ؠ1j#ccWze[k1)Yϳ'w޻:QapzIpb4 u: }4b%\o ȼ54hqCc׈6 {~L@;Zt BH[ u)1~t2}68@CN*Ne&PyZ:y ,,ny0}T6 jgwܴDߌ@c)mb≗(T)4Dhm6T{svVD ko6 -iǿFT60" /jhŲΝ$-| <;_#q~p3"K"(G E.)F7͎Ms910F\T⺓4[x3&Z3yf >3pa$fKo[&p)lոx t}Z4ldiv`jD8B"F\P3.4u~"%c ^9BR Ly=*MK9Y@0Dg;2 ?h>.C`^6ZyM}fgE4`IŸE(":!w[R/y Y,l=LW`E6G^kNoVLv4\(1ﴒ~W#dտZ656n`{!%$N"B&Hn;vOd#}~8Cl!W&ȇ$Z\qֆL(ɇ;F㓶ɑ#oY !)g{fսr`Nnj*\9gdNm$5@oDz5'"l_USJM,!IJz V#tv*z#{!lAi4%܂o#3YiLyHvőG$Ir6x*c#:6{L^4j p[Y"f{IoJh㓆y\$X!|=;)eB"6YGQ 1Q e\rJenxdIfv`}Dg!յrw Z3>3;/ˁSbcڢMm 4l'}UL;}7wHە.ꊥz1DTJOIa|.G/: vE=tod]jrcz]ǚ>2Uy[D{EZM(ǥ 97k^*`{<8*٫'39`? gF84|,C\C=[% jބi~g3s _>҂\|`a"yтT rvƏJ -['>RN̲r(!>%i\e:2=2B}f|س2P*%m~QiP,Ѷ!rY ~>dTfbk~MQ % ƅ2T/4;? J:BrԨ2ۻzN88G]OɃ28u:*)ݥ4K"Mśs孻o6[];NbdNb4[ctS82X7^pXƯϔ٫/!quv}$Q:lV(D9SP*4Լf<Z}TgC[ [W$M=l6>uȪK,m6$)a@otaxBUɘtYo//T{1QR:4Wx6bpȃ$ ]`*y\dO55Qoe7!*Dp ؍(O ?so)C[qcOpiK=fPTbC%&xg#FO\K?dEe0xAc)iH,oyh*#N3m׋$!K%{ڴ'7)leNg.!@/g .Nu)t_GPm۝F+^=6-zzfI`ޅkg˜w"T9>f^OAHb &\pUPrW7&(~]yNm VMvD-wҌ~~uXKLrEp:e>|*=ͼFĭH6ѵ©ɫrq<fz26 #IVoW@jW!48>ıڔ]u6QÞRzE]s7%Ntu⾳9E>? =D;(r7TP׉!j;Ш}'qE cH=Ъ`}j.ayK|A-v2w*Nu\(S({'ZY5kR]'+8cw7?vy}|DQg Y x#k!m@x&}Yg ]2IpHchYԆ w_1AT<3&O%ѝUh{_f]3!@qv<e@\+o@\?o-~1ʐK&w븟GBPGf~hpj1*)c#%&pOQx} y)ct Hwzax<6=Cn*PTw^F_ך؆F ``>ebd2*8տPR >d܉Qi]OmLS2MHCLˤ>L-W+^ؚ$ m?!o\fmQXCǜp(v\)幌*zPGpv}^Bg{ 0@@]݁DkrdZ&;4d~$",cv|{ڢo|$蛲Fz~++MdzbqZggL_]/TZ4gk}ø/bwtb&uX<6hխ/(n-#R/W/>Y?:Ny% H3G~?G5m ̠@h]0HKpl UK=Tba| [ajA`}-Jd? NOea{2>; t4y[0 qp(-7_G#V#MJD^wf[9z{9K-"@Pv+ElC*y`@*\]U53?AeY1s*V!*oIB@aߗ*,/ld_dj7@`SR-IYnir=:oEGt7Ϣa=D"> P.8ICS2wC}F%ȶb|lEJ~X.^D9GV,M(D%rLEII0@xCo Yp%zN FX9p8ZNg1t 5"s 4&S a:롿8T nݴz<М ̗Kj&:7Y k,Ea=EǙVFYț~`Y}F,s+GnS80p@j38"ޙ-ԑKc9Ϟ-$+m Py.-S53rPpn*-jE9YB.o␷Jv".,uxMr^UˆZ|xǙKB?]rbYu3M*K Pp)&toIǡD~զuc3 D2A)TIV<YpϘ۷qʘq_Ղ 3Im]/gZ5O2`?ܿ 9@5PB Մ=MGbaN@ŇJODb 8QYPjETaFWD0+o 1_W3-by1.g8x{TxG߳3{wo[>AH }[91D,}?|ΜȮM Jm8<Pos.úH]t Wѣ0ZT_W[KCoWFOdW}h.)dFjl ʙؕ[ͺbCXJq$`1-Q3 o;ÏZgVwZ]_<0O, $K`|nIo0ţ"J浙K#jRdJdE3$)PJ>qr(CHwyť~HVC*KUDY"vzqK2SLtbށם0[~<[SX"pC%R{!2/BP'A`b5|IpuUk{Yp\? Io PiF7eAKe%$,P&j펾P{&~)%oGJ듿86Y*0]*3OH2y)<*$o;mdKb=O\rZ5 =c :sFCI-FYx$li'ewge zuPyO# -~ c$ ™Tǽ=Ub½w_/C_`K 1)uIv_6'__Wͯלk[l 1 ;ۈ0+63V\k)aGN'׆\ŴL Ad9 9!?!IiyK8ޓ6n4cVEFxA4iTIJ)-Bg !(g엗grB> "-MHQbu`5m`іx!/ Q>֫gN[H~;;nƲ̢;pq1\ )}VHSw/tŽR#"7ej,# VR3@^ H1Z;i46VBS~sF`_hh퐗>%cL;x,%3>M7X\dE0L^FNx5PPS +JsJI5V9KMx|C!gE*,G+H\ǜ0be" 5X]Q=;*>i6EZ(fK$#uo0`e(b R[YF +_30O ?jWb[q ǘնfQVAEpI;irXwwwmHQu(()#UIQa,Ixa YqqSUWt)㖪(-Cc3KH^w&+2iAD4Axβ=0'0s-j{HɣM05!ԚF01D=gޓ]`4ݑykBsR`RSL@46;ٞD 8ݎ'OS5Q\`*N.Ny#OI*v{p<Ԟ력^ceiݍauHǮd&˄s\Q/> F ܻ-f]r_ a)lY2$7hXM_=A|:\B'YRq[Hpy±"} ;6:9Yek nde Y::hti<;'a ,⩡#j.jOd PK#;~+%;*Q_yZ*c{k'cUqszŏǽҐŖ8)iּ1xzs+45oXX0fWA Y' c]CEHET[ȇŽĮRNe&VNb@7Jmyڰ=e*!x-PP:Nor#jD_IS?쟦-$%Cؕ2+WCtL(랙+Rp"^T2SQoQ˞_N(1݀;"dA זLKHa&[uߎ\ga`OLK9BY>8`#Cr^0 쩅b"ݵ#O\`bwxpGRUVd } e ' iq?29nN)cd]gJH<#T0>DD,C4TViUAT>|o}6E/v LSbMu{CI3hݯv@p_ 8zZwO@,|^<Ш &qf=-7T2߸¸(jT~$ahy-Nndh=! oޟ?"|.Aug̠CibV-R<: g:O7Taw_n*|[QpĢ־ٹLeّԟ[i_ld?p!VS;Ha1?w~\y*Ć<@X.;NsEe $Roޯ?uP^ajp { {Rވp!Hx*tMK<\c±H,؃q *1+_e1orN^3]EFEZh)TIh w߄{ ^f~9շϸyŠ}6\a y'ӵ+^)'$Τ~aQ헩!TwyTz? pp+Ig7ia؁ sXaJ/[j/۬ `?G50)Ŵ47 +7Ԝd1ticcTL'\g9ǽwHkD~8W672f'u&rA)MLZ.m+cϽlj+g kλ0pC9{,3!rXwƻC0 WY5&K'VU)ze x@F+o9=}w?@&c)e5.Bn-ġ * j()zgSW6nnY#ݔud3>I+ۈ0f}5UMH(nǧhfק>ZX/&`K ?""g=Ii摰.5Ϳ!@]&F|a~xxhrQ ,>[!j-(n7(GcBRtJ(yͽc+prq=XY`mNTY|"OfՌC >.QR:mrG;y+’Q{}d CW+s']4<06paȺ/ogpZjV* 5|N,4lX /we;='3a*X- [HV5QyA 48=^5q= <6gvp{3*jsԞ!g_[}{EHnT>3kf .SH R!#Pά-nqR}A8AmQ/l ޏE T!"ƣdlamYA)IBI+j7 F!0w!jQz[zl+(7Ue/es7nӆVs?Dc&,tӥ=,=8`CpBG8l%@Seaj'W(^Ak#l{9D< ~:Ntt 3W%GN2C\<Sw as_sE22>knӴv v3}sFȊ^˅.f"s?ysNs ZW&6t,Nؾ~DNPڗ@J4ܘҟow ,3Ca!Ym a"v+ C,3"'ZC.S~G=&(Rhw=>$- S5 8rvlCC@g4iƎi.UϜ<ӱ23%Jk(9Iл$- haZL w(<򓛸>_c? ^ᰙ㺓"T6׷ڶчG"mVzcEUd@f®(dC+j$aݕulњK dŷ}<{K&|峥-h|p7S}[a/.W^W[,^ .Ϊ@d o$.Vݗrf,@YR):5h(6nD2zvvL uaiO!5W@ZWI@9v1 V iT}uL/+, ~QЮ0lUC~-Ft,oRL~]VB$6lDxsvL@,I0lؕϭ1Oa^ x+brAJ =}`-/[ˢXód2wclf—7tp@OjHB9D5qJ}FA(mz(a*O8=X ā^P/ϟcXW_#D^=ZZ#.Pꇶw/cRcHPJ; '܉br_[cw Җ{xM[am%@.9Gs[i Xg-[c1\_[s_;Kpo{^}B .0Z)-ʵA^^Xjq숎524}5$v:3 ޹͉[,)9K16/z1tMlP:zrɘnzZ5\ɠOPt~hRGK=ea0d`zK—|*4,D6s`hU~R3JY) 8 G 'Ԑm!!$ *Je 3 VoMq~})F0Ȱhq.Njۼ:0l\JU~8ԬqǻBBxBf^k{5n)}, =JWaU$FStp9`>iY+gKyy:^1_~]pH>85ƸO*.6lt~et2iٗ50DMCa{\! 386YQyU|`ٽT29lYYA1KxO ,0z.)xǩ_5iM`mXĞ^4u(}q8T}1G4u9k/LϮՔ>=:nd_FjbiQЀi$'\(acݮ#@8]'UN@7|QaUl1;{1fYa{npknCw='F1$"Cw9C  ~#:ԼOIYZm| (]-̺ ygxcw3Th40)#qbmz~Eև6K~3H{Z}kŦV cjsHU@%Tǎz62zE{&^Z7DEϪLe&vaU \ߣ; |sWP} Pc_ݹ,!6Rf+^cel7_tܬmUU.;esB^9G1o7َ)jA1]>MnзPHTh"×2YwM)G M끓&nj,JCs_u4Y@:h+wcph]j(I vfFt)5*uƘKf+A->ׅIT4 ?oHtNbF`d#^!`!"d( *4\Bq<_}"b uFcU%>d,Ў;*;Xſ̹:|$=f,FS6EhY6ۣ%VI%㖃QuA̤\Od@/=/-ź8㜽-bnmk-:3i"Fި16Stoƻ몍۠5VC1+-rr5>A)*ݰmD@tP!(` 8{$h7~zPC+)Dd$['t\ xVښwXk+Uj:/k? *YgULJ%յ䈳G | [xVLBD [{ab5_hr3GpꁞTlCҚ 8=狭)h SPG c1R&u^-j.dރY­ڹLqAT._` #-Uc J~dքHk믗&& sNDRPwƚio ѱQ9qB5Is̒MDJ(v Mn@־ YL陋xsjpڻ{pZ8( F[2wV7iyޚvN=uD۷UKϘiKKՒ';ʈmS>T'"ϙ;\mFCLt3FnJU3K1@(G#UyV⽿7lM# ^{%D6+ AoB$6ĩƾ44jʐwݔ?Iᮣ#R)n&7xs|.5JؚRYTEāpԢX^Qe]]vSW Yg4a\kN|@5)u޲bώ_ӷ d4dK$ UBMRYe_2&g$O:{y ccL+ldԶqUw^4W'jz~^roreֆm,efAϯp!QcI6?E;P"@rlk` o?UZ _T 14?ߵ=f beS);gsw`AO)Q;ujv9tH&" .h=. :.6? [TNDɂ O[3&& Xy?epdX-s!s\jְ?Wn遶0tJ͒ʯcCxrG]I0`RsgURu E9;zH͢kSgS ?0 GT%Y <.Î}oG=s(v=`8woj`Ds`h+/Ivqن $!] kҝ\Vosr3zܴg}%T `F.^ȡ֏{+2 N3>s=g_|Qw>OZQI``J!XG_.;\cVbXXj'M&[J߱`m#wx43Ho]4unbZ kn# $^y,٭^`ieH8ϮtQ3yOop(1@!woeZ^7.UQ a'}OhoSK!"!:bf  ?b4&VOʞSV:RqGv w$vuLU{gU}F W ߴhzo{ ҿfu~vbpfZ:_@G0N0'!|]'P䬡۝I#:_-̢Sb0 3̜t A!oϭIߥCtyήג7uNc[SRAI2š Z1jL%JPGl~3Fp Ugߕ#E(AcURa9DWyp@5qRE| o[4EEQR|lFm9 "KSko+Ys013UXZ`؝5xg 8*ឡcaamjע. FlxZ0oO7d_I$P{4:Evj!V)hpǙ8P e <7^᫊7pg}ߢD~H֠Į,ϽQ.szg'm0n5xV^ )VA LFm&džd:e^,$ }aZo;,~,x,k@*c`Y߿ nX&J BN0mcs,?odKd؅!g"' ^=4$UV~;I󝭮Bd /C*_T6)S'$7)3a07t}jpU`67G Z\HBZ.(ho(Y0$gqsV8O} \k@IG&p"㬸,SzȚTktϾ9Lv9lpoV.vvnv*L_G0wboZ$R`m(a?NzK4GcJpdFnFqeyuȼ5Ͳ yEq]Y18M@64 TDmYNpR 9 Q(@eHz$´,g:(uvègDUChA_Kթ8T~!)$btlt{v?y1xfŖyKxdbۢL@HT́F@ q TY~k<Ua8t~hKKAeg9}x#{G,YbF7Ѡ% þm{'1,xuW<"h"ƖJGeG"#yf9f# ^юsEFcY)Jճ OK,UuoRIsI5e5fD:38r^yv?]Cq 5#!aU2F}v6㏴sIzƒ8sm rJp[cu1vUcM Id8w^%Uѫ+܎jQ֚,+9LW >A8+1L?/=.*i&Λf:;I"H v[vs LY"9Mxƨ[N5+7$S_d$ 0[XBwCޜko&y{G:^#.] ,!=Y> l*;x`dբ:YlwWΥsqz')]TdWbF{0QuR'j!DS֩Vcby[H%('%*ɿU+VXr*Qj'CVԳ5מ&8ՊeFb׾it 0h%J2rF08D̿@k͞|((<7|H&ih4wx@|@ᕑ)g5&s6P~^S2RUy4-퀟 MK7 k]ӝ ?w9@%}XfH?bHI}u?@W;N'D PpI=jbX $9eKQz tۇl`zyq/6|r 8\ЖTy^2gJ0xXQFPQдfJ7c֙,Z¸0Ըhe<wV䛡8271)b}SY)!,%YEC~b'tv)) Q#}#wC# 6E߮p8$=l'xf,D)In'ulN`m3vcH曲*YW@.ܳ}WL ҜX=)7@+&^{c.@$w{ b$ {~?ZƂcD7Dh/1e˝nVzi_Bb2HqvYϋǴDxBNԜG{paڡd@)oW~0zX WHi9W/;#9کHN9ajA{MIvV 쨡r8TtOZm8o})4n }o0{1򋟤eÖ:J7l-&iggl%.Uao;k,*ZjfHG8 ګ }kxPM; Z2%x ~R&,!R%U]B* k&&"1@ϿWRm3FlBgv53S4ۡ?:C>m|-;6Q# { K_䦧őxC>M̖?emSᒉ@ Oa < fS!8(©}ϴ_1/~Kp)Wd})(**NáhWS܈ނpr sJX1?"b! j=\bM\EC.o+ZV5|ao ᩩn;ʬAUTυneĜ[ub)_; Z:\3XbZ2K7#p4-mĪ)m(JEu,`eI߰JH!tVMѷˈf"!{)Z$m78m8a: C44ΎB׹VUXbˈhv6)En8hJ1vvc 4zY'rqQG$s'>W_#k4`fMK6S譊oKzfg-:`A ݂ '݇K=]}Gcyv s!PorݝT@FC"{t4ƈip%H%׉|'>i\W]XyC/^- D q0=Bx^|as`=jP(9v$?x9o \ !?^swۄ<-}bUj;жs&B#RN@wxy7>&顒J]wJ`F>X$UD頬!Ǝ̀`D=uCK`xNkϳt nbĂ" ͂}^ C悍g%~ް6<'z-6M(Sc;#HkV;[[zY_Tɚ* XvfH(WS F(Q=m4Hb&Ad>e\e[\ZAvT \me&~K,缼C } F%1*W~AQ|MI:Wp}ҩz⡷b n?S/yӏmU A)+ ";dNJ7Pl&~sU;3D\Y%iAEV6zUaԔœh;w da]f }ĭ/in~ _1޸gV|ڻZQrvbA4bOf/UUg* B cE/?%4|3W6> ݽ$͂4c+]C M[<'@a  {~ b#T`IA/S^BA Q URAgɁLT^Qp]6<]T "]ǢAsL*H]Pa2xuqRR.JrN|JÒwΨ-9cȖh}g/I-ё|+߭(Fqtv9>sk1pMS8Nx}Z2Y?@)<\beՍle$gvuZ-׋ SM:l.[$!SB^_uY]wex[E+r=y\"݇ WrYvبp 69'9<&8KO(dbHK%KFmi, MOx=I~]l~6%@}h?rމଉI8{$GhCoy@{*K!pW;qtW Ҙ=׌ק}aXD$~^[XApc?#U: MqYRyj賝.yT2G>UCp4g~W=#S(C8 j':Z.vSb29eМҘVl6Ɯ7Cç#F%Nt7E۷K-/6=h?z+Z גL!߫>N0.Yq~ bOfUhӜOvL3a^-g)e¦z~q^Og` ,+n4َYHF`]V-,R K #4| NSY':Gdc[ pEH!lzst/ė=gk )qq45h{7"iHS`ҹғܣ#h {XX+C_u kw|d[3^튔 r28n)V~%Zhz?YM1vMOZWKPe(_͠lW b8vvA7t4ɹcк5$ep4uoIMV]"TJi\'`ַrqfm`YuZG0O<."H=hӭS.eF ì\F$9%MFl^I6`u12*ޏȲ`M8ʸPG/TU[".ߣqߟ^!&c#_:TA߶J4OmK9)3!/{-CE斴*9FLѪi,d(7t p2nG"W$8#Y؄;i9B9Y]: ʼM~;ݠWq( FF<2ު2|:O;ucNx<"7t]N46R_M.>5 Y@ Q/6HƱ# >gs)r YZ?zce^KDNFmQĆߑo-U)K9+g Ԗ5m ڽ ;ʙi{SJ?Yg{Т'"w~P8zdu9Mo e]hg45džA{syJLI]'`ٴp,uLpARf Jj " @ZпǜUF'|OpĠ!XF<,4/S ?i9G!|['KQdC>( [Mww, y"#HfC"^5݅;sfj.h>cj Oˈ&B\p*P%ԝae<1+YެKT Kg񫬮:??H9Ãn X0L8hz"sݣ$Yǟc {y[ćlJ$\!fЋ!\˨2w`XG4N,t~qSԱރ{2fukTA 2mR>JyY^v?UBAw'A W|`mн5)sLlf`!41]y(E?jqcS^ o3`tOF pw 9V4fWHcH k}{gIYhz 50HսI/E*Cᮔ tč嫮*ع${ݍep0e(}Oc.LPSyg3e)&I @i ŷ}o]hN鑤_UzAd G d+ȷs[Rs FwV蒤MDq{(9Oan?c{*yB{N]I&:t}fP5 mVwM˽S>\Q進|aB}o#W[N] ^_6K^c'ϠK\,AuR-4`ҤFˊ9 'l+2ѢxJj&B6+/,fM}OAR` ,Ys-*=AB9WId*MA4mQT;7Zι%:Rru^O1FєՈO`w= 8j=l%b~fW B)!uqsq3NA&_ͫ52E(e|3FIﳂ[g \#@`CwE$b8.Q"ӱ AZ .xT3?{U[m3?x RUBCJSY2e9(!Y ۸/!GGRHgK_qyS !އMdp5G3{?lI&]yg_o-$_勇0WkȦ HIy &T( #BīA˶[J%Eũ_aQe |^nmYop7-L;&+3EĹ'roT%aI&_' (?fY`.V`Iޤ2yO0oqwsw d˪6mvsbpr,|